Lógica: de Aristóteles a Gödel — a arquitetura da inferência válida

Todo argumento pretende nos convencer de algo a partir de outra coisa: de certas premissas, extrai-se uma conclusão. Mas o que torna essa passagem legítima? Por que “todos os homens são mortais; Sócrates é homem; logo, Sócrates é mortal” parece uma inferência irrepreensível, enquanto “alguns cisnes são brancos; este animal é um cisne; logo, este animal é branco” não é? A resposta a essa pergunta — o que faz um raciocínio valer — é o objeto da lógica, uma das mais antigas e mais tecnicamente sofisticadas disciplinas da filosofia. Nascida como reflexão sobre a arte da demonstração e do debate, a lógica atravessou vinte e cinco séculos até se tornar, no século XX, uma ciência formal capaz de esclarecer — e também de revelar os limites — da própria razão matemática.

1. O que é a lógica: validade, verdade e forma

A lógica estuda as condições sob as quais uma conclusão decorre de premissas — não o conteúdo particular de tal ou qual argumento, mas a sua forma. Um argumento é válido quando é impossível que suas premissas sejam verdadeiras e sua conclusão falsa ao mesmo tempo. Note-se que validade não é o mesmo que verdade: um argumento pode ser válido tendo premissas falsas (“todo peixe voa; a baleia é peixe; logo, a baleia voa” é uma forma válida, ainda que ambas as premissas sejam falsas), e um argumento pode ter premissas e conclusão verdadeiras sem ser válido, se a conclusão não decorrer logicamente delas. Quando um argumento é válido e suas premissas são verdadeiras, diz-se que ele é correto ou sólido (sound).

Essa distinção entre validade e verdade é o que permite à lógica estudar a forma lógica dos argumentos independentemente de seu conteúdo: “todos os A são B; todos os B são C; logo, todos os A são C” é válido qualquer que seja o significado atribuído a A, B e C. É esse caráter formal — a possibilidade de substituir os termos por variáveis sem perder a validade — que distingue a lógica de qualquer ciência particular.

A tradição também distingue argumentos dedutivos de argumentos indutivos. Num argumento dedutivo, pretende-se que a conclusão decorra necessariamente das premissas — não há meio-termo entre validade e invalidade. Num argumento indutivo, a conclusão é apresentada como provável ou razoável à luz das premissas, mas não como necessária: por mais evidências que se acumulem em favor de “todo corvo é preto”, a conclusão permanece, em princípio, refutável por um único contraexemplo. A lógica formal, tal como se desenvolveu de Aristóteles a Gödel, ocupou-se sobretudo da dedução; o estudo sistemático da indução — sua justificação e seus problemas — pertence mais à epistemologia e à filosofia da ciência, ainda que a chamada “lógica indutiva” (associada a autores como Rudolf Carnap) tenha buscado formalizá-la em termos probabilísticos.

Convém, por fim, distinguir a lógica formal, que estuda a validade por meio de sistemas simbólicos e de suas propriedades sintáticas e semânticas, da lógica informal, campo mais recente (consolidado a partir da segunda metade do século XX) que analisa a argumentação em linguagem natural, as falácias e os esquemas de argumentação tal como ocorrem no discurso cotidiano, jurídico ou científico — sem necessariamente traduzi-los a um cálculo simbólico.

2. Aristóteles e o nascimento da silogística

A lógica como disciplina autônoma nasce com Aristóteles, reunida por seus editores antigos sob o título de Órganon (“instrumento”) — um conjunto de tratados (Categorias, Da Interpretação, Analíticos Anteriores, Analíticos Posteriores, Tópicos e Refutações Sofísticas) concebidos não como uma parte da filosofia ao lado da física ou da ética, mas como o instrumento metodológico de que toda ciência necessita.

O núcleo da lógica aristotélica é a teoria da proposição categórica — enunciados que afirmam ou negam um predicado de um sujeito, com quantidade universal ou particular. A tradição escolástica classificaria essas proposições em quatro tipos, designados pelas letras A (universal afirmativa: “todo S é P”), E (universal negativa: “nenhum S é P”), I (particular afirmativa: “algum S é P”) e O (particular negativa: “algum S não é P”). As relações lógicas entre essas quatro formas — contradição, contrariedade, subcontrariedade e subalternação — seriam mais tarde sistematizadas no chamado quadrado das oposições, um esquema que organiza visualmente as inferências válidas entre elas.

