Mario Alai

Storia della logica: da Aristotele a Port-Royal

(In corso di pubblicazione presso il Museo dell’Informatica)

La logica è etimologicamente la scienza (o tecnica) del discorso, e più precisamente delle inferenze, ossia di come dimostrare conclusioni ignote o incerte a partire da premesse note o considerate certe. E’ logica deduttiva quella che insegna a ricavare conclusioni certe, in quanto implicite nelle premesse, e logica induttiva quella che insegna come ricavare conclusioni più o meno probabili, in quanto suggerite dalle premesse ma non contenute in esse. Nata come disciplina ausiliare della filosofia, è una scienza formale (come la matematica), nel senso che studia relazioni strutturali intercorrenti tra le parti del discorso (e più basilarmente tra i concetti che esse esprimono). Il suo progresso storico è andato di pari passo con la precisazione di tale carattere formale, fino al punto in cui la logica è divenuta una disciplina simbolica, in grado di fondare la matematica e di fornire regole per il trattamento automatico dell’informazione, aprendo dunque la strada all’informatica. Per la sua natura essa ha comunque sempre mantenuto uno stretto legame con la metafisica e la filosofia del linguaggio, specialmente la semantica, che studia i rapporti tra le espressioni e i loro significati.