Lógica plurivalente

Una lógica plurivalente, lógica polivalente o lógica multivaluada es un sistema lógico que rechaza el principio del tercero excluido (dimensión sintáctica) y el principio de bivalencia (dimensión semántica) de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso (o 1 y 0).

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.

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