Poucas distinções marcaram tão profundamente a história da filosofia quanto aquela entre o que podemos saber independentemente da experiência e o que só podemos saber por meio dela. A distinção entre a priori e a posteriori atravessa séculos de debate epistemológico — dos lógicos medievais a Leibniz, de Hume a Kant, das críticas empiristas do século XIX às reviravoltas da filosofia analítica contemporânea. Compreendê-la é compreender o próprio problema do conhecimento.

Este artigo percorre a trajetória completa dessa distinção: suas origens terminológicas na escolástica medieval, as formulações clássicas de Leibniz e Hume, a revolução copernicana de Kant e seus juízos sintéticos a priori, as objeções empiristas de Mill e Quine, e a surpreendente dissociação entre aprioridade e necessidade proposta por Kripke.


1. Origem medieval dos termos

1.1 Da demonstração aristotélica à terminologia escolástica

Os termos a priori e a posteriori não aparecem em Aristóteles, mas derivam de sua lógica. Nos Segundos Analíticos, Aristóteles distingue dois tipos de demonstração: a que parte das causas para os efeitos (demonstração propter quid — “pela razão de ser”) e a que parte dos efeitos para as causas (demonstração quia — “pelo fato de ser”).

Os escolásticos medievais — notadamente Alberto Magno e Tomás de Aquino — traduziram essa distinção nos termos latinos que herdamos. A priori significava literalmente “a partir do anterior” — isto é, a partir do que é ontologicamente primeiro: as causas, os princípios, as essências. A posteriori significava “a partir do posterior” — a partir dos efeitos observados. Assim, na formulação medieval original, a priori e a posteriori eram termos da ordem do ser (ontologia), não da ordem do conhecer (epistemologia).

1.2 A transição para o sentido epistemológico

A transição do sentido ontológico para o epistemológico ocorreu gradualmente entre os séculos XVI e XVII. Filósofos como Gassendi e Leibniz começaram a usar a priori para designar o conhecimento que independe da experiência sensível — verdades que a razão pode alcançar por si mesma — e a posteriori para o conhecimento que depende dos dados dos sentidos. Essa reinterpretação refletia o novo cenário intelectual da modernidade, em que a questão central já não era a estrutura do ser, mas os fundamentos e limites do conhecimento humano.


2. Leibniz: verdades de razão e verdades de fato

2.1 As duas classes de verdade

Gottfried Wilhelm Leibniz (1646–1716) ofereceu uma das formulações mais nítidas da distinção, embora não empregasse sistematicamente os termos a priori e a posteriori no sentido kantiano posterior. Na Monadologia (1714, §§33–35), Leibniz distingue:

  • Verdades de razão (vérités de raison): necessárias e cujo oposto é impossível. Fundadas no princípio de contradição — negá-las implica contradição lógica. Exemplos: verdades matemáticas (“2 + 3 = 5”), definições, tautologias lógicas.
  • Verdades de fato (vérités de fait): contingentes e cujo oposto é possível. Fundadas no princípio de razão suficiente — têm uma razão para ser assim e não de outro modo, mas poderiam, sem contradição, ser diferentes. Exemplos: “está chovendo agora”, “César atravessou o Rubicão”.

2.2 A tese racionalista forte

Para Leibniz, as verdades de razão são conhecíveis a priori pela análise pura de conceitos — basta decompor o sujeito para encontrar o predicado contido nele. As verdades de fato, por sua vez, exigem recurso à experiência. Contudo, Leibniz introduziu uma tese audaciosa: para um intelecto infinito (Deus), mesmo as verdades de fato seriam, em última análise, analíticas — o predicado estaria contido no conceito completo do sujeito. Nos Novos Ensaios sobre o Entendimento Humano (compostos em 1703–1704, publicados postumamente em 1765), Leibniz argumentou contra Locke que existem ideias inatas, ainda que em estado latente, como veios no mármore que predispõem a estátua — uma defesa inequívoca do conhecimento a priori.


