Posibilidad de subjuntivo - Subjunctive possibility
La posibilidad subjuntiva (también llamada posibilidad alética ) es una forma de modalidad estudiada en 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 dependen de si un enunciado podría haber sido o podría ser verdadero, como podría , podría , debe , posiblemente , necesariamente , contingentemente , esencialmente , accidentalmente , etc. Las posibilidades subjuntivas incluyen posibilidad lógica , posibilidad metafísica , posibilidad nomológica y posibilidad temporal.
Posibilidad subjuntiva y otras modalidades
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 ).
Posibilidad epistémica
Es especialmente importante dibujar 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 es , de hecho, demostrablemente verdadero (como puede ser, por lo que sabemos), entonces tendría que ser (subjuntivamente) necesariamente verdadero; 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 llueva afuera —podríamos saber más allá de una sombra de duda que no lo está— pero eso difícilmente significaría que es (subjuntivamente) imposible que llueva afuera. Norman Swartz y Raymond Bradley también señalan este punto.
Posibilidad deóntica
Existe cierta superposición en el lenguaje entre las posibilidades subjuntivas y las posibilidades deónticas: por ejemplo, a veces usamos el enunciado "Usted puede / no puede hacer eso" para expresar (i) lo que es o no subjuntivamente posible que usted haga, y a veces utilícelo para expresar (ii) lo que sería correcto o no que hiciera. 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 subjuntivas y las modalidades deónticas. En particular, la necesidad subjuntiva implica la verdad: si las personas lógicamente deben tal o cual, 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 la gente moralmente debe hacer tal o cual cosa.
Tipos de posibilidad de subjuntivo
Hay varios tipos diferentes de modalidad de subjuntivo, que pueden clasificarse como más amplios o más estrechos entre sí dependiendo de cuán restrictivas sean las reglas para lo que cuenta como "posible". Algunos de los más comentados son:
- La posibilidad lógica generalmente se considera el tipo más amplio de posibilidad; Se dice que una proposición es lógicamente posible si no hay ninguna contradicción lógica involucrada en su verdad. " Dick Cheney es soltero" es lógicamente posible, aunque en realidad es 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 ; cualquier persona que es un soltero es , por tanto, no está casado, por lo que esta proposición es lógicamente contradictorio en sí mismo (aunque la frase no es, ya que es lógicamente posible "soltero" significa "hombre casado").
- La posibilidad metafísica es equivalente a la posibilidad lógica o más estrecha que ella (lo que un filósofo piensa que es la relación entre las dos depende, en parte, de la visión de la lógica del filósofo). Algunos filósofos han sostenido que las identidades descubiertas como"El agua es H 2 O" de Kripke son metafísicamente necesarias pero no lógicamente necesarias (afirmarían que no hay ninguna contradicción formal involucrada en "El agua no esH 2 O" aunque se convierta en resulta 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 , que podrían haber existido leyes naturales diferentes a las que realmente se aplican. Si es así, entonces no sería lógica o metafísicamente imposible, por ejemplo, viajar a Alpha Centauri en un día; simplemente tendría que darse el caso de que pudieras viajar más rápido que la velocidad de la luz . Pero, por supuesto, hay un sentido importante en el que esto no esposible; dado que las leyes de la naturaleza son las que son, no hay forma de que puedas hacerlo. (Algunos filósofos, como Sydney Shoemaker , han argumentado que las leyes de la naturaleza son de hecho necesarias , no contingentes; si es así, 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 optado por obtener su título en Contabilidad en lugar de Filosofía; pero hay un sentido importante en el que ahora no puede . El "podría tener" expresa el hecho de que no hay ninguna imposibilidad lógica, metafísica o incluso nomológica involucrada en que Lewis tenga un título en Economía en lugar de Filosofía; el "ahora no puedo" expresa el hecho de que esa posibilidad ya no está abierta a volverse actual, dado que el pasado es como realmente es.
De manera similar, David Lewis podría haber obtenido un título en Economía pero no en, digamos, Aviación (porque no se impartió en Harvard) o Neurociencia Cognitiva (porque el llamado "espacio conceptual" para tal especialización no existía). Existe cierto debate sobre si este tipo final de posibilidad constituye de hecho un tipo de posibilidad distinta de la Temporal, y a veces es llamado Posibilidad Histórica por pensadores como Ian Hacking .