Logical Localism in the Context of Combining Logics

[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

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

A Fibred Tableau Calculus for BDI Logics

In [12,16] we showed how to combine propositional BDI logics using Gabbay's fibring methodology. In this paper we extend the above mentioned works by providing a tableau-based decision procedure for the combined/fibred logics. To achieve this end we first outline with an example two types of tableau systems, (graph and path), and discuss why both are inadequate in the case of fibring. Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system KEM

Asymmetric Combination of Logics is Functorial: A Survey

Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a given base logic. These examples are surveyed in the paper under a particular perspective—that this sort of combination of logics possesses a functorial nature. Such a view gives rise to several interesting questions. They range from the problem of combining translations (between logics), to that of ensuring property preservation along the process, and the way different asymmetric combinations can be related through appropriate natural transformations

Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis

Orientador: Marcelo Esteban ConiglioDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: Neste trabalho apresentamos um novo formalismo de decomposição de Lógicas, as Coberturas por Traduções Possíveis, ou simplesmente CTPs. As CTPs constituem uma versão formal das Semânticas de Traduções Possíveis, introduzidas por W. Carnielli em 1990. Mostramos como a adoção de um conceito mais geral de morfismo de assinaturas proposicionais (usando multifunções no lugar de funções) nos permite definir uma categoria Sig?, na qual os conectivos, ao serem traduzidos de uma assinatura para outra, gozam de grande flexibilidade. A partir de Sig?, contruímos a categoria Log? de lógicas tarskianas e morfismos (os quais são funções obtidas a partir de um morfismo de assinaturas, isto é, de uma multifunção). Estudamos algumas características de Sig? e Log?, afim de verificar que estas categorias podem de fato acomodar as construções que pretendemos apresentar. Mostramos como definir em Log? o conjunto de traduções possíveis de uma fórmula, e a partir disto definimos a noção de CTP para uma lógica L. Por fim, exibimos um exemplo concreto de utilização desta nova ferramenta, e discutimos brevemente as possíveis abordagens para uma continuação deste trabalho.Abstract: We present a general study of a new formalism of decomposition of logics, the Possible- Translations Coverings (in short PTC 's) which constitute a formal version of Possible-Translations Semantics, introduced by W. Carnielli in 1990. We show how the adoption of a more general notion of propositional signatures morphism allows us to define a category Sig?, in which the connectives, when translated from a signature to another one, enjoy of great flexibility. Essentially, Sig? -morphisms will be multifunctions instead of functions. From Sig? we construct the category Log? of tarskian logics and morphisms between them (these .are functions obtained from signature morphisms, that is, from multifunctions) . We show how to define in Log? the set of possible translations of a given formula, and we define the notion of a PTC for a logic L. We analyze some properties of PTC 's and give concrete examples of the above mentioned constructions. We conclude with a discussion of the approaches to be used in a possible continuation of these investigations.MestradoMestre em Filosofi