La posibilidad subjuntiva (también llamada posibilidad alética ) es una forma de modalidad estudiada en la lógica modal . Las posibilidades subjuntivas son los tipos de posibilidades que se consideran al concebir situaciones contrafácticas ; las modalidades subjuntivas son modalidades que se refieren a si una afirmación podría haber sido o podría ser verdadera, como podría , podría , debe , posiblemente , necesariamente , contingentemente , esencialmente , accidentalmente , etc. Las posibilidades subjuntivas incluyen la posibilidad lógica , la posibilidad metafísica , la posibilidad nomológica y la posibilidad temporal.
La posibilidad subjuntiva contrasta (entre otras cosas) con la posibilidad epistémica (que trata de cómo podría ser el mundo, hasta donde sabemos ) y la posibilidad deóntica (que trata de cómo debería ser el mundo).
El contraste con la posibilidad epistémica es especialmente importante, ya que en el lenguaje ordinario las mismas frases ("es posible", "no puede ser", "debe ser") se utilizan a menudo para expresar ambos tipos de posibilidad. Pero no son lo mismo. No sabemos si la conjetura de Goldbach es verdadera o no (nadie ha presentado una prueba todavía); por lo tanto, es (epistémicamente) posible que sea verdadera y es (epistémicamente) posible que sea falsa. Pero si es , de hecho, demostrablemente verdadera (como puede ser, por lo que sabemos), entonces tendría que ser (subjuntivamente) necesariamente verdadera; lo que ser demostrable significa es que no sería (lógicamente) posible que fuera falsa. De manera similar, podría no ser en absoluto (epistémicamente) posible que esté lloviendo afuera —podríamos saber sin lugar a dudas que no lo está— pero eso difícilmente significaría que es (subjuntivamente) imposible que llueva afuera. Norman Swartz y Raymond Bradley también sostienen este punto . [1]
En el lenguaje hay cierta superposición entre las posibilidades subjuntivas y las posibilidades deónticas: por ejemplo, a veces usamos la afirmación "Puedes/no puedes hacer eso" para expresar (i) lo que es o no es subjuntivamente posible que hagas, y a veces la usamos para expresar (ii) lo que sería o no sería correcto que hicieras. Es menos probable que se confundan en el lenguaje ordinario las dos posibilidades que la subjuntiva y la posibilidad epistémica, ya que hay algunas diferencias importantes en la lógica de las modalidades subjuntivas y las modalidades deónticas. En particular, la necesidad subjuntiva implica verdad: si las personas deben lógicamente hacer tal o cual cosa, entonces se puede inferir que realmente lo hacen. Pero en este mundo no ideal, un "debe" deóntico no conlleva la certeza moral de que las personas deben moralmente hacer tal o cual cosa.
Existen varios tipos diferentes de modalidad del subjuntivo, que pueden clasificarse como más amplios o más restringidos entre sí según lo restrictivas que sean las reglas sobre lo que se considera "posible". Algunos de los más discutidos son:
De manera similar, David Lewis podría haber obtenido un título en Economía, pero no en, por ejemplo, Aviación (porque no se enseñaba en Harvard) o Neurociencia Cognitiva (porque no existía el llamado "espacio conceptual" para esa especialidad). Existe cierto debate sobre si este último tipo de posibilidad constituye de hecho un tipo de posibilidad distinta de la Temporal, y a veces es llamada Posibilidad Histórica por pensadores como Ian Hacking .