Analytica priora (1.1.16-1.1.20)

Ὅταν δʼ ἡ μὲν ἐξ ἀνάγκης ὑπάρχειν ἡ δʼ ἐνδέχεσθαι σημαίνῃ τῶν προτάσεων, ὁ μὲν συλλογισμὸς ἔσται τὸν αὐτὸν τρόπον ἐχόντων τῶν ὅρων, καὶ τέλειος ὅταν πρὸς τῷ ἐλάττονι
ἄκρῳ τεθῇ τὸ ἀναγκαῖον· τὸ δὲ συμπέρασμα κατηγορικῶν μὲν ὄντων τῶν ὅρων τοῦ ἐνδέχεσθαι καὶ οὐ τοῦ ὑπάρχειν ἔσται, καὶ καθόλου καὶ μὴ καθόλου τιθεμένων, ἐὰν δʼ ᾖ τὸ μὲν καταφατικὸν τὸ δὲ στερτητικόν, ὅταν μὲν ᾖ τὸ καταφατικὸν ἀναγκαῖον, τοῦ ἐνδέχεσθαι καὶ οὐ τοῦ μὴ ὑπάρχειν, ὅταν δὲ
τὸ στερτητικόν, καὶ τοῦ ἐνδέχεσθαι μὴ ὑπάρχειν καὶ τοῦ μὴ

ὑπάρχειν, καὶ καθόλου καὶ μὴ καθόλου τῶν ὅρων ὄντων· τὸ δʼ ἐνδέχεσθαι ἐν τῷ συμπεράσματι τὸν αὐτὸν τρόπον ληπτέον- ὅνπερ καὶ ἐν τοῖς πρότερον. τοῦ δʼ ἐξ ἀνάγκης μὴ ὑπάρχειν οὐκ
ἔσται συλλογισμός· ἕτερον γὰρ τὸ μὴ ἐξ ἀνάγκης ὑπάρχειν καὶ τὸ ἐξ ἀνάγκης μὴ ὑπάρχειν.

Ὅτι μὲν οὖν καταφατικῶν ὄντων τῶν ὅρων οὐ γίνεται τὸ συμπέρασμα ἀναγκαῖον, φανερόν. ὑπαρχέτω γὰρ τὸ μὲν Α παντὶ τῷ Β ἐξ ἀνάγκης, τὸ δὲ Β ἐνδεχέσθω παντὶ τῷ Γ.
ἔσται δὴ συλλογισμὸς ἀτελὴς ὅτι ἐνδέχεται τὸ παντὶ τῷ Γ [*] ὑπάρχειν. ὅτι δʼ ἀτελής, ἐκ τῆς ἀποδείξεως δῆλον· τὸν αὐτὸν γὰρ τρόπον δειχθήσεται ὅνπερ κἀπὶ τῶν πρότερον. πάλιν τὸ μὲν ἐνδεχέσθω παντὶ τῷ Β, τὸ δὲ Β παντὶ τῷ Γ ὑπαρχέτω ἐξ ἀνάγκης. ἔσται δὴ συλλογισμός ὅτι τὸ παντὶ
τῷ Γ ἐνδέχεται ὑπάρχειν, ἀλλʼ οὐχ ὅτι ὑπάρχει, καὶ τέλειος, ἀλλʼ οὐκ ἀτελής· εὐθὺς γὰρ ἐπιτελεῖται διὰ τῶν ἐξ.
ἀρχῆς προτάσεων.

Εἰ δὲ μὴ ὁμοιοσχήμονες αἱ προτάσεις, ἔστω πρῶτον ἡ στερητικὴ ἀναγκαία, καὶ τὸ μὲν Α μηδενὶ ἐνδεχέσθω τῷ Β, τὸ δὲ Β παντὶ τῷ Γ ἐνδεχέσθω.
ἀνάγκη δὴ τὸ Α μηδενὶ τῷ Γ ὑπάρχειν. κείσθω γὰρ ὑπάρχειν ἢ παντὶ ἢ τινί· τῷ δὲ Β ὑπέκειτο μηδενὶ ἐνδέχεσθαι. ἐπεὶ οὖν ἀντιστρέφει τὸ στερητικόν, οὐδὲ τὸ Β τῷ Α οὐδενὶ ἐνδέχεται· τὸ δὲ τῶ Γ ἢ παντὶ ἢ τινὶ κεῖται ὑπάρχειν· ὥστ οὐδενὶ ἢ οὐ παντὶ τῷ Γ τὸ Β ἐνδέχοιτʼ ἂν ὑπάρχειν·
ὑπέκειτο δὲ παντὶ ἐξ ἀρχῆς. φανερὸν δʼ ὅτι καὶ τοῦ ἐνδέχεσθαι μὴ ὑπάρχειν γίγνεται συλλογισμός, εἴπερ καὶ τοῦ μὴ ὑπάρχειν. πάλιν ἔστω ἡ καταφατικὴ πρότασις ἀναγκαία, καὶ τὸ μὲν Α ἐνδεχέσθω μηδενὶ τῷ Β ὑπάρχειν, τὸ δὲ Β παντὶ τῷ Γ ὑπαρχέτω ἐξ ἀνάγκης. ὁ μὲν οὖν συλλογισμὸς
ἔσται τέλειος, ἀλλʼ οὐ τοῦ μὴ ὑπάρχειν ἀλλὰ τοῦ ἐνδέχεσθαι μὴ ὑπάρχειν· ἥ τε γὰρ πρότασις οὕτως ἐλήφθη ἡ ἀπὸ τοῦ μείζονος ἄκρου, καὶ εἰς τὸ ἀδύνατον οὐκ ἔστιν ἀγαγεῖν· εἰ γὰρ ὑποτεθείη τὸ Α τῷ Γ τινὶ ὑπάρχειν, κεῖται δὲ καὶ τῷ Β ἐνδέχεσθαι

