Concetti Chiave
- Gli stoici classificano le proposizioni in incomplete, che lasciano indefinito qualcosa, e complete, che determinano la verità o falsità in base a situazioni singolari.
- I ragionamenti anapodittici sono indimostrabili e includono una premessa generale, una premessa esistenziale e una conclusione.
- Il modus ponens e il modus tollens sono due tipi di ragionamenti ipotetico-deduttivi, con il primo che è concludente e il secondo non sempre garantisce una conclusione vera.
- I ragionamenti disgiuntivi offrono alternative chiare, dove la verità della conclusione dipende dalla verità della premessa iniziale.
- Il paradosso del mentitore di Bertrand Russell evidenzia l'indecidibilità di affermazioni auto-riferite, risolvibile tramite la teoria dei tipi logici.
Le proposizioni secondo gli stoici
I primi due sono ipotetico – deduttivi, in particolare il modus ponens dice che se A allora B, siccome A quindi B, ossia se è giorno c’è luce, siccome è giorno quindi c’è luce, il secondo è un modus tollens, se A allora B, ma non B quindi non A, ossia se è giorno c’è luce, ma non c’è luce quindi non è giorno. Mentre il primo è concludente, il secondo non lo è perché se non è giorno non vuol dire che non ci sia luce, perciò arrivo ad una conoscenza non vera. I ragionamenti disgiuntivi invece sono del tipo o è A o è B, ma è A quindi non è B ed offrono un’alternativa secca; in questi ragionamenti la verità della conclusione dipende dalla verità della premessa. I ragionamenti concludenti e veri si distinguono anche in dimostrativi, se conducono a qualcosa di non evidente per mezzo di cose evidenti, e non dimostratici se non sono tali.
Ragionamenti indecidibili e aporie
Esistono però anche ragionamenti indecidibili come il caso di Epimenide, cretese che disse "tutti i cretesi mentono", non posso dire se sta dicendo il vero o il falso, così come per il ragionamento del coccodrillo e della madre: il coccodrillo ruba un bimbo e dice alla madre che gli restituirà il figlio se indovinerà le sue intenzioni. La madre sostiene che non glielo restituirà, si arriva all’aporia, ovvero alla contraddizione, perché se glielo restituisce la madre non avrebbe indovinato quindi non dovrebbe restituirglielo, ma se non glielo restituisce la madre avrebbe indovinato quindi dovrebbe restituirglielo. Bertrand Russelll sul caso del mentitore disse che se io dico "mento" questa affermazione non si sa se è vero o falsa, se è vera mento quindi è falsa, se è falsa mento veramente quindi diventa vera. Perciò è indecidibile perché parla di se stessa, se però la escludo tutto torna, perciò la devo considerare come una frase sulle mie frasi, parla delle mie frasi ma non vi rientra. La chiamò teoria dei tipi logici, altrimenti si va nelle aporie o antimene, per cui da un unico principio ricavo frasi opposte, entrambe valide.
Domande da interrogazione
- Quali sono le due categorie principali in cui gli stoici dividono le proposizioni?
- Cosa sono i ragionamenti anapodittici e perché sono considerati indimostrabili?
- Qual è la differenza tra i ragionamenti concludenti e quelli non concludenti?
- Cosa si intende per aporia e quali esempi vengono forniti nel testo?
Gli stoici classificano le proposizioni in due categorie: incomplete, che lasciano indefinito qualcosa, e complete, che enunciano affermazioni verificabili in base alla corrispondenza con la realtà.
I ragionamenti anapodittici sono indimostrabili perché per dimostrarli si dovrebbe utilizzare gli stessi ragionamenti. Sono costituiti da una premessa generale applicata a un individuo, una premessa esistenziale e una conclusione.
I ragionamenti concludenti portano a una conclusione vera e dimostrativa, mentre quelli non concludenti, come il modus tollens, non garantiscono la verità della conclusione, poiché non sempre l'assenza di una condizione implica l'assenza di un'altra.
L'aporia è una contraddizione che emerge da ragionamenti indecidibili, come il paradosso di Epimenide e il caso del coccodrillo, dove le affermazioni portano a risultati opposti e non risolvibili, evidenziando la complessità della verità e della falsità.