Lógica não clássica

Sem dúvida, Lógica não clássica é um tema que tem chamado a atenção de milhões de pessoas em todo o mundo. A sua relevância e significado têm gerado um profundo interesse em descobrir mais sobre este tema e explorar as suas diferentes facetas. Desde as suas origens até ao seu impacto na sociedade atual, Lógica não clássica tem sido objeto de debate, reflexão e análise por parte de especialistas e fãs. Neste artigo iremos explorar diferentes aspectos relacionados com Lógica não clássica, examinando a sua influência em diversas áreas e a sua evolução ao longo do tempo. Não há dúvida de que Lógica não clássica é um tema que não deixa ninguém indiferente e que continua a suscitar hoje grande interesse.

Lógicas não clássicas (e às vezes lógicas alternativas) são os sistemas formais que diferem de maneira significativa dos sistemas lógicos padrão, como a lógica proposicional e predicado. Existem várias maneiras em que isto é feito, inclusive por meio de extensões, desvios e variações. O objetivo dessas partidas é torná-lo possível construir diferentes modelos de consequência lógica e verdade lógica.[1]

Lógica filosófica, especialmente em ciência da computação teórica, é entendida para abranger e se concentrar em lógicas não clássicas, embora o termo tem outros significados.[2]

Exemplos da lógica não clássica

  • A lógica fuzzy rejeita a lei do terceiro excluído e permite que um valor de verdade seja qualquer número real entre 0 e 1.
  • Lógica intuicionista rejeita a lei do terceiro excluído, a eliminação dupla negativa, e as leis de a De Morgan;
  • Lógica linear rejeita idempotência de vinculação;
  • Lógica modal estende a lógica clássica com operadores não verdade-funcionais ("modal").
  • Lógica paraconsistente (por exemplo, dialeteísmo e lógica da relevância) rejeita a lei da não contradição;
  • Lógica da relevância, a lógica linear e lógica não monotônica rejeitar monotonicidade de vinculação;
  • Lógica computacional é uma teoria formal semanticamente construído de computabilidade, em oposição à lógica clássica, que é uma teoria formal de verdade, se integra e se estende lógica clássica, linear e lógica intuicionista.

Classificação das lógicas não clássicas

Em Deviant Logic (1974) Susan Haack dividiu lógicas não clássicas em lógicas desviantes, quase desviante, e lógica estendida.[3] A classificação proposta é não exclusiva, a lógica pode ser tanto um desvio e uma extensão da lógica clássica.[4] Alguns outros autores adotaram a principal distinção entre o desvio e extensão em lógicas não clássicas.[5][6][7] John P. Burgess utiliza uma classificação semelhante, mas chama as duas principais classes de anticlássicos e extra-clássico.[8]

Numa extensão, constantes lógicas novas e diferentes são adicionadas, por exemplo, a "" na lógica modal que significa, "necessariamente."[5] Em extensões de uma lógica,

  • o conjunto de fórmulas bem formadas gerados é um subconjunto apropriado do conjunto de fórmulas bem formadas gerados pela lógica clássica.
  • o conjunto de teoremas é gerado um subconjunto apropriado do conjunto de teoremas gerados pela lógica clássica, mas apenas na medida em que novos teoremas são gerados pela lógica estendida, na verdade são somente um resultado de novas fórmulas bem formadas.

Em um desvio, as constantes lógicas usuais são usadas, mas é dado um significado diferente do que o habitual. Apenas um subconjunto dos teoremas da lógica clássica sustenta. Um exemplo típico é a lógica intuicionista, onde a lei do terceiro excluído não se sustenta.[7][8]

Além disso, pode-se identificar variações (ou variantes), onde o conteúdo do sistema é o mesmo, enquanto que a notação pode alterar substancialmente. Por exemplo, muitas classificações da lógica de predicados é considerada apenas uma variação da lógica de predicados.[5]

Esta classificação ignora equivalências no entanto semânticas. Por exemplo, Gödel mostrou que todos os teoremas da lógica intuicionista tem um teorema equivalente na lógica modal clássica S4 . O resultado tem sido generalizado a lógicas superintuicionistas e ampliações de S4.[9]

A teoria da lógica algébrica abstrata também forneceu meios para classificar lógicas, por ter sido obtido a maioria dos resultados para lógicas proposicionais. A atual hierarquia algébrica da lógica proposicional tem cinco níveis, definidos em termos de propriedades do seu operador de Leibniz.[10]

Referências

  1. ↑ Logic for philosophy, Theodore Sider
  2. ↑ John P. Burgess (2009). Philosophical logic. : Princeton University Press. pp. vii–viii. ISBN 978-0-691-13789-6 
  3. ↑ Susan Haack (1974). Deviant logic: some philosophical issues. : CUP Archive. p. 4. ISBN 978-0-521-20500-9 
  4. ↑ Susan Haack (1978). Philosophy of logics. : Cambridge University Press. 204 páginas. ISBN 978-0-521-29329-7 
  5. ↑ a b c L. T. F. Gamut (1991). Logic, language, and meaning, Volume 1: Introduction to Logic. : University of Chicago Press. pp. 156–157. ISBN 978-0-226-28085-1 
  6. ↑ Seiki Akama (1997). Logic, language, and computation. : Springer. p. 3. ISBN 978-0-7923-4376-9 
  7. ↑ a b Robert Hanna (2006). Rationality and logic. : MIT Press. pp. 40–41. ISBN 978-0-262-08349-2 
  8. ↑ a b John P. Burgess (2009). Philosophical logic. : Princeton University Press. pp. 1–2. ISBN 978-0-691-13789-6 
  9. ↑ Dov M. Gabbay; Larisa Maksimova (2005). Interpolation and definability: modal and intuitionistic logics. : Clarendon Press. p. 61. ISBN 978-0-19-851174-8 
  10. ↑ D. Pigozzi (2001). «Abstract algebraic logic». In: M. Hazewinkel. Encyclopaedia of mathematics: Supplement Volume III. : Springer. pp. 2–13. ISBN 1-4020-0198-3  Also online: Hazewinkel, Michiel, ed. (2001), «Abstract algebraic logic», Enciclopédia de Matemática, ISBN 978-1-55608-010-4 (em inglês), Springer 

Outras leituras

Ligações externas