Il sillogismo
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. Pertanto, Socrate è mortale. Un sillogismo valido garantisce che se le premesse sono vere, la conclusione deve essere vera. Aristotele ha identificato oltre 200 forme sillogistiche valide e le ha classificate in figure.
Le categorie
Nelle sue Categorie, Aristotele sosteneva che tutte le cose che possono essere dette sulla realtà rientrano in dieci categorie fondamentali: sostanza, quantità, qualità, relazione, luogo, tempo, posizione, stato, azione e passione. Questo quadro ontologico, che classifica tutto l'essere, ha influenzato per secoli la filosofia medievale, la teologia cristiana e la filosofia islamica.
Il principio di non contraddizione
Aristotele ha formulato il principio di non contraddizione: nulla può essere e non essere allo stesso tempo e sotto lo stesso aspetto. Questo principio fondamentale, "A non può essere sia A che non-A", è la pietra miliare del ragionamento logico e della matematica classica.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →L'influenza della logica aristotelica
Le università europee medievali insegnavano la logica aristotelica come base di ogni studio accademico. Studiosi islamici tra cui Avicenna e Averroè l'hanno trasmessa e ampliata. Tommaso d'Aquino l'ha sintetizzata con la teologia cristiana. È stata soppiantata solo nel XIX secolo, quando George Boole ha ridotto la logica all'algebra e Gottlob Frege ha sviluppato la logica dei predicati, capace di gestire dimostrazioni matematiche che i sillogismi non potevano affrontare.
Domande frequenti
Cos'è un sillogismo?
Un sillogismo è un argomento logico in tre parti: due premesse portano 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, ovvero lo studio sistematico delle regole per un ragionamento valido. Mentre i filosofi presocratici e Platone usavano argomenti logici, Aristotele è stato 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 in grado di gestire la quantificazione complessa necessaria per le dimostrazioni matematiche. La logica sillogistica di Aristotele è un caso particolare all'interno della logica formale moderna.