Uma breve história da lógica

De Aristóteles a Gödel: como a lógica formal se construiu — e onde encontrou seus limites.

A demanda por argumentação rigorosa surge na Atenas democrática do século V a.C. Numa democracia direta, onde qualquer cidadão poderia ter de defender-se perante um júri de centenas ou influenciar a assembleia apenas pelo discurso — argumentação persuasiva uma era habilidade de sobrevivência na polis. Daí surgiu a profissão dos sofistas: professores itinerantes que cobravam para ensinar retórica e técnica de argumentação. Figuras como Protágoras, Górgias, Pródico e Antifonte.

A sistematização da lógica, no entanto, vem cerca de um século depois. Aristóteles (384–322 a.C.) chega a Atenas em 367 a.C. e funda o Liceu em 335 — já sob hegemonia macedônica, no fim do período democrático ateniense. É nesse contexto, e em resposta à sofística do século anterior, que o sistema lógico aristotélico ganha forma.

Os sofistas eram bons no que faziam — bons demais, segundo seus críticos. Protágoras sustentou explicitamente a doutrina dos dois logoi: em toda matéria, há dois argumentos opostos com igual força (relatada por Diógenes Laércio IX.51). Górgias é o grande praticante: seu Elogio de Helena defende o indefensável apenas pela técnica retórica. No §8 do mesmo texto, Górgias declara:

O discurso é um senhor poderoso que, com o mais pequeno e mais invisível dos corpos, realiza as obras mais divinas.

Para Platão e depois Aristóteles, isso era moralmente duvidoso: se a técnica argumentativa serve a qualquer verdade indiferentemente, ela não está no serviço de verdade nenhuma. A tradição filosófica responde tentando distinguir argumentação que persuade de argumentação que demonstra.

No tratado Refutações Sofísticas, Aristóteles cataloga treze argumentos que parecem válidos mas não são — incluindo equivocação, petição de princípio e a falácia do consequente (relacionada, mas distinta da forma proposicional moderna de afirmar o consequente, cujo tratamento formal aparece nas Analíticas Anteriores). Na mesma obra, Aristóteles define o silogismo e as condições de validade. A lógica clássica pergunta: o que faz um argumento ser válido, independentemente do conteúdo?

O Organon

O conjunto dos tratados lógicos de Aristóteles foi agrupado sob o título Organon — em grego, instrumento. Não é uma disciplina entre outras, mas a ferramenta que precede toda investigação. A ordem de leitura — tradicionalmente atribuída ao trabalho editorial de Andrônico de Rodes (séc. I a.C.), embora seu papel exato seja disputado — é a recomendada por Alexandre de Afrodísia:

• Categorias — classifica os tipos de predicação: substância, quantidade, qualidade, relação.
• Da Interpretação — proposições, valores-verdade, quadrado das oposições, o famoso problema das verdades futuras (a batalha naval de amanhã — já tem valor-verdade?).
• Analíticas Anteriores — formalização do silogismo, suas três figuras e os modos válidos.
• Analíticas Posteriores — quando um silogismo conta como demonstração científica? Premissas verdadeiras, primárias, imediatas, melhor conhecidas que a conclusão, e explicativas dela.
• Tópicos — raciocínio dialético a partir de premissas geralmente aceitas, não necessariamente verdadeiras.
• Refutações Sofísticas — taxonomia das falácias.

Para fins pedagógicos e práticos, nos concentramos em dois componentes: o silogismo como estrutura de inferência e os princípios que sustentam a bivalência.

O silogismo

O silogismo é uma estrutura composta por três proposições. Aristóteles trabalhava com letras representando termos gerais — não sujeitos singulares. A forma canônica:

Todo $A$ é $B$. Todo $B$ é $C$. Logo, todo $A$ é $C$.

O exemplo clássico Todo homem é mortal. Sócrates é um homem. Logo, Sócrates é mortal. costuma ser atribuído a Aristóteles, mas não aparece em sua obra: a silogística aristotélica usa termos gerais (animal, homem, cavalo) e não admite sujeitos singulares como Sócrates — não faz sentido prefixar todo a um nome próprio. A formulação canônica é um exemplo didático posterior, popularizada por John Stuart Mill em A System of Logic (1843). Aristóteles discute Sócrates em outros contextos, e discute mortalidade — mas nunca os combina nessa forma.

O silogismo é considerado válido apenas quando a conclusão segue necessariamente das premissas, independentemente das premissas serem de fato verdadeiras. Validade diz respeito à forma do argumento; valor-verdade diz respeito ao conteúdo das proposições. Essa separação permite avaliar a estrutura de um argumento sem nos preocuparmos com seus pressupostos.

Aristóteles classifica as proposições em quatro tipos, combinando duas dimensões — quantidade e qualidade:

