Abstract
Este capítulo foi apresentado pela primeira vez como uma resposta à pergunta, ‘Are mathematical and logical truths synthetic a priori? Os contornos da resposta parcial que posso oferecer a esta pergunta foram defendidos em outras ocasiões.1 No presente capítulo, devo primeiro resumir os aspectos relevantes da resposta. A questão foi inicialmente colocada por Kant, e a maioria das discussões existentes sobre ela referem-se em tantas palavras a Kant On pain of gross historical distorsion, não se pode, portanto, deixar de discutir a questão em termos kantianos. Agora os exemplos de raciocínio matemático que Kant menciona e discute são tipicamente reproduzíveis em lógica de primeira ordem. Daí que qualquer leitura historicamente precisa da questão a transforma em um problema relativo ao status de verdades lógicas ao invés de verdades matemáticas. Mais uma vez, por’ verdades sintéticas’ Kant não significava verdades que não se voltam apenas para os significados dos termos que elas contêm, como provavelmente significará um filósofo contemporâneo. Eu tenho argumentado que a melhor explicação que podemos oferecer sobre a noção de Kant de uma verdade analítica (em lógica de primeira ordem) é o que eu tenho chamado de tautologia superficial. Interpretada desta forma, a doutrina de Kant sobre a existência de verdades sintéticas a priori no que ele considerava ser matemática revela-se correta de uma forma quase trivial, pois há facilmente qualquer número de frases válidas (e prováveis) de lógica de primeira ordem que não são tautologias de superfície.