posibilidad lógica
La posibilidad lógica se refiere a una proposición lógica que no puede ser refutada, usando los axiomas y reglas de un sistema lógico dado. La posibilidad lógica de una proposición dependerá del sistema de lógica que se considere, más que de la violación de una sola regla. Algunos sistemas de lógica restringen las inferencias de proposiciones inconsistentes o incluso permiten verdaderas contradicciones . Otros sistemas lógicos tienen más de dos valores de verdad en lugar de un binario de dichos valores. Sin embargo, cuando se habla de posibilidad lógica, a menudo se asume 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 o no contradictoria y, como tal, a menudo se considera como el tipo más amplio de posibilidad.
En lógica modal , una proposición lógica es posible si es verdadera en algún mundo posible . El universo de los "mundos posibles" depende de los axiomas y reglas del sistema lógico en el que uno trabaja, pero dado algún sistema lógico, cualquier colección de enunciados lógicamente consistente es un mundo posible. El operador de diamante modal se usa para expresar posibilidad: denota "la proposición es posible". [1]
La posibilidad lógica debe distinguirse de otros tipos de posibilidades subjuntivas. Pero la relación entre modalidades (si la hay) es tema de debate y puede depender de cómo se vea la lógica, así como la relación entre lógica y metafísica , por ejemplo, muchos filósofos siguiendo a Saul Kripke han sostenido que las identidades descubiertas como "Hesperus = Phosphorus" son metafísicamente necesarios porque seleccionan el mismo objeto en todos los mundos posibles donde los términos tienen un referente. Sin embargo, es lógicamenteposible que “Hesperus = Phosphorus” sea falso, ya que negarlo no viola una regla lógica como la consistencia. Otros filósofos también opinan que la posibilidad lógica es más amplia que la posibilidad metafísica, de modo que todo lo que es metafísicamente posible también es lógicamente posible.