Jueves  21 Mayo.

La lógica modal.

(A modo de  ampliación conceptual y de curiosidad -no obligatorio)

  En la lógica de enunciados normal, la que hemos visto, los enunciados pueden ser verdaderos (1) o falsos (0).  En la lógica modal los enunciados  pueden ser, además de verdaderos o falsos, posibles o necesarios; la lógica modal podemos considerarla pues, como una ampliación de la lógica de enunciados.. Posible y necesario son lo que se denomina términos modales y tratan deexpresar  determinadas formas del ser.
   Los términos posible y necesario  pueden referirse a dos ámbitos:
           -al de la realidad (enunciados)
           -al lingüístico  (términos).
   En el ámbito de la realidad se distinguen tres modos o formas de ser:  realidad, posibilidad, necesidad:
        a) un enunciado es posible si es verdadero en un "mundo posible"
        b) un enunciado es necesario si es verdadero en todos los mundos posibles.

El término posible (posibilidad) es controvertido en el ámbito filosófico. Aristóteles  lo situaba entre el ser y el no-ser y se correspondería con el ser en potencia. (recordad que Aristóteles definia el movimiento como el paso del ser en potencia al ser en acto (realidad) , por medio de otro ser en acto, y creo que ponía como ej. Una bellota que es en potencia con respecto al roble y se convierte en acto cuandom germina y se transforma en un roble y para ello necesitaba una causa, tierra, humedad..., sin embargo este paso de la potencia al acto  no es necesario, por tanto, no está claro si lo posible se convierte en real.  Con ello, según el planteamiento aristotélico no está clara la relación dntre posibilidad, realidad y necesidad.
 Hay otros pensadores, sin embargo, como Hartmann que sostienen que los tres términos: posible, necesario y real, están estrechamente unidos: la realidad presupone la posibilidad y la necesidad, es decir, lo que no se hizo real, tampoco fue posible.

Ejercicios (voluntarios)

.-¿Di de los siguientes enunciados si son necesarios  o posibles, para la lógica de enunciados:
    ."Hay hombres  que nacen con un circuíto electrónico"
    ."No hay triángulos cuadrados"
    ."Los solteros no están casados"
    ."Hay dragones que lanzan fuego"