• Universal afirmativa: Todo X é Y
• Universal negativa: Nenhum X é Y
• Particular afirmativa: Algum X é Y
• Particular negativa: Algum X não é Y

As quatro formas resultam de uma grade 2×2:

	Afirmativa	Negativa
Universal	A — Todo S é P	E — Nenhum S é P
Particular	I — Algum S é P	O — Algum S não é P

São as proposições categóricas. As letras-mnemônico — A, E, I, O — vêm das vogais do latim AffIrmo / nEgO; a codificação é medieval, a distinção quádrupla é aristotélica. Aristóteles combina essas proposições em pares de premissas e cataloga quais combinações produzem inferências válidas e quais não. É a primeira tentativa sistemática de catalogar a estrutura da inferência humana.

Da estrutura se X, então Y sai uma distinção que sobrevive até hoje: X é a condição suficiente (basta X para que Y aconteça) e Y é a condição necessária (X só pode acontecer se Y também acontecer). Essa dicotomia — necessário/suficiente — é uma codificação escolástica e moderna; Aristóteles trabalha com as noções subjacentes via sua doutrina das causas, sem o par lexical.

Os dois princípios

Toda a lógica clássica se sustenta em dois princípios estruturais. Aristóteles os formulou explicitamente; o sistema inteiro depende de ambos se manterem.

Juntos, definem o que conta como proposição: uma sentença que admite um, e apenas um, valor-verdade em cada situação.

Aristóteles considerava o princípio da não-contradição "o mais certo de todos". A formulação em Metafísica IV (Γ), 1005b19–20:

O mesmo atributo não pode pertencer e não pertencer ao mesmo sujeito ao mesmo tempo e sob o mesmo aspecto.

Não é demonstrável — mas qualquer pessoa que raciocine já o pressupõe. Tentar argumentar contra ele exige usá-lo.

Os estoicos e a lógica das proposições

A lógica de Aristóteles trabalhava com termos — sujeitos e predicados dentro de proposições. Um silogismo manipula todo $A$ é $B$ e algum $C$ não é $D$. As proposições inteiras eram opacas.

A lógica das proposições inteiras é uma contribuição estoica, sistematizada por Crisipo de Solos (c. 279–206 a.C.) sobre trabalho anterior dos megáricos (Diodoro Cronos, Filo) e de Teofrasto. Em vez de manipular todo homem é mortal, os estoicos manipulam $P$ — e estudam como $P$, $Q$, $R$ se combinam com se… então…, e, ou.

A contribuição central é o sistema dos cinco indemonstráveis (anapodeiktoi), regras básicas a partir das quais todas as outras inferências se derivam (Diógenes Laércio VII.79–81; Sexto Empírico, Adv. Math. VIII.224–225):

1. Modus ponens — de $P \rightarrow Q$ e $P$, conclui-se $Q$
2. Modus tollens — de $P \rightarrow Q$ e $\neg Q$, conclui-se $\neg P$
3. Negação de conjunção — de $\neg(P \wedge Q)$ e $P$, conclui-se $\neg Q$
4. Modus ponendo tollens — de $P \oplus Q$ e $P$, conclui-se $\neg Q$
5. Modus tollendo ponens (silogismo disjuntivo) — de $P \vee Q$ e $\neg P$, conclui-se $Q$

Os nomes latinos foram cunhados no período medieval; os estoicos usavam ordinais (o primeiro indemonstrável, o segundo). Crisipo era tão convicto do alcance dessas regras que sustentava — segundo Sexto Empírico (Hipotiposes I.69) — que

até um cão usa o quinto indemonstrável: ao chegar a uma encruzilhada de três caminhos, depois de farejar os dois pelos quais a presa não passou, lança-se de imediato pelo terceiro sem mais cheirar.

Disjunção exaustiva, eliminação de duas alternativas, conclusão pela terceira.

Por séculos, a lógica de termos (Aristóteles) e a lógica de proposições (estoicos) coexistiram. A escolástica do século XIV (Ockham, Buridan) desenvolveu uma teoria das consequentiae que conecta as duas tradições mais do que a narrativa de "linhas paralelas" sugere. A unificação formal completa, porém, só chega no século XIX. A lógica proposicional é descendente direta da tradição estoica.

Boole e a álgebra do pensamento

Em An Investigation of the Laws of Thought (1854), George Boole (1815–1864) abre o tratado declarando seu objetivo:

Investigar as leis fundamentais das operações da mente pelas quais o raciocínio se realiza; dar-lhes expressão na linguagem simbólica de um cálculo, e sobre essa fundação estabelecer a ciência da lógica e construir seu método.

