Lógica multivalorada

Em lógica, a lógica polivalente ( ou lógica plurivalente) é um cálculo proposicional em que há mais de dois valores verdade. Tradicionalmente, na Lógica aristotélica , existem apenas dois possíveis valores (i.e., "verdadeiro" e "falso") para cada proposição. Uma extensão obvia para a lógica clássica 2-valorada é uma lógica n-valorada, com n maior que 2. As mais populares na literatura são a lógica ternária( que usa "verdadeiro", "falso" e "não se sabe"), a finitamente-valorada com mais de 3 valores , e a infinitamente-valorada , como a Lógica difusa e a lógica probabilística.

História

O primeiro lógico clássico conhecido que não aceitou completamente a Lei do terceiro excluído foi Aristóteles(que, ironicamente, é considerado o primeiro lógico clássico e o "pai da lógica" ). Aristóteles admitiu que suas leis não se aplicavam a eventos futuros (De Interpretatione, ch. IX), mas ele não criou um sistema multi-valorado que explicasse essa observação.

O século 20 trouxe de volta a ideia da lógica polivalente. O lógico e filosofo polonês ,Jan Lukasiewicz, começou a criação de sistemas de lógica polivalente em 1920, usando um terceiro valor, "possível", para lidar com um problema aristotélico (problema de futuros contingentes). Enquanto isso, o matemático americano , Emil Post (1921), também introduziu a formulação de degraus adicionais de verdade com n ≥ , onde n representa os valores verdade are . Mais tarde , Jan Łukasiewicz e Alfred Tarski juntos formularão uma lógica com n valores verdade onde n ≥ 2. Em 1932 Hans Reichenbach formulou a lógica de vários valores verdade onde n tende ao infinito. Kurt Gödel em 1932 mostrou que a Lógica intuicionista não é uma lógica finitamente-valorada, e definiu um sistema de lógica de Gödel entre a lógica clássica e lógica intuicionista; tais lógicas são conhecidos como lógicas intermediárias.

Exemplos

Ver artigo principal: Lógica ternária

Lógica (forte) de Kleene K₃ e lógica Priest P₃

A lógica (forte) de indeterminação de Kleene K₃ (as vezes $K_{3}^{S}$) e a "lógica de paradoxo" de Priest adicionam um terceiro valor indefinido ou indeterminado I . As funções de verdade para negação (¬), conjunção lógica (∧), disjunção lógica (∨), implicação (→_K), e bicondicional (↔_K) são dadas por:

¬ T F I I F T

∧ T I F T T I F I I I F F F F F

∨ T I F T T T T I T I I F T I F

→K T I F T T I F I T I I F T T T

↔K T I F T T I F I I I I F F I T

A diferença entre as duas lógicas é encontrada em como as tautologia são definidas. Em K₃ só T é um valor de verdade designada, enquanto em P₃ tanto T como I são (a fórmula lógica é considerada uma tautologia se ela é avaliada como um valor de verdade designado). Na lógica de Kleene, I pode ser interpretado como "indeterminada", não sendo nem verdadeira nem falsa, enquanto na lógica de Priest, I pode ser interpretada como "sobredeterminada", sendo verdadeira e falsa. K₃ não possui tautologias, enquanto P₃ possui as mesmas tautologias que a clássica lógica binária.

Lógica de três valores internos da Bochvar

Outra lógica é a lógica "interna" de três valores de Bochvar ( também chamado de lógica fraca de três valores de Kleene). Exceto pela negação, suas tabelas de verdade são todas diferentes da anterior.

∧+ T I F T T I F I I I I F F I F

∨+ T I F T T I T I I I I F T I F

→+ T I F T T I F I I I I F T I T

O valor de verdade intermediário na lógica "interna" do Bochvar pode ser descrito como "contagiosa", pois se propaga em uma fórmula, independentemente do valor de qualquer outra variável.

Lógica de Belnap Belnap (B₄)

A lógica de Belnap B _{4 </ sub>} combina K _{3 </ sub>} e P _{3 </ sub>}. O valor de verdade sobredeterminado é aqui denotado como B e o valor de verdade subdeterminado como N.

f¬ T F B B N N F T

f∧ T B N F T T B N F B B B F F N N F N F F F F F F

f∨ T B N F T T T T T B T B T B N T T N N F T B N F

Relação com a lógica clássica

Lógica geralmente são sistemas destinados a codificar regras para preservar alguma propriedade semântica de proposições através transformações. Na lógica clássica, esta propriedade é "verdade". Em um argumento válido, a verdade da proposição derivada é garantida se as premissas são conjuntamente verdade, porque a aplicação de passos válidos preserva a propriedade. No entanto, essa propriedade não tem que ser essa da "verdade", em vez disso, pode ser algum outro conceito.

Lógicas polivalentes são destinadas a preservar a propriedade de ser designado. Desde que haja mais de dois valores de verdade, regras de inferência podem ser destinadas a preservar mais do que apenas o que corresponde (no sentido relevante) para a verdade. Por exemplo, em uma lógica de três valores, por vezes, os dois maiores valores de verdade (quando eles são representados como por exemplo, números inteiros positivos) são designados e as regras de inferência preservam esses valores. Precisamente, um argumento válido será tal que o valor das premissas tomadas conjuntamente será sempre menor do que ou igual à conclusão.

