Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
7Activity
0 of .
Results for:
No results containing your search query
P. 1
O QUE É A LÓGICA PARACONSISTENTE

O QUE É A LÓGICA PARACONSISTENTE

Ratings:

4.5

(2)
|Views: 638 |Likes:
Published by Marcos

More info:

Published by: Marcos on Jul 31, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

11/26/2012

pdf

text

original

 
O QUE É A LÓGICA PARACONSISTENTE?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 linguagemcontenha um símbolo de negação (~), é dita inconsistente se o conjunto se seus teoremas contémao 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 issoaconteça, T é consistente. A teoria T é trivial se o conjunto de suas fórmulas coincide com o deseus teoremas, ou seja, dito informalmente se todos os enunciados sintaticamente corretos doponto de vista da linguagem de T puderem ser provados em T.Uma lógica paraconsistente pode ser utilizada como lógica subjacente à teoriasinconsistentes mas não triviais. Isso implica que o princípio da não contradição deve ser de algumaforma restringido, a fim de que possam parecer contradições, mas deve-se evitar que de duaspremissas contraditórias se possa deduzir uma fórmula qualquer.As lógicas paraconsistentes de certa forma estendem-se a lógica tradicional, permitindocertas investigações que não seriam possíveis à luz da lógica clássica, elas não visam eliminar aló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ãoinconsistentes 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 premissasverdadeiras. Logo, a lógica tem que ser Paraconsistente. Um exemplo plausível é o paradoxo deLiar. 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 resultadoque a sentença não é verdadeira. Suponha por outro lado, que ela não é verdadeira. Então lendo eaplicando 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 ocomputador 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 humanosdurante a digitação de dados, ou pela obtenção de dados de múltiplas fontes. Técnicas pararemover informações inconsistentes tem sido investigadas, mas suas aplicações ainda sãolimitadas e em vários casos não garantem a produção de consistência. HISTÓRICO DA LÓGICA PARACONSISTENTESegundo LUKASIEIVICZ (1910 - 1971), Aristóteles já tinha idéia da possibilidade dederrogação da lei da contradição. Lukasiewicz, por seu lado, argumenta que essa lei pode ser derrogada porque não é diretamente evidente, não é uma lei determinada pela organizaçãopsicológica do homem e, também, não pode ser demonstrada com base na definição de negação.A seguir, N. VASILIEV, entre 1910 e 1913, publicou uma série de artigos, nos quais mostra a lei dacontradição na forma "um objeto não pode ter um predicado que o contradiga" pode ser derrogado,esboçando uma lógica não-aristotélica e, em particular, uma teoria de silogismo onde podemaparecer premissas da forma "A é B e não B". Apesar de Vasiliev não ter explicado todas as leis dalógica, o seu trabalho é particularmente interessante pelo fato de já delinear uma lógicaparaconsistente. Em 1948 e 1949, JASKOWSKI propôs um sistema lógico baseado no sistemamodal S5 , Lewis ao qual denominou Lógica Discussiva. Porém, Jaskowski não axiomatizou seu

Activity (7)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
castelani liked this
atlashomer liked this
clarkluthor9838 liked this
lixo12345 liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->