μηδενὶ ὑπάρχειν, οὐδὲν συμβαίνει διὰ τούτων ἀδύνατον. ἐὰν δὲ πρὸς τῷ ἐλάττονι ἄκρῳ τεθῇ τὸ στερητικόν,
ὅταν μὲν ἐνδέχεσθαι σημαίνῃ, συλλογισμὸς ἔσται διὰ τῆς ἀντιστροφῆς, καθάπερ ἐν τοῖς πρότερον, ὅταν δὲ μὴ ἐνδέχεσθαι, οὐκ ἔσται. οὐδʼ ὅταν ἄμφω μὲν τεθῇ στερητικά, μὴ ᾖ δʼ ἐνδεχόμενον τὸ πρὸς τὸ ἔλαττον. ὅροι δʼ οἱ αὐτοί, τοῦ μὲν ὑπάρχειν λευκόν–ζῷον–χιών, τοῦ δὲ μὴ ὑπάρχειν λευκόνζῷον–πίττα.

Τὸν αὐτὸν δὲ τρόπον ἕξει κἀπὶ τῶν ἐν μέρει συλλογισμῶν. ὅταν μὲν γὰρ ᾖ τὸ στερητικὸν ἀναγκαῖον, καὶ τὸ συμπέρασμα ἔσται τοῦ μὴ ὑπάρχειν. οἷον εἰ τὸ μὲν Α μηδενὶ τῷ Β ἐνδέχεται ὑπάρχειν, τὸ δὲ Β τινὶ τῷ Γ ἐνδέχεται ὑπάρχειν, ἀνάγκη τὸ Α τινὶ
τῷ Γ μὴ ὑπάρχειν. εἰ γὰρ παντὶ ὑπάρχει, τῷ δὲ Β μηδενὶ ἐνδέχεται, οὐδὲ τὸ Β οὐδενὶ τῷ ἐνδέχεται ὑπάρχειν. ὥστʼ εἰ τὸ Α παντὶ τῷ Γ ὑπάρχει, οὐδενὶ τῷ Γ τὸ Β ἐνδέχεται. ἀλλʼ ὑπέκειτό τινι ἐνδέχεσθαι. ὅταν δὲ τὸ ἐν μέρει καταφατικὸν ἀναγκαῖον ᾖ, τὸ ἐν τῷ στερητικῷ συλλογισμῷ, οἷον τὸ Β Γ, ἢ τὸ καθόλου
τὸ ἐν τῷ κατηγορικῷ, οἷον τὸ Β, οὐκ ἔσται τοῦ ὑπάρχειν [*] συλλογισμός. ἀπόδειξις δʼ ἡ αὐτὴ ἣ καὶ ἐπὶ τῶν πρότερον. ἐὰν δὲ τὸ μὲν καθόλου τεθῇ πρὸς τὸ ἔλαττον ἄκρον, ἢ καταφατικὸν ἢ στερητικόν, ἐνδεχόμενον, τὸ δʼ ἐν μέρει ἀναγκαῖον [πρὸς τῷ μείονι ἄκρῳ], οὐκ ἔσται συλλογισμός (ὅροι δὲ
τοῦ μὲν ὑπάρχειν ἐξ ἀνάγκης ζῷον–λευκόν–ἄνθρωπος, τοῦ δὲ μὴ ἐνδέχεσθαι ζῷον–λευκόν–ἱμάτιον)· ὅταν δʼ ἀναγκαῖον ᾖ τὸ καθόλου, τὸ δʼ ἐν μέρει ἐνδεχόμενον, στερητικοῦ μὲν ὄντος τοῦ καθόλου τοῦ μὲν ὑπάρχειν ὅροι ζῷον–λευκόν–κόραξ, τοῦ δὲ μὴ ὑπάρχειν ζῷον–λευκόν–πίττα, καταφατικοῦ δὲ τοῦ
μὲν ὑπάρχειν ζῷον–λευκόν–κύκνος, τοῦ δὲ μὴ ἐνδέχεσθαι ζῷον–λευκόν–χιών. οὐδʼ ὅταν ἀδιόριστοι ληφθῶσιν αἱ προτάσεις ἢ ἀμφότεραι κατὰ μέρος, οὐδʼ οὕτως ἔσται συλλογισμός. ὅροι δὲ κοινοὶ τοῦ μὲν ὑπάρχειν ζῷον–λευκόν–ἄνθρωπος, τοῦ δὲ μὴ ὑπάρχειν ζῷον–λευκόν–ἄψυχον. καὶ γὰρ τὸ ζῷον
τινὶ λευκῷ καὶ τὸ λευκὸν ἀψύχῳ τινὶ καὶ ἀναγκαῖον ὑπάρχειν

