ΑΡΙΣΤΟΤΕΛΙΚΟΙ ΣΥΛΛΟΓΙΣΜΟΙ

 Μορφή επιχειρημάτων στα οποία :

 Το συμπέρασμα τους προκύπτει από δύο προκείμενες
 Όλες οι προτάσεις τους είναι απλές της μορφής Υ –Κ
 Σε αυτές εμπλέκονται μόνο τρεις έννοιες

Το Υ του συμπεράσματος = ελάσσων όρος (Υ)

Το Κ του συμπεράσματος = μείζων όρος (Κ)

Ο τρίτος όρος που εμφανίζεται μόνο στις προκείμενες = μέσος όρος (Μ)

ΠΑΡΑΔΕΙΓΜΑΤΑ :

1. Κάθε λιοντάρι είναι θηλαστικό

Μερικά σαρκοβόρα είναι λιοντάρια

Άρα, μερικά σαρκοβόρα είναι θηλαστικά

2. Μερικά φίδια δεν είναι δηλητηριώδη

Κάθε φίδι είναι ερπετό

Άρα, μερικά ερπετά δεν είναι δηλητηριώδη

3. Οι άνθρωποι δεν είναι εξωγήινοι

Οι Έλληνες είναι άνθρωποι.

Άρα, οι Έλληνες δεν είναι εξωγήινοι.

4. Κάθε ρόμβος είναι παραλληλόγραμμο.

Κανένα παραλληλόγραμμο δεν είναι τραπέζιο.

Άρα, κανένα τραπέζιο δεν είναι ρόμβος.

 ΚΑΝΟΝΕΣ ΚΑΤΗΓΟΡΙΚΟΥ ΣΥΛΛΟΓΙΣΜΟΥ (ώστε να είναι ορθοί)
1. Ο Συλλογισμός είναι δυνατός μόνο με τρεις όρους.
2. Ο Μέσος Όρος δεν έχει θέση στο συμπέρασμα.
3. Ο Μ πρέπει τουλάχιστον μία φορά να είναι γενικός.
4. Όταν οι προκείμενες είναι καταφατικές είναι και το συμπέρασμα καταφατικό.
5. Από προκείμενες αποφατικές δεν βγαίνει συμπέρασμα
6. Από προκείμενες μερικές δεν βγαίνει συμπέρασμα.
7. Μία προκείμενη καταφατική και μία αποφατική οδηγούν σε συμπέρασμα
αποφατικό.
8. Από μία προκείμενη καθολική και μία μερική παίρνουμε μερικό συμπέρασμα.