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 el tipo de posibilidades que se consideran al concebir situaciones contrafactuales ; las modalidades subjuntivas son aquellas que influyen en si una afirmación podría haber sido o 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 se contrapone (entre otras cosas) a la posibilidad epistémica (que trata de cómo el mundo puede ser, por lo que sabemos ) y a la posibilidad deóntica (que trata de cómo el mundo debería ser).

Existen varios tipos de modalidad subjuntiva, que pueden clasificarse como más amplios o más restringidos entre sí, dependiendo de cuán estrictas sean las reglas que definen lo que se considera "posible". Algunos de los más comúnmente discutidos son:

• La posibilidad lógica se considera generalmente el tipo de posibilidad más amplio; se dice que una proposición es lógicamente posible si no implica ninguna contradicción lógica en su veracidad. « Dick Cheney es soltero» es lógicamente posible, aunque de hecho falso; la mayoría de los filósofos han pensado que afirmaciones como «Si agito los brazos con mucha fuerza, volaré» son lógicamente posibles, aunque nomológicamente imposibles. « Dick Cheney es un soltero casado», por otro lado, es lógicamente imposible ; por lo tanto, cualquier persona solterano está casada, así que esta proposición es lógicamente contradictoria (aunque la oración no lo sea, porque es lógicamente posible que «soltero» signifique «hombre casado»).
• La posibilidad metafísica es equivalente a la posibilidad lógica o más restringida que ella (la relación que un filósofo establece entre ambas depende, en parte, de su concepción de la lógica ). Algunos filósofos han sostenido que las identidades descubiertas, como la de Kripke , «El agua es H₂O _» , son metafísicamente necesarias pero no lógicamente necesarias (argumentarían que no existe ninguna contradicción formal en «El agua no es H₂O _{» ,} aunque resulte ser metafísicamente imposible).
• La posibilidad nomológica es la posibilidad que se da bajo las leyes 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 rigen actualmente. De ser así, no sería lógica ni metafísicamente imposible, por ejemplo, viajar a Alfa Centauri en un día; bastaría con que se pudiera viajar más rápido que la velocidad de la luz . Pero, por supuesto, existe un sentido importante en el que esto no es posible; dadas las leyes de la naturaleza, no hay manera de que se pueda lograr. (Algunos filósofos, como Sydney Shoemaker , han argumentado que las leyes de la naturaleza son, de hecho, necesarias , no contingentes; de ser así, la posibilidad nomológica equivale a la posibilidad metafísica).
• La posibilidad temporal es una posibilidad dada la historia real del mundo . David Lewis podría haber elegido estudiar Contabilidad en lugar de Filosofía; pero, en cierto sentido, ahora no puede . El "podría haber" expresa que no existe ninguna imposibilidad lógica, metafísica ni siquiera nomológica en que Lewis se haya licenciado en Economía en lugar de Filosofía; el "no puede ahora" expresa que esa posibilidad ya no puede materializarse, 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, por ejemplo, en Aviación (porque no se impartía en Harvard) o en Neurociencia Cognitiva (porque el llamado "espacio conceptual" para dicha especialización no existía). Existe cierto debate sobre si este último tipo de posibilidad constituye, de hecho, un tipo de posibilidad distinto de la Temporal, y a veces es denominado Posibilidad Histórica por pensadores como Ian Hacking .