LOGICA MODAL Es una Lgica Extendida.

La base de este sistema consiste en considerar que las proposiciones pueden no slo ser verdaderas o falsas, sino que son verdaderas o falsas de distintos modos. As, una proposicin puede ser verdadera sin ms, o falsa sin ms. Pero tambin puede ocurrir que la proposicin tenga que ser verdadera, esto es, que no pueda ser falsa y, a la inversa, que sea falsa y que no pueda ser verdadera. Por ejemplo: Mi padre biolgico es mayor que yo. Esta proposicin no solo es verdadera sino necesariamente verdadera pues no puede ocurrir lo contrario, a saber, que mi progenitor sea menor que yo. Entonces, si una proposicin tiene que ser verdadera, diremos que es necesariamente verdadera porque si algo es necesario, seguro que ocurre. No es posible que lo necesario no ocurra. La necesidad es una modalidad que afecta a las proposiciones y puede definirse en funcin de la posibilidad. En lgica modal: , se lee: es necesario que . Esta proposicin es imposible que sea falsa. Si es necesariamente falsa, diremos que es imposible. Por ejemplo: El tringulo tiene 20 lados. Notamos que es necesariamente falsa, es decir, imposible. Si una proposicin puede ser verdadera, es decir, si no es imposible, diremos que es posible (de ah que todas las proposiciones necesarias sean posibles, pero no a la inversa). Entonces, si algo es posible, puede ocurrir, es decir, no es seguro que no ocurra. La posibilidad es una modalidad que afecta a las proposiciones y puede definirse en funcin de la necesidad. En lgica modal: , se lee: es posible que . Esta proposicin es imposible que sea necesaria. Si no es necesaria ni imposible, la proposicin es contingente (es decir, unas proposiciones sern verdaderas y otras falsas). Por ejemplo, La botella tiene tapa. Notamos que la botella podra tener tapa como no tenerla. Por ello, esta proposicin es contingente. La contingencia es una modalidad que afecta a proposiciones y puede definirse en funcin de la necesidad o de la posibilidad. Sea P una proposicin. Es contingente que P si y solo si es posible que P y es posible que no P. Equivalentemente, es contingente que P si y solo si no es necesario que P y no es necesario que no P. Pongamos algunos ejemplos de enunciados modales: 1) El maestro de Alejandro podra no haber sido el maestro de Alejandro Este enunciado es ambiguo y admite dos lecturas 1A) Es posible que hubiese un nico individuo que fue maestro de Alejandro y que ese individuo no fuese maestro de Alejandro 1A*) x (Mx y ( My y=x ) Mx), donde M=ser maestro de Alejandro 1B) Hay un nico individuo que fue maestro de Alejandro y ese individuo podra no haber sido maestro de Alejandro 1B*) x (Mx y ( My y=x ) Mx), donde M=ser maestro de Alejandro 2) Hay un objeto que tiene necesariamente la propiedad de ser mayor que 7 2*) x (x >7) 3) El que haya un objeto mayor que 7 es algo necesario 3*) x (x>7) 4) Cuando dos oraciones abiertas determinen singularmente un mismo objeto x, esas oraciones abiertas sern equivalentes por necesidad 4*) [ y (Fy y=x) y (Gyy=x) ] y (FyGy) 5) Hay un nmero que (como una mera cuestin de hecho) es el nmero de los planetas y ese nmero es necesariamente mayor que 7 5*) x ( Px y ( Py y=x ) (x>7) ), donde P=ser el nmero de los planetas 6) Es necesario que el nmero de los planetas sea mayor que 7 6*) x ( Px y ( Py y=x ) (x>7) ), donde P=ser el nmero de los planetas