καὶ οὐκ ἐνδέχεται ὑπάρχειν. κἀπὶ τοῦ ἐνδέχεσθαι ὁμοίως, ὥστε πρὸς ἅπαντα χρήσιμοι οἱ ὅροι.

Φανερὸν οὖν ἐκ τῶν εἰρημένων ὅτι ὁμοίως ἐχόντων τῶν
ὅρων ἔν τε τῷ ὑπάρχειν καὶ ἐν τοῖς ἀναγκαίοις γίνεταί τε καὶ οὐ γίνεται συλλογισμός, πλὴν κατὰ μὲν τὸ ὑπάρχειν τιθεμένης τῆς στερητικῆς προτάσεως τοῦ ἐνδέχεσθαι ἦν ὁ συλλογισμός, κατὰ δὲ τὸ ἀναγκαῖον τῆς στερητικῆς καὶ τοῦ ἐνδέχεσθαι καὶ τοῦ μὴ ὑπάρχειν. δῆλον δὲ καὶ ὅτι πάντες ἀτελεῖς οἱ συλλογισμοὶ
καὶ ὅτι τελειοῦνται διὰ τῶν προειρημένων σχημάτων.

Ἐν δὲ τῷ δευτέρῳ σχήματι ὅταν μὲν ἐνδέχεσθαι λαμβάνωσιν ἀμφότεραι αἱ προτάσεις, οὐδεὶς ἔσται συλλογισμός, οὔτε κατηγορικῶν οὔτε στερητικῶν τιθεμένων, οὔτε καθόλου οὔτε κατὰ μέρος· ὅταν δὲ ἡ μὲν ὑπάρχειν ἡ δʼ ἐνδέχεσθαι σημαίνῃ,
τῆς μὲν καταφατικῆς ὑπάρχειν σημαινούσης οὐδέποτʼ ἔσται, τῆς δὲ στερητικῆς τῆς καθόλου ἀεί. τὸν αὐτὸν δὲ τρόπον καὶ. ὅταν ἡ μὲν ἐξ ἀνάγκης ἡ δʼ ἐνδέχεσθαι λαμβάνηται τῶν προτάσεων. δεῖ δὲ καὶ ἐν τούτοις λαμβάνειν τὸ ἐν τοῖς συμπεράσμασιν ἐνδεχόμενον ὥσπερ ἐν τοῖς πρότερον.

Πρῶτον οὖν δεικτέον ὅτι οὐκ ἀντιστρέφει τὸ ἐν τῷ ἐνδέχεσθαι στερητικόν, οἷον εἰ τὸ ἐνδέχεται μηδενὶ τῷ Β, οὐκ ἀνάγκη καὶ τὸ Β ἐνδέχεσθαι μηδενὶ τῷ Α. κείσθω γὰρ τοῦτο, καὶ ἐνδεχέσθω τὸ Β μηδενὶ τῷ Α ὑπάρχειν. οὐκοῦν ἐπεὶ ἀντιστρέφουσιν αἱ ἐν τῷ ἐνδέχεσθαι καταφάσεις ταῖς ἀποφάσεσι, καὶ αἱ ἐναντίαι
καὶ αἱ ἀντικείμεναι, τὸ δὲ Β τῷ Α ἐνδέχεται μηδενὶ ὑπάρχειν, [*] φανερὸν ὅτι καὶ παντὶ ἂν ἐνδέχοιτο τῷ Α ὑπάρχειν. τοῦτο δὲ ψεῦδος· οὐ γὰρ εἰ τόδε τῷδε παντὶ ἐνδέχεται, καὶ τόδε τῷδε ἀναγκαῖον· ὥστʼ οὐκ ἀντιστρέφει τό στερητικόν. ἔτι δʼ οὐδὲν κωλύει τὸ μὲν Α τῷ Β ἐνδέχεσθαι μηδενί, τὸ δὲ
Β τινὶ τῶν Α ἐξ ἀνάγκης μὴ ὑπάρχειν, οἷον τὸ μὲν λευκὸν παντὶ ἀνθρώπῳ ἐνδέχεται μὴ ὑπάρχειν (καὶ γὰρ ὑπάρχειν), ἄνθρωπον δʼ οὐκ ἀληθὲς εἰπεῖν ὡς ἐνδέχεται μηδενὶ λευκῷ· πολλοῖς γὰρ ἐξ ἀνάγκης οὐχ ὑπάρχει, τὸ δʼ ἀναγκαῖον

οὐκ ἦν ἐνδεχόμενον.