Os conectivos lógicos obedecem leis algébricas — comutatividade, associatividade, distributividade — análogas às da aritmética. A conjunção ($\wedge$) comporta-se como multiplicação ($xy$, idempotente: $xx = x$).

A identificação limpa entre OU lógico e adição, porém, é uma projeção posterior. Na álgebra original de Boole, $x + y$ só era definido para classes disjuntas — comportando-se como um OU exclusivo — e era explicitamente "ininterpretável" quando as classes se sobrepunham. O OU inclusivo que reconhecemos hoje em portas lógicas vem dos refinamentos de William Stanley Jevons (Pure Logic, 1864) e Ernst Schröder (anos 1890), que tornaram as operações totais ao adotarem $x + x = x$. Quando dizemos hoje que AND/OR/NOT correspondem a ×/+/complemento, falamos da álgebra booleana pós-Boole.

A consequência prática foi explorada quase um século depois: Claude Shannon, em sua dissertação de mestrado no MIT (1937), A Symbolic Analysis of Relay and Switching Circuits, percebeu que circuitos elétricos com chaves e relés implementam álgebra booleana. Cada porta lógica é uma operação booleana fisicamente realizada. O computador moderno é, no nível mais baixo, uma máquina que calcula álgebra booleana.

Da pergunta de Aristóteles — o que faz um argumento ser válido? — à pergunta de Boole — como manipular argumentos algebricamente? — a lógica deixa de ser apenas estrutura do raciocínio e passa a ser também ferramenta computacional.

Frege e o nascimento da lógica moderna

Em Begriffsschrift (escrita de conceitos, 1879), Gottlob Frege (1848–1925) publica o primeiro sistema axiomatizado de lógica de predicados quantificada — com quantificadores aninhados, regras de inferência explícitas e tratamento de predicados como funções. Independentemente, e poucos anos depois, Charles Sanders Peirce (com seu aluno O. H. Mitchell) chegou à teoria da quantificação, formalizada em On the Algebra of Logic (1885); Frege tem prioridade na publicação e na axiomatização, mas Peirce e a tradição algébrica subsequente foram mais imediatamente influentes na época.

Pela primeira vez, sentenças do tipo todo número primo maior que 2 é ímpar são formalizáveis com precisão completa. A lógica aristotélica de termos não conseguia expressar relações multi-argumentais — $A$ dá $B$ a $C$ escapa do molde sujeito-predicado. Frege resolve isso tratando relações como funções de múltiplos argumentos: $\text{dar}(A, B, C)$ é predicado ternário. Toda matemática moderna depende dessa generalização. A lógica de predicados herda diretamente a reformulação fregeana.

Frege também propõe o logicismo: a tese de que toda aritmética é redutível a lógica pura. Números seriam objetos lógicos; verdades aritméticas seriam verdades lógicas. O projeto culmina nas suas Leis Básicas da Aritmética (vol. I em 1893; vol. II em 1903) — uma reconstrução completa da aritmética a partir de axiomas puramente lógicos.

A notação moderna vem dessa reformulação. $P$, $Q$, $R$ denotam proposições inteiras (do latim propositio; $Q$ e $R$ seguem alfabeticamente). Aristóteles usava $A$, $B$, $C$ para termos dentro das proposições — uma escala diferente. A mudança de letras é também mudança conceitual: deixamos de manipular sujeitos e predicados isolados e passamos a manipular proposições inteiras como objetos.

Russell e os limites da fundação

Bertrand Russell (1872–1970) vinha trabalhando, em 1901, num paradoxo da teoria geral de classes que se aplicava ao sistema de Frege. Considere o conjunto $R$ de todos os conjuntos que não contêm a si mesmos. $R$ contém a si mesmo? Se sim, viola a definição. Se não, satisfaz a definição e portanto deve estar nele. Contradição em qualquer direção.

Russell comunica o resultado a Frege em carta datada de 16 de junho de 1902 — o segundo volume das Leis Básicas já ia para o prelo. Frege acrescenta um apêndice reconhecendo o problema, abrindo com a frase:

Dificilmente algo mais indesejável pode acontecer a um autor científico do que ver um dos fundamentos de seu edifício abalado depois da obra concluída. Foi nessa posição que me colocou uma carta do Sr. Bertrand Russell quando a impressão deste volume se aproximava do fim.

Russell anos depois reconheceria a integridade da resposta:

Não há nada em meu conhecimento que se compare à dedicação de Frege à verdade — ao descobrir que sua suposição fundamental estava em erro, respondeu com prazer intelectual que claramente submergiu qualquer sentimento de decepção pessoal.

(Carta a Jean van Heijenoort, 1962.) Frege, contudo, nunca recuperou o programa logicista.