3. Hume: relações de ideias e questões de fato

3.1 O garfo de Hume

David Hume (1711–1776), na Investigação sobre o Entendimento Humano (1748, seção IV), formulou o que ficou conhecido como o garfo de Hume (Hume’s Fork): todo objeto legítimo do entendimento humano pertence a uma de duas classes, e somente a uma delas:

  • Relações de ideias (relations of ideas): proposições descobríveis pela pura operação do pensamento, sem recurso à experiência. São necessárias — negá-las implica contradição. Incluem as ciências da geometria, álgebra e aritmética. Exemplo: “O quadrado da hipotenusa é igual à soma dos quadrados dos catetos.”
  • Questões de fato (matters of fact): proposições que dependem da experiência para ser conhecidas. São contingentes — o contrário é sempre concebível sem contradição. Exemplo: “O sol nascerá amanhã” — por mais provável que seja, o oposto não é logicamente impossível.

3.2 Consequências céticas

A força demolidora da distinção de Hume reside em sua consequência: todo conhecimento factual repousa, em última instância, sobre a relação de causa e efeito, e essa relação não é uma relação de ideias — não pode ser descoberta a priori. A causalidade, segundo Hume, é apenas hábito da mente diante de conjunções constantes observadas. A experiência passada não garante logicamente a experiência futura (o problema da indução).

Se assim é, as pretensões da metafísica racionalista — que aspirava a conhecer a priori a existência de Deus, a natureza da alma e a estrutura última da realidade — ficam sem fundamento. Era esse o desafio que Kant enfrentaria.


4. Kant: a revolução copernicana e os juízos sintéticos a priori

4.1 O despertar do sono dogmático

Immanuel Kant (1724–1804) reconheceu que foi Hume quem o “despertou do sono dogmático”. A Crítica da Razão Pura (1781; 2ª ed. 1787) nasce como tentativa de responder à questão: é possível conhecimento sintético a priori? Se a resposta for negativa, a ciência (matemática, física) perde seu fundamento de necessidade e universalidade. Se for positiva, é preciso mostrar como e dentro de que limites.

4.2 Duas distinções cruzadas

Kant sistematizou a questão mediante o cruzamento de duas distinções independentes:

AnalíticoSintético
A prioriO predicado está contido no sujeito (explicativo). Exemplo: “Todo solteiro é não-casado.”O predicado NÃO está contido no sujeito, mas o juízo é universal e necessário. Exemplo: “7 + 5 = 12”
A posteriori— (impossível: se o predicado já está contido no conceito, não precisa da experiência)O predicado não está contido no sujeito e depende da experiência. Exemplo: “A mesa é marrom.”

A célula decisiva é a dos juízos sintéticos a priori: juízos que ampliam nosso conhecimento (são sintéticos — o predicado acrescenta algo novo ao sujeito) e, ao mesmo tempo, são universais e necessários (são a priori — não dependem de experiência particular). Kant argumentou que proposições como “toda mudança tem uma causa” e “a linha reta é a menor distância entre dois pontos” pertencem a essa classe.

4.3 A revolução copernicana

A solução kantiana é uma inversão radical: assim como Copérnico explicou os movimentos celestes supondo que o observador se move (e não apenas os astros), Kant propôs que os objetos da experiência se conformam às condições a priori do sujeito cognoscente — e não o contrário. Não é a mente que se adapta passivamente aos objetos; são os objetos da experiência que se estruturam segundo as formas que a mente impõe.

4.4 Formas puras da sensibilidade: espaço e tempo

Na Estética Transcendental, Kant demonstra que espaço e tempo não são propriedades das coisas em si, mas formas puras a priori da sensibilidade — condições sob as quais qualquer objeto pode ser dado à intuição. O espaço é a forma do sentido externo; o tempo, a forma do sentido interno (e, indiretamente, de toda experiência). A geometria é possível como ciência sintética a priori porque se refere à estrutura a priori do espaço; a aritmética, porque se funda na sucessão temporal.

