Posibilidad lógica

Una posibilidad lógica es una proposición lógica que no puede refutarse utilizando los axiomas y reglas de un sistema lógico determinado. La posibilidad lógica de una proposición dependerá del sistema lógico considerado, más que de la violación de una sola regla. Algunos sistemas lógicos restringen las inferencias a partir de proposiciones inconsistentes o incluso permiten contradicciones verdaderas . Otros sistemas lógicos tienen más de dos valores de verdad en lugar de un sistema binario . Algunos asumen que el sistema en cuestión es la lógica proposicional clásica . De manera similar, el criterio de posibilidad lógica a menudo se basa en si una proposición es contradictoria o no y, como tal, suele considerarse el tipo de posibilidad más amplio.

En lógica modal , una proposición lógica es posible si es verdadera en algún mundo posible . El universo de "mundos posibles" depende de los axiomas y reglas del sistema lógico en el que se trabaja, pero dado un sistema lógico, cualquier conjunto de enunciados lógicamente consistentes constituye un mundo posible. El operador diamante modal${\displaystyle \lozenge }$se utiliza para expresar posibilidad:${\displaystyle \lozenge P}$denota "proposición"${\displaystyle P}$es posible". ^{[ 1 ]}

La posibilidad lógica se diferencia de otros tipos de posibilidades subjuntivas. La relación entre modalidades (si es que existe) es objeto de debate y puede depender de la perspectiva lógica, así como de la relación entre lógica y metafísica . Por ejemplo, muchos filósofos seguidores de Saul Kripke sostienen que las identidades descubiertas, como «Héspero = Fósforo», son metafísicamente necesarias porque identifican el mismo objeto en todos los mundos posibles donde los términos tienen un referente. Es lógicamente posible que «Héspero = Fósforo» sea falso, ya que negarlo no viola una regla lógica como la consistencia. Otros filósofos opinan que la posibilidad lógica es más amplia que la metafísica, de modo que todo lo metafísicamente posible también lo es lógicamente.

• Lógica modal
• lógica paraconsistente
• Paradoja
• Teoría de la posibilidad
• Mundo posible
• Posibilidad subjuntiva

• Brian F. Chellas (1980). Lógica modal: Una introducción . Cambridge University Press. ISBN 978-0-521-29515-4.