Sobre essa base, Aristóteles constrói o silogismo: um argumento composto por duas premissas categóricas e uma conclusão, articuladas em torno de um termo médio que aparece nas duas premissas mas não na conclusão, e que é o elo que conecta os dois termos desta última. Conforme a posição do termo médio nas premissas, distinguem-se três figuras silogísticas; e, conforme a combinação de proposições A, E, I, O em cada figura, obtêm-se os diferentes modos, dos quais apenas alguns são válidos. Lógicos medievais como Pedro Hispano e Guilherme de Shyreswood criariam, para fins didáticos, nomes mnemônicos para os modos válidos — Barbara, Celarent, Darii, Ferio, entre outros —, cujas próprias vogais codificam a sequência de proposições A, E, I, O do argumento.

A silogística é uma lógica de termos: seu objeto são as relações entre classes de coisas (S, P, M), não entre proposições inteiras. Essa característica a distingue nitidamente da lógica que os estoicos desenvolveriam poucas décadas depois, e é também o ponto que a lógica de Frege, dois milênios mais tarde, viria a superar.

3. A lógica proposicional dos estoicos

Enquanto a escola aristotélica analisava a estrutura interna das proposições, a escola estoica — sobretudo na obra de Crisipo, terceiro escolarca do Pórtico e, segundo a tradição antiga, autor de centenas de tratados hoje quase todos perdidos — desenvolveu algo distinto: uma lógica que toma proposições inteiras, e não termos, como suas unidades básicas, articuladas por conectivos como “se… então”, “e” e “ou”. É, em substância, a primeira lógica proposicional sistemática da história.

Segundo o testemunho de Diógenes Laércio e de Sexto Empírico, os lógicos estoicos identificaram cinco esquemas de inferência considerados indemonstráveis — válidos por si mesmos, sem necessidade de prova —, que serviam de base para a avaliação de qualquer outro argumento proposicional. Em termos que a lógica posterior tornaria familiares, correspondem a formas como: se o primeiro, então o segundo; ora, o primeiro; logo, o segundo (o que a tradição escolástica latina chamaria de modus ponens); se o primeiro, então o segundo; ora, não o segundo; logo, não o primeiro (modus tollens); e outras variações envolvendo a negação de conjunções e a afirmação ou negação de disjunções.

Um episódio célebre dessa lógica é a controvérsia sobre as condições de verdade do condicional (“se… então”), travada entre os filósofos megáricos Filón de Mégara e Diodoro Crono: Filón defendia um critério puramente extensional (o condicional é falso apenas quando o antecedente é verdadeiro e o consequente falso — uma posição próxima da moderna implicação material), enquanto Diodoro exigia uma condição modal mais forte, ligada à impossibilidade de o antecedente ser verdadeiro e o consequente falso em qualquer tempo. Crisipo, por sua vez, propôs um critério ainda mais exigente, fundado numa espécie de incompatibilidade lógica entre o antecedente e a negação do consequente. Esse debate antigo antecipa, notavelmente, discussões do século XX sobre a adequação da implicação material como análise do condicional da linguagem natural.

4. Lógica medieval: consequências e disputas sobre os termos

Durante a Idade Média latina, a lógica aristotélica — conhecida em parte por meio das traduções e comentários de Boécio — foi reelaborada por gerações de mestres escolásticos. Abelardo, no início do século XII, dedicou boa parte de sua Dialectica à análise dos silogismos hipotéticos e das consequências (consequentiae) — as condições sob as quais se pode afirmar que uma proposição “segue-se” validamente de outra —, além de intervir decisivamente na disputa sobre os universais que também tem implicações lógicas e semânticas: para Abelardo, os termos gerais (“homem”, “animal”) não nomeiam nem coisas separadas (como queria certo platonismo) nem meros sons vazios (como o nominalismo extremo de Roscelino), mas correspondem a conceitos formados pelo intelecto a partir da semelhança entre coisas particulares. (Sobre a lógica e a ética de Abelardo, ver o artigo dedicado Pedro Abelardo: lógica, universais, ética e intenção.)

