Академический Документы
Профессиональный Документы
Культура Документы
Trata-se de uma lógica criada para desafiar o princípio da contradição. As lógicas clássicas,
Intuicionista, e outras lógicas não tratam deste princípio. Uma teoria dedutiva T, cuja linguagem
contenha um símbolo de negação (~), é dita inconsistente se o conjunto se seus teoremas contém
ao menos dois deles, um dos quais é a negação do outro. Neste caso sendo A e ~A tais teoremas,
normalmente deriva-se em T uma contradição, isto é, uma expressão da forma A ^ ~A; caso isso
aconteça, T é consistente. A teoria T é trivial se o conjunto de suas fórmulas coincide com o de
seus teoremas, ou seja, dito informalmente se todos os enunciados sintaticamente corretos do
ponto de vista da linguagem de T puderem ser provados em T.
Uma lógica paraconsistente pode ser utilizada como lógica subjacente à teorias
inconsistentes mas não triviais. Isso implica que o princípio da não contradição deve ser de alguma
forma restringido, a fim de que possam parecer contradições, mas deve-se evitar que de duas
premissas contraditórias se possa deduzir uma fórmula qualquer.
As lógicas paraconsistentes de certa forma estendem-se a lógica tradicional, permitindo
certas investigações que não seriam possíveis à luz da lógica clássica, elas não visam eliminar a
lógica tradicional, que permanece válida em seu particular domínio de aplicabilidade.
A mais falada razão da lógica Paraconsistente é o fato de haver teorias, as quais, são
inconsistentes mas não-triviais. Claramente, uma vez que admitimos a existência de tais teorias,
suas lógicas paralelas precisam ser Paraconsistentes. Contradições Verdadeiras (Dialetheias).
Quando algumas pessoas argumentam algo, há contradições verdadeiras., ou seja, há sentenças A
, tais que A e ~A são verdadeiras. Somente conclusões verdadeiras são obtidas de premissas
verdadeiras. Logo, a lógica tem que ser Paraconsistente. Um exemplo plausível é o paradoxo de
Liar. Considere a sentença: Esta sentença não é verdadeira. Existem duas opções: A sentença é
verdadeira ou não é verdadeira. Suponha que ela é verdadeira. Então lendo, obtemos o resultado
que a sentença não é verdadeira. Suponha por outro lado, que ela não é verdadeira. Então lendo e
aplicando a negação, obtemos o resultado que a sentença é verdadeira. Raciocínio Automatizado.
A lógica Paraconsistente não é motivada somente por considerações filosóficas, mas também por
suas aplicações e implicações.
Uma das aplicações é a Automatização do Raciocínio (processamento de informações).
Considere um computador que armazena uma grande quantidade de informações. Enquanto o
computador armazena a informação, ele também é utilizado para operar e para inferir sobre ela. É
muito comum os computadores conterem informações inconsistentes, por causa de erros humanos
durante a digitação de dados, ou pela obtenção de dados de múltiplas fontes. Técnicas para
remover informações inconsistentes tem sido investigadas, mas suas aplicações ainda são
limitadas e em vários casos não garantem a produção de consistência.