Lógica paraconsistente

Lógica Paraconsistente
Maurício Correia Lemes Neto, Nério Venson
Mestrado em Ciência da Computação - 2002
Departamento de Informática e Estatística - INE
Universidade Federal de Santa Catarina (UFSC), Brasil, 88040-900
Fone (48) 331 9739, Fax [phone] [e-mail], [e-mail]
Resumo: A Lógica Paraconsistente é classificada entre as chamadas lógicas não clássicas heterodoxas por derrogar alguns dos princípios basilares da lógica clássica. Um dos mais importantes nomes da Lógica
Paraconsistente é o brasileiro Newton C. A. da Costa, considerado seu criador. As teorias do lógico brasileiro são de grande importância para diversas áreas, além da matemática, filosofia e computação. A Lógica
Paraconsistente apresenta alternativas a proposições cuja conclusão enseja valores além de Verdadeiro e
Falso, como Indeterminado e Inconsistente. Duas classes de lógicas paraconsistentes são abordadas neste trabalho: A Lógica Paraconsistente Anotada e a Lógica para Inconsistência.
Palavras-chave: Lógica, Paraconsistente, Lógicas não Clássicas.
Abstract : The Paraconsistent Logic is a non-classic and heterodox logic for contradicting some of the fundamental principles of classic logic. The creator of the Paraconsistent Logic is a brazilian logical called
Newton C. A. da Costa. The theories of the brazilian logical are very important for several areas of knowledge beyond mathematics, philosophy and computation. Paraconsistente Logic presents alternatives for proposals whose conclusion tries values beyond True and False, as Undetermined and Contradictory.
Two classes of paraconsistentes logics we approach in this work: Lógica Paraconsistente Anotada e Logica para Inconsistência.
Key-words: Paraconsistent, Logic, non-classic Logic.
Introdução
O estudo da lógica está fundamentado na chamada Lógica Clássica, cujo núcleo é o cálculo de predicados clássico de primeira ordem, podendo ser estendida pela teoria dos