Nos séculos seguintes, lógicos como Pedro Hispano e, mais tarde, Guilherme de Ockham desenvolveriam a teoria da suppositio — uma análise sofisticada de como os termos gerais “se referem” a diferentes coisas conforme o contexto proposicional em que ocorrem (por exemplo, se um termo comum como “homem” está sendo usado para se referir a todos os homens, a um homem específico, ou à própria palavra “homem”) —, dando à lógica medieval tardia (a chamada “lógica terminista”) um grau de sofisticação semântica que só seria recuperado, em outros termos, pela filosofia da linguagem do século XX.

5. A revolução de Frege

Depois de mais de dois mil anos de hegemonia da silogística aristotélica, Gottlob Frege operou, no pequeno opúsculo Begriffsschrift (“conceitografia”, 1879), a transformação mais profunda já sofrida pela lógica. Em vez de analisar as proposições segundo o par sujeito-predicado herdado de Aristóteles, Frege propôs analisá-las segundo o modelo matemático de função e argumento: assim como “a raiz quadrada de x” é uma função que, aplicada ao argumento 9, produz o valor 3, uma sentença como “Sócrates é sábio” pode ser analisada como a função “___ é sábio” aplicada ao argumento “Sócrates”.

Essa reformulação permitiu a Frege introduzir a quantificação — a possibilidade de expressar enunciados como “para todo x” e “existe pelo menos um x” por meio de variáveis ligadas a uma função — de um modo muito mais poderoso do que a antiga distinção entre proposições universais e particulares. (Frege empregava, para isso, uma notação bidimensional própria; os símbolos hoje usuais, ∀ e ∃, viriam depois, introduzidos respectivamente por Giuseppe Peano e Gerhard Gentzen.) Com quantificadores, variáveis e a possibilidade de aninhar funções dentro de funções, a nova lógica de predicados conseguia expressar relações lógicas — como “todo número tem um sucessor” ou “para todo x existe um y tal que y é maior que x” — que a silogística simplesmente não tinha recursos para capturar. Esse instrumento tornou-se o alicerce técnico de todo o projeto logicista de Frege: a tentativa de mostrar que a aritmética é redutível à lógica pura, exposta em Os Fundamentos da Aritmética (1884) e nas Leis Básicas da Aritmética (1893–1903) — um projeto que seria abalado pelo paradoxo que Bertrand Russell lhe comunicou por carta em 1902, e cujas implicações para os fundamentos da matemática já foram discutidas em outro artigo deste site sobre filosofia da matemática. (A esse projeto Frege associou ainda, no campo da filosofia da linguagem, a célebre distinção entre sentido e referência, exposta em “Sobre Sentido e Referência”, 1892 — tema que ultrapassa o escopo deste artigo.)

6. Russell, o paradoxo e a teoria dos tipos

O sistema lógico de Frege, apesar de tecnicamente revolucionário, continha uma falha fatal, descoberta por Bertrand Russell: se é legítimo formar o conjunto de todos os conjuntos que não pertencem a si mesmos, então esse conjunto pertence a si mesmo se, e somente se, não pertence a si mesmo — uma contradição pura, hoje conhecida como paradoxo de Russell. A descoberta, comunicada a Frege quando o segundo volume das Leis Básicas da Aritmética já estava no prelo, revelou que a teoria ingênua de conjuntos (e a lógica que a sustentava) era inconsistente.

A resposta de Russell foi a teoria dos tipos: uma hierarquia estratificada em que indivíduos, conjuntos de indivíduos, conjuntos de conjuntos e assim por diante ocupam níveis distintos, e um conjunto só pode ter como membros entidades de tipo estritamente inferior ao seu — proibindo, por construção sintática, a autorreferência que gerava o paradoxo. Essa arquitetura foi posta a serviço do mesmo projeto logicista de Frege — reduzir a matemática à lógica — na obra monumental que Russell escreveu com Alfred North Whitehead, os Principia Mathematica (três volumes, 1910–1913), um dos empreendimentos mais ambiciosos da história da lógica, no qual centenas de páginas são dedicadas a demonstrar formalmente proposições como “1 + 1 = 2”.

