What the Adoption Problem Does Not Show

Abstract

Saul Kripke propuso un desafío escéptico que Romina Padró popularizó bajo el nombre de Problema de la Adopción. El desafío consiste en que, dada una cierta definición de adopción, hay algunos principios lógicos que no pueden ser adoptados, siendo Instanciación Universal y Modus Ponens los casos paradigmáticos. Kripke ha utilizado el Problema de la Adopción para argumentar que hay un sentido importante en que la lógica no es revisable. En este ensayo, defiendo dos afirmaciones independientes. La primera es que el Problema de la Adopción no entraña que la lógica nunca sea revisable en el sentido que Kripke aborda. La segunda es que, para evaluar si un agente puede revisar su lógica en el sentido que Kripke aborda, lo mejor es considerar una definición de adopción diferente, de acuerdo con la cual Instanciación Universal y Modus Ponens son a veces adoptables.

Saul Kripke proposed a skeptical challenge that Romina Padró defended and popularized by the name of the Adoption Problem. The challenge is that, given a certain definition of adoption, there are some logical principles that cannot be adopted—paradigmatic cases being Universal Instantiation and Modus Ponens. Kripke has used the Adoption Problem to argue that there is an important sense in which logic is not revisable. In this essay, I defend two independent claims. First, that the Adoption Problem does not entail that logic is never revisable in the sense that Kripke addresses. Second, that, to assess whether an agent can revise their logic in the sense that Kripke addresses, it is best to consider a different definition of adoption, according to which Universal Instantiation and Modus Ponens are sometimes adoptable.