Mostrar código-fonte de Lógica

{{Mais fontes|data=julho de 2019}}
[[Ficheiro:Puzzle Blanc.jpg|250px|miniaturadaimagem|Os [[quebra-cabeça]]s (na imagem a cima, porém eles tem figura) são desafios que exigem o uso da lógica para solucioná-los]]
'''Lógica''' (do [[Grego antigo|grego]] λογική [[logos]]<ref>{{Citar web|url=https://www.etymonline.com/word/logic|titulo=logic {{!}} Etymology, origin and meaning of logic by etymonline|acessodata=2022-06-05|website=www.etymonline.com|lingua=en}}</ref>) tem dois significados principais: discute o uso de [[raciocínio]] em alguma atividade e é o estudo [[Normatividade|normativo]], [[filosofia|filosófico]] do raciocínio válido.<ref name="PopkinStroll1993">{{citar livro|autor=Popkin, Richard Henry; Stroll, Avrum|título=Philosophy Made Simple|url=http://books.google.com/books?id=TWNo-4euyesC&pg=PR7|ano=1993|editora=Random House Digital, Inc|isbn=978-0-385-42533-9}}</ref> No segundo sentido, a lógica é discutida principalmente nas [[Disciplina académica|disciplina]]s de [[filosofia]], [[matemática]] e [[ciência da computação]]. Ambos os sentidos se baseando no foco comum referente a harmonia de raciocínio, a proporcionalidade formal entre argumentos, assim sendo, a correta e equilibrada relação entre todos os termos, a total concordância entre cada um deles dentro de um desenvolvimento.<ref>{{Citar web|título = Lógica, raciocínio e pensamento.pdf|URL = https://docs.google.com/file/d/0BzkiGvL8AKPdZ3RKbDByamhGNjQ/view|acessadoem = 2015-07-21}}</ref>

A lógica examina de forma genérica as formas que a [[argumentação]] pode tomar, quais dessas formas são válidas e quais são [[falácia|falaciosas]]. Em filosofia, o estudo da lógica aplica-se na maioria dos seus principais ramos: [[metafísica]], [[ontologia]], [[epistemologia]] e [[ética]]. Na matemática, estudam-se as formas válidas de [[inferência]] de uma [[linguagem formal]].<ref name="stanford-logic-onthology">{{citar livro|url=http://plato.stanford.edu/entries/logic-ontology|título=Stanford Encyclopedia of Philosophy|ultimo=Hofweber|nome=T.|editora=Edward N Zalta|ano=2004|capítulo=Logic and Ontology}}</ref> Na [[ciência da computação]], a lógica  é uma ferramenta indispensável. Por fim, a lógica também é estudada na [[teoria da argumentação]].<ref>Cox, J. Robert; Willard, Charles Arthur. ''Advances in Argumentation Theory and Research''. Southern Illinois University Press, 1983;</ref>

A lógica foi estudada em várias civilizações da [[Antiguidade]]. Na [[Índia]], a recursão [[silogismo|silogística]], ''[[Nyaya]]'' remonta há 1900 anos. Na [[China]], o [[Moísmo]] e a [[Escola dos Nomes]] datam de há 2200 anos. Na [[Grécia Antiga]] a lógica foi estabelecida como disciplina por [[Aristóteles]], com a sua obra ''[[Organon]]''. Ele dividiu a lógica em ''[[Lógica Formal|formal]]'' e ''[[Lógica Material|material]]''. O estudo da lógica era parte do [[Trivium (educação)|''Trivium'' clássico]], juntamente com a [[gramática]] e a [[retórica]] (''ver: [[Artes liberais]]'').

A lógica é frequentemente dividida em três partes: o [[Método indutivo|raciocínio indutivo]], o [[Abdução (lógica filosófica)|raciocínio abdutivo]] e o [[raciocínio dedutivo]].
<!--Revisão em curso, aqui. -->
<!--Mover para outro local?:
Um sistema lógico é um conjunto de axiomas e regras de inferência que visam representar formalmente o raciocínio válido. Diferentes sistemas de lógica formal foram construídos ao longo do tempo quer no âmbito escrito da Lógica Teórica, quer em aplicações práticas na [[computação]] e em [[Inteligência artificial]].
Como ciência, a lógica define a estrutura de declaração e argumento para elaborar [[fórmula]]s através das quais estes podem ser codificados. Implícita no estudo da lógica está a compreensão do que gera um bom argumento e de quais argumentos são falaciosos.
A lógica filosófica lida com descrições formais da [[linguagem]] natural. A maior parte dos filósofos assumem que a maior parte do raciocínio "normal" pode ser capturada pela lógica, desde que se seja capaz de encontrar o método certo para traduzir a linguagem corrente para essa lógica.
-->

== O estudo da lógica ==
[[Imagem:Gregor Reisch, Margarita Philosophica, Typus Logice.jpg|thumb|[[Gregor Reisch]] "A lógica apresenta os seus temas centrais", ''[[Margarita Philosophica]]'', 1503/08 (?). Os dois cães ''veritas'' e ''falsitas'' correm atrás da lebre ''problema'', a lógica apressa-se armada com a sua espada  ''syllogismus''. Em baixo, à esquerda, encontra-se [[Parmênides de Eleia|Parménides]], graças a quem a lógica terá sido introduzida na filosofia.]]

O [[conceito]] de [[forma lógica]] é central à lógica, que se baseia na ideia de que a validade de um [[argumento]] é determinada pela sua forma lógica, não pelo seu conteúdo. A  [[Silogismo|lógica silogística aristotélica]] tradicional e a [[Lógica Simbólica|lógica simbólica]] moderna são exemplos de lógicas formais.

* '''[[Lógica informal]]''' é o estudo da [[argumento|argumentação]] em [[língua natural]]. O estudo de [[falácia]]s é um ramo particularmente importante da lógica informal. Os [[Diálogos de Platão]]<ref>{{citar livro | autor = Platão | título = The Portable Plato | editor = Scott Buchanan | editora = Penguin | ano = 1976 | isbn = 0-14-015040-4}}</ref> são bons exemplos de lógica informal.
* '''[[Lógica formal]]''' é o estudo da [[inferência]] com conteúdo puramente formal. Uma inferência possui um ''conteúdo puramente formal'' se ele pode ser expresso como um caso particular de uma regra totalmente abstrata, isto é, uma regra que não é sobre uma coisa qualquer em particular. As obras de [[Aristóteles]] contêm o primeiro estudo formal da lógica. A lógica formal moderna segue e amplia o trabalho de Aristóteles.<ref>{{citar livro | autor = Aristótoles | título = The Basic Works | editor = Richard Mckeon | editora = Modern Library | ano = 2001 | isbn = 0-375-75799-6 | capítulo = Posterior Analytics}}</ref> Em muitas definições de lógica, inferência lógica e inferência com conteúdo puramente formal são a mesma coisa. Isso não esvazia a noção de lógica informal, porque nenhuma lógica formal captura todas as nuances da língua natural.
* '''[[Lógica Simbólica|Lógica simbólica]]''' é o estudo das abstrações simbólicas que capturam as características formais da inferência lógica.<ref name="Whitehead">{{Citar livro|título=A Concise Introduction to Logic|autor=HURLEY|editora=Merchant Books|ano=2001|ISBN=978-1603861823}}</ref><ref name="Hamilton">{{citar livro | autor = Hamilton, A. G. | título = Logic for Mathematicians | editora = Cambridge University Press | ano = 1980 | isbn = 0-521-29291-3}}, faz uma abordagem moderna à lógica simbólica.</ref> A lógica simbólica é frequentemente dividida em dois ramos: [[lógica proposicional]] e a [[lógica de predicados]].
* '''[[Lógica matemática]]''' é uma extensão da lógica simbólica em outras áreas, em especial para o estudo da [[teoria dos modelos]], [[teoria da demonstração]], [[teoria dos conjuntos]] e [[teoria da recursão]].
* Lógica clássica, também conhecida como lógica aristotélica ou lógica bivalente, é a forma tradicional de lógica formal. Ela foi amplamente desenvolvida a partir dos trabalhos de Aristóteles, embora tenha evoluído significativamente ao longo dos séculos. A lógica clássica baseia-se em alguns princípios fundamentais e possui uma estrutura bem definida para avaliar a validade de proposições e argumentos<ref name="Whitehead" /><ref name="Hamilton" />

== História ==
{{Principal|História da lógica}}
[[Imagem:Aristotle Altemps Inv8575.jpg|thumb|150px|[[Aristóteles]] é o autor do primeiro trabalho sobre lógica.]]
O primeiro trabalho feito sobre o tema da lógica é o  de [[Aristóteles]] (na verdade, os [[sofistas]] e [[Platão]] já haviam se dedicado a questões lógicas, o trabalho de Aristóteles, porém, é mais amplo, rigoroso e sistematizado).<ref>livro "TEMAS DE FILOSOFIA"</ref><ref>Por exemplo, Kline ({{citar livro|primeiro = Morris |último = Kline |título= Mathematical Thought From Ancient to Modern Times |publicado= Oxford University Press |ano= 1972 | isbn = 0-19-506135-7}}, p.53) escreveu "A grande feito de Aristóteles foi ser o fundador da ciência da lógica".</ref> A [[lógica aristotélica]] tornou-se amplamente aceita em [[ciência]]s e matemática e manteve-se em ampla utilização no [[Ocidente]] até o início do século XIX.<ref>"[http://chemistry.mtu.edu/%7Epcharles/SCIHISTORY/aristotle.html Aristotle] {{Wayback|url=http://chemistry.mtu.edu/%7Epcharles/SCIHISTORY/aristotle.html |date=20100607132121 }}", MTU Department of Chemistry.</ref> O sistema lógico de Aristóteles foi responsável pela introdução do [[silogismo hipotético]],<ref>Jonathan Lear (1986). "''[http://books.google.com/books?id=lXI7AAAAIAAJ&pg=PA34&dq&hl=en#v=onepage&q=&f=false Aristotle and Logical Theory]''". [[Cambridge University Press]]. p.34. ISBN 0-521-31178-0</ref> [[lógica modal]] temporal<ref>Simo Knuuttila (1981). "''[http://books.google.com/books?id=iCCUF_OtA8AC&pg=PA71&dq&hl=en#v=onepage&q=&f=false Reforging the great chain of being: studies of the history of modal theories]''". Springer Science & Business. p.71. ISBN 90-277-1125-9</ref><ref>Michael Fisher, Dov M. Gabbay, Lluís Vila (2005). "''[http://books.google.com/books?id=Ajsvo6jWNhgC&pg=PA119&dq&hl=en#v=onepage&q=&f=false Handbook of temporal reasoning in artificial intelligence]''".  Elsevier. p.119. ISBN 0-444-51493-7</ref> e [[Método indutivo|lógica indutiva]].<ref>Harold Joseph Berman (1983). "''[http://books.google.com/books?id=9-8fIBVgCQYC&pg=PA133&dq&hl=en#v=onepage&q=&f=false Law and revolution: the formation of the Western legal tradition]''". [[Harvard University Press]]. p.133. ISBN 0-674-51776-8</ref> Na [[Europa]], durante o final do período medieval, grandes esforços foram feitos para mostrar que as ideias de Aristóteles eram compatíveis com a [[fé]] [[cristão|cristã]]. Durante a [[Alta Idade Média]], a lógica se tornou o foco principal dos filósofos, que se engajaram em análises lógicas [[crítica]]s dos argumentos filosóficos (''ver: [[Filosofia cristã]]'').

== Lógica aristotélica ==
{{Artigo principal|[[Lógica aristotélica]]}}

Dá-se o nome de [[Lógica aristotélica]] ao sistema lógico desenvolvido por [[Aristóteles]] a quem se deve o  primeiro estudo formal do [[raciocínio]]. Dois dos princípios centrais da lógica aristotélica são a [[lei da não-contradição|lei da não contradição]] e a [[lei do terceiro excluído]].

A lei da não contradição diz que nenhuma afirmação pode ser verdadeira e falsa ao mesmo tempo e a lei do terceiro excluído diz que qualquer afirmação da forma *P ou não P* é verdadeira. Esse princípio deve ser cuidadosamente distinguido do *princípio de bivalência*, o princípio segundo o qual para toda [[proposição]] (p), ela ou a sua [[negação]] é verdadeira.

A lógica aristotélica, em particular, a [[teoria do silogismo]], é apenas um fragmento da assim chamada lógica tradicional.

=== Lógica formal ===
A Lógica Formal, também chamada de Lógica Simbólica, preocupa-se, basicamente, com a estrutura do raciocínio. A  Lógica Formal lida com a relação entre [[conceito]]s e fornece um meio de compor [[prova]]s de declarações. Na Lógica Formal os conceitos são rigorosamente definidos, e as orações são transformadas em notações simbólicas precisas, compactas e não ambíguas. As letras minúsculas ''p'', ''q'' e ''r'', em fonte itálica, são convencionalmente usadas para denotar proposições:

:<math>p: 1 + 2 = 3</math>

Esta declaração define que  ''p'' é 1 + 2 = 3 e que isso é ''verdadeiro''.

Duas ou mais proposições podem ser combinadas por meio dos chamados ''operadores lógicos'' [[binários]] , formando ''[[conjunção lógica|conjunções]]'', ''[[disjunção lógica|disjunções]]'' ou ''[[Condicional material|condicionais]]''. Essas proposições combinadas são chamadas  '''proposições compostas'''. Por exemplo:
:'''p: 1 + 1 = 2 e ''"Lógica é o estudo do raciocínio."'''''
:E Neste caso, e é uma [[conjunção lógica|conjunção]]. As duas proposições podem diferir totalmente uma da outra!

Na [[matemática]] e na [[ciência da computação]], pode ser necessário enunciar uma proposição dependendo de variáveis:

:'''''p'': ''n'' é um inteiro ímpar.'''

Essa proposição pode ser ou verdadeira ou falsa, a depender do valor assumido pela variável ''n''.

Uma fórmula com variáveis livres é chamada '''função proposicional''' com '''domínio de discurso''' ''D''. Para formar uma proposição , devem ser usados '''[[quantificador]]es'''. "Para todo ''n''", ou "para algum ''n''" podem ser especificados por quantificadores: o ''[[quantificador universal]]'', ou o ''[[quantificador existencial]]'', respectivamente. Por exemplo:

:para todo ''n'' em ''D'', ''P''(''n'').

Isto pode ser escrito como:
:<math>\forall n\in D, P(n)</math>

Quando existem algumas variáveis livres, a situação padrão na [[análise matemática]] desde [[Karl Weierstrass|Weierstrass]], as quantificações ''para todos ... então existe'' ou ''então existe ... isto para todos'' (e [[analogia]]s mais complexas) podem ser expressadas.

=== Lógica material ===
Trata da aplicação das operações do [[pensamento]], segundo a matéria ou natureza do objeto a conhecer. Neste caso, a lógica é a própria [[metodologia]] de cada ciência. É, portanto, somente no campo da lógica material que se pode falar da [[verdade]]: o argumento é válido quando as [[premissa]]s são verdadeiras e se relacionam adequadamente à conclusão.

== Lógica matemática ==
{{Principal|Lógica matemática}}
Lógica Matemática é o uso da lógica formal para estudar o [[raciocínio matemático]] — ou, como propõe [[Alonzo Church]],<ref>CHURCH, Alonzo. ''Introduction to Mathematical Logic''. 10th ed. Princeton, New Jersey: Princeton University Press, 1996. ISBN 978-0-691-02906-1</ref> 'lógica tratada pelo método matemático' —. No início do século XX, lógicos e filósofos tentaram provar  que a matemática, ou parte da matemática, poderia ser reduzida à lógica.([[Gottlob Frege]], p.ex., tentou reduzir a aritmética à lógica; [[Bertrand Russell]] e [[Alfred North Whitehead]], no clássico [[Principia Mathematica]], tentaram reduzir toda a matemática então conhecida à lógica — a chamada 'lógica de segunda ordem' —). Uma das suas doutrinas lógico-[[semântica]]s era  que a descoberta da forma lógica de uma frase, na verdade, revela a forma adequada de dizê-la, ou revela alguma essência previamente escondida. Há um certo consenso que a redução falhou — ou que precisaria de ajustes —, assim como há um certo consenso de que a lógica — ou alguma lógica — é uma maneira precisa de representar o raciocínio matemático. Ciência que tem por objeto o estudo dos métodos e princípios que permitem distinguir raciocínios válidos de outros não válidos.

== Lógica filosófica ==
A lógica estuda e sistematiza a argumentação válida. A lógica tornou-se uma disciplina praticamente autónoma em relação à filosofia, graças ao seu elevado grau de precisão e tecnicismo. Hoje em dia, é uma [[disciplina académica|disciplina acadêmica]] que recorre a métodos matemáticos, e os lógicos contemporâneos têm em geral formação matemática. Todavia, a lógica elementar que se costuma estudar nos cursos de filosofia é tão básica como a [[aritmética]] elementar e não tem elementos matemáticos. A lógica elementar é usada como instrumento pela filosofia, para garantir a validade da argumentação.

Quando a filosofia tem a lógica como objecto de estudo, entramos na área da [[filosofia da lógica]], que estuda os fundamentos das teorias lógicas e os problemas não estritamente técnicos levantados pelas diferentes lógicas. Hoje em dia há muitas lógicas além da teoria clássica da dedução de Russell e Frege (como as lógicas livres, modais, temporais, paraconsistentes, difusas, [[Intuicionismo|intuicionistas]], etc. ver: [[Lógica intuicionista]]), o que levanta novos problemas à filosofia da lógica.

A filosofia da lógica distingue-se da lógica filosófica aristotélica, que não estuda problemas levantados por lógicas particulares, mas problemas filosóficos gerais, que se situam na intersecção da [[metafísica]], da [[epistemologia]] e da lógica. São problemas centrais de grande abrangência, correspondendo à disciplina medieval conhecida por "Lógica & Metafísica", e abrangendo uma parte dos temas presentes na própria Metafísica, de Aristóteles: a identidade de objetos, a natureza da [[Necessidade (filosofia)|Necessidade]], a natureza da verdade, o [[conhecimento]] a prioridade, etc. Precisamente por ser uma "subdisciplina transdisciplinar", o domínio da lógica filosófica é ainda mais difuso do que o das outras disciplinas. Para agravar as incompreensões, alguns filósofos chamam "lógica filosófica" à filosofia da lógica (e vice-versa). Em qualquer caso, o importante é não pensar que a lógica filosófica é um gênero de lógica, a par da lógica clássica, mas "mais filosófica"; pelo contrário, e algo [[Paradoxo|paradoxalmente]], a lógica filosófica, não é uma lógica no sentido em que a lógica clássica é uma lógica, isto é, no sentido de uma articulação sistemática das regras da argumentação válida.

A [[lógica informal]] estuda os aspectos da argumentação válida que não dependem exclusivamente da forma lógica. O tema introdutório mais comum no que respeita à lógica é a teoria clássica da dedução (lógica proposicional e de predicados, incluindo formalizações elementares da linguagem natural); a [[lógica aristotélica]] é por vezes ensinada, a nível universitário, como complemento histórico e não como alternativa à lógica clássica.» ([[Desidério Murcho]])

"Lógica", depois ela foi substituída pela invenção da Lógica Matemática. Relaciona-se com a elucidação de ideias como [[referência]], [[previsão]], [[identidade]], [[verdade]], [[quantificação]], [[existência]], e outras. A Lógica filosófica está muito mais preocupada com a conexão entre a [[Linguagem Natural]] e a Lógica.

== Lógica de predicados ==
{{Artigo principal|[[Lógica de predicados]]}}

[[Gottlob Frege]], em sua Conceitografia (''[[Begriffsschrift]]''), descobriu uma maneira de reordenar várias orações para tornar sua forma lógica clara, com a intenção de mostrar como as orações se relacionam em certos aspectos. Antes de Frege, a lógica formal não obteve sucesso além do nível da lógica de orações: ela podia representar a estrutura de orações compostas de outras orações, usando palavras como "e", "ou" e "não", mas não podia quebrar orações em partes menores. Não era possível mostrar como "Vacas são animais" leva a concluir que "Partes de vacas são partes de animais".

A lógica de orações explica como funcionam palavras como "e", "mas", "ou", "não", "se-então", "se e somente se", e "nem-ou". Frege expandiu a lógica para incluir palavras como "todos", "alguns", e "nenhum". Ele mostrou como podemos introduzir variáveis e quantificadores para reorganizar orações.

* "Todos os humanos são mortais" se torna "Para todo x, se x é humano, então x é mortal.", o que pode ser escrito simbolicamente como:
* :<math>\forall x (H(x)\to M(x))</math>
* "Alguns humanos são [[vegetariano]]s" se torna  "Existe algum (ao menos um) x tal que x é humano e x é vegetariano", o que pode ser escrito simbolicamente como:
* :<math>\exists x (H(x)\wedge V(x))</math>.

Frege trata orações simples sem [[substantivo]]s como [[predicado]]s e aplica a eles to "dummy objects" (x).  A estrutura lógica na discussão sobre objetos pode ser operada de acordo com as regras da lógica de orações,  com alguns detalhes adicionais para adicionar e remover quantificadores. O trabalho de Frege foi um dos que deram início à lógica formal contemporânea.

Frege adiciona à lógica de orações:

* o vocabulário de quantificadores (o A de ponta-cabeça, e o E invertido) e variáveis;
* e uma semântica que explica que as variáveis denotam objetos individuais e que os quantificadores têm algo como a força de "todos" ou "alguns" em relação a esse objetos;
* métodos para usá-los numa linguagem.

Para introduzir um quantificador "todos", você assume uma variável  arbitrária, prova algo que deva ser verdadeira, e então prova que não ''importa'' que variável você escolha, que aquilo deve ser sempre verdade. Um quantificador "todos" pode ser removido aplicando-se a oração para um objeto em particular. Um quantificador "algum" (existe) pode ser adicionado a uma oração verdadeira de qualquer objeto; pode ser removida em favor de um temo sobre o qual você ainda não esteja pressupondo qualquer informação.

== Lógica de vários valores ==
{{Artigo principal|[[Lógica ternária]]}}

Sistemas que vão além dessas duas distinções (verdadeiro e falso) são também conhecidos como lógicas de vários valores (ou lógicas polivaluadas, ou lógicas não aristotélicas, ou polivalentes).

No início do século XX, por exemplo, [[Jan Lukasiewicz|Jan Łukasiewicz]] investigou a extensão dos tradicionais valores verdadeiro/falso para incluir um terceiro valor, "possível".

Lógicas como a [[lógica difusa]] foram então desenvolvidas com um número infinito de "graus de verdade", representados, por exemplo, por um [[número real]] entre 0 e 1. [[Probabilidade epistemológica|Probabilidade bayesiana]] pode ser interpretada como um sistema de lógica onde probabilidade é o valor verdade subjetivo.

Outros exemplos de lógicas clássicas em tradições humanas<ref name=":1">{{Citar web|titulo=The logic of Buddhist philosophy goes beyond simple truth – Graham Priest {{!}} Aeon Essays|url=https://aeon.co/essays/the-logic-of-buddhist-philosophy-goes-beyond-simple-truth|obra=Aeon|acessodata=2019-10-24|lingua=en}}</ref> seriam a lógica de quatro valores (verdadeiro, falso, ambos, nem-verdadeiro-nem-falso) ou cinco (adicionando "inefabilidade" às quatro anteriores, vide referência<ref name=":1" /> para casuística), conhecidas pela inclusão de paradoxos que não seriam computáveis via lógicas binárias.

== Lógica e computadores ==
{{Principal|Programação lógica|Programação de computadores}}

A Lógica é extensivamente utilizada em todas as áreas vinculadas aos [[computador]]es.

Partindo-se do princípio que muitas das nossas tarefas diárias são uma sequência que obedecem uma determinada ordem, de um estado inicial, através de um período de tempo finito e que nesse período produzimos resultados esperados e bem definidos, poderíamos classificar essas tarefas dentro de um [[algoritmo]] que utilizam o conceito da lógica formal para fazer com que o computador produza uma série sequencial.

Nas [[década]]s de [[década de 1950|50]] e [[década de 1960|60]], pesquisadores previram que quando o conhecimento humano pudesse ser expresso usando lógica com notação matemática, supunham que seria possível criar uma máquina com a capacidade de pensar, ou seja, [[inteligência artificial]]. Isto se mostrou mais difícil que o esperado em função da complexidade do raciocínio humano. A [[programação lógica]] é uma tentativa de fazer computadores usarem [[raciocínio lógico]] e a [[linguagem de programação]] [[Prolog]] é frequentemente utilizada para isto.

Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador. Usando [[prova automática de teoremas]] os computadores podem achar e verificar demonstrações, assim como trabalhar com demonstrações muito extensas.

Na ciência da computação, a [[álgebra booleana]] é a base do projeto de ''[[hardware]]''.

== Tipos de lógica ==
De uma maneira geral, pode-se considerar que a lógica, tal como é usada na filosofia e na matemática, observa sempre os mesmos princípios básicos: a [[lei do terceiro excluído]], a [[Princípio da não-contradição|lei da não contradição]] e a [[lei da identidade]]. A esse tipo de lógica pode-se chamar "lógica clássica", ou "lógica aristotélica".

Além desta lógica, existem outros tipos de lógica que podem ser mais apropriadas dependendo da circunstância onde são utilizadas. Podem ser divididas em dois tipos:

* '''Complementares da lógica clássica:''' além dos três princípios da lógica clássica, essas formas de lógica têm ainda outros princípios que as regem, estendendo o seu domínio. Alguns exemplos:

** '''[[Lógica modal]]''': agrega à lógica clássica o princípio das possibilidades. Enquanto na lógica clássica existem orações como: "se amanhã chover, vou viajar", "minha avó é idosa e meu pai é jovem", na lógica modal as orações são formuladas como "é possível que eu viaje se não chover", "minha avó necessariamente é idosa e meu pai não pode ser jovem", etc.

** '''[[Lógica epistêmica]]''': também chamada "lógica do conhecimento", agrega o princípio da certeza, ou da [[Princípio da incerteza|incerteza]] (''ver: [[Indeterminismo]]''). Alguns exemplos de oração: "pode ser que haja vida em outros planetas, mas não se pode provar", "é impossível a existência de gelo a 100&nbsp;°C", "não se pode saber se duendes existem ou não", etc.

** '''[[Lógica deôntica]]''': forma de lógica vinculada à [[moral]], agrega os princípios dos [[direitos]], proibições e obrigações. É o sistema de lógica usado para indicar condutas e comportamentos, e que inclui as relações de poder entre indivíduos. Enquanto a lógica clássica trata do que "é ou não é", a lógica deôntica trata do que "se deve ou não fazer". As orações na lógica deôntica são da seguinte forma: "é proibido fumar mas é permitido beber", "se você é obrigado a pagar impostos, você é proibido de sonegar", etc.<ref name="pt.scribd.com">[http://pt.scribd.com/doc/90446335/Prototipo-de-Sistema-Especialista-em-Direito-Ambiental-para-Auxilio-a-Decisao-em-Situacoes-de-Desmatamento-RuralNT-CRHA-27-2004 Vasconcelos, V.V.;Martins Junior, P.P. Protótipo de Sistema Especialista em Direito Ambiental para Auxílio à decisão em Situações de Desmatamento Rural. NT-27. CETEC-MG. 2004. 80p.]</ref>

** '''[[Lógica Temporal]]''': Há situações em que os atributos de "Verdadeiro" e "Falso" não bastam, e é preciso determinar se algo é "Verdadeiro no período de tempo A", ou "Falso após o evento B". Para isso, é utilizado um sistema lógico específico que inclui novos operadores para tratar dessas situações.<ref name="pt.scribd.com"/>

* '''Anticlássicas:''' são formas de lógica que derrogam pelo menos um dos três princípios fundamentais da lógica clássica. Alguns exemplos incluem:

**'''[[Lógica paraconsistente]]''': É uma forma de lógica onde não existe o [[princípio da contradição]]. Nesse tipo de lógica, tanto as orações afirmativas quanto as negativas podem ser falsas ou verdadeiras, dependendo do contexto. Uma das aplicações desse tipo de lógica é o estudo da [[semântica]], especialmente em se tratando dos [[paradoxo]]s. Um exemplo: "fulano é cego, mas vê". Pelo princípio da lógica clássica, o indivíduo que vê, um "não cego", não pode ser cego. Na lógica paraconsistente, ele pode ser cego para ver algumas coisas, e não cego para ver outras coisas.

** '''[[Lógica paracompleta]]''': Esta lógica derroga o princípio do terceiro excluído, isto é, uma oração pode não ser totalmente verdadeira, nem totalmente falsa. Um exemplo de oração que pode ser assim classificada é: "fulano conhece a [[China]]". Se ele nunca esteve lá, essa oração não é verdadeira. Mas se mesmo nunca tendo estado lá ele estudou a [[história da China]] por [[livro]]s, fez amigos [[chineses]], viu muitas fotos da China, etc; essa oração também não é falsa.

* '''[[Lógica difusa]]''': Mais conhecida como "lógica fuzzy", trabalha com o conceito de graus de pertinência. Assim como a lógica paracompleta, derroga o princípio do terceiro excluído, mas de maneira comparativa, valendo-se de um elemento chamado [[conjunto fuzzy]]. Enquanto na lógica clássica supõe-se verdadeira uma oração do tipo "se algo é quente, não é frio" e na lógica paracompleta pode ser verdadeira a oração "algo pode não ser quente nem frio", na lógica difusa poder-se-ia dizer: "algo é 30% quente, 25% morno e 45% frio". Esta lógica tem grande aplicação na [[informática]] e na [[estatística]], sendo inclusive a base para indicadores como o [[coeficiente de Gini]] e o [[IDH]].
* Lógica de base n: uma das forma de lógica de base n era um tipo de lógica difusa. No entanto podemos fazer enumerações de zero a n ou usar um alfabeto n-ário numa máquina de Turing, relacioná-las e com base nisso tirar vantagens.<ref name=":0">"Uma lógica causa-efeito" de Osvaldo Mendes</ref> Esta lógica pode ainda relacionar-se com muitos assuntos em informática.<ref name=":0" />

== Testes de lógica ==
Vejam alguns testes simples de lógica:

'''1.'''Você está numa cela onde existem duas portas, cada uma vigiada por um guarda. Existe uma porta que dá para a liberdade, e outra para a morte. Você está livre para escolher a porta que quiser e por ela sair. Poderá fazer apenas uma pergunta a um dos dois guardas que vigiam as portas. Um dos guardas sempre fala a verdade, e o outro sempre mente e você não sabe quem é o mentiroso e quem fala a verdade. ''Que pergunta você faria?''

'''2.'''Você é prisioneiro de uma tribo indígena que conhece todos os segredos do Universo e portanto sabem de tudo. Você está para receber sua sentença de morte. O cacique o desafia: "Faça uma afirmação qualquer. Se o que você falar for mentira você morrerá na fogueira, se falar uma verdade você será afogado. Se não pudermos definir sua afirmação como verdade ou mentira, nós te libertaremos." ''O que você diria?''

'''3.''' [[Epiménides]] era um grego da cidade de [[Minos]]. Dizem que ele tinha a fama de mentir muito.

Certa vez, ele citou esta passagem:

''Era uma vez um'' '''bode''' ''que disse:''

- Quando a mentira nunca é desvendada, quem está mentindo sou eu.

''Em seguida o'' '''leão''' ''disse:''

- Se o bode for um mentiroso, o que o dragão diz também é mentira.

''Por fim'' '''o dragão''' ''disse:''

- Quem for capaz de desvendar a minha mentira, então, ele estará dizendo a verdade.

'''Qual deles está mentindo?'''

Este teste é mais conhecido como [[paradoxo de Epiménides]].

== Respostas dos "testes de lógica" citados acima ==
'''1.''' Pergunte a qualquer um deles: Qual a porta que o seu companheiro apontaria como sendo a porta da liberdade?

Explicação: O mentiroso apontaria a porta da morte como sendo a porta que o seu companheiro (o sincero) diria que é a porta da liberdade, já que se trata de uma mentira da afirmação do sincero. E o sincero, sabendo que seu companheiro sempre mente, diria que ele apontaria a porta da morte como sendo a porta da liberdade.

Conclusão: os dois apontariam a porta da morte como sendo a porta que o seu companheiro diria ser a porta da liberdade. Portanto, é só seguir pela outra porta.

Uma outra opção de resposta seria perguntar a qualquer um deles: A porta que está o guarda que diz a verdade é a porta da liberdade?

Explicação: Se você perguntar ao verdadeiro e ele estiver na porta da liberdade dirá que "sim" e se você perguntar ao mentiroso e ele estiver na porta da liberdade também dirá que "sim" pois seria uma mentira já que a verdade seria que ele está na porta da liberdade. Se o guarda que diz a verdade responder "não" seria porque a porta da liberdade estaria com o mentiroso, ou seja a outra porta, e o mentiroso dizendo "não" é porque o verdadeiro estaria na porta da liberdade que também seria a porta oposta.

Conclusão: Independente a qual guarda perguntar sempre saia pela mesma porta se a resposta for "sim", e saia pela outra porta se a resposta for "não".

'''2.''' Afirme que você morrerá na fogueira.

Explicação: Se você realmente morrer na fogueira, isto é uma verdade, então você deveria morrer afogado, mas se você for afogado a afirmação seria uma mentira, e você teria que morrer na fogueira.

Conclusão: Mesmo que eles pudessem prever o futuro, cairiam neste impasse e você seria libertado.

'''3.''' Ao tentar responder ao enigma, encontram-se informações que se ligam umas às outras e acabam não levando a resposta alguma. Esse enigma pode ser denominado como [[paradoxo do mentiroso]].

Veja o exemplo de um [[paradoxo]] simples e interessante:

:'''A afirmação abaixo é verdadeira.'''
:'''A afirmação acima é falsa.'''

== Ver também ==
{{dividir em colunas|col=2}}
* [[Anti-intelectualismo]]
* [[Consequência lógica]]
* [[Epistemologia]]
* [[Fé]]
* [[Filosofia analítica]]
* [[História da lógica]]
* [[História das mentalidades]]
* [[Lógica de primeira ordem]]
* [[Lógica difusa]]
* [[Lógica proposicional]]
* [[Método científico]]
* [[Método histórico]]
* [[Modus ponens]]
* [[Modus tollens]]
* [[Racionalismo]]
* [[Teoria dos conjuntos]]
{{dividir em colunas fim}}

{{Referências|col=2}}

== Leituras adicionais ==
* AZEVEDO FILHO, Adriano. Princípios de Inferência Dedutiva e Indutiva: Noções de Lógica e Métodos de Prova. 1ª Edição 2010, Scotts Valley: CreateSpace, 148p. ISBN 978-1-4421-5143-7.
* BRENNAN, Andrew; DEUSTCH, Max; GOLDSTEIN, Lawrence. Lógica. Artmed, 1a edição 2007, 224p. ISBN 85-363-0908-3.
* DA COSTA Newton. Ensaio sobre os Fundamentos da Lógica. Hucitec, 2ª Edição 1994, 256p.  ISBN 85-271-0182-3.
* DA COSTA Newton. Lógica Indutiva e Probabilidade. Hucitec-EdUSP, 3 a. ed., São Paulo, 2008.
* FEITOSA, Hércules de Araújo; PAULOVICH, Leonardo. Um Prelúdio á Lógica. UNESP 1a edição 2006, 225p. ISBN 85-7139-605-1
* COPI, Irving M. Introdução à Lógica. Mestre Jou. 2a edição 1978 488p. ISBN 85-87068-05-9
* FINGER, Marcelo; SILVA, Flávio Soares Corrêa da; MELO, Ana Cristina Vieira de. Lógica para Computação. Thomson Pioneira, 1a edição 2006, 244p. ISBN 85-221-0517-0
* FISHER, Alec. A Lógica dos Verdadeiros Argumentos. Novo Conceito, 1a edição 2008, 336p. ISBN 85-99560-29-8
* GORSKY, Samir. ''[http://samirgorsky.eu5.org/trabalhos/logicamodal.pdf A semântica algébrica para a lógica modal e seu interesse filosófico]''. Dissertação de mestrado. IFCH-UNICAMP. 2008.
* HEGENBERG, Leonidas. Dicionário de Lógica. Editora Pedagógica e Universitária, 1995. 223p. ISBN 85-12-79060-1.
* MORTARI, Cézar A.  Introdução á Lógica. UNESP 1a edição 2001, 391p. ISBN 85-7139-337-0
* NOLT, John; ROHATYN, Dennis. Lógica. Makron Books e McGraw-Hill, 596p.
* PINTO, Paulo Roberto Margutti. Introdução à Lógica Simbólica. UFMG 2a edição 2006 339p. ISBN 85-7041-215-0
* SALMON, WESLEY C . Lógica. LTC, 3a edição 1993, 96p. ISBN 85-7054-041-8
* SOUZA, João Nunes de. Lógica para Ciência da Computação. Campus, 2a edição 2008, 240p. ISBN 85-352-2961-2
* HURLEY, P. J. '''-''' ''A Concise Introduction to Logic. ISBN: 978-1285196541''

== Ligações externas ==
<div class="noprint" style="clear: right; border: solid #aaa 1px; margin: 0 0 1em 1em; font-size: 90%; background: #f9f9f9; width: 238px; padding: 5px; spacing: 2px; text-align: center; float: right;">
<div style="float: left; vertical-align:middle;">[[Imagem:Commons-logo.svg|22px|none|Commons]]</div>
<div style="margin-left: 30px; line-height:normal; vertical-align:middle;">O [[Commons:Página principal|Commons]] possui um arquivo PDF chamado {{{prefixo|}}} '''<span class="plainlinks">[http://commons.wikimedia.org/w/index.php?title={{urlencode:{{{1|File:Para Todxs NATAL - uma introdução à lógica formal.pdf}}}}}&uselang=pt {{{2|Para Todxs NATAL - uma introdução à lógica formal.pdf}}}]</span>'''</div>
</div>
{{Wikilivros|Lógica}}
{{wikiquote|Lógica}}
{{Lógica}}
{{Ciências}}
{{Filosofia}}
{{Controle de autoridade}}
{{Portal3|Lógica|Ciência|Filosofia}}

[[Categoria:Lógica| ]]