Alfred North Whitehead e Russell respondem com a Principia Mathematica (1910–1913) — três volumes que tentam reconstruir a aritmética sobre fundações novas, evitando o paradoxo via uma hierarquia de tipos (esboçada por Russell em 1908 em Mathematical Logic as Based on the Theory of Types). O esforço é monumental. A proposição $1 + 1 = 2$ aparece como observação na p. 379 do volume I (Proposição ✸54.43: "daí seguirá, quando a adição aritmética for definida, que $1 + 1 = 2$"), mas a prova só é concluída em ✸110.643 do volume II (p. 86), onde os autores anotam: "a proposição acima é ocasionalmente útil". A lição: fundamentar a matemática em lógica é possível, mas exige cuidado obsessivo com a forma como conjuntos são construídos.

Hilbert, Gödel e os limites da fundação

O projeto de Russell e Whitehead deixou uma pergunta em aberto: seria possível criar um sistema axiomático completo, consistente e decidível — onde toda verdade matemática fosse, em princípio, demonstrável? David Hilbert (1862–1943) respondeu com um programa explícito. Em sua lista de 1900, apresentou 23 problemas para o século; em 1930, num discurso em Königsberg, resumiu o credo formalista numa frase que ficaria como epitáfio: "Wir müssen wissen — wir werden wissen" (precisamos saber — saberemos).

Kurt Gödel (1906–1978) respondeu em 1931. Em Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (Monatshefte für Mathematik und Physik 38: 173–198), demonstrou dois resultados estruturais:

• O primeiro teorema mostra que qualquer sistema consistente e efetivamente axiomatizável forte o bastante para conter a aritmética contém sentenças verdadeiras que ele mesmo não pode demonstrar.
• O segundo teorema acrescenta: tal sistema não pode demonstrar sua própria consistência.

O timing é cruel: Gödel anunciou o primeiro teorema numa mesa-redonda em Königsberg em 7 de setembro de 1930 — a véspera do discurso em que Hilbert proclamou "saberemos", na mesma cidade.

Na plateia estava John von Neumann (1903–1957), até então um defensor ativo do programa de Hilbert e um dos poucos a captar o alcance do resultado na hora. Semanas depois, derivou de forma independente o segundo teorema — a impossibilidade de um sistema provar a própria consistência — e escreveu a Gödel em 20 de novembro de 1930. Gödel já o obtivera; o resultado entrou no artigo. Von Neumann abandonou o programa formalista e passou a divulgar os teoremas de Gödel.

O sonho fregeano-russelliano (reduzir a matemática à lógica) e o programa formalista de Hilbert (fundamentá-la por dentro) ficam seriamente comprometidos. Hilbert viveu até 1943 e testemunhou a derrota do próprio programa.

Lógicas não-clássicas: o que veio depois

A bivalência não é a única escolha possível. Sistemas lógicos não-clássicos relaxam ou abandonam algum dos princípios. Vale conhecê-los para entender contra o que a lógica clássica se define:

• Lógica intuicionista — rejeita o terceiro excluído. Uma proposição só vale se houver uma construção que a demonstre. Não falso não implica verdadeiro. L. E. J. Brouwer (1881–1966) fundou a filosofia subjacente (1907–1912) mas se opunha à sua formalização; Arend Heyting apresentou a primeira axiomatização formal em 1930.
• Lógica paraconsistente — tolera contradições localmente sem que o sistema inteiro colapse. Newton da Costa (1929–2024) deu o primeiro tratamento sistemático em 1963 (a hierarquia $C_n$), construindo sobre a lógica discursiva de Jaśkowski (1948). Útil para modelar bases de dados inconsistentes ou paradoxos sem implodir.
• Lógica fuzzy — valores-verdade contínuos entre 0 e 1, não binários. Lotfi Zadeh introduziu conjuntos fuzzy em 1965 (Fuzzy Sets, Information and Control); a lógica fuzzy e as variáveis linguísticas vêm de trabalhos posteriores (1973–1975). Modela noções como aproximadamente alto ou quase verdadeiro.
• Lógica modal — adiciona operadores de necessidade e possibilidade. C. I. Lewis dá-lhe forma moderna em A Survey of Symbolic Logic (1918), introduzindo a noção de implicação estrita e o símbolo $\Diamond$ para possibilidade. O símbolo $\square$ para necessidade é uma proposta posterior de Frederic B. Fitch. Os sistemas S1–S5 aparecem em Lewis & Langford, Symbolic Logic (1932).

A lógica proposicional e a lógica de predicados operam dentro da bivalência clássica. Quando aparecer uma proposição, ela é verdadeira ou falsa; nunca ambas; nunca nenhuma.

A lógica clássica cobre apenas um dos três modos de inferência humana — a dedução. Indução e abdução ficam fora do escopo formal, mas pavimentam o terreno em que toda inferência matemática opera. Para o panorama completo, veja raciocínio.