7. Lógica proposicional e de predicados de primeira ordem

Do trabalho de Frege e Russell nasceu o que hoje se ensina como o núcleo da lógica formal contemporânea: a lógica proposicional e a lógica de predicados de primeira ordem. A lógica proposicional toma proposições inteiras como unidades e as combina por meio de conectivos — negação (¬), conjunção (∧), disjunção (∨), condicional (→) e bicondicional (↔) —, cujo valor de verdade pode ser calculado mecanicamente a partir dos valores de verdade dos componentes por meio de tabelas de verdade, um instrumento popularizado nas décadas de 1920 (associado sobretudo a Wittgenstein e a Emil Post) e hoje ensinado como primeira ferramenta de qualquer curso introdutório de lógica.

A lógica de predicados de primeira ordem acrescenta a esse aparato os quantificadores fregeanos e variáveis que podem figurar como argumentos de predicados, permitindo expressar não apenas relações entre proposições, mas a própria estrutura interna delas — quem faz o quê a quem, para todo x ou para algum x. Nesse quadro, um argumento é válido quando não há nenhuma interpretação (nenhum “modelo”, no sentido técnico) que torne verdadeiras as premissas e falsa a conclusão — a noção de consequência lógica que Alfred Tarski viria a precisar semanticamente na década de 1930. Esse sistema — proposicional e de predicados — tornou-se, ao longo do século XX, uma espécie de língua franca comum à filosofia analítica, à matemática e, mais tarde, à ciência da computação.

8. Lógica modal: necessidade, possibilidade e mundos possíveis

Um limite notado desde cedo na lógica de Frege e Russell é que ela não distingue entre verdades meramente factuais e verdades necessárias — não há, nos Principia Mathematica, um modo natural de expressar que algo não poderia deixar de ser o caso, em oposição a simplesmente ser o caso. Insatisfeito, sobretudo, com os chamados “paradoxos da implicação material” (decorrentes de definir o condicional apenas em termos de valores de verdade), o lógico americano C. I. Lewis propôs, a partir da década de 1910 e sistematizado com C. H. Langford em Symbolic Logic (1932), uma família de sistemas de lógica modal com operadores primitivos de necessidade (□) e possibilidade (◇), fundados na noção de implicação estrita — mais forte do que a implicação material —, dando origem aos sistemas hoje conhecidos como S1 a S5.

A lógica modal só encontraria, porém, uma semântica rigorosa e amplamente aceita décadas depois, com os trabalhos que Saul Kripke publicou ainda quando estudante, entre o final dos anos 1950 e o início dos 1960. A semântica de mundos possíveis (ou semântica kripkeana) interpreta “necessariamente p” como “p é verdadeiro em todos os mundos possíveis acessíveis a partir do mundo atual”, e “possivelmente p” como “p é verdadeiro em pelo menos um desses mundos”. Variando as propriedades da relação de acessibilidade entre mundos (reflexividade, simetria, transitividade), essa semântica permite distinguir com precisão os diferentes sistemas modais propostos por Lewis e explicar por que uns são mais fortes que outros. Essa ferramenta técnica se revelaria, mais tarde, indispensável também fora da lógica modal em sentido estrito — como na análise que o próprio Kripke faria, em Naming and Necessity (1970/1980), da necessidade dos nomes próprios e das espécies naturais.

9. Gödel e os limites da formalização

O sonho de reduzir toda a matemática — e, com ela, todo raciocínio dedutivo rigoroso — a um sistema lógico-formal completo e mecanicamente verificável sofreu seu golpe mais duro em 1931, quando Kurt Gödel publicou seus dois Teoremas da Incompletude. O primeiro demonstra que qualquer sistema formal consistente suficientemente poderoso para expressar a aritmética elementar contém necessariamente proposições verdadeiras que não podem ser provadas nem refutadas dentro desse mesmo sistema; o segundo, que nenhum desses sistemas pode provar sua própria consistência usando apenas seus próprios recursos.

