Beyond Mixed Logics

In order to define some interesting consequence relations, certain generalizations have been proposed in a many-valued semantic setting that have been useful for defining what have been called pure, mixed and ordertheoretic consequence relations. But these generalizations are insufficient to capture some other interesting relations, like other intersective mixed relations (a relation that cannot be defined as a mixed relation, but only as the intersection of two mixed relations) or relations with a conjunctive (or, better, “universal”) interpretation for multiple conclusions. We propose a broader framework to define these cases, and many others, and to set a common background that allows for a direct compared analysis. At the end of the work, we illustrate some of these comparison

Sobre el problema de la adopción y el monismo meta-lógico

According to the Adoption Problem (AP) certain basic logical principles cannot be adopted. Drawing on the AP, Suki Finn presents an argument against logical pluralism: Modus Ponens (MP) and Universal Instantiation (UI) both govern a general structure shared by every logical rule. As such, analogues of these two rules must be present in every meta-logic for any logical system L, effectively imposing a restriction to logical pluralism at the meta-level through their presence constituting a “meta-logical monism”. We find a tension in the dual role that the “unadoptable rules” must play in Finn’s “meta-logical monism” rendering it ineffective to restrict logical theories and systems. Consequently, we argue they cannot be both analogues of MP and UI and inferentially productive. We conclude with a series of suggestions regarding where a more satisfying and robust interpretation of the AP could lie.De acuerdo con el problema de la adopción (PA) ciertos principios lógicos básicos no pueden ser adoptados. A partir del PA, Suki Finn presenta un argumento contra el pluralismo lógico: tanto Modus Ponens (MP) como Instanciación Universal (IU) gobiernan una estructura general compartida por toda regla lógica. En tanto tales, versiones análogas de estas dos reglas deben estar presentes en toda meta-lógica para cualquier sistema lógico L. De esta manera, mediante su presencia, se impone una restricción al pluralismo lógico constituyendo un “monismo meta-lógico”. Identificamos una tensión en el doble papel que las “reglas inadoptables” deben jugar en el “monismo meta-lógico” de Finn que lo vuelve ineficaz para restringir teorías y sistemas lógicos. Consecuentemente, sostenemos que estas reglas no pueden ser simultáneamente versiones análogas de MP e IU e inferencialmente productivas. Concluimos con una serie de sugerencias sobre cuál podría ser una interpretación más satisfactoria y sólida del PA

Posiciones infundadas en la polémica sobre Mundos Posibles

En la polémica entre actualistas y realistas modales, se ha recurrido a las nociones de necesidad y posibilidad lógicas, para responder a la pregunta por la existencia de los mundos posibles, defendiendo a partir de ellas sus contrapartidas metafísicas. Sin embargo, ¿pueden definirse unas puramente en términos de las otras? ¿O acaso es necesario algo más? En este trabajo se muestra que la relación entre estas nociones asume compromisos metafísicos previos recayendo en una justificación circular, por lo que no puede ser una opción viable para responder a tal pregunta. In the controversy between actualists and modal realist, the notions of logical necessity and possibility have been used to answer the question for the existence of possible worlds, defending from them their metaphysical counterparts. However, can ome be defined purely in terms of the others? Or maybe something else is needed? In this paper it is shown that the relation between these notions assumes previous metaphysical commitments falling into a circular justification, so it can not be a viable option to answer such a question.

Posiciones infundadas en la polémica sobre Mundos Posibles

In the controversy between actualists and modal realist, the notions of logical necessity and possibility have been used to answer the question for the existence of possible worlds, defending from them their metaphysical counterparts. However, can ome be defined purely in terms of the others? Or maybe something else is needed? In this paper it is shown that the relation between these notions assumes previous metaphysical commitments falling into a circular justification, so it can not be a viable option to answer such a question. En la polémica entre actualistas y realistas modales, se ha recurrido a las nociones de necesidad y posibilidad lógicas, para responder a la pregunta por la existencia de los mundos posibles, defendiendo a partir de ellas sus contrapartidas metafísicas. Sin embargo, ¿pueden definirse unas puramente en términos de las otras? ¿O acaso es necesario algo más? En este trabajo se muestra que la relación entre estas nociones asume compromisos metafísicos previos recayendo en una justificación circular, por lo que no puede ser una opción viable para responder a tal pregunta.

