Abstract
Detta kapitel presenterades först som ett svar på frågan ”Är matematiska och logiska sanningar syntetiska a priori?”. Konturerna av det partiella svar som jag kan ge på denna fråga har bea argumenterats för vid andra tillfällen.1 I detta kapitel ska jag först sammanfatta de relevanta aspekterna av svaret. Frågan ställdes ursprungligen av Kant, och de flesta befintliga diskussioner om den hänvisar med så många ord till Kant På grund av grov historisk förvrängning kan man därför inte låta bli att diskutera frågan i kantianska termer. Nu är de exempel på matematiska resonemang som Kant nämner och diskuterar typiskt reproducerbara i första ordningens logik. Därför gör varje historiskt korrekt tolkning av frågan den till ett problem som rör statusen för logiska snarare än matematiska sanningar. Återigen, med ”syntetiska sanningar” menade Kant inte sanningar som inte enbart beror på innebörden av de termer de innehåller, vilket en samtida filosof sannolikt skulle mena. Jag har hävdat att den bästa förklaring vi kan ge av Kants begrepp om en analytisk sanning (i första ordningens logik) är vad jag har kallat ytlig tautologi. Tolkat på detta sätt visar sig Kants doktrin om existensen av syntetiska a priori-sanningar i vad han ansåg vara matematik vara korrekt på ett nästan trivialt sätt, för det finns lätt ett obegränsat antal giltiga (och bevisbara) meningar i första ordningens logik som inte är ytliga tautologier.