Abstract
Questo capitolo è stato inizialmente presentato come risposta alla domanda: “Le verità matematiche e logiche sono sintetiche a priori? I contorni della risposta parziale che posso offrire a questa domanda sono stati argomentati in altre occasioni.1 Nel presente capitolo, riassumerò prima gli aspetti rilevanti della risposta. La domanda è stata posta inizialmente da Kant, e la maggior parte delle discussioni esistenti su di essa si riferiscono con tante parole a Kant. Ora, gli esempi di ragionamento matematico che Kant cita e discute sono tipicamente riproducibili nella logica del primo ordine. Quindi qualsiasi lettura storicamente accurata della questione la trasforma in un problema riguardante lo status delle verità logiche piuttosto che matematiche. Di nuovo, con ‘verità sintetiche’ Kant non intendeva verità che non si basano esclusivamente sui significati dei termini che contengono, come probabilmente intende un filosofo contemporaneo. Ho sostenuto che la migliore spiegazione che possiamo offrire della nozione kantiana di verità analitica (nella logica del primo ordine) è quella che ho chiamato tautologia superficiale. Interpretata in questo modo, la dottrina di Kant sull’esistenza di verità sintetiche a priori in quella che lui considerava la matematica si rivela corretta in modo quasi banale, perché ci sono facilmente un numero qualsiasi di frasi valide (e dimostrabili) della logica del primo ordine che non sono tautologie di superficie.