Ἀλλὰ μὴν οὐδʼ ἐκ τοῦ ἀδυνάτου δειχθήσεται
ἀντιστρέφον, οἷον εἴ τις ἀξιώσειεν, ἐπεὶ ψεῦδος τὸ ἐνδέχεσθαι
τὸ Β τῷ Α μηδενὶ ὑπάρχειν, ἀληθὲς τὸ μὴ ἐνδέχεσθαι μηδενί (φάσις γὰρ καὶ ἀπόφασις), εἰ δὲ τοῦτʼ, ἀληθὲς ἐξ ἀνάγκης τινὶ τῷ Α ὑπάρχειν· ὥστε καὶ τὸ Α τινὶ τῷ Β· τοῦτο δʼ ἀδύνατον. οὐ γὰρ εἰ μὴ ἐνδέχεται μηδενὶ τὸ Β τῷ Α, ἀνάγκη τινὶ ὑπάρχειν. τὸ γὰρ μὴ ἐνδέχεσθαι
μηδενὶ διχῶς λέγεται, τὸ μὲν εἰ ἐξ ἀνάγκης τινὶ ὑπάρχει, τὸ δʼ εἰ ἐξ ἀνάγκης τινὶ μὴ ὑπάρχει· τὸ γὰρ ἐξ ἀνάγκης τινὶ τῶν Α μὴ ὑπάρχον οὐκ ἀληθὲς εἰπεῖν ὡς παντὶ ἐνδέχεται μὴ ὑπάρχειν, ὥσπερ οὐδὲ τὸ τινὶ ὑπάρχον ἐξ ἀνάγκης ὅτι παντὶ ἐνδέχεται ὑπάρχειν. εἰ οὖν τις ἀξιοίη, ἐπεὶ οὐκ ἐνδέχεται
τὸ Γ τῷ Δ παντὶ ὑπάρχειν, ἐξ ἀνάγκης τινὶ μὴ ὑπάρχειν αὐτό, ψεῦδος ἂν λαμβάνοι· παντὶ γὰρ ὑπάρχει, ἀλλʼ ὅτι ἐνίοις ἐξ ἀνάγκης ὑπάρχει, διὰ τοῦτό φαμεν οὐ παντὶ ἐνδέχεσθαι. ὥστε τῷ ἐνδέχεσθαι παντὶ ὑπάρχειν τό τʼ ἐξ ἀνάγκης τινὶ ὑπάρχειν ἀντίκειται καὶ τὸ ἐξ ἀνάγκης τινὶ μὴ ὑπάρχειν.
ὁμοίως δὲ καὶ τῷ ἐνδέχεσθαι μηδενί. δῆλον οὖν ὅτι πρὸς τὸ οὕτως ἐνδεχόμενον καὶ μὴ ἐνδεχόμενον ὡς ἐν ἀρχῇ διωρίσαμεν οὐ τὸ ἐξ ἀνάγκης τινὶ ὑπάρχειν ἀλλὰ τὸ ἐξ ἀνάγκης τινὶ μὴ ὑπάρχειν ληπτέον. τούτου δὲ ληφθέντος οὐδὲν συμβαίνει ἀδύνατον, ὥστʼ οὐ γίνεται συλλογισμός. φανερὸν οὖν ἐκ τῶν εἰρημένων
ὅτι οὐκ ἀντιστρέφει τὸ στερητικόν.

Τούτου δὲ δειχθέντος κείσθω τὸ Α τῷ μὲν Β ἐνδέχεσθαι μηδενί, τῷ δὲ Γ παντί. διὰ μὲν οὖν τῆς ἀντιστροφῆς οὐκ ἔσται συλλογισμός· εἴρηται γὰρ ὅτι οὐκ ἀντιστρέφει ἡ τοιαύτη πρότασις. ἀλλʼ οὐδὲ διὰ τοῦ ἀδυνάτου τεθέντος γὰρ τοῦ Β ⟨μὴ⟩ παντὶ
τῷ Γ ἐνδέχεσθαι ⟨μὴ⟩ ὑπάρχειν οὐδὲν συμβαίνει ψεῦδος· ἐνδέχοιτο γὰρ ἂν τὸ τῷ Γ καὶ παντὶ καὶ μηδενὶ ὑπάρχειν. ὅλως δʼ εἰ ἔστι συλλογισμός, δῆλον ὅτι τοῦ ἐνδέχεσθαι ἂν εἴη διὰ τὸ μηδετέραν τῶν προτάσεων εἰλῆφθαι ἐν τῷ ὑπάρχειν,

καὶ οὗτος ἢ καταφατικὸς ἢ στερητικός· οὐδετέρως δʼ ἐγχωρεῖ. [*] καταφατικοῦ μὲν γὰρ τεθέντος δειχθήσεται διὰ τῶν ὅρων ὅτι οὐκ ἐνδέχεται ὑπάρχειν, στερητικοῦ δέ, ὅτι τὸ συμπέρασμα οὐκ ἐνδεχόμενον ἀλλʼ ἀναγκαῖόν ἐστιν. ἔστω γὰρ τὸ μὲν Α λευκόν, τὸ δὲ Β ἄνθρωπος, ἐφʼ ᾧ δὲ Γ ἵππος. τὸ
δὴ Α, τὸ λευκόν, ἐνδέχεται τῷ μὲν παντὶ τῷ δὲ μηδενὶ ὑπάρχειν. ἀλλὰ τὸ Β τῷ Γ οὔτε ὑπάρχειν ἐνδέχεται οὔτε μὴ ὑπάρχειν. ὅτι μὲν οὖν ὑπάρχειν οὐκ ἐγχωρεῖ, φανερόν· οὐδεὶς γὰρ ἵππος ἄνθρωπος. ἀλλʼ οὐδʼ ἐνδέχεσθαι μὴ ὑπάρχειν· ἀνάγκη γὰρ μηδένα ἵππον ἄνθρωπον εἶναι, τὸ δʼ ἀναγκαῖον
οὐκ ἦν ἐνδεχόμενον. οὐκ ἄρα γίνεται συλλογισμός. ὁμοίως δὲ δειχθήσεται καὶ ἂν ἀνάπαλιν τεθῇ τὸ στερητικόν, κἂν ἀμφότεραι καταφατικαὶ ληφθῶσιν ἢ στερητικαί (διὰ γὰρ τῶν αὐτῶν ὅρων ἔσται ἡ ἀπόδειξις)· καὶ ὅταν ἡ μὲν καθόλου ἡ δʼ ἐν μέρει, ἢ ἀμφότεραι κατὰ μέρος ἢ ἀδιόριστοι, ἢ ὁσαχῶς
ἄλλως ἐνδέχεται μεταλαβεῖν τὰς προτάσεις· ἀεὶ γὰρ ἔσται διὰ τῶν αὐτῶν ὅρων ἡ ἀπόδειξις. φανερὸν οὖν ὅτι ἀμφοτέρων τῶν προτάσεων κατὰ τὸ ἐνδέχεσθαι τιθεμένων οὐδείς γίνεται συλλογισμός.

