Theoria (España)

2025

In this article I propose a philosophical interpretation of metainferences, that equates them with the reasoning patterns of logicians. This is intended to solve a problem that relates metainferences as objets with metainferences as properties: if both coincide, there seems to be no interest for developping a theory of the former; but if they do not, then this theory seems useless. I claim that my proposal solves the problem, but it also undermines some of the pretended interests of metainferential logics.

Bulletin of the Section of Logic

2025

Ecumenical logics are systems where two logics can coexist, sharing vocabulary and avoiding collapses between them. The literature has focused mainly on ecu­menism between classical and intuitionistic logic, and several calculi of Natural Deduction and Sequents have been proposed. In this paper I contribute to this project with a dialogical ecumenical system. This Game utilizes an extension of the intuitionistic structural rules that permits to handle classical disjunctions and conditionals.  I show that this is indeed an ecumenical dialogical system, where classical formulas and intuitionistic formulas can be validated without collapses between them, and provide a philosophical defense of its design.

Logic and Logical Philosophy

2025

This paper introduces a metainferential version of intuitionistic logic. I work on the framework proposed by some logicians of Buenos Aires, who defend that a logic should be defined in terms of inferences and metainferences of growing complexity. Three logical systems are presented and proved to be adequate from an intuitionistic point of view

Crítica (México D. F. En línea)

2023

In this essay I propose two theories of truth and show how they deal with semantic paradoxes. Their most salient feature is that they are based on a gametheoretic understanding of logic and meaning. “Truth”, therefore, is understood dialogically, as agreement between parts. I compare this proposal with a similar one already existing in the literature —Dutilh Novaes and French 2018—, and highlight the advantages of mine. The theories of truth I present are non-trivial, substructural (in a sense to be clarified) and capture strong intuitions about truth. Some philosophical recommendations in favor of our understanding of Dialogics are delivered along the way. 

Logique et Analyse

2022

In this paper I present some definitions that capture Reductio ad Absurdum within Dialogics. One major result is proven: that Reductio strategies are available only for the Proponent, and therefore they only characterize validities. This insight is used to define three paraconsistent logics without changing or extending the former language. 

Análisis Filosófico (Argentina)

2022

El Problema de la Adopción afirma que ciertas leyes lógicas no pueden ser adoptadas. El argumento constituye un desafío al antiexcepcionalismo lógico, en la medida en que este último debe poder justificar su afirmación de que la(s) teoría(s) lógica(s) en ejercicio puede(n) revisarse. El propósito de este artículo es responder al desafío, utilizando como unidad de análisis el concepto de Taxonomía Lexical propuesto por Kuhn. Como mostraremos, una visión sociológicamente enriquecida de las teorías científicas y la naturaleza de sus cambios permite dar cuenta de un antiexcepcionalismo lógico que evita el Problema de la Adopción. 

Tesis (Lima)

2021

Logical laws cannot be adopted—so goes Kripke and Padró’s Adoption Problem. Their argument can be seen as an invitation to revisit the way in which we relate Logic and inferential practice. For them, the former does not come before, but after the latter. In this paper I delve into this conclusion by showing how the impossibility of adoption can be naturally associated with some features of Immanent Reasoning, which is a mix between Dialogic and Constructive Type Theory that incorporates the pragmatics of inference at its core. The major insight to be drawn from this approximation is that adoption, although not possible, is no longer needed. Subsequently, the ‘problem’ loses its ‘problematic’ character. This conclusion illustrates some of the advantages of favoring the game-theoretic approach to semantics in philosophical logic.

Culturas Científicas (Santiago de Chile)

2021

El Anti-Excepcionalismo Lógico afirma que la Lógica es como cualquier otra ciencia. Si esta afirmación es cierta, entonces ella no sólo es revisable, sino que además todo lo que se puede decir sobre las ciencias aplica, mutatis mutandis, para la misma. El propósito de este artículo es explorar esta consecuencia del Anti-Excepcionalismo Lógico, acercando a la Filosofía de la Lógica el marco teórico de las Máquinas Nomológicas de Nancy Cartwright. De acuerdo con esta visión, lo que hay de verdadero en las teorías científicas no está en el mundo sino en sus modelos: sistemas altamente controlados, estables, artificiales y específicos, dentro de los cuales se manifiestan regularidades sistematizables y enseñables. Mi afirmación es que lo mismo puede decirse de la Lógica: ella no captura las Leyes del Pensamiento o de la Razón, porque el pensamiento y la razón no están gobernados necesariamente por leyes. Sobre lo que sí puede decirse que versan las Leyes de la Lógica son metafísicas posibles: historias acerca de qué son las proposiciones, el pensamiento, la verdad y la validez. A fin de ilustrar y defender esta tesis, presento un ejemplo de Máquina Nomológica de la Lógica Clásica, basada en una lectura original del Tractatus de Wittgenstein, e investigo algunas de sus consecuencias. Mi conclusión es que esta imagen de la Lógica impacta en el problema de la revisión de la Lógica Clásica, en la medida en que muestra que dicha revisión no necesariamente responde a un proceso racional de adecuación de la teoría a los hechos porque los “hechos” relevantes no son anteriores a la teoría misma, sino que están moldeados y conducidos por ella. Palabras clave: Anti-Excepcionalismo Lógico, Abductivismo, Máquinas Nomológicas, Revisión Lógica, Filosofía de la Lógica. 

Proceedings de las XXX Jornadas de Epistemología e Historia de las Ciencias (Universidad Nacional de Córdoba, Argentina)

2020

El ahistoricismo metodológico, rasgo característico de la primera filosofía analítica, es a menudo visto como una virtud en la lógica. En este artículo expondré tres argumentos en contra de esta opinión, respaldados por ejemplos notables. Mi propósito no es defender que el conocimiento de la historia de la lógica sea indispensable para el trabajo del lógico, sino tan sólo mostrar que él puede serle útil, en el sentido de que puede proveerle herramientas de trabajo que de otra manera le serían difíciles de conseguir. 

Diego Fernandes y Rodrigo López-Orellana (Eds.), El jardín de los senderos que se bifurcan y confluyen: filosofía, lógica y matemáticas

2020

There is a quite intentional resemblance between the Cut Rule and Aristotle’s Syllogism. In this paper some deep connections between Sequent Calculus and Syllogistics will be investigated. Taking into consideration Alvarez & Correia’s axiomatization of Syllogistics, currently the most complete available in the literature, I will show how this ancient logical system can be put into correspondence with the structural features of a special Sequent Calculus system, SS. On the grounds of this discovery I will present some improvements of the expressive power of Alvarez & Correia’s system. As for the philosophical consequences of the correspondence, I will give answers to several concerns Manuel Correia had on his system. A somewhat new philosophical relevance of the Cut-Elimination Theorem will be highlighted in the end.