Condicionales e Implicación Material

La lógica clásica trata 'si A entonces B' como el condicional material, verdadero siempre que A sea falso o B sea verdadero; sin embargo, esto genera paradojas que han impulsado una vasta literatura sobre lo que 'si' realmente significa.

Definition

El condicional material 'A → B' es la función de verdad que es falsa solo cuando A es verdadero y B es falso; una cuestión central es si los condicionales indicativos ordinarios tienen estas condiciones de verdad o si, en cambio, expresan una relación de probabilidad condicional o dependencia de mundos posibles.

Scope

Este tema abarca el análisis de las oraciones condicionales y la adecuación del condicional material veritativo-funcional como su forma lógica. Trata las paradojas de la implicación material, las defensas pragmáticas griceanas de la explicación veritativo-funcional, la semántica de mundos posibles (Stalnaker), la tesis probabilística (Adams) de que la asertabilidad de un condicional se rige por la probabilidad condicional, y el contraste entre condicionales indicativos y contrafácticos.

Core questions

• ¿Las oraciones ordinarias 'si-entonces' tienen las condiciones de verdad del condicional material?
• ¿Cómo debemos explicar las paradojas de la implicación material, como que un antecedente falso hace que cualquier condicional sea verdadero?
• ¿La asertabilidad de un condicional sigue la probabilidad condicional del consecuente dado el antecedente?
• ¿En qué se diferencian los condicionales indicativos de los condicionales contrafácticos (subjuntivos)?

Key concepts

• condicional material
• paradojas de la implicación material
• condicionales indicativos vs. contrafácticos
• probabilidad condicional
• implicatura conversacional
• función de selección de mundos posibles

Key theories

Semántica de mundos posibles para condicionales

Stalnaker analiza 'si A entonces B' como verdadero si y solo si B se cumple en el(los) mundo(s) posible(s) más similar(es) en el(los) que A se cumple, reemplazando la explicación veritativo-funcional con una función de selección sobre mundos y validando así diferentes inferencias.

La tesis probabilística (Adams)

Adams sostiene que los condicionales indicativos carecen de condiciones de verdad ordinarias y que su aceptabilidad es igual a la probabilidad condicional del consecuente dado el antecedente, lo que explica los datos mejor que el condicional material.

History

La lectura veritativo-funcional de 'si' se remonta a los estoicos y fue incorporada a la lógica moderna por Frege y Russell. La insatisfacción del siglo XX con las paradojas resultantes impulsó la defensa pragmática de Grice (implicatura), la semántica de mundos posibles de Stalnaker de 1968 y la explicación probabilística de Adams de 1975, con la encuesta de Edgington de 1995 que cristalizó el debate contemporáneo.

Debates

Condicionales veritativo-funcionales vs. no veritativo-funcionales

Si las peculiaridades del condicional material pueden explicarse pragmáticamente como implicaturas griceanas, preservando la veritativo-funcionalidad, o si, en cambio, demuestran que los condicionales indicativos tienen un contenido probabilístico o de mundos posibles en lugar de condiciones de verdad materiales.

Key figures

• Robert Stalnaker
• Ernest Adams
• Dorothy Edgington
• H. Paul Grice
• Frank Ramsey

Seminal works

• stalnaker1968
• adams1975
• edgington1995

Frequently asked questions

¿Cuáles son las paradojas de la implicación material?

Según la lectura veritativo-funcional, un condicional es automáticamente verdadero siempre que su antecedente sea falso o su consecuente sea verdadero. Esto hace que oraciones como 'Si la luna está hecha de queso, entonces 2+2=4' resulten verdaderas, lo que choca con el juicio ordinario de que el antecedente y el consecuente deberían ser relevantes entre sí.