Nel numero 5/2013 di “MicroMega”, intitolato Ateo è bello! Carlo Bernardini basa il proprio ateismo “scientifico” su ciò che disse un accademico neopositivista, Richard von Mises: “Non esiste la dimostrazione della non-esistenza di ciò che non esiste”.

Detto da un esponente del Circolo di Berlino (non di Vienna), la cui filosofia aveva apprezzato quella del Trattato di Wittgenstein, fa un po’ specie. Che poi lo ripeta un fisico prestigioso come Bernardini, è increscioso.

È dai tempi del logico Frege, anzi forse da quelli di Hume e Leibniz, che non ci si permette più di dire che, in campo logico, una proposizione è vera se ha una qualche corrispondenza nella realtà. La logica moderna non è come quella aristotelica: non si basa su soggetto e predicato, che devono trovare conferme nella realtà, secondo il famoso sillogismo: “Se tutti gli uomini sono mortali, e Socrate è un uomo, Socrate è mortale”. Cosa che gli Scolastici neo-aristotelici chiamavano “adaequatio rei et intellectus”.

La logica moderna, quella astratta della borghesia, si basa invece sul fatto che anche una proposizione falsa è sensata, cioè un’espressione può essere sensata anche in quanto “logicamente” falsa. L’esempio di Wittgenstein è famoso: “piove o non piove”: anche la negativa è vera e può convivere tranquillamente con l’affermativa, anzi, proprio questa sussistenza permette di creare qualunque tipo di proposizione.

L’informatica si nutre di queste cose, facendo suo l’esempio, in positivo, che Bernardini usa per dimostrare la fondatezza del proprio ateismo: “La dimostrazione dell’esistenza del pane è il pane”. Bella tautologia questa, che, per quanto esistenzialmente povera, Wittgenstein avrebbe però rovesciato immediatamente nel suo contrario, proprio per rendere la logica più stringente: “La dimostrazione dell’esistenza (sottinteso: logica) del non-pane è il non-pane”.

In campo informatico, quando si devono elaborare algoritmi, “pane” e “non-pane” si equivalgono perfettamente. In logica la forma è sostanza. Pertanto dire che dio non esiste perché il credente non può dimostrarne l’esistenza, non ha senso. In campo logico non si deve “dimostrare” alcunché di metafisico, se non una propria interna coerenza formale, che i logici si guardano bene dal contraddire prendendo esempi dalla realtà. E in questo, purtroppo, bisogna dire che sbagliano, poiché la logica della vita, per quanto contraddittoria sia, è sempre più interessante e avvincente della logica formale dei segni e dei simboli.

Non è comunque sul piano della “dimostrazione logica” che l’ateismo può giocare la propria partita con il misticismo. Non è certo con la tautologia del pane che si dimostrano le contraddizioni del pane eucaristico! Infatti non si tratta – diceva Wittgenstein – di “di/mostrare” qualcosa. In campo etico si può soltanto “mostrare” qualcosa, cioè al massimo l’ateo può essere più convincente del credente se “mostra” sul piano etico d’essere migliore di lui. E quando riuscirà a farlo, sul piano etico, che è quello dell’affronto dei bisogni e delle umane contraddizioni, possiamo star tranquilli che sarà migliore anche di quell’ateo che basa il proprio ateismo su affermazioni meramente logiche.