Lógica paraconsistente

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

A Lógica Paraconsistente inclui-se entre as chamadas lógicas não-clássicas heterodoxas, por derrogar alguns dos princípios basilares da Lógica clássica, tais como o princípio da contradição: segundo a Lógica Paraconsistente, uma sentença e a sua negação podem ser ambas verdadeiras.[1] [2]

A Lógica Paraconsistente apresenta alternativas a proposições, cuja conclusão pode ter valores além de verdadeiro e falso - tais como indeterminado e inconsistente.

Um dos seus fundadores é o brasileiro Newton da Costa, cujas teorias são de grande importância para diversas áreas, além da matemática, filosofia, direito, computação e inteligência artificial.

No estudo da semântica, aplica-se especialmente aos paradoxos. Por exemplo, considere a afirmação "o homem é cego, mas vê". Segundo a Lógica Clássica, o indivíduo que vê, um "não-cego", não pode ser cego; já na Lógica Paraconsistente, ele pode ser cego para ver algumas coisas, e não-cego para ver outras coisas.

O termo "paraconsistente" ("além do consistente") foi cunhado em 1976, pelo filósofo peruano Francisco Miró Quesada.


Definição[editar | editar código-fonte]

Na Lógica clássica (assim como na lógica intuicionística e na maioria das lógicas), de uma contradição segue-se qualquer senteça. Esse aspecto curioso, conhecido como o Principio da explosão ou ex contradictione sequitur quodlibe (Latin, “de uma contradição, tudo é possível”)[3] pode ser expressada formalmente como :

1 P \land\neg P Premissa
2 P\, Eliminação Conjuntiva de 1
3 P \lor A Enfraquecimento de 2
4 \neg P\, Eliminação Conjuntiva de 1
5 A\, Silogismo Disjuntivo de 3 e 4


Que significa: se P e sua negação ¬P são assumidas como verdadeira, então P é assumida como verdade, de qual segue que pelo menos uma das afirmações P e alguma outra (arbitraria) afirmação A é verdadeira. Contudo, se nós sabemos que ou P ou A é verdadeira, e também que P não é verdadeira (que ¬P é verdadeiro), nós podemos concluir que A, que poderia ser qualquer coisa, é verdadeiro. Assim se uma teoria contém uma única inconsistência, é trivial – isto é, tem toda sentença como um teorema. A característica ou definição característica da lógica paraconsistente é que ela rejeita o principio da explosão. Como resultado, lógica paraconsistente, diferente da lógica clássica e outras lógicas, pode ser usada para formalizar teorias inconsistentes mas não triviais.


Lógica Paraconsistente e Lógica Clássica[editar | editar código-fonte]

Lógicas paraconsistente são propositalmente mais fracas que a lógica clássica: isto é, elas resolvem poucas inferências proposicionais válidas. O ponto é que uma lógica paraconsistente nunca pode ser uma extensão proposicional da lógica clássica: isto é, validar proposicionalmente tudo que a lógica clássica valida. Em certo sentido, então, a lógica paraconsistente é mais conservadora ou mais cautelosa que a lógica clássica. Devido ao seu conservadorismo, as linguagens paraconsistentes podem ser melhor expressas do que as de contrapartidas clássicas incluindo a hierarquia da metalinguagem devido a Alfred Tarski et al.

De acordo com Solomon Feferman[1984]: “...linguagem natural abunda diretamente ou auto-referencia indireta, ainda aparentemente de expressão inofensiva – tudo de qual são excluídos do Tarskian Framework.” Essa limitação expressiva pode ser superada na lógica paraconsistente.


Motivação[editar | editar código-fonte]

A motivação primordial para a lógica paraconsistente é a convicção de que deve ser possível raciocinar com informações inconsistentes de modo controlado e discriminador. O principio da explosão deixa de prever isso, e então deve ser abandonado. Em uma lógica não paraconsistente, existe uma teoria inconsistente: A teoria trivial que tem toda sentença como um teorema. Uma lógica paraconsistente faz o impossível ser distinguido entre teorias inconsistentes e o raciocínio com elas.