Las Lógicas Mixtas como escape al Problema del Colapso y al Desafío de Quine

In this work, I will present a way to avoid the most recurrent problems in a certain version of logical pluralism, one that argues that even considering a fixed language there are multiple legitimate logical systems. To do this, it will be necessary to consider the starting points of the pluralist program and explain the problems that arise from them, mainly the Quine Challenge and the Collapse Problem. Then, I will propose a modification for what is understood by logical consequence, to be able to consider a family of logical systems, mixed logics, which cover both pure and impure logics. Finally, I will show that with a reasonable interpretation of the formalism, those problems can be avoided while respecting the spirit of the pluralist program.En este trabajo presentaré una forma de evitar los problemas más recurrentes en cierta versión del pluralismo lógico, aquella que defiende que incluso considerando un lenguaje fijo existen múltiples sistemas lógicos legítimos. Para ello, será necesario considerar los puntos de partida del programa pluralista y explicitar los problemas que de ellos surgen, principalmente el Desafío de Quine y el Problema del Colapso. Luego, propondré una modificación respecto de lo que se entiende por consecuencia lógica, para poder considerar una familia de sistemas lógicos, las lógicas mixtas, que abarcan tanto a las lógicas puras como a las impuras. Finalmente, mostraré que con una interpretación razonable del formalismo se puede eludir aquellos problemas a la vez que se respeta el espíritu del programa pluralista

Las Lógicas Mixtas como escape al Problema del Colapso y al Desafío de Quine

In this work, I will present a way to avoid the most recurrent problems in a certain version of logical pluralism, one that argues that even considering a fixed language there are multiple legitimate logical systems. To do this, it will be necessary to consider the starting points of the pluralist program and explain the problems that arise from them, mainly the Quine Challenge and the Collapse Problem. Then, I will propose a modification for what is understood by logical consequence, to be able to consider a family of logical systems, mixed logics, which cover both pure and impure logics. Finally, I will show that with a reasonable interpretation of the formalism, those problems can be avoided while respecting the spirit of the pluralist program.En este trabajo presentaré una forma de evitar los problemas más recurrentes en cierta versión del pluralismo lógico, aquella que defiende que incluso considerando un lenguaje fijo existen múltiples sistemas lógicos legítimos. Para ello, será necesario considerar los puntos de partida del programa pluralista y explicitar los problemas que de ellos surgen, principalmente el Desafío de Quine y el Problema del Colapso. Luego, propondré una modificación respecto de lo que se entiende por consecuencia lógica, para poder considerar una familia de sistemas lógicos, las lógicas mixtas, que abarcan tanto a las lógicas puras como a las impuras. Finalmente, mostraré que con una interpretación razonable del formalismo se puede eludir aquellos problemas a la vez que se respeta el espíritu del programa pluralista

Lixiviación por agitación de concentrado de cobre proveniente de la compañía minera San Geronimo en ambientes ácidos

