Percorsi interdisciplinari della logica

La logica si presenta, oggi, come una disciplina totalmente astratta, priva di qualunque aggancio empirico con l'esperienza, addirittura più della matematica che, alla fine ha a che fare con calcoli che terminano con dati numerici utili a qualcosa e non sempre solo con simboli vuoti. Eppure la logica, originariamente, nasce anch'essa come una scienza in qualche modo sperimentale... La differenza con le scienze sperimentali come la fisica, la biologia, ecc., consiste nel fatto che queste ultime hanno come oggetto delle entità reali extra-mentali, osservabili con i nostri sensi esterni, mentre l'oggetto della logica è tratto dall'esperienza interna (mentale, non esternamente sensibile) e studia le regole di funzionamento del pensiero, considerato indipendentemente dal suo significato, dal suo possibile riferimento al mondo extra-mentale, finendo per distaccarsene completamente. In questo nostro percorso ci interesseremo, in una prima parte, della logica aristotelica, il cui impiego è basilare anche per accostare tutte le altre, occupandoci in primo luogo della logica formale e in secondo luogo della logica materiale, nel senso di logica della dimostrazione. In una seconda parte vedremo come si è giunti ad introdurre l'uso dei simboli nella logica moderna e nella logica matematica, fino ad ottenere una sua formalizzazione totale. Accenneremo poi alle problematiche che hanno riaperto una sorta di via empirica anche per la logica odierna (incompletezza dei sistemi assiomatici) e ai più recenti sviluppi che aprono la strada a quella nuova disciplina che va sotto il nome di ontologia formale, riaffacciandosi così anche alla logica e alla metafisica classica.