Sillogismo
Un sillogismo è una deduzione. È un tipo di argomentazione logica in cui una proposizione (la conclusione) è dedotta da due o più altre (le premesse). L'idea è un'invenzione di Aristotele.
Negli Analitici Priori, Aristotele definisce il sillogismo come "un discorso in cui, essendo state supposte certe cose, qualcosa di diverso dalle cose supposte risulta di necessità perché queste cose sono così". (24b18–20)
Ogni proposizione deve avere una qualche forma del verbo essere in essa. Un sillogismo categorico è come una piccola macchina costruita da tre parti: la premessa maggiore, la premessa minore e la conclusione. Ognuna di queste parti è una proposizione e, dalle prime due, si decide il "valore di verità" della terza parte.
Esempi
Premessa principale: tutti gli uomini sono mortali.
Premessa minore: tutti i greci sono uomini.
Conclusione: Tutti i greci sono mortali.
Ognuno dei tre termini distinti rappresenta una categoria. Nell'esempio precedente, "uomini", "mortali" e "greci". "Mortali" è il termine maggiore; "Greci", il termine minore. Le premesse hanno anche un termine in comune tra loro, che è noto come termine medio; in questo esempio, "uomo". Entrambe le premesse sono universali, così come la conclusione.
Premessa principale: tutti i mortali muoiono.
Premessa minore: alcuni uomini sono mortali.
Conclusione: Alcuni uomini muoiono.
Qui, il termine maggiore è "morire", il termine minore è "uomini" e il termine medio è "mortali". La premessa maggiore è universale; la premessa minore e la conclusione sono particolari. Aristotele studiò diversi sillogismi e identificò i sillogismi validi come sillogismi con conclusione vera se entrambe le premesse sono vere. Gli esempi precedenti sono sillogismi validi.
Un sorite è una forma di argomentazione in cui una serie di sillogismi incompleti è disposta in modo tale che il predicato di ogni premessa forma il soggetto della successiva fino a quando il soggetto della prima si unisce al predicato dell'ultima nella conclusione. Per esempio, se si sostiene che un dato numero di granelli di sabbia non fa un mucchio e che anche un granello in più non lo fa, allora concludere che nessuna quantità aggiuntiva di sabbia farà un mucchio è costruire un argomento sorite.
Logica oggi
Il sillogismo è stato sostituito dalla logica del primo ordine dopo il lavoro di Gottlob Frege, pubblicato nel 1879. Questa logica è adatta alla matematica, ai computer, alla linguistica e ad altre materie, perché usa numeri (variabili quantificate) invece di frasi.
Domande e risposte
D: Che cos'è un sillogismo?
R: Un sillogismo è un tipo di argomentazione logica in cui una conclusione viene dedotta da due o più premesse.
D: Chi ha inventato l'idea del sillogismo?
R: Aristotele ha inventato l'idea del sillogismo.
D: Come definisce Aristotele il sillogismo?
R: Negli Analitici preliminari, Aristotele definisce il sillogismo come "un discorso in cui, essendo state supposte alcune cose, qualcosa di diverso dalle cose supposte risulta di necessità perché queste cose sono così".
D: Quante premesse sono necessarie in un sillogismo?
R: In un sillogismo sono necessarie due o più premesse.
D: Cosa deve essere incluso in ogni proposizione di un sillogismo?
R: Ogni proposizione deve contenere una forma del verbo 'essere'.
D: Che cos'è un sillogismo categorico?
R: Un sillogismo categorico è come una piccola macchina composta da tre parti: la premessa maggiore, la premessa minore e la conclusione.
D: Come si decide il "valore di verità" della terza parte di un sillogismo categorico?
R: Il "valore di verità" della terza parte di un sillogismo categorico si decide in base alle prime due premesse.
