La posibilidad subjuntiva (también llamada posibilidad alética ) es una forma de modalidad estudiada en la lógica modal . Las posibilidades subjuntivas son el tipo de posibilidades que se consideran al concebir situaciones contrafácticas ; Las modalidades subjuntivas son modalidades que influyen en si una afirmación podría haber sido o podría ser verdadera, como podría , podría , debe , posiblemente , necesariamente , contingente , esencialmente , accidentalmente , etc. Las posibilidades subjuntivas incluyen posibilidad lógica , posibilidad metafísica , posibilidad nomológica y posibilidad temporal.
La posibilidad subjuntiva se contrasta con (entre otras cosas) la posibilidad epistémica (que trata de cómo puede ser el mundo, por lo que sabemos ) y la posibilidad deóntica (que trata de cómo debería ser el mundo).
Es especialmente importante establecer el contraste con la posibilidad epistémica, ya que en el lenguaje ordinario las mismas frases ("es posible", "no puede ser", "debe ser") se utilizan a menudo para expresar cualquier tipo de posibilidad. Pero no son los mismos. No sabemos si la conjetura de Goldbach es cierta o no (nadie ha presentado una prueba todavía); entonces es (epistémicamente) posible que sea verdadero y es (epistémicamente) posible que sea falso. Pero si , de hecho, es demostrablemente cierto (como puede serlo, por lo que sabemos), entonces tendría que ser (subjuntivamente) necesariamente cierto; lo que significa ser demostrable es que no sería (lógicamente) posible que fuera falso. 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 es así), pero eso difícilmente significaría que sea (subjuntivamente) imposible que llueva afuera. Norman Swartz y Raymond Bradley también señalan este punto . [1]
Existe cierta superposición en el lenguaje 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 posible hacer en subjuntivo, y a veces Úselo para expresar (ii) lo que sería correcto o no hacer. Es menos probable que los dos se confundan en el lenguaje ordinario que la posibilidad subjuntiva y epistémica, ya que existen algunas diferencias importantes en la lógica de las modalidades subjuntiva y deóntica. En particular, la necesidad subjuntiva implica verdad: si las personas lógicamente deben hacer esto o aquello, entonces se puede inferir que realmente lo hacen. Pero en este mundo no ideal, un "deber" deóntico no conlleva la certeza moral de que las personas moralmente deben hacer tal o cual cosa.
Hay varios tipos diferentes de modalidad subjuntiva, que pueden clasificarse como más amplias o más estrechas entre sí dependiendo de cuán restrictivas sean las reglas sobre lo que se considera "posible". Algunos de los más comúnmente discutidos son:
De manera similar, David Lewis podría haber obtenido una licenciatura en Economía, pero no en, digamos, Aviación (porque no se enseñaba en Harvard) o Neurociencia Cognitiva (porque el llamado "espacio conceptual" para tal especialidad no existía). Existe cierto debate sobre si este último tipo de posibilidad constituye de hecho un tipo de posibilidad distinta de la temporal, y a veces pensadores como Ian Hacking la llaman posibilidad histórica .