Abstract
Acest capitol a fost prezentat inițial ca răspuns la întrebarea: „Sunt adevărurile matematice și logice sintetice a priori?”. Contururile răspunsului parțial pe care îl pot oferi la această întrebare au fost argumentate cu alte ocazii.1 În capitolul de față, voi rezuma mai întâi aspectele relevante ale acestui răspuns. Întrebarea a fost pusă inițial de Kant, iar majoritatea discuțiilor existente despre ea se referă în atâtea cuvinte la Kant Sub sancțiunea unei distorsiuni istorice grosolane, nu se poate, prin urmare, să nu discutăm întrebarea în termeni kantieni. Or, exemplele de raționament matematic pe care Kant le menționează și le discută sunt de obicei reproductibile în logica de ordinul întâi. Prin urmare, orice lectură corectă din punct de vedere istoric a întrebării o transformă într-o problemă privind statutul adevărurilor logice și nu al celor matematice. Din nou, prin „adevăruri sintetice”, Kant nu a vrut să spună adevăruri care nu depind exclusiv de semnificațiile termenilor pe care îi conțin, așa cum este probabil să înțeleagă un filosof contemporan. Am argumentat că cea mai bună explicație pe care o putem oferi noțiunii lui Kant de adevăr analitic (în logica de ordinul întâi) este ceea ce am numit tautologie de suprafață. Interpretată în acest fel, doctrina lui Kant privind existența adevărurilor sintetice a priori în ceea ce el a considerat a fi matematica se dovedește a fi corectă într-un mod aproape trivial, deoarece există cu ușurință un număr oarecare de propoziții valide (și demonstrabile) din logica de ordinul întâi care nu sunt tautologii de suprafață.
.