Por exemplo, a propriedade preservada poderia ser a justificativa, o conceito fundamental de lógica intuicionista. Assim, uma proposição não é verdadeira ou falsa, em vez disso, ela é justificada ou falha. A principal diferença entre justificação e verdade, neste caso, é que a lei do terceiro excluído não se sustenta: a proposição de que não é falho não é necessariamente justificada, em vez disso, só não é provado que ele é falho. Um argumento válido preserva justificação através de transformações, de modo que uma proposição derivada de proposições justificados ainda se justifica. No entanto, existem provas de lógica clássica, que dependem da lei do terceiro excluído, uma vez que a lei não é utilizável nesse esquema, há proposições que não podem ser provadas assim.

Relação com a lógica de fuzzy (ou lógica difusa)

Lógica polivalente está relacionada com a teoria de conjuntos difusos e com a lógica difusa. A noção de subconjunto difuso foi introduzida por Lotfi Zadeh como uma formalização de vagueza; i.e., o fenômeno de que um predicado deve ser aplicado para um objeto não absolutamente, mas em certo grau, e deve haver casos limites. De fato, como uma lógica polivalente, a lógica difusa admite valores verdades diferentes de "verdadeiro" e "falso". No entanto, a principal diferença entre a lógica fuzzy e lógica polivalente está nos seus objetivos.

Aplicações

Aplicações de lógica polivalente podem classificada em dois grupos. O primeiro grupo usa o domínio da lógica polivalente para resolver problemas mais eficientemente. Por exemplo, uma abordagem para representar uma função booleana com n saídas é tratar a sua saída como uma só variável polivalente e converter isso para uma função com saída unária. Outras aplicações da lógica polivalente incluem design de matrizes logicamente programáveis (PLAs) com decodificadores de entrada, otimização de máquinas de estados finitas , testes e verificação.

O segundo grupo tem como alvo o projeto de circuitos eletrônicos que empregam mais de dois níveis distintos de sinais, como memórias com vários valores, circuitos aritméticos, etc.

Locais de pesquisa

O simpósio Internacional sobre Lógica Polivalente (ISMVL) tem sido realizado anulamente desde 1970. É em maior parte para aplicações em design digital e verificações. Também existe a Revista sobre lógica polivalente e computação. .

Veja também

Lógica matemática

• Lógica difusa
• Gödel logics
• Lógica ternária
• Łukasiewicz
• Post logic
• Grau de verdade
• Princípio da bivalência

Lógica filosófica

• Falsa dicotomia

Leituras adicionais

Geral

• Béziau J.-Y. (1997), What is many-valued logic ? Proceedings of the 27th International Symposium on Multiple-Valued Logic, IEEE Computer Society, Los Alamitos, pp. 117–121.
• Malinowski, Gregorz, (2001), Many-Valued Logics, in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell.
• Bergmann, Merrie (2008), An introduction to many-valued and fuzzy logic: semantics, algebras, and derivation systems, ISBN 978-0-521-88128-9, Cambridge University Press 
• Cignoli, R. L. O., D'Ottaviano, I, M. L., Mundici, D., (2000). Algebraic Foundations of Many-valued Reasoning. Kluwer.
• Malinowski, Grzegorz (1993). Many-valued logics. [S.l.]: Clarendon Press. ISBN 978-0-19-853787-8 
• S. Gottwald, A Treatise on Many-Valued Logics. Studies in Logic and Computation, vol. 9, Research Studies Press: Baldock, Hertfordshire, England, 2001.
• Gottwald, Siegfried (2005). «Many-Valued Logics» (PDF) 
• Miller, D. Michael; Thornton, Mitchell A. (2008). Multiple valued logic: concepts and representations. Col: Synthesis lectures on digital circuits and systems. 12. [S.l.]: Morgan & Claypool Publishers. ISBN 978-1-59829-190-2 
• Hájek P., (1998), Metamathematics of fuzzy logic. Kluwer. (Fuzzy logic understood as many-valued logic sui generis.)

Específica

• Alexandre Zinoviev, Philosophical Problems of Many-Valued Logic, D. Reidel Publishing Company, 169p., 1963.
• Prior A. 1957, Time and Modality. Oxford University Press, based on his 1956 John Locke lectures
• Goguen J.A. 1968/69, The logic of inexact concepts, Synthese, 19, 325–373.
• Chang C.C. and Keisler H. J. 1966. Continuous Model Theory, Princeton, Princeton University Press.
• Gerla G. 2001, Fuzzy logic: Mathematical Tools for Approximate Reasoning, Kluwer Academic Publishers, Dordrecht.
• Pavelka J. 1979, On fuzzy logic I: Many-valued rules of inference, Zeitschr. f. math. Logik und Grundlagen d. Math., 25, 45–52.
• Metcalfe, George; Olivetti, Nicola; Dov M. Gabbay (2008). Proof Theory for Fuzzy Logics. [S.l.]: Springer. ISBN 978-1-4020-9408-8  Covers proof theory of many-valued logics as well, in the tradition of Hájek.
• Hähnle, Reiner (1993). Automated deduction in multiple-valued logics. [S.l.]: Clarendon Press. ISBN 978-0-19-853989-6 
• Azevedo, Francisco (2003). Constraint solving over multi-valued logics: application to digital circuits. [S.l.]: IOS Press. ISBN 978-1-58603-304-0 
• Bolc, Leonard; Borowik, Piotr (2003). Many-valued Logics 2: Automated reasoning and practical applications. [S.l.]: Springer. ISBN 978-3-540-64507-8 

Links externos

• Gottwald, Siegfried (2009). «Many-Valued Logic». Stanford Encyclopedia of Philosophy 🔗 
• Stanford Encyclopedia of Philosophy: "Truth Values"—by Yaroslav Shramko and Heinrich Wansing.
• IEEE Computer Society's Technical Committee on Multiple-Valued Logic
• Resources for Many-Valued Logic by Reiner Hähnle, Chalmers University
• Many-valued Logics W3 Server (archived)