Condicional estricto

Condicional estricto

En lógica, el condicional estricto es un condicional material sobre el que opera un operador de necesidad. Dadas dos proposiciones cualquiera A y B, la fórmula A → B dice que A implica materialmente B, mientras que \Box (A \to B) dice que A implica estrictamente B.

El condicional estricto es el resultado del trabajo de Clarence Irving Lewis por encontrar un condiconal para la lógica que capturara mejor el comportamiento de los condicionales en el lenguaje natural. Su propuesta logra evitar algunas paradojas de la implicación material, pero recae en otras. Para evitarlas, algunos lógicos han creado condiconales contrafácticos. Otros, como Paul Grice, han usado la implicación conversacional para argumentar que, pese a las aparentes dificultades, el condicional material es una traducción suficientemente buena para el condicional del lenguaje natural. Aún otros han recurrido a la lógica relevante para resolver las paradojas.

Paradojas del condicional estricto

Considérese la siguiente oración:

Si la Luna está hecha de queso, entonces Elvis no murió.

Intuitivamente, esta proposición expresada por esta oración es falsa. Sin embargo, al traducirla al lenguaje de la lógica clásica, obtenemos:

La Luna está hecha de queso → Elvis no murió

Esta proposición es verdadera porque una fórmula A → B es verdadera cuando el antecedente es falso, y en este caso claramente la Luna NO está hecha de queso. Pero esto contradice nuestra intuición de que la proposición es falsa. Por lo tanto, la fórmula A → B no es una traducción satisfactoria de la oración original. Con el condicional estricto es posible una traducción distinta de la oración:

\Box(La Luna está hecha de queso → Elvis no murió)

En lógica modal, esta proposición significa (aproximadamente) que en todo mundo posible donde la Luna está hecha de queso, Elvis no murió. Dado que es posible imaginar un mundo donde la Luna esté hecha de queso, y Elvis haya muerto, esta fórmula es falsa. Por lo tanto, esta fórmula parece una traducción más correcta de la oración original.

Como se ve, el condicional estricto puede lidiar con algunas de las paradojas de la implicación material. Sin embargo, existen otras que todavía se le escapan. La siguiente oración, por ejemplo, no puede ser correctamente formalizada por medio de un condicional material.

Si la Luna está hecha de queso, entonces 2 + 2 = 4.

Como antes, esta oración expresa una proposición que parece intuitivamente falsa. Usando el condiconal estricto, la proposición se expresa:

\Box(La Luna está hecha de queso → 2 + 2 = 4)

En lógica modal, esto significa que en todo mundo posible donde la Luna está hecha de queso, 2 + 2 = 4. Dado que 2 + 2 = 4 es verdadero en todos los mundos posibles, la proposición es verdadera. Pero esto contradice nuestra intuición inicial.

Véase también

Bibliografía

  • Este artículo fue creado a partir de la traducción total del artículo Strict conditional de la Wikipedia en inglés, concretamente de esta versión, bajo licencia Creative Commons Atribución Compartir Igual 3.0 y GFDL.
  • Edgington, Dorothy (2001), «Conditionals», en Loug Goble, The Blackwell Guide to Philosophical Logic, Blackwell 
  • Sainsbury, Mark (2001). Logical Forms. Blackwell Publishers. 
  • Bennet, Jonathan (2003). A Philosophical Guide to Conditionals. Oxford University Press. 

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Condicional material — El condicional material, también conocido como implicación material, condicional funcional de verdad o simplemente condicional, es una constante lógica que conecta dos proposiciones. El condicional material intenta ser la versión formal del… …   Wikipedia Español

  • Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …   Wikipedia Español

  • Paradojas de la implicación material — Saltar a navegación, búsqueda Las paradojas de la implicación material son un conjunto de fórmulas de la lógica proposicional, reconocidas como verdades lógicas, pero que golpean al sentido común como cuestionables, o incluso absurdas.[1] Algunas …   Wikipedia Español

  • Lógica relevante — La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una de las familias de lógicas sub estructurales no clásicas que impone ciertas restricciones en la implicación. La lógica relevante fue propuesta en 1928… …   Wikipedia Español

  • Unión Soviética — Unión de Repúblicas Socialistas Soviéticas Союз Советских Социалистических Республик¹ Soyúz Soviétskij Sotsialistíchieskij Respúblik¹ …   Wikipedia Español

  • Mercado hipotecario — El mercado hipotecario es un marco regulatorio estricto dentro del cual, y bajo su disciplina, se formalizan, sustentan y transmiten los préstamos y créditos garantizados con primera hipoteca sobre bienes inmuebles. Las condiciones financieras y… …   Wikipedia Español

  • Comparación entre el Esperanto y el Novial — Esperanto Datos Generales Creador: L. L. Zamenhof …   Wikipedia Español

  • Adolf Hitler — «Hitler» redirige aquí. Para otras acepciones, véase Hitler (desambiguación). Adolf Hitler Retrato oficial de Adolf Hitler en la cancillería, 1933 …   Wikipedia Español

  • Allen Iverson — Datos personales …   Wikipedia Español

  • Captain Midnight (HBO) — Captain Midnight Suceso Multa y libertad condicional Lugar HBO Fecha 27 de abril de 1986 Participantes John R. MacDougall John R. MacDougall, también conocido como Captain Midnight, es un ingeniero el …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”