Lógica plurivalente
Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso. Distintas lógicas plurivalentes pueden admitir distintas cantidades de valores de verdad: desde tres, hasta infinito (cualquier número real entre 0 y 1).
Las lógicas polivalentes se difundieron especialmente a partir de los trabajos de los filósofos polacos Jan Łukasiewicz y Emil Post y sus relaciones con la física cuántica, pero fueron expuestas anteriormente, con diferentes enfoques, por Hegel, Hugh MacColl, Charles Sanders Peirce y Nicolai A. Vasiliev. Stephen Kleene elaboró las tablas de verdad para un sistema de lógica trivalente. Un ejemplo para ilustrar la trivalencia en física ha sido la paradoja del gato de Schrödinger.
Pueden considerarse como polivalentes:
La lógica trivalente como la del universo de los modelos de Kripke que contienen tres "mundos" posibles. Otras lógicas se proponen como polivalentes o n-valentes, de mundos o un número infinito de "mundos" posibles.
Formula lo siguiente::
Formula lo siguiente::
Es interesante observar como en las lógicas de Gödel y producto, al igual que en la lógica intuicionista, se niega el principio de la doble negación con el fin de mantener la validez del principio de no contradicción.
En particular, a causa de la particular definición del operador NOT se verifica que: