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.
