Banner L Gica Paraconsistente

LÓGICA PARACONSISTENTE
Curso: Sistemas de Informação
Disciplina: Filosofia - 1ª Fase
Prof. Me. Claudemir A. Lopes
Alunos: Julhiano Castro;
Lucas Natan Cavichioli; Jean Pierre dos Santos
Centro Universitário de Brusque – UNIFEBE
Palavras-chave: Lógica. Paraconsistente. Lógica não Clássica.
1 INTRODUÇÃO
O estudo da lógica esta baseado na Lógica Clássica, cujo objeto principal de estudo é o cálculo de predicados clássicos, em primeira ordem. Além da lógica clássica outras foram desenvolvidas para complementá-la, entre elas está a Lógica Paraconsistente, a qual é classificada entre as denominadas lógicas não clássicas heterodoxas, por proscrever alguns dos princípios da lógica clássica, que consiste, entre outras coisas, oferecer alternativas aos princípios clássicos que até então eram insuficientes para tratar proposições cuja conclusão fosse valores diferentes de simplesmente verdadeiro e falso. Algumas das áreas de estudos ao qual se aplica tal lógica são: Sistemas de informação, desenvolvimento de inteligência artificial, filosofia, robótica, etc. Suas aplicações lidam com as incertezas e inconsistências de raciocínio.
2 OBJETIVO
Entender e imaginar como a lógica de programação e arquitetura de computadores seria afetada por uma terceira variável, que não de maneira simples ligada ou desligada. Uma terceira variável, indeterminada, incerta.
Ao invés das clássicas duas variáveis (0, 1) teríamos uma terceira para se trabalhar, aumentando assim o poder de trabalho e processamento dos computadores exponencialmente.
3 METODOLOGIA
Para a realização deste trabalho foi realizada pesquisa qualitativa através de levantamento de dados obtidos da internet e de livros.
4 RESULTADOS
O lógico brasileiro Newton da Costa iniciou estudos com intuito de desenvolver sistemas que pudessem

REFERÊNCIAS:

envolver contradições, deste modo contradizendo as lógicas clássicas. Newton é conhecido internacionalmente como o criador da lógica paraconsistente. Entendemos que
lógica