Ένας συλλογισμός είναι μια μορφή επαγωγικής συλλογιστικής με δύο προκείμενα και ένα συμπέρασμα. Ο Αριστοτέλης ανέπτυξε τον συλλογισμό ως τη βασική μονάδα της λογικής. Το πιο διάσημο παράδειγμα: Όλοι οι άνθρωποι είναι θνητοί. Ο Σωκράτης είναι άνθρωπος. Επομένως, ο Σωκράτης είναι θνητός. Η πρώτη προϋπόθεση είναι η μείζων προϋπόθεση, η δεύτερη είναι η ελάσσονα προϋπόθεση και η τρίτη είναι το συμπέρασμα. Εάν οι προκείμενες είναι αληθείς και η μορφή είναι έγκυρη, το συμπέρασμα πρέπει να είναι αληθές. Ο συλλογισμός είναι ένα εργαλείο για τον έλεγχο της εγκυρότητας των επιχειρημάτων. Προσδιορίζοντας τη μορφή, μπορείτε να δείτε εάν το συμπέρασμα προκύπτει.

Ο Αριστοτέλης αναγνώρισε αρκετές έγκυρες συλλογιστικές μορφές, που ονομάζονται σχήματα και διαθέσεις. Η πιο συνηθισμένη είναι το πρώτο σχήμα, όπου ο μεσαίου όρος συνδέει τις κύριες και τις δευτερεύουσες προκείμενες. Οι λογικοί του Μεσαίωνα έδωσαν στις μορφές μνημονικά ονόματα, όπως η Barbara και η Celarent, για να βοηθήσουν τους μαθητές να τις θυμούνται. Ο συλλογισμός ήταν κεντρικός στη λογική για πάνω από δύο χιλιάδες χρόνια. Μόνο τον 19ο αιώνα ο Frege και άλλοι ανέπτυξαν πιο ισχυρά λογικά συστήματα. Αλλά ο συλλογισμός παραμένει ένα χρήσιμο διδακτικό εργαλείο και ένα σαφές παράδειγμα επαγωγικής συλλογιστικής. Δείχνει πώς μπορούν να εξαχθούν συμπεράσματα από προκείμενες με βεβαιότητα, υπό την προϋπόθεση ότι η μορφή είναι έγκυρη και οι προκείμενες είναι αληθείς.

Μέρη ενός συλλογισμού

• Κύρια υπόθεση. Η ευρύτερη δήλωση.
• Μικρή υπόθεση. Η πιο συγκεκριμένη δήλωση.
• Συμπέρασμα. Η δήλωση που ακολουθεί.
• Μέσος όρος. Ο όρος που συνδέει τις προκείμενες.

Ένας συλλογισμός δεν είναι το ίδιο με ένα επιχείρημα γενικά. Είναι μια συγκεκριμένη μορφή επαγωγικού επιχειρήματος με δύο προκείμενες και ένα συμπέρασμα.