Aristotele sulla logica: deduzione, sillogismi e verità

Qual è la teoria della logica di Aristotele? Perché è importante? Questo articolo si propone di suggerire risposte a queste domande. Inizia con una discussione del posto di Aristotele nella storia della filosofia, della logica in particolare, e del rapporto tra la sua logica e la logica come viene praticata oggi. Spiegheremo l’idea della deduzione prima di esporre alcune importanti differenze tra la filosofia della logica di Aristotele e i progetti dei logici contemporanei. Questo articolo si conclude con una discussione del sillogismo e della distinzione tra deduzioni perfette e imperfette.

Vita e eredità di Aristotele

Aristotele era un filosofo greco del IV secolo a.C., allievo di Platone, tutore di Alessandro Magno e responsabile dell'Accademia, fondata da Piatto ed era l'istituzione accademica più famosa e prestigiosa del mondo antico (certamente in Europa).

Insieme a Platone, Aristotele è quasi indiscutibilmente uno dei due filosofi più importanti di sempre. La ragione è molto semplice: Aristotele ha avuto un'influenza straordinaria su quasi ogni ambito della filosofia. Continuiamo a discutere molti problemi e argomenti filosofici in un modo sostanzialmente analogo al suo metodo di ragionamento. Anche in questo contesto, il debito che la disciplina della logica filosofica ha nei suoi confronti è eccezionale.

Sebbene altre scuole logiche, in particolare quella del Stoici – ebbero periodi di preminenza nel mondo antico. Tuttavia, nella tarda antichità, e certamente nel periodo medievale, la forma dominante di analisi logica era quella aristotelica. Aristotele rimase la figura dominante nella logica filosofica fino al XIX secolo inoltrato. Emanuele Kant notoriamente affermò che Aristotele aveva scoperto tutto ciò che c'era da scoprire sull'argomento.

Anche considerando il significativo sviluppo della logica nel periodo moderno, dovuto al lavoro di Grazie a Dio Frege e i successivi sviluppi della logica formale, la pratica della logica ha ancora un grande debito nei confronti di Aristotele. In effetti, possiamo seguire Robin Smith (come faremo in vari punti di questo articolo) nell'osservare che esistono somiglianze significative nell'approccio che unisce i logici moderni ad Aristotele. In particolare, condividono un interesse per la metateoria: studiare la teoria delle teorie logiche stesse, il che significa studiare le proprietà dei sistemi logici piuttosto che semplicemente costruirli.

Cos'è la logica?

Dato che quello di Aristotele è il primo studio di logica che conosciamo, il suo sistema sembra notevolmente sviluppato e sofisticato. Ma cos’è veramente la logica? La logica può essere considerata un linguaggio formale o informale attraverso il quale sviluppiamo un sistema deduttivo. Se una lingua è formale o artificiale, allora deve esserci un modo in cui quella lingua si traduce o corrisponde alle lingue naturali (quelle sono le lingue con cui effettivamente parliamo e scriviamo normalmente).

Lo scopo di un sistema logico di questo tipo è catturare, codificare e registrare alcune caratteristiche degli argomenti. In particolare, i logici moderni si concentrano sulla validità. Le opere logiche di Aristotele furono raccolte in ciò che è noto come un organo , o 'Strumento'. Si tratta di una classificazione artificiale, che riflette una controversia nella filosofia antica su se la logica debba essere concepita come uno strumento da applicare a teorie esistenti o se debba essere vista come una disciplina che produce le proprie teorie.

In ogni caso, la classificazione del un organo è rimasto in giro. Le opere contenute al suo interno sono: Categorie, Sull'interpretazione (De Interpretatione), Analitica preliminare, Analitica posteriore, Argomenti, E Sulle confutazioni sofistiche. Vale la pena sottolineare che questa non è una struttura che Aristotele stesso avrebbe riconosciuto. Ad esempio, Analisi preliminare E Analitica posteriore facevano originariamente parte della stessa opera.

La base del sistema logico di Aristotele è il metodo della deduzione. Aristotele definisce la deduzione come segue:

“Una deduzione è un discorso ( loghi ) in cui, essendo state supposte certe cose, qualcosa di diverso da quelle supposte risulta necessariamente per il loro essere tale”.

La “cosa supposta” qui è la premessa, e i “risultati della necessità” sono la conclusione. Questo è il modo in cui Aristotele articola una nozione abbastanza moderna, che è quella di conseguenza logica , e offre quindi una descrizione generale di un 'argomento valido'.