Tesis (Ingeniero Civil en Metalurgia)La lixiviación es una etapa tradicional e indispensable en el proceso productivo de cobre metálico a partir de minerales oxidados y sulfurados, sin embargo, la cantidad de óxidos es cada vez menor y tenderá a desaparecer en los próximos diez años; por otra parte, el tratamiento de los sulfuros por vía pirometalúrgica tradicional constantemente tiene costos operacionales más altos, y las normas ambientales son cada vez más estrictas respecto de las emisiones de gases fugitivos e impurezas, lo que ha motivado el desarrollo de técnicas que permiten aprovechar la capacidad ociosa generada en el tratamiento hidrometalúrgico, y así desarrollar procesos continuos, a menor costos y más sostenibles. Es así como un grupo de estudiantes y académicos de la Universidad de Santiago de Chile, del cual formé parte, está investigando y desarrollando un nuevo proceso de lixiviación continua de concentrados sulfurados de cobre. En este estudio se investigó, mediante pruebas experimentales a escala laboratorio, el consumo de diferentes reactivos lixiviantes de tipo ácido, la distribución másica del cobre y sus impurezas (Fe, As, Si y S), se realizó además un análisis termodinámico y cinético, junto con las posibles soluciones a problemáticas operacionales surgidas durante el estudio; estas pruebas se llevaron a cabo con una temperatura de 293,15 K, presión atmosférica, razón solido:liquido de 0,081, velocidad de agitación de 125,66 (rad/s) y pH de 1 para la pulpa, aunque variándolo en algunas pruebas experimentales y el D80 para el concentrado de 95 (μm). La oxidación de los minerales sulfurados de cobre resultó ser gobernada por un control de tipo difusional, en donde, una parte del azufre resultante bloquea la capa límite de la partícula, impidiendo la difusión del reactivo lixiviante hacia la superficie del mineral, como resultado, las recuperaciones metalúrgicas optimas fueron en promedio de 14,61% a los 918 (s). Además, en el proceso, se observó una alta dependencia del ácido y del oxígeno, de este último, solo reaccionó en promedio el 0,05% del estequiométrico. Adicionalmente, la problemática 16 difusional se solucionaría aumentando la cantidad de oxígeno en el sistema, debido a que el azufre que rodea a las partículas del mineral reaccionaría para formar ácido sulfúrico. Los resultados concernientes al comportamiento de los reactivos lixiviantes indicaron que el mejor agente es el ácido sulfúrico, puesto que tiene la más alta recuperación metalúrgica, de 17,47% a los 1.100 (s), además posee la más baja tasa de consumo de protones, vale decir, que de cada 6,77 moles de protones agregados, 1 (mol) va destinado a disolver 1 (mol) cobre de los minerales sulfurados; igualmente, considerando que la calcopirita es el mineral de mayor abundancia en este concentrado de cobre, el ácido sulfúrico es el que mejor lo disuelve. Finalmente, de todos los compuestos moleculares estudiados, los formados con sulfato prevalecen sobre los otros en su estabilidad. Durante la lixiviación, el arsénico y el silicio forman, reversiblemente, ácido tetraoxoarsénico (V) (H3AsO4) y ácido trioxosilícico (IV) (H2SiO3), respectivamente, los cuales tienen la capacidad de disolver todos los minerales sulfurados de cobre detectados, siendo responsables, en conjunto, del 3,825% del total de cobre recuperado en promedio. Por otra parte, el agua de mar cumple la función de mejorar el potencial de lixiviación, beneficiando a los minerales cuyas valencias para el cobre son de +1. Los reactivos de flotación arrastrados por el concentrado tienden a aumentar su tensión superficial durante la lixiviación, es más, gracias a los gases generados, los hace difícilmente coalescentes, por lo cual, se catalogaron como un problema a solucionar; por su parte, la tostación de concentrados de cobre logró eliminarlos por completo. Por otro lado, la lixiviación de la calcina logró una recuperación de 98,36% como consecuencia de trasformar los minerales sulfurados a oxido de cobre (II). Los resultados del estudio señalan una variedad de líneas investigativas, con el fin de desarrollar una novedosa tecnología de producción de cobre metálico a partir de minerales sulfurados, como remplazo de aquellas tradicionales existentes en la actualidad.Leaching is an essential and traditional stage in the productive process of metallic copper from oxidized and sulfidized minerals, however, there is fewer and fewer amount of oxides that will tend to disappear within the next ten years; on the other hand, the treating of sulphides by traditional pyrometallurgy usually has higher operative costs, and the environmental regulations are increasingly strict with respect to fugitive emissions of gases and pollutants, which has motivated the development of techniques that allow to take advantage of the idle capacity generated during the hydrometallurgical treating, so then developing continuous processes, at lower costs and more sustainable. That's why a group of students and academics of Universidad de Santiago de Chile, which I was part of, is investigating and developing a new continuous leaching process of copper sulphides. This group investigated, by experimental proofs at laboratory scale, the consumption of different acid type leaching reagents, mass distribution of copper and its impurities (Fe, As, Si and S), also it was performed a kinetic and thermodynamical analysis, together with possible solutions to operative problems arisen during this study; all these proofs were performed at a temperature of 293.15 K, atmospheric pressure, solid:liquid ratio of 0.081, stirring speed of 125.66 (rad/s) and pH equivalent to 1 for the pulp, although being modified during some experimental proofs, and D80 for the concentrate of 95 (μm). Copper oxidation resulted being governed by a diffusion type control, where, a part of resultant sulphur blocks the boundary layer of the particle, preventing the diffusion of the leaching reactive to the particle surface, as result, optimal metallurgical recoveries were 14.61% at 918 (s). In addition, during the process, a high dependency between acid and oxygen was observed, on regard the last one, only reacted an average of 0.05% of stoichiometric amount. What's more, the problem of diffusion would be solved just by increasing the system oxygen 18 quantity, due to the sulphur surrounding mineral particle, would react to form sulfuric acid. Results concerning to the behaviour of the leaching reagents indicated that sulfuric acid is the best, due to it has the higher metallurgical recovery, of 17.47% at 1100 (s), additionally has the lower proton consumption ratio, this is, every 6.77 mol of protons added, 1 mol is for dissolving 1 mol of copper from the sulfidized minerals, also, considering chalcopyrite is the most abundant mineral in this copper concentrate, sulfuric acid is the one that better dissolves it. Finally, out of all the studied molecular compounds, sulphates prevail over the others in stability. During leaching, arsenic and silicon form, in a reversible way, arsenic acid (H3AsO4) and orthosilicic acid (H2SiO3), which have the capability to dissolve all the detected sulfidized copper minerals, being together responsible for an average 3.825% of the recovered copper. On the other hand, sea water has the role of improving the leaching potential, benefitting minerals whose copper valences are +1. Flotation reagents still present on the concentrate, lead to an increase of surface tension during leaching, moreover, it becomes hardly coalescent due to the generated gases, so it has been catalogued as a problem to solve; for its part, roasting of copper concentrates succeeded in eliminating the completely. Furthermore, leaching of calcine achieved a recovery of 98.36% as consequence of transforming sulfidized minerals to copper oxide (II) The results of this study point out a wide range of investigation lines, with the aim of the development a new production technology of metallic copper from sulfidized minerals, as replacement of those traditional existing nowadays