Εἰ δʼ ἡ μὲν ὑπάρχειν ἡ δʼ ἐνδέχεσθαι σημαίνει, τῆς
μὲν κατηγορικῆς ὑπάρχειν τεθείσης τῆς δὲ στερητικῆς ἐνδέχεσθαι οὐδέποτʼ ἔσται συλλογισμός, οὔτε καθόλου τῶν ὅρων οὔτʼ ἐν μέρει λαμβανομένων (ἀπόδειξις δʼ ἡ αὐτὴ καὶ διὰ τῶν αὐτῶν ὅρων)· ὅταν δʼ ἡ μὲν καταφατικὴ ἐνδέχεσθαι ἡ δὲ στερητικὴ ὑπάρχειν, ἔσται συλλογισμός. εἰλήφθω γὰρ τὸ
Α τῷ μὲν Β μηδενὶ ὑπάρχειν, τῷ δὲ Γ παντὶ ἐνδέχεσθαι. ἀντιστραφέντος οὖν τοῦ στερητικοῦ τὸ Β τῷ Α οὐδενὶ ὑπάρξει· τὸ δὲ παντὶ τῷ Γ ἐνεδέχετο· γίνεται δὴ συλλογισμός ὅτι ἐνδέχεται τὸ Β μηδενὶ τῷ Γ διὰ τοῦ πρώτου σχήματος. ὁμοίως δὲ καὶ εἰ πρὸς τῷ Γ τεθείη τὸ στερητικόν. ἐὰν δʼ ἀμ
μὲν ὦσι στερητικαί, σημαίνῃ δʼ ἡ μὲν μὴ ὑπάρχειν ἡ δʼ ἐνδέχεσθαι, διʼ αὐτῶν μὲν τῶν εἰλημμένων οὐδὲν συμβαίνει ἀναγκαῖον, ἀντιστραφείσης δὲ τῆς κατὰ τὸ ἐνδέχεσθαι προτάσεως γίγνεται συλλογισμος ὅτι τὸ Β τῷ Γ ἐνδέχεται μηδενὶ ὑπάρχειν, καθάπερ ἐν τοῖς πρότερον·

ἔσται γὰρ πάλιν τὸ πρῶτον σχῆμα. ἐὰν δʼ ἀμφότεραι τεθῶσι
κατηγορικαί, οὐκ ἔσται συλλογισμός. ὅροι τοῦ μὲν ὑπάρχειν ὑγίεια—ζῷον—ἄνθρωπος, τοῦ δὲ μὴ ὑπάρχειν ὑγίεια—ἵππος—ἄνθρωτπος.

Τὸν αὐτὸν δὲ τρόπον ἕξει κἀπὶ τῶν ἐν μέρει συλλογισμῶν. ὅταν μὲν γὰρ ᾖ τὸ καταφατικὸν ὑπάρχον, εἴτε κα·
θόλου εἴτʼ ἐν μέρει ληφθέν, οὐδεὶς ἔσται συλλογισμός (τοῦτο [*] δʼ ὁμοίως καὶ διὰ τῶν αὐτῶν ὅρων δείκνυται τοῖς πρότερον), ὅταν δὲ τὸ στερητικόν, ἔσται διὰ τῆς ἀντιστροφῆς, καθάπερ ἐν τοῖς πρότερον. πάλιν ἐὰν ἄμφω μὲν τὰ διαστήματα στερητικὰ ληφθῇ, καθόλου δὲ τὸ μὴ ὑπάρχειν, ἐξ αὐτῶν μὲν
τῶν προτάσεων οὐκ ἔσται τὸ ἀναγκαῖον, ἀντιστραφέντος δὲ τοῦ ἐνδέχεσθαι καθάπερ ἐν τοῖς πρότερον ἔσται συλλογισμός. ἐὲν δὲ ὑπάρχον· μὲν ᾖ τὸ στερητικόν, ἐν μέρει δὲ ληφθῇ, οὐκ ἔσται συλλογισμός, οὔτε καταφατικῆς οὔτε στερητικῆς οὔσης τῆς ἑτέρας προτάσεως. οὐδʼ ὅταν ἀμφότεραι ληφθῶσιν ἀδιόριστοι—ἢ
καταφατικαὶ ἢ ἀποφατικαί—ἢ κατὰ μέρος. ἀπόδειξις δʼ ἡ αὐτὴ καὶ διὰ τῶν αὐτῶν ὅρων.