4.5 Categorias do entendimento

Na Analítica Transcendental, Kant identifica doze categorias — conceitos puros do entendimento, derivados das formas lógicas do juízo. As categorias (substância, causalidade, unidade, pluralidade, necessidade etc.) são regras a priori que o entendimento aplica ao material da intuição sensível para constituir a experiência objetiva. Sem categorias, os dados sensíveis seriam “cegos”; sem intuição, os conceitos seriam “vazios”.

O ponto decisivo: as categorias só têm uso legítimo quando aplicadas a fenômenos — objetos tal como aparecem na experiência, condicionados por espaço, tempo e categorias. Quando a razão tenta ultrapassar a experiência e aplicar as categorias às coisas em si (Ding an sich), cai em ilusões e antinomias — é o que Kant expõe na Dialética Transcendental.

4.6 A síntese kantiana

A posição de Kant supera tanto o racionalismo dogmático (que pretendia conhecer a priori a realidade em si) quanto o empirismo cético (que negava qualquer conhecimento necessário sobre o mundo). A ciência é possível porque o sujeito fornece as formas universais da experiência; mas a metafísica especulativa é impossível porque essas formas só valem para o domínio da experiência, nunca para o que está além dele.


5. Críticas empiristas: Mill e Quine

5.1 John Stuart Mill: aritmética como generalização empírica

John Stuart Mill (1806–1873), em A System of Logic (1843), rejeitou frontalmente a existência de conhecimento a priori. Para Mill, mesmo as verdades da aritmética e da geometria são generalizações empíricas — derivam da experiência e estão sujeitas, em princípio, à revisão. “2 + 3 = 5” não é uma verdade necessária da razão, mas um resumo de incontáveis experiências de agrupar objetos. Se vivêssemos num universo em que agrupar dois objetos com três resultasse, de algum modo, em quatro, aprenderíamos uma aritmética diferente.

A objeção clássica a Mill — formulada por Frege no Grundlagen der Arithmetik (1884) — é que confundir a origem psicológica de nossas crenças (como aprendemos aritmética) com a justificação lógica delas constitui a falácia do psicologismo. A verdade de “2 + 3 = 5” não depende de contagens de objetos físicos.

5.2 Quine: “Dois Dogmas do Empirismo”

W. V. O. Quine (1908–2000), no célebre artigo “Two Dogmas of Empiricism” (1951), atacou dois pilares da tradição: a distinção entre analítico e sintético e o reducionismo (a ideia de que cada enunciado significativo pode ser traduzido em termos de experiência imediata).

Contra a distinção analítico/sintético. Quine argumentou que não existe critério claro e não-circular para separar enunciados analíticos (verdadeiros “em virtude do significado”) de enunciados sintéticos. A noção de “sinonímia cognitiva” — que sustentaria a analiticidade — não pode ser definida sem apelar para conceitos igualmente problemáticos (como “necessidade” ou “definição”). A distinção, segundo Quine, é um “dogma” da filosofia empirista que não resiste ao exame.

Holismo epistemológico. Em seu lugar, Quine propôs uma concepção holista: nosso conhecimento forma um tecido ou campo de forças que encontra a experiência apenas em suas bordas. Quando a experiência recalcitrante entra em conflito com o sistema, qualquer enunciado — da lógica à física — pode, em princípio, ser revisado para restaurar a coerência. Não há enunciados absolutamente imunes à revisão; portanto, não há distinção de princípio entre a priori e a posteriori.

O artigo de Quine provocou um terremoto na filosofia analítica. Se ele estiver correto, toda a arquitetura kantiana — com sua nítida separação entre juízos analíticos e sintéticos, entre a priori e a posteriori — perde seu fundamento.


6. Kripke: a priori contingente e a posteriori necessário

6.1 Dissociando aprioridade, necessidade e analiticidade

