En los lenguajes naturales , un condicional 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 se definen típicamente en oposición a los condicionales contrafácticos , que tienen una marca gramatical adicional que les permite discutir eventualidades que ya no son posibles.
Los indicativos son un tema de investigación importante en filosofía del lenguaje , lógica filosófica y lingüística . Las preguntas abiertas incluyen qué operación lógica denotan los indicativos, cómo se podrían componer dichas denotaciones a partir de su forma gramatical y las implicaciones de esas denotaciones para áreas como la metafísica , la psicología del razonamiento y la filosofía de las matemáticas .
Los primeros análisis identificaron los condicionales indicativos con la operación lógica conocida como condicional material . Según el análisis del condicional material, un indicativo "Si A entonces B" es verdadero a menos que A sea verdadero y B no lo sea. 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 su antecedente y el consecuente son ambos 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 vacuamente verdaderos . Por ejemplo, dado que París no está en Australia, el condicional "Si París está en Australia, entonces las truchas son peces" sería tratado como verdadero en un análisis condicional material. Estos argumentos se han tomado para demostrar que ningún operador veritativo-funcional será suficiente como semántica para los condicionales indicativos. A mediados del siglo XX, el trabajo de HP Grice , Frank Cameron Jackson y otros intentó mantener el condicional material como un análisis de la denotación semántica literal de los indicativos, mientras apelaba a la pragmática para explicar las aparentes discrepancias. [1]
Los trabajos contemporáneos en lógica filosófica y semántica formal generalmente proponen 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 contrafácticos . Las personas realizan fácilmente la inferencia modus ponens , es decir, dado si A entonces B , y dado A , concluyen B , pero solo alrededor de la mitad de los participantes en experimentos realizan la inferencia modus tollens , es decir, dado si A entonces B , y dado no-B , solo alrededor de la mitad de los participantes concluyen no-A , el resto dice que no se sigue nada ( Evans et al. , 1993). Cuando a los participantes se les dan condicionales contrafácticos, realizan tanto la inferencia modus ponens como la inferencia modus tollens ( Byrne , 2005).
