Indicative Conditionals and the Adoption Problem

Abstract

In this work I will argue that a logic for indicative conditionals has to validate Modus Ponens. First, I will argue, following Birman (2015, 2024) and Kripke (2023) that Modus Ponens is an unadoptable rule, in the Adoption Problem sense of being “unadoptable”. I will then argue that it is not only unadoptable, but it is also unrecapturable. That is, it is impossible to reject the validity of the overall rule while still accepting its non–problematic instances in a systematic way. I will show that what the literature pinpoints as the problematic instances constitute both the way inference rules and usual principles for normative guidance about reasoning are formulated. Therefore, if we reject Modus Ponens, we are left with no way of instantiating any rule of inference (in particular, any rule for the conditional), and we are left with no way to instantiate any principle that allows one to link everyday reasoning to logic.En este trabajo argumento que la lógica de los condicionales indicativos debe validar Modus Ponens. Primero, voy a argumentar, siguiendo a Birman (2015, 2024) y Kripke (2023), que Modus Ponens es una regla inadoptable, en el sentido del Problema de la adopción de ser “inadoptable”. Luego argumentaré que no solo es inadoptable sino que es irrecapturable. Es decir, que es imposible rechazar la validez de la regla pero aceptar como correctas las instancias no problemáticas de forma sistemática. Voy a mostrar que lo que la literatura señala como las instancias problemáticas constituyen tanto la forma de las reglas de inferencia así como la forma de los principios normativos que guían nuestro razonamiento cotidiano. De esto concluyo que si rechazamos Modus Ponens, no queda ninguna forma de instanciar ninguna regla de inferencia (en particular, ninguna regla para el condicional), así como también nos quedamos sin ninguna guía normativa sobre cómo razonar respecto de lo que dictamina la lógica.