Saul Kripke (1940–2022), em Naming and Necessity (1972/1980), produziu uma das contribuições mais revolucionárias da filosofia do século XX ao mostrar que três noções tradicionalmente tratadas como equivalentes — aprioridade, necessidade e analiticidade — são, na verdade, conceitos distintos que podem se dissociar:

  • A priori / a posteriori: distinção epistemológica — refere-se ao modo como conhecemos (independente da experiência ou por meio dela).
  • Necessário / contingente: distinção metafísica — refere-se ao modo como as coisas são (não poderiam ser de outro modo ou poderiam).
  • Analítico / sintético: distinção semântica — refere-se à relação entre sujeito e predicado no enunciado.

6.2 O a posteriori necessário

Kripke argumentou que existem verdades que são necessárias (não poderiam ser de outro modo em nenhum mundo possível) e, no entanto, só são conhecíveis a posteriori (pela investigação empírica):

  • “Água é H₂O.” Se a água é, de fato, H₂O, então ela é H₂O em todos os mundos possíveis — é uma verdade necessária. Mas descobrimos isso empiricamente, por meio da investigação química, não pela pura reflexão.
  • “Héspero é Fósforo.” A estrela da manhã e a estrela da tarde são o mesmo astro (Vênus). Isso é necessário (são idênticos em todos os mundos possíveis), mas foi descoberto por observação astronômica.

6.3 O a priori contingente

Inversamente, Kripke sugeriu que existem verdades conhecíveis a priori que, no entanto, são contingentes (poderiam ter sido de outro modo):

  • Considere a proposição: “O metro-padrão de Paris tem um metro de comprimento.” Quem fixou a referência do termo “metro” pela barra de platina-irídio em Sèvres poderia saber a priori que aquela barra tem um metro — é verdadeiro por estipulação. Porém, a barra poderia ter tido um comprimento diferente (se aquecida, por exemplo); logo, a proposição é contingente.

6.4 Consequências filosóficas

A dissociação kripkeana demoliu a equação tradicional: a priori = necessário = analítico. Mostrou que a epistemologia (como sabemos) e a metafísica (como as coisas são) são dimensões independentes. Isso abriu caminho para um essencialismo metafísico renovado — a ideia de que as coisas têm propriedades essenciais (como a composição química da água) que são necessárias, mas não descobríveis pela análise conceitual.


7. Panorama contemporâneo

A distinção a priori / a posteriori permanece no centro do debate filosófico. Após Kripke, várias posições coexistem:

  • Racionalismo moderado: filósofos como Laurence BonJour defendem que existe genuíno conhecimento a priori (intuição racional), irredutível à experiência.
  • Empirismo naturalizado: herdeiros de Quine (como Philip Kitcher) sustentam que todo conhecimento é, em última análise, empírico e revisável.
  • Apriorismo deflacionário: Timothy Williamson e outros argumentam que a distinção a priori / a posteriori é menos nítida do que se supõe — a maioria dos processos cognitivos mistura elementos experienciais e não-experienciais.
  • Apriorismo kantiano renovado: filósofos como Robert Hanna buscam reconstruir a noção kantiana de juízos sintéticos a priori à luz da filosofia contemporânea.

O que nenhuma dessas posições contesta é a importância da pergunta: há algo que possamos saber sobre o mundo sem que a experiência nos ensine? A resposta a essa pergunta define o horizonte e os limites de toda investigação filosófica e científica.


Conclusão

De Aristóteles aos medievais, de Leibniz a Hume, de Kant a Quine e Kripke, a distinção entre a priori e a posteriori atravessa a história da filosofia como um fio condutor que conecta lógica, metafísica, epistemologia e filosofia da linguagem. Kant transformou a questão no eixo central da filosofia moderna; Quine tentou dissolvê-la; Kripke mostrou que as peças do quebra-cabeça se recombinam de modos inesperados. A distinção pode ter mudado de forma — mas a pergunta que ela formula permanece, talvez, a mais fundamental da filosofia: o que podemos saber, e como o sabemos?


Artigos