Lógica
Paraconsistente
A
Lógica Paraconsistente é classificada como lógica não clássica e trata da lei
da contradição.Infringem a lei da contradição e tem encontrado aplicação nas
mais variadas áreas.Ela tem a sua origem marcada pelos trabalhos feitos pelo
Polonês Stanislaw Jaskowski e o brasileiro Newton C.A. da Costa.
As teorias do lógico brasileiro são
de grande importância para diversas áreas como:
matemática,filosofia,computação, psicanálise,física,lógica epistêmica.
Ele iniciou estudos afim de
desenvolver sistemas lógicos que pudessem envolver contradições motivado por
questões de natureza tanto filosófica, quanto matemática.É conhecido
internacionalmente como o real criador das lógicas Paraconsistentes.
A lógica Paraconsistente visa
oferecer alternativas aos princípios clássicos do Terceiro Excluído e da Não
contradição insuficientes para tratar proposições cuja conclusão sejam valores
diferentes de verdadeiro e falso.Enseja valores como indeterminado e
inconsistente.
Na lógica Paraconsistente a
linguagem L,subjacente a uma teoria dedutiva F, contém um símbolo para a
negação. Então, F é dita ser inconsistente se e somente se possuir dois
teoremas, dos quais um é a negação do outro; caso contrário, F é dita
consistente.
Na lógica clássica e em outras lógicas,
toda teoria que for inconsistente(ou contraditória)é trivial ou vice versa, ou
seja não há separação entre teorias inconsistentes e teorias triviais .
De maneira geral, um sistema de lógica é chamado de
Paraconsistente se puder ser empregado como subjacente a teorias
inconsistentes, porém não triviais.São várias as classes de lógicas
paraconsistentes.
Conclusão
Hoje, as lógicas paraconsistentes são estudadas em diversas
áreas do conhecimento, originando diversos tipos de pesquisas, tornando-se uma
verdadeira área de saber e são aplicadas em diversos campos, entre os quais o
mais fértil é na ciência da computação, onde podem ser usadas em Programação de
Lógica Paraconsistente, Inteligência Artificial, na elaboração de sistemas
especialistas e controle de tráfego aéreo em aeroportos. Lógica Paraconsistente
pode ser entendida como o estudo dos processos pelos quais certas sentenças ou
proposições podem ser deduzidas de outras. Sabemos que a lógica clássica não
admite contradições, pois não podemos afirmar, com base nela, que uma sentença
e sua negação são ambas verdadeiras. Esta é a principal característica que se
atribui a Lógica Paraconsistente, aceitar contradições. Contudo, a lógica
paraconsistente não veio para por fim à lógica clássica, mas apenas tratar de
um domínio maior de aplicação, do qual a outra é um caso particular.
A "paraconsistência" extrapolou os limites de
meros sistema lógicos, tornando-se uma verdadeira área do saber.
Referencias Bibliográficas:
-MAIA, Dirce A. O. Freire et al. Lógica
paraconsistente. Disponível em:
<http://br.geocities.com/nao_classica/lp.doc>.
- LEMES NETO, Maurício Correia;
VENSON, Nério. Lógica paraconsistente.
Disponível em:
<http://www.inf.ufsc.br/~barreto/trabaluno/TC_Nerio_Mauricio.pdf>.
