The Syllogism
La forma logica fondamentale di Aristotele è il sillogismo: una conclusione derivata da due premesse. L'esempio classico: Tutti gli uomini sono mortali. Socrate è un uomo. Quindi, Socrate è mortale. Un sillogismo valido garantisce che se le premesse sono vere, la conclusione deve essere vera. Aristotele identificò oltre 200 forme sillogistiche valide e le classificò in figure.
The Categories
Nelle sue Categorie, Aristotele sostenne che tutte le cose che si possono dire sulla realtà rientrano in dieci categorie fondamentali: sostanza, quantità, qualità, relazione, luogo, tempo, posizione, condizione, azione e passione. Questo quadro ontologico — classificare tutto l'essere — influenzò la filosofia medievale, la teologia cristiana e la filosofia islamica per secoli.
La legge di non-contraddizione
Aristotele formulò la legge di non-contraddizione: nulla può essere e non essere contemporaneamente sotto lo stesso aspetto. Questo principio fondamentale — "A non può essere sia A che non-A" — è la base del ragionamento logico e della matematica classica.
L'influenza della logica aristotelica
Le università europee medievali insegnavano la logica aristotelica come fondamento di ogni studio accademico. Gli studiosi islamici, tra cui Avicenna e Averroè, la trasmisero e l'ampliarono. Tommaso d'Aquino la sintetizzò con la teologia cristiana. Fu soppiantata solo nel XIX secolo quando George Boole ridusse la logica all'algebra e Gottlob Frege sviluppò la logica dei predicati, capace di gestire prove matematiche che i sillogismi non potevano affrontare.
Frequently Asked Questions
Cos'è un sillogismo?
Un sillogismo è un argomento logico in tre parti: due premesse conducono a una conclusione. Se le premesse sono vere e l'argomento è valido, la conclusione deve essere vera. Esempio: Tutti gli uomini sono mortali; Socrate è un uomo; quindi Socrate è mortale.
Aristotele ha inventato la logica?
Aristotele ha inventato la logica formale — lo studio sistematico delle regole del ragionamento valido. Mentre i filosofi presocratici e Platone usavano argomenti logici, Aristotele fu il primo a codificare e classificare le forme di inferenza valida.
Perché la logica aristotelica è stata sostituita?
Nel XIX secolo, George Boole ha ridotto la logica a operazioni algebriche e Gottlob Frege ha sviluppato la logica dei predicati — un sistema più potente capace di gestire la quantificazione complessa necessaria per le prove matematiche. La logica sillogistica di Aristotele è un caso particolare all'interno della logica formale moderna.