Pesquisas em lógica paraconsistente também levam para o estabelecimento da escola filosófica de dialetismo (mais notavelmente defendida por Gragam Priest), qual afirma que verdadeiras contradições existem na realidade, por exemplo um grupo de pessoas fixadas em visões opostas de vários problemas[4] morais. Sendo um dialetismo racionalmente uma pratica de alguma forma da lógica paraconsistente, no esforço do outro abrangente modo trivialista, i.e aceitando todas as contradições (e equivalentemente todas as afirmações) são verdadeiras[5] . Contudo, o estudo da paraconsistência lógica, não necessariamente ocasiona um ponto de vista dialetista. Por exemplo, ninguém precisa empenhar-se para uma existência de teorias verdadeiras ou contradições verdadeiras, mas preferivelmente um padrão mais fraco com adequamento empírico, como proposto por Bas Van Fraassen. [6]


Filosofia[editar | editar código-fonte]

Na lógica clássica, as três leis de Aristóteles, nomeadas, a exclusão do meio (p or ¬p), não contradição ¬(p ∧ ¬p) e identificada (p iff p), são consideradas as mesmas, devido a inter definição dos conectivos. Além disso, tradicionalmente contraditórios (a presença de contradições na teoria ou em parte do conhecimento) e trivialidade (o fato que tal teoria ocasiona todas as possíveis consequências) são assumidas inseparáveis, concedida que a negação está disponível. Essas visões podem ser filosoficamente desafiadoras, precisamente na área que eles falham em distingui entre contradição e outras formas de inconsistência. De outro forma, é possível derivar trivialidade do “conflito” entre consistência e contradições, uma vez essas noções tem sido propriamente distinguidas. A mesma noção de consistência e inconsistência podem ser demais internalizadas em volta do nível de objeto da linguagem.

Relação de compromisso[editar | editar código-fonte]

Paraconsistência envolve uma relação de compromisso. Em particular, abandonando o principio da explosão requer que abandone pelo menos um dos três princípios intuitivos que seguem:[7]

Introdução da Disjunção A \vdash A \lor B
Silogismo Disjuntivo A \lor B, \neg A \vdash B
Transitividade  \Gamma \vdash A; A \vdash B \Rightarrow \Gamma \vdash B

Entretanto cada um desses princípios tem sido desafiadores, a abordagem mais popular entre os lógicos é rejeitar a disjunção do silogismo. Se um é um dialetista, isso faz total sentido que o silogismo disjuntivo deverá falhar. A ideia por trás do silogismo é que, se ¬ A, então A é excluído, então o único modo A ∨ B poderia ser verdadeiro seria se B fosse verdadeiro. Contudo, se A e ¬A podem ser ambos verdadeiro ao mesmo tempo, então esse pensamento fracassa.

Outra abordagem é rejeitar a introdução da disjunção mas manter o silogismo disjuntivo e a transitividade. A disjunção (A ∨ B) é definida como ¬(¬A ∧ ¬B). Nesta abordagem todas as regras da dedução natural se mantem, exceto para provar por contradição e introdução disjuntiva. Além disso A \vdash B não significa necessariamente que \vdash A \Rightarrow B, que é também a diferença da dedução natural[7]. Também, a seguinte propriedade normal de Boolean se mantem: Terceiro excluído e ( por conjunção e disjunção) associativa, comutativa, distributiva, lei de De Morgan e idempotência. Além disso, por definição a implicação (A → B) como ¬(A ∧ ¬B), existe um Teorema da dedução de ida e volta permitindo implicações serem facilmente provadas. Carl Hewitt favoreceu essa abordagem, reivindicando que ter as propriedades usuais de Booleanas, dedução natural, e teorema da dedução são grandes vantagens em engenharia de software[8] .

Mesmo assim outra abordagem faz os dois simultaneamente. Em muitos sistemas de lógica relevante, como os de lógica linear, existem duas conexões disjuntivas separadas. Um permite introdução a disjunção, e um permite o silogismo disjuntivo. Claro, isso tem suas desvantagens ocasionadas por conectivos disjuntos separados incluindo confusão entre eles e a complexidade em relaciona-los. Os três princípios abaixo, quanto tomados juntos, também ocasionam explosão, então pelo menos um deve ser ignorado:

Redução ao Absurdo A \to (B \wedge \neg B) \vdash \neg A
Regra do Enfraquecimento A \vdash B \to A
Dupla eliminação da negação \neg \neg A \vdash A

Ambos redução ao absurdo e a regra do enfraquecimento tem sido desafiadas a esse respeito, mas sem muito sucesso. Eliminação da negação dupla é desafiada, mas por razões não relacionadas. Por remove-lo sozinho, enquanto os outros dois devem se manter capaz de provar toda proposição negativa da sua contradição.


Exemplo[editar | editar código-fonte]

Um bem conhecido sistema de lógica paraconsistente é o simples sistema conhecido como LP (“Paradoxo Logico”), primeiro proposto pelo lógico Argentino F. G. Asenjo em 1966 e depois popularizado por Priest e outros[9] . Um modo de apresentar a sistemática para LP é substituir a usual valoração funcional por uma relacional[10] . A relação binaria V\, relaciona uma fórmula a um valor verdade: V(A,1)\, significa que A\, é verdadeiro, e V(A,0)\, significa A\, é falso. Uma fórmula deve ser associada pelo menos um valor verdade, mas não existe requerimento que será associado no máximo um valor verdade. A clausula da semantica para negação e disjunção são dados a seguir:

  • V( \neg A,1) \Leftrightarrow V(A,0)
  • V( \neg A,0) \Leftrightarrow V(A,1)
  • V(A \lor B,1) \Leftrightarrow V(A,1) \ or \ V(B,1)
  • V(A \lor B,0) \Leftrightarrow V(A,0) \ and \ V(B,0)


(Os outros conectivos lógicos são definidos em termos da negação e da disjunção usual). Ou para colocar o mesmo ponto menos simbolicamente.

  • não A é verdadeiro se e somente se A é falso
  • não A é falso se e somente se A é verdadeiro
  • A ou B é verdadeiro se e somente se A é verdadeiro ou B verdadeiro
  • A ou B é falso se e somente se A é falso e B é falso

(Semântica) consequência lógica é então definida como preservação da verdade.

\Gamma\vDash A if and only if A\, é verdade quando todo elemento de \Gamma\, é verdadeiro.


Agora considere a valoração V\, tal que V(A,1)\, e V(A,0)\, mas não é o caso que V(B,1)\, é fácil checar que o valor constitui um contraexemplo para ambos, explosão e silogismo disjuntivo. Contudo, é também um contraexemplo ao modus ponens pelo material condicional de LP. Por esta razão, proponentes de LP usualmente defendem a expansão do sistema que inclui um conectivo condicional mais forte que não é definível em termos da negação e disjunção[11]

.

Como se pode verificar, LP preserva a maioria das outras inferências padrões que alguém poderia esperar ser válida, como a Lei de De Morgan e a usuais regras de introdução e eliminação para negação, conjunção, e disjunção. Surpreendentemente, a verdade lógica (ou tautologia) de LP são precisamente aquelas da lógica clássica proposicional.[12] (LP e a lógica clássica diferem nas inferências que consideram válidas.) Liberando o requerimento de que toda formula é verdadeira ou falsa produz uma lógica paraconsistente mais fraca comummente chamada de FDE (“First-Degree Entailment” ou em português “Primeiro grau de vinculo”). Diferentemente de LP, FDE não contém verdade lógica.

Deve ser enfatizada que LP é uma das muitas lógicas paraconsistentes propostas.[13] é apresentada aqui meramente como ilustração de como a lógica paraconsistente funciona.


Relações com outras lógicas[editar | editar código-fonte]

