Revisión lógica local o global: Acerca de “What the Adoption Problem Does Not Show” de Camillo Fiore

Resumo

El Problema de la Adopción (AP) de reglas de inferencia fue un asunto postergado durante algunos años (Kripke, 2024; Padró, 2015; Birman, 2024). Este problema pone el acento en ciertas dificultades alrededor de la adopción ¿Si el antiexcepcionalismo es incorrecto, es posible adoptar una lógica alternativa? ¿Qué sentido tiene la revisión en epistemología de la lógica?
Durante 2022 Kripke, Padró y Barrio realizaron seminarios sobre AP. Los últimos dos editaron la primera sección temática sobre este asunto en la revista Análisis Filosófico. Esta contiene el artículo “What the Adoption Problem Does Not Show” de Camilo Fiore, objeto de la presente nota crítica. Fiore sostiene dos tesis y una relación entre ellas: 1) AP es compatible con la tesis según la cual la logica utens es revisable; 2) para evaluar si un agente puede revisar su lógica, es mejor considerar una definición diferente, e.g. adopción débil, según el cual la Instanciación Universal y el Modus Ponens son a veces adoptables. Luego afirma que (1) y (2) son independientes.
En este artículo criticaré la independencia entre (1) y (2). Para ello, señalaré que la tesis (1) y (2) se sostienen con los ejemplos de Carrie y Barry, respectivamente, y que el tipo de revisión lógica involucrada en ambos es el mismo y es local. Por ello, (1) y (2) no son independientes. Luego, sostengo que es imposible satisfacer otro tipo de revisión lógica, e.g. revisión global. Por ello, la interdependencia entre (1) y (2) no se debe a los ejemplos propuestos.