Logica Multivaluada

La idea central subyacente a la construcción de lógicas multivalentes es la de que hay un cierto campo fronterizo entre la verdad total y la completa falsedad. Esa idea no es ningún invento de algunos lógicos contemporáneos, sino que tiene hondas y remotas raíces en el pensamiento humano, y cabe alegar a su favor muchas consideraciones de muy diversa índole, desde las puramente filosóficas hasta las referidas a dificultades surgidas en no pocas disciplinas científicas por la pretensión de encasillar cada situación en uno de los dos polos, o «valores de verdad», de la lógica clásica.
En lógica, una lógica multi-valuada es un cálculo proposicional en la que hay más de dos valores de verdad. Tradicionalmente, en el …ver más…

El ejemplo clásico, que le debemos a Aristóteles, es: (A) “Mañana habrá una batalla naval” Según defensores de un tercer valor de verdad, como Jan Lukazewicz – los que de ahora en adelante llamaremos “trivalentistas” –, si bien es cierto que, o bien mañana habrá una batalla naval o bien no la habrá, de ello no se sigue que la proposición que expresa el enunciado (A) sea verdadera o falsa. Si mañana hay una batalla naval, la proposición será verdadera y si no la hay, será falsa. Sin embargo, de ello solamente se sigue que mañana la proposición será verdadera o falsa. Pero esto no nos dice nada sobre hoy. Mas bien parece que hoy la proposición no es todavía ni verdadera ni falsa. Para que sea verdadera es necesario que mañana haya una batalla naval. Para que sea falso, es necesario que mañana no haya una batalla naval. Hasta mañana, no se cumplirán ninguna de las condiciones. La proposición, por lo tanto, por ahora carece de cualquiera de esos valores de verdad hoy. Ya mañana tendrá alguno. Para el bivalentista, enunciados como (A) no muestran la existencia de proposiciones que no sean ni verdaderas ni falsas. Si bien es cierto que el hecho que hace verdadera esta proposición (al igual que el hecho que la haría falsa) no