Abstract
Dette kapitel blev først præsenteret som et svar på spørgsmålet: “Er matematiske og logiske sandheder syntetiske a priori? Konturerne af det delvise svar, som jeg kan give på dette spørgsmål, er blevet argumenteret for ved andre lejligheder.1 I dette kapitel vil jeg først opsummere de relevante aspekter af svaret. Spørgsmålet blev oprindeligt stillet af Kant, og de fleste eksisterende diskussioner af det refererer med så mange ord til Kant På grund af grov historisk forvanskning kan man derfor ikke undgå at diskutere spørgsmålet i kantianske termer. Nu er de eksempler på matematiske ræsonnementer, som Kant nævner og diskuterer, typisk reproducerbare i førsteordenslogikken. Derfor gør enhver historisk korrekt læsning af spørgsmålet det til et problem vedrørende status for logiske snarere end matematiske sandheder. Igen, med “syntetiske sandheder” mente Kant ikke sandheder, der ikke udelukkende afhænger af betydningen af de termer, de indeholder, sådan som en nutidig filosof sandsynligvis vil mene. Jeg har argumenteret for, at den bedste forklaring, vi kan give på Kants begreb om en analytisk sandhed (i logikken af første orden), er det, jeg har kaldt overfladetutologi. Fortolket på denne måde viser Kants doktrin om eksistensen af syntetiske a priori-sandheder i det, han opfattede som matematik, sig at være korrekt på en næsten triviel måde, for der findes let et vilkårligt antal gyldige (og beviselige) sætninger i første-ordens logik, som ikke er overflade-tautologier.