Logical Localism in the Context of Combining Logics

Programa de Doctorat en Ciència Cognitiva i Llenguatge[eng] Logical localism is a claim in the philosophy of logic stating that different logics are correct in different domains. There are different ways in which this thesis can be motivated and I will explore the most important ones. However, localism has an obvious and major challenge which is known as ‘the problem of mixed inferences’. The main goal of this dissertation is to solve this challenge and to extend the solution to the related problem of mixed compounds for alethic pluralism. My approach in order to offer a solution is one that has not been considered in the literature as far as I am aware. I will study different methods for combining logics, concentrating on the method of juxtaposition, by Joshua Schechter, and I will try to solve the problem of mixed inferences by making a finer translation of the arguments and using combination mechanisms as the criterion of validity. One of the most intriguing aspects of the dissertation is the synergy that is created between the philosophical debate and the technical methods with the problem of mixed inferences at the center of that synergy. I hope to show that not only the philosophical debate benefits from the methods for combining logics, but also that these methods can be developed in new and interesting ways motivated by the philosophical problem of mixed inferences. The problem suggests that there are relevant interactions between connectives, justified by the philosophical considerations for conceptualising different logic systems, that the methods for combining logics should allow to emerge. The recognition of this fact is what drives the improvements on the method of juxtaposition that I develop. That is, in order to allow for the emergence of desirable interaction principles, I will propose alternative ways of combining logic systems -specifically classical and intuitionistic logics- that go beyond the standard for combinations, which is based on minimality conditions so as to avoid the so-called collapse theorems.[spa] El localismo lógico es una tesis en filosofía de la lógica según la cual diferentes sistemas lógicos son correctos en función del dominio en el que se aplican. Dicha tesis cuenta, prima facie, con cierta plausibilidad y con varios argumentos que la respaldan como mostraré. Sin embargo, el localismo se presta a un evidente y poderoso contraargumento conocido como ‘el problema de las inferencias mixtas’. El objetivo principal de esta disertación es dar respuesta a ese problema y extender la solución al problema afín de los compuestos mixtos que afecta al pluralismo alético. La manera de abordar el problema de las inferencias mixtas consistirá en analizar casos paradigmáticos en la literatura a la luz de los métodos de combinación de lógicas. En concreto, me centraré en el método de la yuxtaposición, desarrollado por Joshua Schechter. Así, ofreceré una solución al problema de las inferencias mixtas que pasará por realizar un análisis más sutil y una formalización más precisa de las mismas, para después aplicar los mecanismos de combinación como criterio de validez. Además, mostraré que el problema de las inferencias mixtas provee de multitud de ejemplos que invitan a desarrollar los métodos de combinación de lógicas de formas novedosas. Una de las aportaciones más relevantes de la disertación consistirá en modificar el método de la yuxtaposición para obtener mecanismos que van más allá del estándar de las extensiones mínimas conservativas. En concreto, propondré diferentes mecanismos para combinar la lógica clásica y la intuicionista, de manera que se permita la aparición de distintos principios puente para los que tenemos buenas razones que los justifican, sin que ello conduzca al colapso de las lógicas que se combinan