En las lenguas naturales , un condicional de indicativo es una oración condicional como "Si Leona está en casa, no está en París", cuya forma gramatical la restringe a discutir lo que podría ser cierto. Los indicativos a menudo se definen en oposición a los condicionales contrafácticos , que tienen marcas gramaticales adicionales que les permiten hablar de escenarios que ya no son posibles.
Los indicativos son un tema importante de investigación en filosofía del lenguaje , lógica filosófica y lingüística . Las preguntas abiertas incluyen qué indicativos de operación lógica denotan, cómo se podrían componer dichas denotaciones a partir de su forma gramatical y las implicaciones de esas denotaciones para áreas que incluyen la metafísica , la psicología del razonamiento y la filosofía de las matemáticas .
Los primeros análisis identificaron condicionales indicativos con la operación lógica conocida como condicional material . Según el análisis condicional material, un indicativo "Si A, entonces B" es verdadero a menos que A sea verdadero y B no. Aunque este análisis cubre muchos casos observados, omite algunas propiedades cruciales del discurso y el razonamiento condicionales reales.
Un problema del análisis condicional material es que permite que los indicativos sean verdaderos incluso cuando su antecedente y consecuente no están relacionados. Por ejemplo, el indicativo "Si París está en Francia, entonces las truchas son peces" es intuitivamente extraño ya que la ubicación de París no tiene nada que ver con la clasificación de las truchas. Sin embargo, dado que tanto su antecedente como su consecuente son verdaderos, el análisis condicional material lo trata como un enunciado verdadero. De manera similar, el análisis condicional material trata los condicionales con antecedentes falsos como vagamente verdaderos . Por ejemplo, dado que París no está en Australia, el condicional "Si París está en Australia, entonces las truchas son peces" se consideraría verdadero en un análisis condicional material. Estos argumentos se han tomado para demostrar que ningún operador funcional de verdad será suficiente como semántica para los condicionales indicativos. A mediados del siglo XX, el trabajo de HP Grice , Frank Cameron Jackson y otros intentaron mantener el condicional material como un análisis de la denotación semántica literal de los indicativos, apelando al mismo tiempo a la pragmática para explicar las aparentes discrepancias. [1]
El trabajo contemporáneo en lógica filosófica y semántica formal generalmente propone denotaciones alternativas para los condicionales indicativos. Las alternativas propuestas incluyen análisis basados en la lógica de relevancia , la lógica modal , la teoría de la probabilidad , la semántica modal kratzeriana y la semántica dinámica . [2]
La mayoría de los experimentos conductuales sobre condicionales en la psicología del razonamiento se han llevado a cabo con condicionales indicativos, condicionales causales y condicionales contrafactuales . La gente hace fácilmente la inferencia modus ponens , es decir, dado si A entonces B , y dado A , concluyen B , pero sólo aproximadamente la mitad de los participantes en los experimentos hacen la inferencia modus tollens , es decir, dado si A entonces B , y dado no-B , sólo alrededor de la mitad de los participantes concluyen que no-A , el resto dice que no se sigue nada ( Evans et al. , 1993). Cuando a los participantes se les dan condicionales contrafactuales, hacen inferencias tanto del modus ponens como del modus tollens ( Byrne , 2005).