Um importante tipo de lógica paraconsistente é relevância lógica. Uma lógica é relevante se ela satisfaz as seguintes condições: Se AB' é um teorema, então A e B dividem uma constante não lógica. Segue que a relevância lógica não pode ter (p ∧ ¬p) → q como um teorema, e assim (em suposições racionais) não podem validar a inferência de (p, ¬p) para q. Lógica Paraconsistente tem um significado importante que sobrepõe com muitos valores lógicos; Contudo, nem toda lógica paraconsistente são multi valoradas (e, claro, nem toda lógica multi-valorada é paraconsistente). Lógica Dialéticas, que são também multi-valoradas, são paraconsistentes, mas o oposto não é verdade. Lógica Intuicionista permite que A ∨ ¬A não é equivalente a verdadeiro, enquanto lógica paraconsistente permite que A ∧ ¬A não seja equivalente ao valor verdade falso. Assim, parece natural considerar lógica paraconsistente como a “dupla” da lógica intuicionista. Contudo, lógica intuicionista é um sistema lógico especifico onde lógica paraconsistente engloba uma grande classe de sistemas. De acordo, portanto, a noção dualística de paraconsistência é chamada de paracompletude, e a noção “dualística” da lógica intuicionista (uma especifica lógica paracompleta) é um sistema paraconsistente especifico chamado anti intuicionístico lógico (as vezes referenciado como Lógica Brasileira, devido a razões históricas)[14] . A dualidade entre dois sistemas é melhor vista dentro do cálculo de sequentes. Enquanto a lógica intuicionista o sequente

\vdash A \lor \neg A

Não é derivável, na dualística intuicionista lógica

A \land \neg A \vdash

Não é derivável. Similarmente, na lógica intuicionista é sequente

\neg \neg A \vdash A

Não é derivável, enquanto na dualística intuicionista lógica

A \vdash \neg \neg A

Não é derivável. Dualística intuicionista lógica contém uma conectividade conhecida como pseudo-diferença da qual é a dualidade da implicação intuicionista. Muito vagamente, A # B podem ser lidos como “A mas não B”. Contudo, # não é uma função verdade como poderia esperar um “mas não” do operador; Similarmente, a implicação intuicionística do operador não pode ser tratado como "¬ (A ∧ ¬B)”. Dualidade intuicionística lógica também tem um recurso básico conectivo ⊤ do qual o intuicionismo ⊥: negação pode ser definida como ¬A = (⊤ # A). Uma descrição completa de dualidade entre paraconsistência e lógica intuicionista, incluindo uma explicação em que por que dual intuicionismo e lógica paraconsistente não coincidem, pode ser encontrado em Brunner e Camielli (2005)


Aplicações[editar | editar código-fonte]

Lógica Paraconsistente tem sido aplicada como significados inconsistentes em inúmeros domínios, incluindo[15] .

  • Semântica. Lógica Paraconsistente tem sido proposta como significado de prover uma simples e intuitiva consideração formal da verdade que não cedem a paradoxos como O mentiroso. Contudo, tais sistemas devem evitar Paradoxo de Curry, no qual é muito mais difícil como não envolve essencialmente a negação.
  • Teoria dos conjuntos e as fundações da matemática (veja matemática paraconsistente). Alguns acreditam [quem?] que lógica paraconsistente tem ramificações importantes em respeito ao significado do Paradoxo de Russel e Teorema da incompletude de Godel[dubious - discuss].
  • Epistemologia e crença revisada. Lógica Paraconsistente tem sido proposta como meios de raciocinar com e revisando teorias inconsistentes de sistemas de crença.
  • Gerenciamento de conhecimento e Inteligencia Artificial. Alguns cientistas da computação tem utilizado lógica paraconsistente como um significado de copia gracioso com informações inconsistentes.[16] .
  • Lógica Doentica e matemática. Lógica Paraconsistente tem sido proposta como meio de lidar com ética e outros conflitos normativos.
  • Engenharia de Software. Lógica Paraconsistente tem sido proposta como meios de lidar com inconsistências pervasivas entre a documentação, casos de uso e códigos de grandes sistemas de software.[7][8]
  • Eletrônica. Projeta rotineiramente uso de um lógica de quatro valores, com “alta impedância (z)” e “don’t care (x)” atuando em papeis similares para “Não sei” e “Ambos verdadeiro e falso” respectivamente, adicionalmente a verdadeiro e falso. Essa lógica foi desenvolvida independentemente da Lógica filosófica.