É importante situar esse resultado ao lado de outro, anterior e de sinal oposto: o próprio Gödel havia demonstrado, em sua tese de doutorado (1929), que a lógica de predicados de primeira ordem é completa — toda fórmula logicamente válida é demonstrável dentro do sistema. O contraste é revelador: a lógica pura de primeira ordem, tomada em si mesma, é completa; mas assim que se lhe acrescenta um mínimo de aritmética — a teoria dos números naturais —, a completude se torna impossível. Os teoremas de 1931 golpearam diretamente o programa formalista de David Hilbert, que buscava justificar toda a matemática por meios finitários e mecanicamente verificáveis, e mostraram algo de significado filosófico mais amplo: nenhum sistema formal, por mais rico que seja, pode capturar da mesma vez toda a verdade aritmética e sua própria consistência demonstrável internamente. Há, portanto, um limite intrínseco à formalização — não uma falha contingente, corrigível por um sistema mais engenhoso, mas uma propriedade estrutural de qualquer sistema suficientemente expressivo.

10. Lógica, epistemologia, filosofia da linguagem e lógicas não-clássicas

A lógica jamais foi um exercício puramente técnico, isolado das demais disciplinas filosóficas. Sua relação com a epistemologia é estreita: perguntar sob que condições uma crença está justificada a partir de outra é, em larga medida, perguntar sob que condições um argumento é válido ou, no caso indutivo, suficientemente fundamentado. Sua relação com a filosofia da linguagem é igualmente profunda: da análise fregeana da estrutura função-argumento à teoria russelliana das descrições definidas, passando pela semântica kripkeana de mundos possíveis, os grandes avanços da lógica do século XX foram, quase sempre, avanços simultâneos na compreensão de como a linguagem se articula com o mundo e com o pensamento.

Por fim, vale registrar que a lógica clássica — bivalente, regida pelo princípio do terceiro excluído — não é a única opção coerente. A lógica intuicionista, formalizada por Arend Heyting a partir das ideias do matemático L. E. J. Brouwer, rejeita o princípio do terceiro excluído para proposições que não admitem prova construtiva, exigindo que toda afirmação de existência venha acompanhada de um método efetivo de construção do objeto afirmado. As lógicas paraconsistentes, desenvolvidas sobretudo a partir dos trabalhos do lógico brasileiro Newton da Costa e, mais tarde, na obra de Graham Priest, abandonam por sua vez o princípio de que uma contradição implica qualquer proposição (o chamado ex falso quodlibet), permitindo sistemas formais capazes de tolerar certas contradições localizadas sem que toda a estrutura lógica desmorone. Essas alternativas não substituem a lógica clássica, mas mostram que a própria noção de “inferência válida” — o problema com que este artigo começou — permanece, ainda hoje, um território de investigação filosófica viva.

Bibliografia

ARISTÓTELES. Órganon (Categorias, Da Interpretação, Analíticos Anteriores, Analíticos Posteriores, Tópicos, Refutações Sofísticas).

FREGE, Gottlob. Begriffsschrift [Conceitografia]. Halle: Louis Nebert, 1879.

FREGE, Gottlob. Die Grundlagen der Arithmetik [Os Fundamentos da Aritmética]. Breslau: Wilhelm Koebner, 1884.

WHITEHEAD, Alfred North; RUSSELL, Bertrand. Principia Mathematica. 3 vols. Cambridge: Cambridge University Press, 1910–1913.

LEWIS, Clarence Irving; LANGFORD, Cooper Harold. Symbolic Logic. New York: The Century Co., 1932.

GÖDEL, Kurt. “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I”. Monatshefte für Mathematik und Physik, 38, 1931.

KRIPKE, Saul. “A Completeness Theorem in Modal Logic”. Journal of Symbolic Logic, 24, 1959.

KRIPKE, Saul. Naming and Necessity. Cambridge, MA: Harvard University Press, 1980.

KNEALE, William; KNEALE, Martha. The Development of Logic. Oxford: Clarendon Press, 1962.

BOCHEŃSKI, I. M. A History of Formal Logic. Notre Dame: University of Notre Dame Press, 1961.

LONG, A. A.; SEDLEY, D. N. The Hellenistic Philosophers. Cambridge: Cambridge University Press, 1987.

← Artigos