Ἐὰν δʼ ἡ μὲν ἐξ ἀνάγκης ἡ δʼ ἐνδέχεσθαι σημαίνῃ τῶν προτάσεων, τῆς μὲν στερητικῆς ἀναγκαίας οὔσης ἔσται συλλογισμός, οὐ μόνον ὅτι ἐνδέχεται μὴ ὑπάρχει, ἀλλὰ
καὶ ὅτι οὐχ ὑπάρχει, τῆς δὲ καταφατικῆς οὐκ ἔσται. κείσθω γὰρ τὸ τῷ μὲν Β ἐξ ἀνάγκης μηδενὶ ὑπάρχειν, τῷ δὲ πσαντὶ ἐνδέχεσθαι. ἀντιστραφείσης οὖν τῆς στερητικῆς οὐδὲ τὸ Β τῷ Α οὐδενὶ ὑπάρξει· τὸ δὲ παντὶ τῷ Γ ἐνεδέχετο· γίψεται δὴ πάλιν διὰ τοῦ· πρώτου σχήματος ὁ συλλογισμός
ὅτι τὸ Β τῷ Γ ἐνδέχεται μηδενὶ ὑπάρχειν. ἅμα δὲ δῆλον ὅτι οὐδʼ ὑπάρξει τὸ Β οὐδενὶ τῷ Γ. κείσθω γὰρ ὑπάρχειν· οὐκοῦν εἰ τὸ τῷ Β μηδενὶ ἐνδέχεται, τὸ δὲ Β ὑπάρχει τινὶ τῷ Γ, τὸ Α τῷ Γ τινὶ οὐκ ἐνδέχεται· ἀλλὰ παντὶ ὑπέκειτο ἐνδέχεσθαι. τὸν αὐτὸν δὲ τρόπον δειχθήσεται καὶ εἰ
πρὸς τῷ Γ τεθείη τὸ στερητικόν.

Πάλιν ἔστω τὸ κατηγορικὸν
ἀναγκαῖον, θάτερον δʼ ἐνδεχόμενον, καὶ τὸ Α τῷ μὲν Β ἐνδεχέσθω

μηδενί, τῷ δὲ Γ παντὶ ὑπαρχέτω ἐξ ἀνάγκης. οὕτως οὖν ἐχόντων τῶν ὅρων οὐδεὶς ἔσται συλλογισμός. συμβαίνει
γὰρ τὸ Β τῷ Γ ἐξ ἀνάγκης μὴ ὑπάρχειν. ἔστω γὰρ τὸ μὲν Α λευκόν, ἐφʼ ᾧ δὲ τὸ Β ἄνθρωπος, ἐφʼ ὧ δὲ τὸ Γ κύκνος. τὸ δὴ λευκὸν κύκνῳ μὲν ἐξ ἀνάγκης ὑπάρχεῖ, ἀνθρώπῳ δʼ ἐνδέχεται μηδενί καὶ ἄνθρωπος οὐδενὶκύκνῳ ἐξ ἀνάγκης. ὅτι μὲν οὖν τοῦ ἐνδέχεσθαι οὐκ ἔστι
συλλογισμός, φανερόν· τὸ γὰρ ἐξ ἀνάγκης οὐκ ἦν ἐνδεχόμενον. ἀλλὰ μὴν οὐδὲ τοῦ ἀναγκαίου· τὸ γὰρ ἀναγκαῖον ἢ ἐξ ἀμφοτέρων ἀναγκαίων ἢ ἐκ τῆς στερητικῆς συνέβαινεν. ἔτι δὲ καὶ ἐγχωρεῖ τούτων κειμένων τὸ Β τῷ Γ ὑπάρχειν· οὐδὲν γὰρ κωλύει τὸ μὲν Γ ὑπὸ τὸ Β εἶναι, τὸ δὲ
Α τῷ μὲν Β παντὶ ἐνδέχεσθαι, τῷ δὲ Γ ἐξ ἀνάγκης ὑπάρχειν, οἷον εἰ τὸ μὲν Γ εἴη ἐγρηγορός, τὸ δὲ Β ζῶον, τὸ δʼ ἐφʼ ᾧ τὸ Α κίνησις. τῷ μὲν γὰρ ἐγρηγορότι ἐξ ἀνάγκης [*] κίνησις, ζῴῳ δὲ παντὶ ἐνδέχεται· καὶ πᾶν τὸ ἐγρηγορὸς ζῷον. φανερὸν οὖν ὅτι οὐδὲ τοῦ μὴ ὑπάρχειν, εἴπερ οὕτως ἐχόντων ἀνάγκη ὑπάρχειν. οὐδὲ δὴ τῶν ἀντικειμένων καταφάσεων, ὥστʼ οὐδεὶς ἔσται συλλογισμός. ὁμοίως
δὲ δειχθήσεται καὶ ἀνάπαλιν τεθείσης τῆς καταφατικῆς.