Criticas[editar | editar código-fonte]

Alguns filósofos tem argumentado contra o dialetismo na base contra-intuitiva de desistir dos três princípios que superam qualquer contra-intuitivismo que o principio da explosão pode ter. Outros, tal como David Lewis, tem objetivado a lógica paraconsistente na base que simplesmente impossível para afirmações e suas negações sendo juntamente verdadeiras.[17] Um objeto relatado é que “negação” em lógica paraconsistente não é realmente negação; é meramente um subcontrário formando operadores.[18]


Alternativas[editar | editar código-fonte]

Existe abordagens que permitem a resolução da inconsistência de crenças sem a violação de qualquer dos princípios intuitivos lógicos. Na maioria os sistemas usam lógica multi-valorada com Inferência Baysiana e Teoria Dempster-Shafter, permitindo que nenhuma crença não tautológica é completamente (100%) irrefutável por que deve ser baseada sobre a incompletude, abstraída, interpretada, provavelmente não confirmada, e possivelmente conhecimento incorreto (claro, está mesma suposição, se não tautológica, ocasiona sua própria refutabilidade, se por “refutável” queremos dizer “não completamente [100%] irrefutável”). Estes sistemas efetivamente desistem de muitos princípios lógicos na pratica sem rejeita-los na teoria.


Figuras Notáveis[editar | editar código-fonte]

Figuras notáveis na história e/ou desenvolvimento moderno da lógica paraconsistente inclui:

Veja Também[editar | editar código-fonte]

Predefinição:Doentic

Notas[editar | editar código-fonte]

  1. * Newton C. A. da Costa; Jair Minoro Abe; Afrânio Carlos Murolo; João I. da Silva Filho; Casemiro Fernando S. Leite.Lógica Paraconsistente Aplicada. São Paulo: Atlas, 1999. ISBN 8524422184
  2. Newton C. A. da Costa. Sistemas formais inconsistentes. Curitiba: Ed. da UFPR, 1993. xxii, 66p. (Clássicos; n. 03). ISBN 8585132752
  3. Carnielli, W. and Marcos, J. (2001) "Ex contradictione non sequitur quodlibet" Proc. 2nd Conf. on Reasoning and Logic (Bucharest, July 2000)
  4. Jennifer Fisher. On the Philosophy of Logic. [S.l.]: Cengage Learning, 2007. 132–134 pp. ISBN 978-0-495-00888-0
  5. Graham Priest. The Many Valued and Nonmonotonic Turn in Logic. [S.l.]: Elsevier, 2007. p. 131. ISBN 978-0-444-51623-7
  6. Otávio Bueno. In: Fritz Allhoff. Philosophies of the Sciences: A Guide. [S.l.]: John Wiley & Sons, 2010. p. 55. ISBN 978-1-4051-9995-7
  7. See the article on the principle of explosion for more on this.
  8. Hewitt (2008a)
  9. Priest (2002), p. 306.
  10. LP is also commonly presented as a many-valued logic with three truth values (true, false, and both).
  11. See, for example, Priest (2002), §5.
  12. See Priest (2002), p. 310.
  13. Surveys of various approaches to paraconsistent logic can be found in Bremer (2005) and Priest (2002), and a large family of paraconsistent logics is developed in detail in Carnielli, Congilio and Marcos (2007).
  14. See Aoyama (2004).
  15. See Aoyama (2004).
  16. See, for example, Truth maintenance systems or the articles in Bertossi et al. (2004).
  17. See Lewis (1982).
  18. See Slater (1995), Béziau (2000).

Fontes[editar | editar código-fonte]

Ligações externas[editar | editar código-fonte]


Referências gerais[editar | editar código-fonte]


Ícone de esboço Este artigo sobre filosofia / um filósofo é um esboço. Você pode ajudar a Wikipédia expandindo-o.
Ícone de esboço Este artigo sobre Lógica é um esboço. Você pode ajudar a Wikipédia expandindo-o.