Optimisation Approaches for Energy Supply Chains

This research presents decision-support tools for the assessment of energy systems development at national and regional scales. For this purpose, mathematical frameworks for the design and optimisation of energy systems are developed. A methodology is proposed as a preliminary assessment of shale gas development. For this purpose, economic and environmental metrics are proposed to address different aspects of well-pad designs such as productivity and water intensity. The outcome of this methodology is included in a comprehensive optimisation-based decision-support tool developed to address the design of shale gas supply chains along with water management strategies. In this framework, the optimisation of well-pad designs is regarded as a critical decision variable. Next, implications of water scarcity, the role of economy of scales, and the impact of wastewater quality are addressed through a case study focusing on the development of shale gas supply chains in Colombia. The production of synthetic natural gas is studied as a possible substitute of natural gas. In this case, an optimisation approach is proposed to address decisions such as feedstock procurement, transportation and optimal production schemes of BioSNG and power. The mathematical framework can be implemented to investigate policies that encourage the development of renewable energy sources. The impact of uncertainty in input data is addressed through a global sensitivity analysis (GSA). The implementation of GSA assists not only in the identification of key parameters in the design of BioSNG supply chains, but also in revealing recurring trends in light of uncertainty. Finally, the development of BioSNG supply chains in the UK is investigated through the implementation of the proposed mathematical framework

Random Formula Generators

In this article, we provide three generators of propositional formulae for arbitrary languages, which uniformly sample three different formulae spaces. They take the same three parameters as input, namely, a desired depth, a set of atomics and a set of logical constants (with specified arities). The first generator returns formulae of exactly the given depth, using all or some of the propositional letters. The second does the same but samples up-to the given depth. The third generator outputs formulae with exactly the desired depth and all the atomics in the set. To make the generators uniform (i.e. to make them return every formula in their space with the same probability), we will prove various cardinality results about those spaces