Joaquín Santiago Toranzo Calderón

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.

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 or relations with a conjunctive 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 comparisons

According to the Adoption Problem certain basic logical principles cannot be adopted. Drawing on the AP, Suki Finn presents an argument against logical pluralism: Modus Ponens and Universal Instantiation 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.