O Que É Conhecimento Sintético A Priori

Kant nunca foi tão útil quanto quando seu código quebra de um jeito que não deveria

Vocês sabem aquela sensação em que você escreve uma função que depende de propriedades supostamente universais e ela simplesmente fura? Já passei por isso em projetos de geometria computacional. O problema era com triangulação de Delaunay em coordenadas quase colineares. A biblioteca que eu estava usando garantia, em sua documentação, que a soma dos ângulos internos de qualquer triângulo devolvido manteria 180 graus com margem de erro numérico inferior a 10^-9. Ela violava isso. De propósito, quase. O que me forçou a perguntar se aquela propriedade de 180 graus era algo derivado da experiência com dados ou se havia algo mais fundamental sendo assumido. O conceito nasce com Kant na Crítica da Razão Pura. Ele faz uma divisão básica que parece simples mas que desmonta meio milênio de debate empirista-racionalista. Juízos analíticos são aqueles em que o predicado já está contido no sujeito. "Todo corpo é extenso." A extensão já está no conceito de corpo. Juízos sintéticos acrescentam algo que não vinha embrionariamente na noção original. "O corpo é pesado." Peso não é parte da definição de corpo; é algo que acrescentamos por experiência. Aí Kant dá o passo que toda gente que lê filosofia pela primeria vez ignora ou rejeita sem fundamento. Ele pergunta se existem juízos sintéticos a priori. Ou seja, juízos que ampliam nosso conhecimento, que não são meras definições disfarçadas, mas cuja validade não depende de observação empírica. Eles são necessários e universais, e ao mesmo tempo dizem algo real sobre o mundo. A matemática pura, para Kant, é o exemplo padrão. A proposição "7 + 5 = 12" não é analítica. O conceito de 12 não está contido na soma de 7 com 5 de modo que bastaria analisar os termos para ver o resultado. Você precisa fazer uma síntese, construir a operação na intuição pura do tempo. E mesmo assim a conclusão é necessária e válida independentemente de quantas maçãs você contagens na prática.

O mesmo raciocínio se aplica à geometria euclidiana. "A soma dos ângulos internos de um triângulo é igual a dois retos." Isso não é definição de triângulo. Você constrói o triângulo na intuição pura do espaço, faz traçados auxiliares, e chega a uma conclusão nova. Necessária. Universal. Mas não decorrente do mero exame dos conceitos. Na prática técnica, isso aparece o tempo todo sem que as pessoas percebam. Quando você afirma que um ponto pertence a uma reta, você não está apenas analisando definicionais. Você está recorrendo a uma estrutura de intuição espacial que organiza dados brutos em algo passível de cálculo. Essa estrutura prévia é, no lenguaje kantiano, o a priori sintético. É o que permite que a experiência seja organizada de forma consistente em primeiro lugar.

Por que esse conceito importa fora da sala de aula

Pessoas da área de desenvolvimento costumam achar que synthetic a priori é coisa de filósofo sem utilidade operacional. O problema é que você carrega pressupostos kantianos o tempo todo, mesmo quando juram ser puramente empiristas. Sistemas de coordenadas, grids, estruturas de dados hierárquicas — todos dependem de formas de intuição que você impõe aos dados antes de qualquer medição. Se você nega que isso existe, seus modelos sempre terão um piso invisível que você não consegue enxergar até que algo quebre. No caso da triangulação de Delaunay que citei, a falha aconteceu porque a biblioteca assumia implicitamente o espaço euclidiano como estrutura a priori universal, mas não tratava os casos limite com a rigidez que a própria geometria exige quando se aproxima de colinearidade extrema. A propriedade de que "a soma dos ângulos é 180 graus" continuava verdadeira em abstrato, mas na representação em ponto flutuante ela se dissipava. Meu workaround foi abandonar a biblioteca e implementar um filtro prévio que detectava degenerescências com base na razão entre a área do triângulo e o produto das normas dos vetores formadores. Triângulos com razão inferior a 10^-12 eram descartados ou triangulados de forma especial. A correção reduziu o erro numérico para faixa aceitável em cerca de 97% dos casos. Nos 3% restantes, onde a entrada era essencialmente colinear, eu forçava uma perturbação controlada nos coeficientes com ruído gaussiano de desvio 10^-14. Foi uma solução prática para um limite do a priori sintético aplicado a aritmética de ponto flutuante.

O ponto que ninguém conta sobre conhecimento sintético a priori

O erro mais comum é tratar o conceito como se Kant estivesse dizendo que existe conhecimento necessário e universal sobre a realidade em si. Ele não diz isso. Ele diz que existe conhecimento necessário e universal sobre o campo da experiência possível. O a priori sintético não descreve coisas em si. Descreve as condições de possibilidade da experiência. Isso faz toda a diferença quando você tenta extrapolar o conceito para áreas fora da geometria e da aritmética. Outra coisa que os manuais não enfatizam suficiente: a fronteira entre analítico e sintético não é tão firme quanto parece. A maioria dos conceitos técnicos que usamos no dia a dia carrega carga empírica histórica. "Triângulo" em geometria euclidiana é diferente de "triângulo" em geometria não euclidiana. A propriedade da soma dos ângulos muda. Então o que era sintético a priori na intuição espacial euclidiana deixa de ser sintético a priori quando a estrutura de intuição muda. Kant não tinha como prever geometria riemanniana, claro. Mas o princípio permanece: o status sintético a priori depende da estrutura de intuição que você adota como referência. Se você está lidando com sistemas complexos, modelos de machine learning ou qualquer área onde a suposta universalidade das premissas está sendo testada por dados adversários, pensar nos termos de Kant ajuda a mapear onde estão seus pontos cegos. Não é sobre declarar verdades absolutas. É sobre identificar quais estruturas você está usando sem perceber e testar se elas ainda se sustentam quando o domínio muda.

Na minha experiência, o exercício mais produtivo é listar explicitamente quais intuições puras cada um dos seus subsistemas está assumindo. Coordenadas cartesianas. Linearidade. Tempo como grandeza contínua. Quando você coloca isso no papel, os vazamentos começam a aparecer com muito mais facilidade do que quando eles estão escondidos sob a aparência de óbvio.