logica di Aristotele e sillogismi mappa concettuale

Approfondisci

La logica di Aristotele, sistematizzata negli Analitici primi, studia come conclusioni valide derivano da premesse attraverso il sillogismo. La mappa illustra i giudizi categorici, le quattro figure, i modi validi, le regole di correttezza e i principali errori, mostrando perché questo sistema ha dominato la logica occidentale per secoli fino alla logica moderna.

Il sillogismo e i suoi componenti
Il sillogismo è un discorso in cui, poste due premesse, segue necessariamente una conclusione per il solo fatto dei termini coinvolti. Ogni sillogismo contiene tre termini: il maggiore, che appare come predicato della conclusione, il minore, che ne è il soggetto, e il medio, che compare solo nelle premesse e collega i due estremi. L'esempio classico è: ogni uomo è mortale, ogni greco è uomo, dunque ogni greco è mortale. La validità dipende dalla forma dell'argomento, non dal contenuto: se la struttura è corretta, la conclusione segue dalle premesse, indipendentemente da ciò che le premesse affermano sul mondo.

Giudizi categorici e quantità
Aristotele classifica i giudizi in quattro forme: la universale affermativa (ogni S è P), la universale negativa (nessun S è P), la particolare affermativa (qualche S è P) e la particolare negativa (qualche S non è P). La tradizione medievale le indicò con le vocali A, E, I, O, usate nei nomi mnemonici dei modi validi. Un giudizio distribuisce un termine quando si riferisce a tutta la sua estensione: le universali distribuiscono il soggetto, le negative distribuiscono anche il predicato. Questa nozione è decisiva per applicare le regole di validità e capire perché certi modi falliscono.

Figure e modi validi
Le figure del sillogismo si distinguono per la posizione del termine medio nelle premesse. Nella prima figura il medio è soggetto della maggiore e predicato della minore; nella seconda è predicato di entrambe; nella terza è soggetto di entrambe. La quarta figura, in cui il medio è predicato della maggiore e soggetto della minore, fu sistematizzata dopo Aristotele e attribuita nella tradizione a Galeno. I modi validi ricevettero nomi mnemonici come Barbara, Celarent, Darii e Ferio, dove le vocali indicano la forma dei giudizi. Barbara, ad esempio, è AAA: due universali affermative producono una universale affermativa.

Validità, verità e limiti del sistema
Occorre distinguere validità e verità: un sillogismo è valido se la conclusione segue dalle premesse, anche quando queste sono false. L'argomento ogni pesce vola, i gatti sono pesci, dunque i gatti volano è formalmente valido ma privo di valore pratico. Il sistema aristotelico ha inoltre limiti: non tratta adeguatamente i ragionamenti relazionali, come essere più grande di, e non distingue con precisione l'interpretazione esistenziale delle universali. Per questo la logica matematica di Boole e Frege, nell'Ottocento, lo ampliò con la logica dei predicati, pur restando il sillogismo un ottimo strumento didattico.