Ἐὰν δʼ ὁμοιοσχήμονες ὦσιν αἱ προτάσεις, στερητικῶν μὲν οὐσῶν ἀεὶ γίνεται συλλογισμὸς ἀντιστραφείσης τῆς κατὰ τὸ ἐνδέχεσθαι προτάσεως καθάπερ ἐν τοῖς πρότερον. εἰλήφθω γὰρ τὸ Α τῷ μὲν Β ἐξ ἀνάγκης μὴ ὑπάρχειν, τῷ
δὲ Γ ἐνδέχεσθαι μὴ ὑπάρχειν· ἀντιστραφεισῶν οὖν τῶν προ- τάσεων τὸ μὲν Β τῷ οὐδενὶ ὑπάρχει, τὸ δὲ Α παντὶτῷ Γ ἐνδέχεται· γίνεται δὴ τὸ πρῶτον σχῆμα. κἂν εἰ πρὸς τῷ Γ τεθείη τὸ στερητικόν, ὡσαύτως. ἐὰν δὲ κατηγορικαὶ τεθῶσιν, οὐκ ἔσται συλλογισμός. τοῦ μὲν γὰρ μὴ
ὑπάρχειν ἢ τοῦ ἐξ ἀνάγκης μὴ ὑπάρχειν φανερὸν ὅτι οὐκ ἔσται διὰ τὸ μὴ εἰλῆφθαι στερητικὴν πρότασιν μήτʼ ἐν τῷ ὑπάρχειν μήτʼ ἐν τῷ ἐξ ἀνάγκης ὑπάρχειν. ἀλλὰ μὴν οὐδὲ τοῦ ἐνδέχεσθαι μὴ ὑπάρχειν· ἐξ ἀνάγκης γὰρ οὕτως ἐχόντων τὸ Β τῷ Γ οὐχ ὑπάρξει, οἷον εἰ τὸ μὲν Α τεθείη
λευκόν, ἐφʼ δὲ τὸ Β κύκνος, τὸ δὲ Γ ἄνθρωπος.

οὐδέ γε τῶν ἀντικειμένων καταφάσεων, ἐπεὶ δέδεικται τὸ Β τῷ Γ ἐξ ἀνάγκης οὐχ ὑπάρχον. οὐκ ἄρα γίνεται συλλογισμὸς ὅλως.

Ὁμοίως δʼ ἕξει κἀπὶ τῶν ἐν μέρει συλλογισμῶν· ὅταν μὲν γὰρ ᾖ τὸ στερητικὸν καθόλου τε καὶ ἀναγκαῖον,
ἀεὶ συλλογισμὸς ἔσται καὶ τοῦ ἐνδέχεσθαι καὶ τοῦ μὴ ὑπάρχειν (ἀπόδειξις δὲ διὰ τῆς ἀντιστροφῆς), ὅταν δὲ τὸ καταφατικόν, οὐδέποτε· τὸν αὐτὸν γὰρ τρόπον δειχθήσεται ὃν καὶ ἐν τοῖς καθόλου, καὶ διὰ τῶν αὐτῶν ὅρων. οὐδʼ ὅταν ἀμφότεραι ληφθῶσι καταφατικαί· καὶ γὰρ τούτου ἡ αὐτὴ
ἀπόδειξις ἣ καὶ πρότερον. ὅταν δὲ ἀμφότεραι μὲν στερητικαί, καθόλου δὲ καὶ ἀναγκαία ἡ τὸ μὴ ὑπάρχειν σημαίνουσα, διʼ αὐτῶν μὲν τῶν εἰλημμένων οὐκ ἔσται τὸ ἀναγκαῖον, ἀντιστραφείσης δὲ τῆς κατὰ τὸ ἐνδέχεσθαι προτάσεως ἔσται συλλογισμός, καθάπερ ἐν τοῖς πρότερον. ἐὰν
δʼ ἀμφότεραι ἀδιόριστοι ἢ ἐν μέρει τεθῶσιν, οὐκ ἔσται συλλογισμός. ἀπόδειξις δʼ ἡ αὐτὴ καὶ διὰ τῶν αὐτῶν ὅρων. Φανερὸν οὖν ἐκ τῶν εἰρημένων ὅτι τῆς μὲν στερητικῆς τῆς καθόλου τιθεμένης ἀναγκαίας ἀεὶ γίνεται συλλογισμὸς οὐ μόνον τοῦ ἐνδέχεσθαι μὴ ὑπάρχειν, ἀλλὰ καὶ
τοῦ μὴ ὑπάρχειν, τῆς δὲ καταφατικῆς οὐδέποτε. καὶ ὅτι τὸν αὐτὸν τρόπον ἐχόντων ἔν τε τοῖς ἀναγκαίοις καὶ ἐν τοῖς ὑπάρχουσι γίνεταί τε καὶ οὐ γίνεται συλλογισμός. δῆλον [*] δὲ καὶ ὅτι πάντες ἀτελεῖς οἱ συλλογισμοί, καὶ ὅτι τελειοῦνται διὰ τῶν προειρημένων σχημάτων.

