Logicas Plurivalente
Páginas: 2 (325 palabras)
Publicado: 5 de noviembre de 2012
Pueden considerarse como polivalentes:
la lógica dialéctica de Hegel
la lógica trivalente para valores infinitos de Łukasiewicz
la lógica modal, especialmente los modelos de Kripke, quedefinen tres modelos de verdad: lo verdadero, lo falso y lo problemático
la lógica difusa de Zadeh, que enfatiza en la incertidumbre y es una lógica de la probabilidad
la lógica polivalente de Gödel,a partir de su teorema de la incompletitud
la lógica intuicionista desarrollada por Brouwer, que restringe la validez de la lógica clásica a lo demostrable
la logica producto, tetravalenteLa 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.
[editar] La lógica dialéctica de Hegel
El acto mismo del conocimiento es la introducción de la contradicción. El principio del tercero excluido, "algo o es A o no es A", esla proposición que quiere rechazar la contradicción y al hacerlo incurre precisamente en contradicción: A debe ser +A ó -A, con lo cual ya queda introducido el tercer término, A que no es ni + ni -y por lo mismo es +A y -A. Algo es ello mismo y es otro, porque en realidad todo cambia continuamente y la misma cosa se transforma en otra cosa. Es una lógica del movimiento, la transición y latransformación.
[editar] Lógica polivalente de Gödel
Formula lo siguiente::
y de otro modo.
[editar] Lógica producto
Formula lo siguiente::
si y de otro modo.
[editar] Lógicapolivalente 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 demantener la validez del principio de no contradicción.
En particular, a causa de la particular definición del operador NOT se verifica que:
es un teorema no es un teorema. es un teorema. es un...
la lógica dialéctica de Hegel
la lógica trivalente para valores infinitos de Łukasiewicz
la lógica modal, especialmente los modelos de Kripke, quedefinen tres modelos de verdad: lo verdadero, lo falso y lo problemático
la lógica difusa de Zadeh, que enfatiza en la incertidumbre y es una lógica de la probabilidad
la lógica polivalente de Gödel,a partir de su teorema de la incompletitud
la lógica intuicionista desarrollada por Brouwer, que restringe la validez de la lógica clásica a lo demostrable
la logica producto, tetravalenteLa 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.
[editar] La lógica dialéctica de Hegel
El acto mismo del conocimiento es la introducción de la contradicción. El principio del tercero excluido, "algo o es A o no es A", esla proposición que quiere rechazar la contradicción y al hacerlo incurre precisamente en contradicción: A debe ser +A ó -A, con lo cual ya queda introducido el tercer término, A que no es ni + ni -y por lo mismo es +A y -A. Algo es ello mismo y es otro, porque en realidad todo cambia continuamente y la misma cosa se transforma en otra cosa. Es una lógica del movimiento, la transición y latransformación.
[editar] Lógica polivalente de Gödel
Formula lo siguiente::
y de otro modo.
[editar] Lógica producto
Formula lo siguiente::
si y de otro modo.
[editar] Lógicapolivalente 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 demantener la validez del principio de no contradicción.
En particular, a causa de la particular definición del operador NOT se verifica que:
es un teorema no es un teorema. es un teorema. es un...
Leer documento completo
Regístrate para leer el documento completo.