Posibilidad subjuntiva

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:

• La posibilidad lógica suele considerarse la más amplia de las posibilidades; se dice que una proposición es lógicamente posible si no hay ninguna contradicción lógica implicada en su veracidad. " Dick Cheney es soltero" es lógicamente posible, aunque de hecho sea falsa; la mayoría de los filósofos han pensado que afirmaciones como "Si agito los brazos muy fuerte, volaré" son lógicamente posibles, aunque sean nomológicamente imposibles. " Dick Cheney es soltero casado", por otro lado, es lógicamente imposible ; cualquiera que sea solterono está casado, por lo que esta proposición es lógicamente contradictoria (aunque la oración no lo es, porque es lógicamente posible que "soltero" signifique "hombre casado").
• La posibilidad metafísica es equivalente a la posibilidad lógica o más limitada que ella (lo que un filósofo piensa que es la relación entre las dos depende, en parte, de la visión que tiene el filósofo de la lógica ). Algunos filósofos han sostenido que las identidades descubiertas, comola de Kripke "El agua es _H2O ", son metafísicamente necesarias pero no lógicamente necesarias (afirmarían que no hay ninguna contradicción formal involucrada en "El agua no es H2O _{" ,} aunque resulte ser metafísicamente imposible).
• La posibilidad nomológica es la posibilidad bajo las leyes reales de la naturaleza . La mayoría de los filósofos desde David Hume han sostenido que las leyes de la naturaleza son metafísicamente contingentes , es decir, que podrían haber existido leyes naturales diferentes a las que realmente se dan. Si así fuera, no sería lógica ni metafísicamente imposible, por ejemplo, que usted viajara a Alpha Centauri en un día; simplemente tendría que darse el caso de que pudiera viajar más rápido que la velocidad de la luz . Pero, por supuesto, hay un sentido importante en el que esto no es posible; dado que las leyes de la naturaleza son lo que son, no hay forma de que pudiera hacerlo. (Algunos filósofos, como Sydney Shoemaker ^{[ cita requerida ]} , han sostenido que las leyes de la naturaleza son, de hecho, necesarias , no contingentes; si es así, entonces la posibilidad nomológica es equivalente a la posibilidad metafísica).
• La posibilidad temporal es la posibilidad dada la historia real del mundo . David Lewis podría haber elegido obtener su título en Contabilidad en lugar de Filosofía; pero hay un sentido importante en el que no puede hacerlo ahora . El "podría haber" expresa el hecho de que no hay ninguna imposibilidad lógica, metafísica o incluso nomológica involucrada en que Lewis se haya graduado en Economía en lugar de Filosofía; el "no puede ahora" expresa el hecho de que esa posibilidad ya no está abierta a convertirse en realidad, dado que el pasado es como es en realidad.

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 .