Ἐν δὲ τῷ τελευταίῳ σχήματι καὶ ἀμφοτέρων ἐνδεχομένων καὶ τῆς ἑτέρας ἔσται συλλογισμός. ὅταν μὲν
οὖν ἐνδέχεσθαι σημαίνωσιν αἱ προτάσεις, καὶ τὸ συμπέρασμα ἔσται ἐνδεχόμενον· καὶ ὅταν ἡ μὲν ἐνδέχεσθαι ἡ δʼ ὑπάρχειν. ὅταν δʼ ἡ ἑτέρα τεθῇ ἀναγκαία, ἐὰν μὲν ᾖ καταφατική, οὐκ ἔσται τὸ συμπέρασμα οὔτε ἀναγκαῖον οὔθʼ ὑπάρχον, ἐὰν δʼ ᾖ στερητική, τοῦ μὴ ὑπάρχειν ἔσται
συλλογισμός, καθάπερ καὶ ἐν τοῖς πρότερον· ληπτέον δὲ καὶ ἐν τούτοις ὁμοίως τὸ ἐν τοῖς συμτπεράσμασιν ἐνδεχόμενον.

Ἔστωσαν δὴ πρῶτον ἐνδεχόμεναι, καὶ τὸ Α καὶ τὸ
Β παντὶ τῷ Γ ἐνδεχέσθω ὑπάρχειν. ἐπεὶ οὖν ἀντιστρέφει τὸ καταφατικὸν ἐπὶ μέρους, τὸ δὲ Β παντὶ τῷ Γ ἐνδέχεται, καὶ τὸ Γ τινὶ τῷ β ἐνδέχοιτʼ ἄν. ὥστʼ εἰ τὸ μὲν· παντὶ τῷ Γ ἐνδέχεται, τὸ δὲ Γ τινὶ τῷ Β, ἀνάγκη καὶ τὸ Α τινὶ τῷ Β ἐνδέχεσθαι· γίγνεται γὰρ τὸ πρῶτον σχῆμα. καὶ
εἰ τὸ μὲν Α ἐνδέχεται μηδενὶ τῷ Γ ὑπάρχειν, τὸ δὲ Β παντὶ τῷ Γ, ἀνάγκη τὸ Α τινὶ τῷ Β ἐνδέχεσθαι μὴ ὑπάρχειν· ἔσται γὰρ πάλιν τὸ πρῶτον σχῆμα διὰ τῆς ἀντιστροφῆς. εἰ δʼ ἀμφότεραι στερητικαὶ τεθείησαν, ἐξ αὐτῶν μὲν τῶν εἰλημμένων οὐκ ἔσται τὸ ἀναγκαῖον, ἀντιστραφεισῶν
δὲ τῶν προτάσεων ἔσται συλλογισμός, καθάπερ ἐν τοῖς πρότερον. εἰ γἄρ τὸ Α καὶ τὸ Β τῷ Γ ἐνδέχεται μὴ ὑπάρχειν, ἐὰν μεταληφθῇ τὸ ἐνδέχεσθαι ὑπάρχειν, πάλιν ἔσται τὸ πρῶτον σχῆμα διὰ τῆς ἀντιστροφῆς. εἰ δʼ ὁ μέν ἐστι καθόλου τῶν ὅρων ὁ δʼ ἐν μέρει, τὸν αὐτόν τρόπον
ἐχόντων τῶν ὅρων ὅνπερ ἐπὶ τοῦ ὑπάρχειν, ἔσται τε καὶ οὐκ ἔσται συλλογισμός. ἐνδεχέσθω γὰρ τὸ μὲν Α παντὶ τῷ Γ, τὸ δὲ Β τινὶ τῷ Γ ὑπάρχειν. ἔσται δὴ πάλιν τὸ πρῶτον σχῆμα τῆς ἐν μέρει προτάσεως ἀντιστραφείσης· εἰ γὰρ τὸ Α παντὶ τῷ Γ, τὸ δὲ Γ τινὶ τῷ Β, τὸ Α τινὶ·
τῷ Β ἐνδέχεται. καὶ εἰ πρὸς τῷ Β Γ τεθείη τὸ καθόλου, ὡσαύτως. ὁμοίως δὲ καὶ εἰ τὸ μὲν Γ στερητικόν εἴη, τὸ δὲ Β Γ καταφατικόν· ἔσται γὰρ πάλιν τὸ πρῶτον σχῆμα διὰ τῆς ἀντιστροφῆς. εἰ δʼ ἀμφότεραι στερητικαὶ τεθείησαν, ἡ μὲν καθόλου ἡ δʼ ἐν μέρει, διʼ αὐτῶν μὲν τῶν εἰλημμένων [*] οὐκ ἔσται συλλογισμός, ἀντιστραφεισῶν δʼ ἔσται, κα· θάπερ ἐν τοῖς πρότερον. ὅταν δὲ ἀμφότεραι ἀδιόριστοι ἢ ἐν μέρει ληφθῶσιν, οὐκ ἔσται συλλογισμός· καὶ γὰρ παντὶἀνάγκη τὸ τῷ Β καὶ μηδενὶ ὑπάρχειν. ὅροι τοῦ ὑπάρχειν
ζῷον—ἄνθρωπος—λευκόν, τοῦ μὴ ὑπάρχειν ἵππος—ἄν—θρωπος—λευκκόν, μέσον λευκόν.