Leibniz: verità di ragione e verità di fatto

L'idea centrale

Leibniz distingue verità di ragione, il cui contrario implica contraddizione, e verità di fatto, il cui contrario è possibile ma per cui si può chiedere una ragione sufficiente. La distinzione non rende casuali i fatti: invita a cercarne spiegazione, pur senza ridurli a semplici identità immediatamente visibili. Il principio di non contraddizione governa le verità necessarie, quello di ragione sufficiente orienta la domanda sul perché un fatto sia così e non altrimenti. La necessità logica va quindi distinta dalla spiegazione del contingente.

Una verità di ragione è necessaria: negarla, una volta chiariti i concetti, comporta contraddizione. Una verità di fatto è contingente: si può pensare senza contraddizione che le cose siano andate diversamente. La possibilità del contrario non significa assenza di causa o di ragione. Il principio di ragione sufficiente chiede perché quel fatto, tra alternative possibili, si dia proprio così. Per distinguere i due tipi non basta la sicurezza psicologica di chi parla: bisogna esaminare il contenuto della proposizione e la sua negazione.

La spiegazione di un evento meteorologico può essere molto solida, ma non trasforma 'oggi piove qui' in una verità logica. Viceversa, ripetere una definizione corretta non descrive un evento concreto. In Leibniz il rapporto fra necessità, contingenza e ragione è più ricco di una divisione fra cose spiegabili e cose senza spiegazione. Un caso didattico deve dichiarare luogo, tempo e definizioni usate; senza questi dati una frase può essere ambigua o cambiare statuto fra letture diverse. Nella Monadologia la distinzione fra verità di ragione e di fatto si accompagna alla richiesta di una ragione sufficiente anche per il contingente. Per questo una spiegazione del tempo meteorologico può essere solida senza rendere contraddittoria la frase 'oggi non piove'. Il luogo e il giorno devono essere fissati per valutare una proposizione fattuale; A=A serve invece a mostrare una struttura necessaria. La figura non identifica ragione sufficiente con previsione infallibile.