Introdução
	ver
O quadrado das oposições, imagem do século XV. A lógica (em grego clássico: λογική; romaniz.:logikḗ) é uma ciência de caráter matemático, ligada à filosofia. Ao longo dos anos a lógica passou a ser aplicada em campos variados, e hoje é empregada em disciplinas como as ciências da computação, ciências cognitivas, linguística e a psicologia. Uma definição comum da lógica é a que a distingue como a ciência do raciocínio. À lógica interessa a correção do processo, ou seja, se a conclusão a que se chegou decorre adequadamente das premissas pressupostas; se as premissas fornecem fundamento ou provas apropriadas para a conclusão, então o raciocínio pode ser considerado correto, caso contrário, ele será tratado como uma falácia. Portanto, a distinção entre o raciocínio correto e incorreto é o problema central que incumbe à lógica estudar. Apesar de ser conhecida como uma disciplina formal, nem toda lógica é puramente formal. A lógica informal analisa características de argumentação que não são estudadas pela lógica formal. Contudo, não é possível dominar a lógica informal sem o domínio dos aspectos elementares da lógica formal, já que ela é o fundamento a partir do qual é possível validar a lógica informal. Segundo uma perspectiva filosófica, a lógica tem o intuito de esclarecer o pensamento. A filosofia é caracterizada por um conjunto de problemas que os filósofos, ao longo da história, têm tentado responder. Para isso, eles apresentam teorias e argumentos lógicos. Leia o artigo completo...

*Artigo destacado*
	ver
Alfred North Whitehead Alfred North Whitehead (Ramsgate, 15 de fevereiro de 1861 — Cambridge, 30 de dezembro de 1947) foi um filósofo, lógico e matemático britânico. É o fundador da escola filosófica conhecida como a filosofia do processo, atualmente aplicada em vários campos da ciência, como dentre outros na ecologia, teologia, pedagogia, física, biologia, economia e psicologia. Seu primeiro grande trabalho foi O Tratado sobre a Álgebra Universal (1898), onde se propôs a unificar a álgebra, a exemplo do que David Hilbert fez com a geometria não euclidiana. Seu trabalho mais notável sobre o assunto é o Principia mathematica (1910–1913), escrito com a colaboração de seu ex-aluno Bertrand Russell. O Principia Mathematica propôs uma conclusão de todas as verdades matemáticas, baseando-se num rol precisamente delineado por axiomas e regras de dedução. Para isso, eles empregaram uma linguagem lógico-simbólica própria. O livro é considerado um dos mais importantes trabalhos sobre a interdisciplinaridade entre matemática, lógica e filosofia, com dimensão comparável ao Organon de Aristóteles. A Modern Library colocou-o no 23º de uma lista dos cem mais importantes livros em inglês de não ficção do século XX. Whitehead tinha a ideia inicial de concluir o Principia Mathematica em um ano, contudo, o projeto se estendeu por dez anos. Em sua primeira publicação o livro foi dividido em três volumes (mais de 2 000 páginas) e, por seu público restrito, formado majoritariamente por matemáticos profissionais, houve um prejuízo de 600 libras esterlinas em sua publicação - 300 dos quais foram pagos pela Cambridge University Press e 200 pela Royal Society. Whitehead e seu aluno Russell completaram a dívida com cinquenta libras cada. Leia o artigo completo...

*Biografia*
	ver
Kurt Gödel Kurt Friedrich Gödel (Brünn, Áustria-Hungria^[1], 28 de abril de 1906 — Princeton, Estados Unidos, 14 de janeiro de 1978) foi um filósofo, matemático e lógico austríaco, naturalizado americano. Considerado, ao lado de Aristóteles, Alfred Tarski e Gottlob Frege, um dos mais importantes lógicos da história, Gödel causou um imenso impacto no pensamento científico e filosófico no século 20, época em que nomes como Bertrand Russell, Alfred North Whitehead, e David Hilbert analisavam o uso da lógica e da teoria dos conjuntos como instrumento para compreender os fundamentos da matemática de Georg Cantor. Gödel publicou seus dois teoremas da incompletude em 1931, aos 25 anos, um ano depois de terminar seu doutorado na Universidade de Viena. O primeiro teorema da incompletude afirma que, para qualquer sistema axiomático recursivo autoconsistente capaz de descrever a aritmética dos números naturais (como, por exemplo, o axioma de Peano), há proposições naturais verdadeiras que não podem ser provadas a partir dos axiomas. Para provar esse teorema, Gödel desenvolveu uma técnica agora conhecida como numeração de Gödel, que codifica expressões formais como números naturais. Ele também mostrou que tanto o axioma da escolha quanto a hipótese do continuum não podem ser refutados a partir de axiomas aceitos na teoria dos conjuntos, assumindo que esses axiomas são consistentes. O primeiro resultado possibilitou que os matemáticos assumissem o axioma na escolha de suas provas. Ele também fez contribuições importantes para a teoria da prova, esclarecendo as conexões entre a lógica clássica, a lógica intuicionista e a lógica modal. Leia o artigo completo...

*Imagem destacada*
	ver
Gregor Reisch "A lógica apresenta os seus temas centrais" 1503/08. Os dois cães, veritas e falsitas, correm atrás da lebre problema e a lógica empunha a espada syllogismus.

*Você sabia que...*
	ver
Você sabia que... A lógica matemática surgiu apenas em meados do século XIX? Que o filósofo Ludwig Wittgenstein criticou a "rigidez lógica" em sua última obra, Investigações Filosóficas? Que Gottlob Frege uniu a lógica aristotélica com a lógica dos estoicos? O brasileiro Newton da Costa é reconhecido internacionalmente pela lógica paraconsistente, um tipo de lógica que põe em xeque o princípio da não contradição? O termo Navalha de Occam surgiu muito depois da morte de Guilherme de Ockham? Além de lógico, Gottfried Leibniz também era engenheiro, advogado e diplomata? A demonstração ontológica de Gödel é um argumento formal que visa provar a existência de Deus? O filósofo Vicente Ferreira da Silva foi assistente do lógico Willard van Orman Quine?

Portal:Lógica