Aristotele e la logica moderna

La nozione che si abbina a quella di detrazione è induzione , che è il modello di ragionamento che si basa sull'osservazione. Aristotele ha molto meno da dire sull'induzione nel contesto della logica, ma indica che il ragionamento induttivo costituisce la base delle scienze naturali.

Ci sono alcune importanti differenze tra la logica di Aristotele e quella utilizzata oggi dai logici moderni che vale la pena tenere a mente. Innanzitutto, ci sono differenze fondamentali in termini di esecuzione e stile. Le differenze metodologiche sottostanti sono le seguenti. Un risultato di necessità implica che la conclusione di un argomento logico deve essere diversa da quella presupposta, il che implica che la conclusione di un argomento non può essere replicata in una delle premesse. La frase “certe cose sono state supposte” suggerisce che Aristotele esclude argomenti con una sola premessa, cosa che la logica moderna non fa.

Infine, c’è un problema legato alla quantificazione, imperniato sulla frase “perché sono tali”. Ciò sembra escludere argomenti in cui la conclusione non lo è imparentato ai locali. Ad esempio, argomenti in cui le premesse sono incoerenti o argomenti con conclusioni che deriverebbero da qualsiasi premessa.

Sembra conseguirne che, sebbene Aristotele si avvicini a definire la validità in termini simili a quelli che noi stessi definiremmo, non tutti gli argomenti validi sono catturati dalla definizione di deduzione di Aristotele. Si ha la sensazione che questo sia un errore e che, se Aristotele avesse presentato certi argomenti a cui non avrebbe potuto pensare (comprensibilmente, dal momento che sono del tutto inutili per chiunque non sia un logico), avrebbe potuto benissimo modificare il suo concetto di deduzione.

Il sillogismo e la verità

La procedura logica centrale per Aristotele è quella del sillogismo, ovvero il procedimento logico che segue la seguente forma:

se A allora B; se B allora C; quindi, se A allora C.

Questo modello di ragionamento è così importante per Aristotele perché ci permette di tracciare una relazione non immediatamente osservabile attraverso un “termine medio” (che equivale al termine B di cui sopra). Ciò è molto importante, in parte a causa del rapporto tra conoscenza e dimostrazione logica nell’opera di Aristotele:

“Se la conoscenza è ciò che abbiamo stabilito che sia, la conoscenza dimostrativa deve essere basata su cose che sono vere, primarie e immediate, e più conosciute rispetto e prima delle cause della conclusione; poiché in tal modo i principi saranno adeguati a ciò che viene dimostrato. Può esserci un'inferenza senza queste condizioni, ma non può esserci una dimostrazione; poiché non produrrà conoscenza”.

Esiste un’importante distinzione nel sistema logico di Aristotele tra deduzioni perfette e imperfette. Questa distinzione è un po’ oscura per noi: come per certe cose nella filosofia di Aristotele, non ci vengono forniti tutti gli esempi concreti che vorremmo.

Una nuova concezione del linguaggio

Gran parte del lavoro che abbiamo ereditato da Aristotele era destinato a servire come appunti delle lezioni. Sembra una congettura ragionevole suggerire che certe ambiguità potrebbero essere risolte da esempi forniti durante le lezioni di Aristotele, che - insieme a un certo tipo di pratica di dibattito formale - sembra essere uno dei principali metodi di insegnamento e pratica filosofica nell'Accademia. .

Sembra abbastanza sensato considerare la distinzione tra deduzioni perfette e imperfette come almeno funzionalmente analoga a quella che esiste tra assiomi e altri elementi di sistemi logici o matematici. In altre parole, mentre le deduzioni perfette non richiedono alcuna prova – non è necessaria alcuna elaborazione per dimostrare che sono vere – le deduzioni imperfette richiedono una dimostrazione di questo tipo.

Chiaramente, affinché un sistema logico sia autonomo e auto-difendibile Aristotele vorrebbe, le deduzioni imperfette devono essere dedotte da una (o più) deduzioni perfette: 'la conclusione di una tale prova deve essere eterna, quindi non esiste prova o conoscenza di cose che possano essere distrutte'.

Lo scopo della logica, almeno per molti filosofi moderni, è quello di verificare le argomentazioni, di comprendere meglio il linguaggio e (forse) di fornire una solida base su cui costruire la filosofia. Qualsiasi concezione del posto della logica in filosofia ha un debito sostanziale nei confronti del filosofo che la sviluppò per primo.