1. I sillogismi di Aristotele

Le 50 più grandi teorie filosofiche in 3 minuti. A. Linguaggio e logica

Vai all’indice le libro mosaico “Le 50 più grandi teorie filosofiche in 3 minuti

Un’illazione (o argomentazione) è valida quando è impossibile che le sue premesse siano vere e le sue conclusioni false.

Più di ventitré secoli fa, Aristotele osservava che in alcune inferenze era impossibile che le premesse fossero vere e la conclusione falsa.

Un esempio tipico è l’illazione: «Tutti gli uomini sono mortali» e «Tutti i mortali temono la morte», quindi «Tutti gli uomini temono la morte». Nella logica moderna, questi casi si dice che siano inferenzialmente validi.

Aristotele scoprì che la validità di un’illazione non dipendeva dall’argomento, ma dalla forma delle premesse e dalla conclusione. Tutte le illazioni della forma «Tutte le F sono G e tutte le G sono H, quindi tutte le F sono H» sono valide. Si tratta di “sillogismi”, di cui Aristotele ha descritto diversi esempi.

Fino al XIX secolo, la logica era essenzialmente dedicata allo studio dei sillogismi di Aristotele. Ma questi rappresentano solo una piccola parte del numero di inferenze valide e non comprendono le molte combinazioni usate in scienza e matematica.

Fu nel 1879 che Gottlob Frege concepì una caratterizzazione molto più generale di un’inferenza valida e sufficiente a rappresentare il ragionamento scientifico e matematico.

Un sistema derivato da quello di Frege e chiamato «logica del primo ordine con identità» sembra oggi in grado di rappresentare teorie e prove matematiche; è quello insegnato agli studenti di filosofia.

Nel corso del ventesimo secolo sono stati dimostrati due importanti risultati matematici riguardanti la logica di primo ordine: essa è finita e incerta.

Kurt Gödel ha dimostrato che un computer può essere programmato per elencare tutte le inferenze valide (finitudine).

Alonzo Church ha dimostrato che è impossibile programmare un computer per determinare la validità di una data inferenza (incertezza).

Aristotele
Stagira Grecia), 383 a.C. — Calcide (Grecia), 322 a.C

Gottlob Frege
Wismar (Germania), 1848 — Bad Kleinen (Germania),1925

Kurt Gödel
Brno (Repubbica ceca), 1906 — Princeton (Stati Uniti), 1978

Alonzo Church
Washington (Stati Uniti), 1903 — Hudson (Stati Uniti), 1995

Siamo umani, moriremo, così abbiamo paura.

Grazie Aristotele

Testo di Barry Loewer

Written by

Graduated in European history in Florence, he started working in publishing soon after having come across a Mac computer in 1984

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store