L�gica plurivalente

(Redirigido desde �L�gica polivalente�)

Ir a la navegaci�nIr a la b�squeda
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.1? Distintas l�gicas plurivalentes
pueden admitir distintas cantidades de valores de verdad: desde tres, hasta
infinito (cualquier n�mero real entre 0 y 1).

�ndice
1 Origen
2 Variantes
2.1 L�gica polivalente de G�del
2.2 L�gica producto
2.3 L�gica polivalente y doble negaci�n
3 V�ase tambi�n
4 Notas y referencias
5 Bibliograf�a
6 Enlaces externos
7 V�ase tambi�n
Origen
Las l�gicas polivalentes se difundieron especialmente a partir de los trabajos de
los fil�sofos polacos Jan Lukasiewicz 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.

Variantes
Pueden considerarse como polivalentes:

la l�gica polivalente de Post

la l�gica trivalente y n-valente de Lukasiewicz
la l�gica polivalente de G�del, a partir de su teorema de la incompletitud
la l�gica difusa de Zadeh, que enfatiza en la incertidumbre y es una l�gica de la
posibilidad
la l�gica probabil�stica
la l�gica producto
la l�gica intuicionista desarrollada por Brouwer, que restringe la validez de la
l�gica cl�sica a lo demostrable
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 {\displaystyle n} n mundos o un n�mero infinito de "mundos" posibles.

L�gica polivalente de G�del

Formula lo siguiente::

{\displaystyle x\,\operatorname {AND} \,z=min(v(x),v(z))} {\displaystyle

x\,\operatorname {AND} \,z=min(v(x),v(z))}
{\displaystyle x\,\operatorname {OR} \,z=max(v(x),v(z))} {\displaystyle
x\,\operatorname {OR} \,z=max(v(x),v(z))}
{\displaystyle \operatorname {NOT} \,x=1} {\displaystyle \operatorname {NOT} \,x=1}
si {\displaystyle v(x)=0} {\displaystyle v(x)=0} y {\displaystyle 0} {\displaystyle
0} de otro modo.
L�gica producto
Formula lo siguiente::

{\displaystyle x\,\operatorname {AND} \,z=v(x)v(z)} {\displaystyle x\,\operatorname

{AND} \,z=v(x)v(z)}
{\displaystyle x\,\operatorname {OR} \,z=v(x)+v(z)-v(x)v(z)} {\displaystyle
x\,\operatorname {OR} \,z=v(x)+v(z)-v(x)v(z)}
{\displaystyle \operatorname {NOT} \,x=1} {\displaystyle \operatorname {NOT} \,x=1}
si {\displaystyle v(x)=0} {\displaystyle v(x)=0} y {\displaystyle 0} {\displaystyle
0} de otro modo.
L�gica polivalente y doble negaci�n
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:

{\displaystyle A\to \neg \neg A} {\displaystyle A\to \neg \neg A} es un teorema

{\displaystyle \neg \neg A\to A} {\displaystyle \neg \neg A\to A} no es un teorema.
{\displaystyle \neg A\to \neg \neg \neg A} {\displaystyle \neg A\to \neg \neg \neg
A} es un teorema.
{\displaystyle \neg \neg \neg A\to \neg A} {\displaystyle \neg \neg \neg A\to \neg
A} es un teorema.
V�ase tambi�n
L�gica difusa
L�gica bivalente
Principio de incertidumbre
Notas y referencias
Siegfried, Gottwald. �Many-Valued Logics�. En Edward N. Zalta. Stanford
Encyclopedia of Philosophy (en ingl�s) (Spring 2009 Edition edici�n). Consultado el
11 de octubre de 2009.
Bibliograf�a
G�del, K. (1932): Zum intuitionistischen Aussagenkalk�l, Anzeiger Akademie der
Wissenschaften Wien, Math.-naturwiss. Klasse 69, 65-66.
Gottwald, S. (2001) "A Treatise on Many-Valued Logics"; Studies in Logic and
Computation, vol. 9, Research Studies Press Ltd., Baldock.
Hegel, G. (1812- 1816) "La Ciencia de la L�gica"; Filosof�a de la L�gica y la
naturaleza, traducci�n de E. Ovejero y Maury. Buenos Aires: Editorial Claridad,
1969, p.p. 110-114.
Kleene, S.C. (1938) "On notation for ordinal numbers"; Journal Symbolic Logic 3:
150-155.
Kripke, S.A. (1975) "Outline of a theory of truth"; Journal of Philosophy 72: 690-
716.
Lukasiewicz, J. (1920) "O logice trojwartosciowej"; Ruch Filozoficny 5: 170-171.
Post, E. L. (1920) "Determination of all closed systems of truth tables"; Bulletin
American Mathematical Society 26: 437.
"Introduction to a general theory of elementary propositions"; American Journal
Mathematics 43: 163-185.
Velarde Lombra�a, Juli�n (1989) Historia de la l�gica. Universidad de Oviedo, p.p.
409-417. ISBN 84-7468-186-3