Analytica priora

Aristotle

Aristotle. Analytica Priora et Posteriora. Ross, W. D., editor. Oxford: E. Typographeo Clarendoniano, 1964.

3

Πρῶτον εἰπεῖν περὶ τί καὶ τίνος ἐστὶν ἡ σκέψις, ὅτι περὶ [*](24a) ἀπόδειξιν καὶ ἐπιστήμης ἀποδεικτικῆς· εἶτα διορίσαι τί ἐστι πρότασις καὶ τί ὅρος καὶ τί συλλογισμός, καὶ ποῖος τέλειος καὶ ποῖος ἀτελής, μετὰ δὲ ταῦτα τί τὸ ἐν ὅλῳ εἶναι ἢ μὴ εἶναι τόδε τῷδε, καὶ τί λέγομεν τὸ κατὰ παντὸς ἢ μηδενὸς κατηγορεῖσθαι.

Πρότασις μὲν οὖν ἐστὶ λόγος καταφατικὸς ἢ ἀποφατικός τινος κατά τινος· οὗτος δὲ ἢ καθόλου ἢ ἐν μέρει ἢ ἀδιόριστος. λέγω δὲ καθόλου μὲν τὸ παντὶ ἢ μηδενὶ ὑπάρχειν, ἐν μέρει δὲ τὸ τινὶ ἢ μὴ τινὶ ἢ μὴ παντὶ ὑπάρχειν, ἀδιόριστον δὲ τὸ ὑπάρχειν ἢ μὴ ὑπάρχειν ἄνευ τοῦ καθόλου ἢ κατὰ μέρος, οἷον τὸ τῶν ἐναντίων εἶναι τὴν αὐτὴν ἐπιστήμην ἢ τὸ τὴν ἡδονὴν μὴ εἶναι ἀγαθόν. διαφέρει δὲ ἡ ἀποδεικτικὴ πρότασις τῆς διαλεκτικῆς, ὅτι ἡ μὲν ἀποδεικτικὴ λῆψις θατέρου μορίου τῆς ἀντιφάσεώς ἐστιν (οὐ γὰρ ἐρωτᾷ ἀλλὰ λαμβάνει ὁ ἀποδεικνύων), ἡ δὲ διαλεκτικὴ ἐρώτησις ἀντιφάσεώς ἐστιν. οὐδὲν δὲ διοίσει πρὸς τὸ γενέσθαι τὸν ἑκατέρου συλλογισμόν· καὶ γὰρ ὁ ἀποδεικνύων καὶ ὁ ἐρωτῶν συλλογίζεται λαβών τι κατά τινος· ὑπάρχειν ἢ μὴ ὑπάρχειν. ὥστε ἔσται συλλογιστικὴ μὲν πρότασις ἁπλῶς κατάφασις ἢ ἀπόφασίς τινος κατά τινος τὸν εἰρημένον τρόπον, ἀποδεικτικὴ δέ, ἐὰν ἀληθὴς ᾖ καὶ διὰ τῶν ἐξ ἀρχῆς ὑποθέσεων εἰλημμένη, διαλεκτικὴ δὲ πυνθανομένῳ μὲν ἐρώτησις [*](24b) ἀντιφάσεως, συλλογιζομένῳ δὲ λῆψις τοῦ φαινομένου καὶ ἐνδόξου, καθάπερ ἐν τοῖς Τοπικοῖς εἴρηται. τί μὲν οὖν ἐστὶ πρότασις, καὶ τί διαφέρει συλλογιστικὴ καὶ ἀποδεικτικὴ καὶ διαλεκτική, διʼ ἀκριβείας μὲν ἐν τοῖς ἑπομένοις ῥηθήσεται, πρὸς δὲ τὴν παροῦσαν χρείαν ἱκανῶς ἡμῖν διωρίσθω τὰ νῦν.

Ὅρον δὲ καλῶ εἰς ὃν διαλύεται ἡ πρότασις, οἷον τό τε κατηγορούμενον καὶ τὸ καθʼ οὗ κατηγορεῖται, προστιθεμένου ἢ διαιρουμένου τοῦ εἶναι ἢ μὴ εἶναι. συλλογισμὸς δέ ἐστι λόγος ἐν ᾧ τεθέντων τινῶν ἕτερόν τι τῶν κειμένων ἐξ ἀνάγκης συμβαίνει

4
τῷ ταῦτα εἶναι. λέγω δὲ τῷ ταῦτα εἶναι τὸ διὰ ταῦτα συμβαίνειν, τὸ δὲ διὰ ταῦτα συμβαίνειν τὸ μηδενὸς ἔξωθεν ὅρου προσδεῖν πρὸς τὸ γενέσθαι τὸ ἀναγκαῖον. τέλειον μὲν οὖν καλῶ συλλογισμὸν τὸν μηδενὸς ἄλλου προσδεόμενον παρά τὰ εἰλημμένα πρὸς τὸ φανῆναι τὸ ἀναγκαῖον, ἀτελῆ δὲ τὸν προσδεόμενον ἢ ἑνὸς ἢ πλειόνων, ἃ ἔστι μὲν ἀναγκαῖα διὰ τῶν ὑποκειμένων ὅρων, οὐ μὴν εἴληπται διὰ προτάσεων. τὸ δὲ ἐν ὅλῳ εἶναι ἕτερον ἑτέρῳ καὶ τὸ κατὰ παντός κατηγορεῖσθαι θατέρου θάτερον ταὐτόν ἐστιν. λέγομεν δὲ τὸ κατὰ παντὸς κατηγορεῖσθαι ὅταν μηδὲν ᾖ λαβεῖν τοῦ ὑποκειμένου καθʼ οὗ θάτερον οὐ λεχθήσεται· καὶ τὸ κατὰ μηδενὸς ὡσαύτως.

[*](25a)

Ἐπεὶ δὲ πᾶσα πρότασίς ἐστιν ἢ τοῦ ὑπάρχειν ἢ τοῦ ἐξ ἀνάγκης ὑπάρχειν ἢ τοῦ ἐνδέχεσθαι ὑπάρχειν, τούτων· δὲ αἱ μὲν καταφατικαὶ αἱ δὲ ἀποφατικαὶ καθʼ ἑκάστην πρόσρησιν, πάλιν δὲ τῶν καταφατικῶν καὶ ἀποφατικῶν αἱ μὲν καθόλου αἱ δὲ ἐν μέρει αἱ δὲ ἀδιόριστοι, τὴν μὲν ἐν τῷ ὑπάρχειν καθόλου στερητικὴν ἀνάγκη τοῖς ὅροις ἀντιστρέφειν, οἷον εἰ μηδεμία ἡδονὴ ἀγαθόν, οὐδʼ ἀγαθὸν οὐδὲν ἔσται ἡδονή· τὴν δὲ κατηγορικὴν ἀντιστρέφειν μὲν ἀναγκαῖον, οὐ μὴν καθόλου ἀλλʼ ἐν μέρει, οἷον εἰ πᾶσα ἡδονή ἀγαθόν, καὶ ἀγαθόν τι εἶναι ἡδονήν· τῶν δὲ ἐν μέρει τὴν μὲν καταφατικὴν ἀντιστρέφειν ἀνάγκη κατὰ μέρος (εἰ γὰρ ἡδονή τις ἀγαθόν, καὶ ἀγαθόν τι ἔσται ἡδονή), τὴν δὲ στερητικὴν οὐκ ἀναγκαῖον· (οὐ γὰρ εἰ ἄνθρωπος μὴ ὑπάρχει τινὶ ζῴῳ, καὶ ζῷον οὐχ ὑπάρχει τινὶ ἀνθρώπῳ).

Πρῶτον μὲν οὖν ἔστω στερητικὴ καθόλου ἡ Α Β πρότασις. εἰ οὖν μηδενὶ τῷ Β τὸ Α ὑπάρχει, οὐδὲ τῷ Α οὐδενὶ ὑπάρξει τὸ Β· εἰ γάρ τινι, οἷον τῷ Γ, οὐκ ἀληθὲς ἔσται τὸ μηδενὶ τῷ Β τὸ Α ὑπάρχειν· τὸ γὰρ Γ τῶν Β τί ἐστιν. εἰ δὲ παντὶ τὸ Α τῷ Β, καὶ τὸ Β τινὶ τῷ Α ὑπάρξει· εἰ γὰρ μηδενί, οὐδὲ τὸ Α οὐδενὶ τῷ Β ὑπάρξει· ἀλλʼ ὑπέκειτο παντὶ ὑπάρχειν. ὁμοίως δὲ καὶ εἰ κατά μέρος ἐστὶν ἡ πρότασις. εἰ γὰρ τὸ Α τινὶ τῷ Β, καὶ τὸ Β τινὶ τῷ Α ἀνάγκη ὑπάρχειν· εἰ γὰρ μηδενί, οὐδὲ τὸ Α οὐδενὶ τῷ Β. εἰ δέ γε τὸ Α τινὶ

5
τῷ Β μὴ ὑπάρχει, οὐκ ἀνάγκη καὶ τὸ Β τινὶ τῷ Α μὴ ὑπάρχειν, οἷον εἰ τὸ μὲν ἐστὶ ζῷον, τὸ δὲ Α ἄνθρωπος· ἄνθρωπος μὲν γὰρ οὐ παντὶ ζῴῳ, ζῷον δὲ παντὶ ἀνθρώπῳ ὑπάρχει.

Τὸν αὐτὸν δὲ τρόπον ἕξει καὶ ἐπὶ τῶν ἀναγκαίων προτάσεων. ἡ μὲν γὰρ καθόλου στερητικὴ καθόλου ἀντιστρέφει, τῶν δὲ καταφατικῶν ἐκατέρα κατὰ μέρος. εἰ μὲν γὰρ ἀνάγκη τὸ τῷ Β μηδενὶ ὑπάρχειν, ἀνάγκη καὶ τὸ Β τῷ Α μηδενὶ ὑπάρχειν· εἰ γὰρ τινὶ ἐνδέχεται, καὶ τὸ τῷ Β τινὶ ἐνδέχοιτο ἄν. εἰ δὲ ἐξ ἀνάγκης τὸ παντὶ ἢ τινὶ τῷ Β ὑπάρχει, καὶ τὸ Β τινὶ τῷ Α ἀνάγκη ὑπάρχειν· εἰ γὰρ μὴ ἀνάγκη, οὐδʼ ἂν τὸ Α τινὶ τῷ Β ἐξ ἀνάγκης ὑπάρχοι. τὸ δʼ ἐν μέρει στερητικὸν οὐκ ἀντιστρέφει, διὰ τὴν αὐτὴν αἰτίαν διʼ ἣν καὶ πρότερον ἔφαμεν.

Ἐπὶ δὲ τῶν ἐνδεχομένων, ἐπειδὴ πολλαχῶς λέγεται τὸ ἐνδέχεσθαι (καὶ γὰρ τὸ ἀναγκαῖον καὶ τὸ μὴ ἀναγκαῖον καὶ τὸ δυνατὸν ἐνδέχεσθαι λέγομεν), ἐν μὲν τοῖς καταφατικοῖς ὁμοίως ἕξει κατὰ τὴν ἀντιστροφὴν ἐν ἅπασιν. εἰ γὰρ τὸ Α παντὶ ἢ τινὶ τῷ Β ἐνδέχεται, καὶ τὸ Β τινὶ τῷ Α ἐνδέχοιτο [*](25b) ἄν· εἰ γὰρ μηδενί, οὐδʼ ἂν τὸ Α οὐδενὶ τῷ Β· δέδεικται γὰρ τοῦτο πρότερον. ἐν δὲ τοῖς ἀποφατικοῖς οὐχ ὡσαύτως, ἀλλʼ ὅσα μὲν ἐνδέχεσθαι λέγεται τῷ ἐξ ἀνάγκης ὑπάρχειν ἢ τῷ μὴ ἐξ ἀνάγκης μὴ ὑπάρχειν, ὁμοίως, οἷον εἴ τις φαίη τὸν ἄνθρωπον ἐνδέχεσθαι μὴ εἶναι ἵππον ἢ τὸ λευκὸν μηδενὶ ἱματίῳ ὑπάρχειν (τούτων γὰρ τὸ μὲν ἐξ ἀνάγκης οὐχ ὑπάρχει, τὸ δὲ οὐκ ἀνάγκη ὑπάρχειν, καὶ ὁμοίως ἀντιστρέφει ἡ πρότασις· εἰ γὰρ ἐνδέχεται μηδενὶ ἀνθρώπῳ ἵππον, καὶ ἄνθρωπον ἐγχωρεῖ μηδενὶ ἵππῳ· καὶ εἰ τὸ λευκὸν ἐγχωρεῖ μηδενὶ ἱματίῳ, καὶ τὸ ἱμάτιον ἐγχωρεῖ μηδενὶ λευκῷ· εἰ γάρ τινι ἀνάγκη, καὶ τὸ λευκὸν ἱματίῳ τινὶ ἔσται ἐξ ἀνάγκης· τοῦτο γὰρ δέδεικται πρότερον), ὁμοίως δὲ καὶ ἐπὶ τῆς ἐν μέρει ἀποφατικῆς· ὅσα δὲ τῷ ὡς ἐπὶ τὸ πολὺ καὶ τῷ πεφυκέναι λέγεται ἐνδέχεσθαι, καθʼ ὃν τρόπον διορίζομεν τὸ ἐνδεχόμενον, οὐχ

6
ὁμοίως ἕξει ἐν ταῖς στερητικαῖς ἀντιστροφαῖς, ἀλλʼ ἡ μὲν καθόλου στερητικὴ πρότασις οὐκ ἀντιστρέφει, ἡ δὲ ἐν μέρει ἀντιστρέφει. τοῦτο δὲ ἔσται φανερὸν ὅταν περὶ τοῦ ἐνδεχομένου λέγωμεν. νῦν δὲ τοσοῦτον ἡμῖν ἔστω πρὸς τοῖς εἰρημένοις δῆλον, ὅτι τὸ ἐνδέχεσθαι μηδενὶ ἢ τινὶ μὴ ὑπάρχειν καταφατικὸν ἔχει τὸ σχῆμα (τὸ γὰρ ἐνδέχεται τῷ ἔστιν ὁμοίως τάττεται, τὸ δὲ ἔστιν, οἷς ἂν προσκατηγορῆται, κατάφασιν ἀεὶ ποιεῖ καὶ πάντως, οἷον τὸ ἔστιν οὐκ ἀγαθόν ἢ ἔστιν οὐ λευκόν ἢ ἁπλῶς τὸ ἔστιν οὐ τοῦτο· δειχθήσεται δὲ καὶ τοῦτο διὰ τῶν ἑπομένων), κατὰ δὲ τὰς ἀντιστροφὰς ὁμοίως ἕξουσι ταῖς ἄλλαις.

Διωρισμένων δὲ τούτων λέγωμεν ἤδη διὰ τίνων καὶ πότε καὶ πῶς γίνεται πᾶς συλλογισμός· ὕστερον δὲ λεκτέον περὶἀποδείξεως. πρότερον δὲ περὶ συλλογισμοῦ λεκτέον ἢ περὶ ἀποδείξεως διὰ τὸ καθόλου μᾶλλον εἶναι τὸν συλλογισμόν· ἡ μὲν γὰρ ἀπόδειξις συλλογισμός τις, ὁ συλλογισμός δὲ οὐ πᾶς ἀπόδειξις.

Ὅταν οὖν ὅροι τρεῖς οὕτως ἔχωσι πρὸς ἀλλήλους ὥστε τὸν ἔσχατον ἐν ὅλῳ εἶναι τῷ μέσῳ καὶ τὸν μέσον ἐν ὅλῳ τῷ πρώτῳ ἢ εἶναι ἢ μὴ εἶναι, ἀνάγκη τῶν ἄκρων εἶναι συλλογισμὸν τέλειον. καλῶ δὲ μέσον μὲν ὃ καὶ αὐτὸ ἐν ἄλλω καὶ ἄλλο ἐν τούτῳ ἐστίν, ὃ καὶ τῇ θέσει γίνεται μέσον· ἄκρα δὲ τὸ αὐτό τε ἐν ἄλλῳ ὂν καὶ ἐν ᾧ ἄλλο ἐστίν. εἰ γὰρ τὸ Α κατὰ παντὸς τοῦ Β καὶ τὸ Β κατὰ παντὸς τοῦ Γ, ἀνάγκη τὸ Α κατὰ παντός τοῦ Γ κατηγορεῖσθαι· πρότερον γὰρ εἴρηται πῶς τὸ κατὰ παντὸς λέγομεν. ὁμοίως δὲ καὶ εἰ τὸ μὲν Α κατὰ μηδενὸς [*](26a)τοῦ Β, τὸ δὲ Β κατὰ παντὸς τοῦ Γ, ὅτι τὸ Α οὐδενὶ τῷ Γ ὑπάρξει. εἰ δὲ τὸ μὲν πρῶτον παντὶ τῷ μέσῳ ἀκολουθεῖ, τὸ δὲ μέσον μηδενὶ τῷ ἐσχάτῳ ὑπάρχει, οὐκ ἔσται συλλογισμός τῶν ἄκρων· οὐδὲν γὰρ ἀναγκαῖον συμβαίνει τῷ ταῦτα εἶναι· καὶ γὰρ παντὶ καὶ μηδενὶ ἐνδέχεται τὸ πρῶτον τῷ ἐσχάτῳ ὑπάρχειν, ὥστε οὔτε τὸ κατὰ μέρος οὔτε τὸ καθόλου γίνεται ἀναγκαῖον· μηδενὸς δὲ ὄντος ἀναγκαίου διὰ τούτων οὐκ ἔσται συλλογισμός. ὅροι τοῦ παντὶ ὑπάρχειν ζῶον—ἄνθρωποςἵππος, τοῦ μηδενὶ ζῷον—ἄνθρωπος—λίθος. οὐδʼ ὅταν μήτε τὸ πρῶτον τῷ μέσῳ μήτε τὸ μέσον τῷ ἐσχάτῳ μηδενὶ ὑπάρχῃ. οὐδʼ οὕτως ἔσται συλλογισμός. ὅροι τοῦ ὑπάρχειν ἐπιστήμηγραμμή-ἰατρική,

7
τοῦ μὴ ὑπάρχειν ἐπιστήμη—γραμμή—μονάς. καθόλου μὲν οὖν ὄντων τῶν ὅρων, δῆλον ἐν τούτῳ τῷ σχήματι πότε ἔσται καὶ πότε οὐκ ἔσται συλλογισμός, καὶ ὅτι ὄντος τε συλλογισμοῦ τοὺς ὅρους ἀναγκαῖον ἔχειν ὡς εἴπομεν, ἄν θʼ οὕτως ἔχωσιν, ὅτι ἔσται συλλογισμός.

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

Ἐὰν δὲ πρὸς τὸ ἔλαττον ἄκρον τὸ καθόλου τεθῇ ἢ κατηγορικὸν ἢ στερητικόν, οὐκ ἔσται συλλογισμός, οὔτε καταφατικοῦ οὔτε ἀποφατικοῦ τοῦ ἀδιορίστου ἢ κατὰ μέρος ὄντος, οἶον εἰ τὸ μὲν Α τινὶ τῷ Β ὑπάρχει ἢ μὴ ὑπάρχει, τὸ δὲ Β παντὶ τῷ Γ ὑπάρχει· ὅροι τοῦ ὑπάρχειν ἀγαθόν—ἔξις—φρόντησις, τοῦ μὴ ὑπάρχειν ἀγαθόν—ἕξιςἄμαθία. πάλιν εἰ τὸ μὲν Β μηδενὶ τῷ Γ, τὸ δὲ Α τινὶ τῷ Β ἢ ὑπάρχει ἢ μὴ ὑπάρχει ἢ μὴ παντὶ ὑπάρχει, οὐδʼ οὕτως ἔσται συλλογισμός. ὅροι λευκόν—ἵππος—κύκνος, λευκόν—ἵππος—κόραξ. οἱ αὐτοὶ δὲ καὶ εἰ τὸ Β ἀδιόριστον.

᾿Οὐδʼ ὅταν τὸ μὲν πρὸς τῷ μείζονι ἄκρῳ καθόλου γέντηται ἢ κατηγορικὸν ἢ στερητικόν, [*](26b) τὸ δὲ πρὸς τῷ ἐλάττονι στερητικὸν κατὰ μέρος, οὐκ ἔσται συλλογισμός ἀδιορίστου τε καὶ ἐν μέρει ληφθέντος, οἶον εἰ τὸ μὲν A παντὶ τῷ B ὑπάρχει, τὸ δὲ B τινὶ τῷ Γ μή, ἢ εἰ μὴ

8
παντὶ ὑπάρχει· ᾧ γὰρ ἄν τινι μὴ ὑπάρχῃ τὸ μέσον, τούτῳ καὶ παντὶ καὶ οὐδενὶ ἀκολουθήσει τὸ πρῶτον. ὑποκείσθωσαν γὰρ οἱ ὅροι ζῷον–ἄνθρωπος–λεθκόν· εἶτα καὶ ὧν μὴ κατηγορεῖται λευκῶν ὁ ἄνθρωπος, εἰλήφθω κύκνος καὶ χιών· οὐκοῦν τὸ ζῷον τοῦ μὲν παντὸς κατηγορεῖται, τοῦ δὲ οὐδενός, ὥστε οὐκ ἔσται συλλογισμός. πάλιν τὸ μὲν Α μηδενὶ τῷ Β ὑπαρχέτω, τὸ δὲ Β τινὶ τῷ Γ μὴ ὑπαρχέτω· καὶ οἱ ὅροι ἔστωσαν ἄψυχον–ἄνθρωπος–λευκόν· εἶτα εἰλήφθωσαν, ὧν μὴ κατηγορεῖται λευκῶν· ὁ ἄνθρωπος, κύκνος καὶ χιών· τὸ γὰρ ἄψυχον τοῦ μὲν παντὸς κατηγορεῖται, τοῦ δὲ οὐδενός. ἔτι ἐπεὶ ἀδιόριστον τὸ τινὶ τῷ Γ τὸ Β μὴ ὑπάρχειν, ἀληθεύεται δέ, καὶ εἰ μηδενὶ ὑπάρχει καὶ εἰ μὴ παντί, ὅτι τινὶ οὐχ ὑπάρχει, ληφθέντων δὲ τοιούτων ὅρων ὥστε μηδενὶ ὑπάρχειν οὐ γίνεται συλλογισμός (τοῦτο γὰρ εἴρηται πρότερον), φανερὸν οὖν ὅτι τῷ οὕτως ἔχειν τοὺς ὅρους οὐκ ἔσται συλλογισμός· ἦν γὰρ ἂν καὶ ἐπὶ τούτων. ὁμοίως δὲ δειχθήσεται καὶ εἰ τὸ καθόλου τεθείη στερητικόν.

Οὐδὲ ἐὰν ἄμφω τὰ διαστήματα κατὰ μέρος ἢ κατηγορικῶς ἢ στερητικῶς, ἢ τὸ μὲν κατηγορικῶς τὸ δὲ στερητικῶς λέγηται, ἢ τό μὲν ἀδιόριστον τὸ δὲ διωρισμένον, ἢ ἄμφω ἀδιόριστα, οὐκ ἔσται συλλογισμός οὐδαμῶς. ὅροι δὲ κοινοὶ πάντων ζῷον–λευκόν–ἵππος, ζῷον–λευκόν–λίθος.

Φανερὸν οὖν ἐκ τῶν εἰρημένων ὡς ἐὰν ᾖ συλλογισμός ἐν τούτῳ τῷ σχήματι κατὰ μέρος, ὅτι ἀνάγκη τοὺς ὄρους οὕτως ἔχειν ὡς εἴπομεν· ἄλλως γὰρ ἐχόντων οὐδαμῶς γίνεται. δῆλον δὲ καὶ ὅτι πάντες οἱ ἐν ᾳὐτῷ συλλογισμοὶ τέλειοί εἰσι· (πάντες γὰρ ἐπιτελοῦνται διὰ τῶν ἐξ ἀρχῆς ληφθέντων), καὶ ὅτι πάντα τὰ προβλήματα δείκνυται διὰ τούτου τοῦ σχήματος· καὶ γὰρ τό παντὶ καὶ τὸ μηδενὶ καὶ τὸ τινὶ καὶ τὸ μή τινι ὑπάρχειν. καλῶ δὲ τὸ τοιοῦτον σχῆμα πρῶτον.

Ὅταν δὲ τὸ αὐτὸ τῷ μὲν παντὶ τῷ δὲ μηδενὶ ὑπάρχῃ, ἢ ἑκατέρῳ παντὶ ἢ μηδενί, τὸ μὲν σχῆμα τὸ τοιοῦτον καλῶ δεύτερον, μέσον δὲ ἐν αὐτῷ λέγω τὸ κατηγορούμενον ἀμφοῖν, ἄκρα δὲ καθʼ ὧν λέγεται τοῦτο, μεῖζον δὲ ἄκρον τὸ πρὸς τῷ μέσῳ κείμενον· ἔλαττον δὲ τὸ πορρωτέρω τοῦ μέσου. τίθεται δὲ τὸ μέσον ἔξω μὲν τῶν ἄκρων, πρῶτον δὲ τῇ θέσει.

9
τέλειος μὲν οὖν οὐκ ἔσται συλλογισμὸς οὐδαμῶς ἐν τούτῳ τῷ σχήματι, [*](27a) δυνατὸς δʼ ἔσται καὶ καθόλου καὶ μὴ καθόλου τῶν ὅρων ὄντων. καθόλου μὲν οὖν ὄντων ἔσται συλλογισμὸς ὅταν τὸ μέσον τῷ μὲν παντὶ τῷ δὲ μηδενὶ ὑπάρχῃ, ἄν πρὸς ὁποτερῳοῦν ᾖ τὸ στερητικόν· ἄλλως δʼ οὐδαμῶς. κατηγορείσθω γὰρ τὸ Μ τοῦ μὲν Ν μηδενός, τοῦ δὲ Ξ παντός. ἐπεὶ οὖν ἀντιστρέφει τὸ στερητικόν, οὐδενὶ τῷ Μ ὑπάρξει τὸ Ν· τὸ δέ γε Μ παντὶ τῷ Ξ ὑπέκειτο· ὥστε τὸ Ν οὐδενὶ τῷ Ξ· τοῦτο γὰρ δέδεικται πρότερον. πάλιν εἰ τὸ Μ τῷ μὲν Ν παντὶ τῷ δὲ Ξ μηδενί, οὐδὲ τὸ Ξ τῷ οὐδενὶ ὑπάρξει (εἰ γὰρ τὸ Μ οὐδενὶ τῷ Ξ, οὐδὲ τὸ Ξ οὐδενὶ τῷ Μ· τὸ δέ γε Μ παντὶ τῷ Ν ὑπῆρχεν· τὸ ἄρα Ξ οὐδενὶ τῷ Ν ὑπάρξει· γεγένηται γὰρ πάλιν τὸ πρῶτον σχῆμα)· ἐπεὶ δὲ ἀντιστρέφει τὸ στερητικόν, οὐδὲ τὸ Ν οὐδενὶ τῷ Ξ ὑπάρξει, ὥστʼ ἔσται ὁ αὐτὸς συλλογισμός. ἔστι δὲ δεικνύναι ταῦτα καὶ εἰς τὸ ἀδύνατον ἄγοντας. ὅτι μὲν οὖν γίνεται συλλογισμὸς οὕτως ἐχόντων τῶν ὅρων, φανερόν, ἀλλʼ οὐ τέλειος· οὐ γὰρ μόνον ἐκ τῶν ἐξ ἀρχῆς ἀλλὰ καὶ ἐξ ἄλλων ἐπιτελεῖται τὸ ἀναγκαῖον. ἐὰν δὲ τὸ Μ παντὸς τοῦ Ν καὶ τοῦ Ξ κατηγορῆται, οὐκ ἕσται συλλογισμός. ὅροι τοῦ ὑπάρχειν οὐσία—ζῷον—ἄνθρωπος τοῦ μὴ ὑπάρχειν οὐσία—ζῷον—ἀριθμός· μέσον οὐσία. οὐδʼ ὅταν μήτε τοῦ μήτε τοῦ Ξ μηδενὸς κατηγορῆται τὸ Μ. ὅροι τοῦ ὑπάρχειν γραμμή—ζῷον—ἄνθρωπος, τοῦ μὴ ὑπάρχειν γραμμή— ζῷον—λίθος. φανερὸν οὖν ὅτι ἂν ᾖ συλλογισμὸς καθόλου τῶν ὅρων ὄντων, ἀνάγκη τοὺς ὅρους ἔχειν ὡς ἐν ἀρχῇ εἴπομεν· ἄλλως γὰρ ἐχόντων οὐ γίνεται τὸ ἀναγκαῖον.

Ἐὰν δὲ πρὸς τὸν ἕτερον ᾖ καθόλου τὸ μέσον, ὅταν μὲν πρὸς τὸν μείζω γένηται καθόλου ἢ κατηγορικῶς ἢ στερητικῶς, (πρὸς δὲ τὸν ἐλάττω κατὰ μέρος καὶ ἀντικειμένως τῷ καθόλου (λέγω δὲ τὸ ἀντικειμένως, εἰ μὲν τὸ καθόλου στερητικόν, τὸ ἐν. μέρει καταφατικόν· εἰ δὲ κατηγορικὸν τὸ καθόλου, τὸ ἐν μέρει στερτητικόν), ἀνάγκτη γίνεσθαι συλλογισμὸν στερητικὸν κατὰ μέρος. εἰ γὰρ τὸ Μ τῷ μὲν μηδενὶ τῷ δὲ Ξ τινὶ ὑπάρχει, ἀνάγκη τὸ Ν τινὶ τῷ Ξ μὴ ὑπάρχειν. ἐπεὶ γὰρ ἀντιστρέφει τὸ στερητικόν, οὐδενὶ τῷ ὑπάρξει τὸ Ν· τὸ δέ γε Μ

10
ὑπέκειτο τινὶ τῷ Ξ ὑπάρχειν· ὥστε τὸ Ν τινὶ τῷ Ξ οὐχ ὑπάρ- ξει· γίνεται γὰρ συλλογισμὸς διὰ τοῦ πρώτου σχήματος. πάλιν εἰ τῷ μὲν Ν παντὶ τὸ Μ, τῷ δὲ Ξ τινὶ μὴ ὑπάρχει, ἀνάγκη τὸ Ν τινὶ τῷ Ξ μὴ ὑπάρχειν· εἰ γὰρ παντὶ ὑπάρχει, κατηγορεῖται δὲ καὶ τὸ Μ παντὸς τοῦ Ν, ἀνάγκη τὸ [*](27b) παντὶ τῷ Ξ ὑπάρχειν· ὑπέκειτο δὲ τινὶ μὴ ὑπάρχειν. καὶ εἰ τὸ Μ τῷ μὲν Ν παντὶ ὑπάρχει τῷ δὲ Ξ μὴ παντί, ἔσται συλλογισμὸς ὅτι οὐ παντὶ τῷ Ξ τὸ Ν· ἀπόδειξις δʼ ἡ αὐτή. ἐὰν δὲ τοῦ μὲν Ξ παντὸς τοῦ δὲ Ν μὴ παντὸς κατηγορῆται, οὐκ ἔσται συλλογισμός. ὅροι ζῷνο–οὐσία–κόραξ, ζῷον–λευκόνκόραξ. οὐδʼ ὅταν τοῦ μὲν Ξ μηδενός, τοῦ δὲ Ν τινός. ὅροι τοῦ ὑπάρχειν ζῷον–οὐσία–μονάς, τοῦ μὴ ὑπάρχειν ζῷον–οὐσίαἐπιστήμη.

Ὅταν μὲν οὖν ἀντικείμενον ᾖ τὸ καθόλου τῷ κατὰ μέρος, εἴρηται πότʼ ἔσται καὶ πότʼ οὐκ ἔσται συλλογισμός· ὅταν δὲ ὁμοιοσχήμονες ὦσιν αἱ προτάσεις, οἷον ἀμφότεραι στερητεκαὶ ἢ καταφατικαί, οὐδαμῶς ἔσται συλλογισμός. ἔστωσαν γὰρ πρῶτον στερητικαί, καὶ τὸ καθόλου κείσθω πρὸς τὸ μεῖζον ἄκρον, οἷον τὸ Μ τῷ μέν Ν μηδενὶ τῷ δὲ Ξ τινὶ μὴ ὑπαρχέτω· ἐνδέχεται δὴ καὶ παντὶ καὶ μηδενὶ τῷ Ξ τὸ Ν ὑπάρχειν. ὅροι τοῦ μὲν μὴ ὑπάρχειν μέλαν–χιών–ζῷον· τοῦ δὲ παντὶ. ὑπάρχειν οὐκ ἔστι λαβεῖν, εἰ τὸ Μ τῷ Ξ τινὶ μὲν ὑπάρχει τινὶ δὲ μή. εἰ γὰρ παντὶ τῷ Ξ τὸ Ν, τὸ δὲ μηδενὶ τῷ Ν, τὸ Μ οὐδενὶ τῷ Ξ ὑπάρξει· ἀλλʼ ὑπέκειτο τινὶ ὑπάρχειν. οὕτω μὲν οὖν οὐκ ἐγχωρεῖλαβεῖν ὅρους, ἐκ δὲ τοῦ ἀδιορίστου δεικτέον· ἐπεὶ γὰρ ἀληθεύεται τὸ τινὶ μὴ ὑπάρχειν τὸ Μ τῷ Ξ καὶ εἰ μηδενὶ ὑπάρχει, μηδενὶ δὲ ὑπάρχοντος οὐκ ἦν συλλογισμός, φανερὸν ὅτι οὐδὲ νῦν ἔσται. πάλιν ἔστωσαν κατηγορικαί, καὶ τὸ καθόλου κείσθω ὁμοίως, οἷον τὸ τῷ μὲν Ν παντὶ τῷ δὲ Ξ τινὶ ὑπαρχέτω. ἐνδέχεται δὴ τὸ Ν τῷ Ξ καὶ παντὶ καὶ μηδενὶ ὑπάρχειν. ὅροι τοῦ μηδενὶ ὑπάρχειν λευκόνκύκνος–λίθος τοῦ δὲ παντὶ οὐκ ἔσται λαβεῖν διὰ τὴν αὐτὴν αἰτίαν ἥνπερ πρότερον, ἀλλʼ ἐκ τοῦ ἀδιορίστου δεικτέον. εἰ δὲ τὸ καθόλου πρὸς τὸ ἔλαττον ἄκρον ἐστί, καὶ τὸ Μ τῷ μὲν Ξ μηδενὶ τῷ δὲ Ν τινὶ μὴ ὑπάρχει, ἐνδέχεται τὸ Ν τῷ Ξ καὶ

11
παντὶ καὶ μηδενὶ ὑπάρχειν. ὅροι τοῦ ὑπάρχειν λευκόν–ζῷονκόραξ, τοῦ μὴ ὑπάρχειν λευκόν–λίθος–κόραξ. εἰ δὲ κατηγορικαὶ αἱ προτάσεις, ὅροι τοῦ μὴ ὑπάρχειν λευκόν–ζῷον–χιών, τοῦ ὑπάρχειν λευκόν–ζῷον–κύκνος. φανερὸν οὖν, ὅταν ὁμοιοσχήμονες ὦσιν αἱ προτάσεις καὶ ἡ μὲν καθόλου ἡ δʼ ἐν μέρει, ὅτι οὐδαμῶς γίνεται συλλογισμός. ἀλλʼ οὐδʼ εἰ τινὶ ἑκατέρῳ ὑπάρχει ἢ μὴ ὑπάρχει, ἢ τῷ μὲν τῷ δὲ μή, ἢ μηδετέρῳ παντί, ἢ ἀδιορίστως. ὅροι δὲ κοινοὶ πάντων λευκόν–ζῷον–ἄνθρωπος, λευκόν–ζῷον–ἀψυχον.

Φανερὸν οὖν ἐκ τῶν εἰρημένων ὅτι ἐάν τε οὕτως ἔχωσιν οἱ [*](28a) ὅροι πρὸς ἀλλήλους ὡς ἐλέχθη, γίνεται συλλογισμὸς ἐξ ἀνάγκης, ἄν τʼ συλλογισμός, ἀνάγκη τοὺς ὅρους οὕτως ἔχειν. δῆλον δὲ καὶ ὅτι πάντες ἀτελεῖς εἰσὶν οἱ ἐν τούτῳ τῷ σχήματι συλλογισμοί (πάντες γὰρ ἐπιτελοῦνται προσλαμβανομένων τινῶν, ἃ ἢ ἐνυπάρχει τοῖς ὅροις ἐξ ἀνάγκης ἢ τίθενται ὡς ὑποθέσεις, οἷον ὅταν διὰ τοῦ ἀδυνάτου δεικνύωμεν), καὶ ὅτι οὐ γίνεται καταφατικὸς συλλογισμὸς διὰ τούτου τοῦ σχήματος, ἀλλα πάντες στερητικοί, καὶ οἱ καθόλου καὶ οἱ κατὰ μέρος.

Ἐὰν δὲ τῷ αὐτῷ τὸ μὲν παντὶ τὸ δὲ μηδενὶ ὑπάρχῃ, ἢ ἄμφω παντὶ ἢ μηδενί, τό μὲν σχῆμα τὸ τοιοῦτον καλῶ τρίτον, μέσον δʼ ἐν αὐτῷ λέγω καθʼ οὗ ἄμφω τὰ κατηγορούμενα, ἄκρα δὲ τὰ κατηγορούμενα, μεῖζον δʼ ἄκρον τὸ πορρώτερον τοῦ μέσου, ἔλαττον δὲ τὸ ἐγγύτερον. τίθεται δὲ τὸ μέσον ἔξω μὲν τῶν ἄκρων, ἔσχατον δὲ τῇ θέσει. τέλειος μὲν οὖν οὐ γίνεται συλλογισμὸς οὐδʼ ἐν τούτῳ τῷ σχήματι, δυνατὸς δʼ ἔσται καὶ καθόλου καὶ μὴ καθόλου τῶν ὅρων ὄντων πρὸς τὸ μέσον.

Καθόλου μὲν οὖν ὄντων, ὅταν καὶ τὸ καὶ τὸ Ρ παντὶ τῷ Σ ὑπάρχῃ, ὅτι τινὶ τῷ Ρ τὸ ὑπάρξει ἐξ ἀνάγκης· ἐπεὶ γὰρ ἀντιστρέφει τὸ κατηγορικόν, ὑπάρξει τὸ Σ τινὶ τῷ Ρ, ὥστʼ ἐπεὶ τῷ μὲν Σ παντὶ τὸ Π, τῷ δὲ Ρ τινὶ τὸ Σ, ἀνάγκη τὸ Π τινὶ τῶ Ρ ὑπάρχειν· γίνεται γὰρ συλλογισμὸς διὰ τοῦ πρώτου σχήματος. ἔστι δὲ καὶ διὰ τοῦ ἀδυνάτου καὶ τῷ ἐκθέσθαι ποιεῖν τὴν ἀπόδειξιν· εἰ γὰρ ἄμφω παντὶ τῷ Σ ὑπάρχει, ἂν ληφθῇ τι τῶν Σ οἷον τὸ Ν, τούτῳ καὶ τὸ Π καὶ τὸ Ρ ὑπάρξει, ὥστε τινὶ τῷ Ρ τὸ Π

12
ὑπάρξει. καὶ ἂν τὸ μὲν Ρ παντὶ τῷ Σ, τὸ δὲ Π μηδενὶ ὑπάρχῃ, ἔσται συλλογισμὸς ὅτι τὸ τινὶ τῷ Ρ οὐχ ὑπάρξει ἐξ ἀνάγκης· ὁ γὰρ αὐτὸς τρόπος τῆς ἀποδείξεως ἀντιστραφείσης τῆς Ρ Σ προτάσεως. δειχθείη δʼ ἂν καὶ διὰ τοῦ ἀδυνάτου, καθάπερ ἐπὶ τῶν πρότερον. ἐὰν δὲ τὸ μέν Ρ μηδενὶ τὸ δὲ παντὶ ὑπάρχῃ τῷ Σ, οὐκ ἔσται συλλογισμός. ὅροι τοῦ ὑπάρχειν ζῷον–ἵππος–ἄνθρωπος, τοῦ μὴ ὑπάρχειν ζῷονἄψυχον–ἄνθρωπος. οὐδʼ ὅταν ἄμφω κατὰ μηδενὸς τοῦ Σ λέγηται, οὐκ ἔσται συλλογισμός. ὅροι τοῦ ὑπάρχειν ζῷον–ἵπποςἄ—ψυχον, τοῦ μὴ ὑπάρχειν ἄνθρωπος–ἵππος–ἄψυχον· μέσον ἄψυχον. φανερὸν οὖν καὶ ἐν τούτῳ τῷ σχήματι πότʼ ἔσται καὶ πότʼ οὐκ ἔσται συλλογισμός καθόλου τῶν ὅρων ὄντων. ὅταν μὲν γὰρ ἀμφότεροι οἱ ὅροι ὦσι κατηγορικοί, ἔσται συλλογισμός ὅτι τινὶ ὑπάρχει τὸ ἄκρον τῷ ἄκρῳ, ὅταν δὲ στερητικοί, οὐκ [*](28b) ἔσται. ὅταν δʼ ὁ μὲν ᾖ στερητικὸς ὁ δὲ καταφατικός, ἐὰν μὲν ὁ μείζων γένηται στερητικὸς ἅτερος δὲ καταφατικός, ἔσται συλλογισμός ὅτι τινὶ οὐχ ὑπάρχει τὸ ἄκρον τῷ ἄκρῳ, ἐὰν δʼ ἀνάπαλιν, οὐκ ἔσται.

Ἐὰν δʼ ὁ μὲν ᾖ καθόλου πρὸς τὸ μέσον ὁ δʼ ἐν μέρει, κατηγορικῶν μὲν ὄντων ἀμφοῖν ἀνάγκη γίνεσθαι συλλογισμόν, ἂν ὁποτεροσοῦν ᾖ καθόλου τῶν ὅρων. εἰ γὰρ τὸ μὲν Ρ παντὶ τῷ Σ τὸ δὲ Π τινί, ἀνάγκη τὸ Π τινὶ τῷ Ρ ὑπάρχειν. ἐπεὶ γὰρ ἀντιστρέφει τὸ καταφατικόν, ὑπάρξει τὸ Σ τινὶ τῷ Π, ὥστʼ ἐπεὶ τὸ μὲν Ρ παντὶ τῷ Σ, τὸ δὲ Σ τινὶ τῷ Π, καὶ τὸ Ρ τινὶ τῷ Π ὑπάρξει· ὥστε τὸ τινὶ τῷ Ρ. πάλιν εἰ τὸ μὲν Ρ τινὶ τῷ Σ τὸ δὲ παντὶ ὑπάρχει, ἀνάγκη τὸ τινὶ τῷ Ρ ὑπάρχειν· ὁ γὰρ αὐτός τρόπος τῆς ἀποδείξεως. ἔστι δʼ ἀποδεῖξαι καὶ διὰ τοῦ ἀδυνάτου καὶ τῇ ἐκθέσει, καθάπερ ἐπὶ τῶν πρότερον.

Ἐὰν δʼ ὁ μὲν ἦ κατηγορικὸς ὁ δὲ στερητικός, καθόλου δὲ ὁ κατηγορικός, ὅταν μὲν ὁ ἐλάττων ἦ κατηγορικός, ἔσται συλλογισμός. εἰ γὰρ τὸ παντὶ τῷ Σ, τὸ δὲ τινὶ μὴ ὑπάρχει, ἀνάγκη τὸ τινὶ τῷ Ρ μὴ ὑπάρχειν. εἰ γὰρ παντί, καὶ τὸ Ρ παντὶ τῷ Σ, καὶ τὸ Π παντὶ

13
τῷ ὑπάρξει· ἀλλʼ οὐχ ὑπῆρχεν. δείκνυται δὲ καὶ ἄνευ τῆς ἀπαγωγῆς, ἐὰν ληφθῇ τι τῶν Σ ᾧ τὸ μὴ ὑπάρχει. ὅταν δʼ ὁ μείζων ᾖ κατηγορικός, οὐκ ἔσται συλλογισμός, οἷον εἰ τὸ μὲν παντὶ τῷ Σ, τὸ δὲ Ρ τινὶ τῷ Σ μὴ ὑπάρχει. ὅροι τοῦ παντὶ ὑπάρχειν ἔμψυχον—ἄνθρωπος—ζῷον. τοῦ δὲ μηδενὶ οὐκ ἔστι λαβεῖν ὅρους, εἰ τινὶ μὲν ὑπάρχει τῷ Σ τὸ Ρ, τινὶ δὲ μή· εἰ γὰρ παντὶ τὸ Π τῷ ὑπάρχει, τὸ δὲ Ρ τινὶ τῷ Σ, καὶ τὸ τινὶ τῷ Ρ ὑπάρξει· ὑπέκειτο δὲ μηδενὶ ὑπάρχειν. ἀλλʼ ὥσπερ ἐν τοῖς πρότερον λητπτέον· ἀδιορίστου γὰρ ὄντος τοῦ τινὶ μὴ ὑπάρχειν καὶ τὸ μηδενὶ ὑπάρχον ἀληθὲς εἰπεῖν τινὶ μὴ ὑπάρχειν· μτηδενὶ δὲ ὑπάρχοντος οὐκ ἦν συλλογισμός. φανερὸν οὖν ὅτι οὐκ ἔσται συλλογισμός. ἐὰν δʼ ὁ στερητικὸς ᾖ καθόλου τῶν ὅρων, ὅταν μὲν ὁ μείζων ᾖ στερητικὸς ὁ δὲ ἐλάττων κατηγορικός, ἔσται συλλογισμός. εἰ γὰρ τὸ μηδενὶ τῷ Σ, τὸ δὲ Ρ τινὶ ὑπάρχει τῷ Σ, τὸ Π τινὶ τῷ Ρ οὐχ ὑπάρξει· πάλιν γὰρ ἔσται τὸ πρῶτον σχῆμα τῆς Ρ Σ προτάσεως ἀντιστραφείσης. ὅταν δὲ ὁ ἐλάττων ᾖ στερητικός, οὐκ ἔσται συλλογισμός. ὅροι τοῦ ὑπάρχειν ζῷον—ἄνθρωτπος—ἄγριον, τοῦ μὴ ὑπάρχειν ζῷον—ἐπιστήμη—ἄγριονν· μέσον ἐν ἀμφοῖν τὸ ἄγριον. οὐδʼ ὅταν ἀμφότεροι στερητικοὶ τεθῶσιν, ᾖ δʼ ὁ μὲν καθόλου ὁ δʼ ἐν μέρει. ὅροι ὅταν ὁ ἐλάττων ᾖ καθόλου πρὸς τὸ μέσον, ζῷον—ἐπιστήμη—ἄγριον,[*](29a) ζῷον—ἄνθρωπος—ἄγριον· ὅταν δʼ ὁ μείζων, τοῦ μὲν μὴ ὑτπάρχειν κόραξ—χιών—λευκόν. τοῦ δʼ ὑπάρχειν οὐκ ἔστι λαβεῖν, εἰ τὸ Ρ τινὶ μὲν ὑπάρχει τῷ Σ, τινὶ δὲ μὴ ὑπάρχει. εἰ γὰρ τὸ παντὶ τῷ Ρ, τὸ δὲ Ρ τινὶ τῷ Σ, καὶ τὸ τινὶ τῷ Σ· ὑπέκειτο δὲ μηδενί. ἀλλʼ ἐκ τοῦ ἀδιορίστου δεικτέον.

Οὐδ’ ἂν ἑκάτερος τινὶ τῷ μέσῳ ὑπάρχῃ ἢ μὴ ὑπάρχῃ, ἢ ὁ μὲν ὑπάρχῃ ὁ δὲ μὴ ὑπάρχῃ, ἢ ὁ μὲν τινὶ ὁ δὲ μὴ παντί, ἢ ἀδιορίστως, οὐκ ἔσται συλλογισμὸς οὐδαμῶς. ὅροι δὲ κοινοὶ πάντων ζῷον-ἄνθρωπος—λευκόν, ζῷον—ἄψυχον—λευκόν.

14

Φανερὸν οὖν καὶ ἐν τούτῳ τῷ σχήματι πότʼ ἔσται καὶ πότʼ οὐκ ἔσται συλλογισμός, καὶ ὅτι ἐχόντων τε τῶν ὅρων ὡς ἐλέχθη γίνεται συλλογισμός ἐξ ἀνάγκης, ἄν τʼ ᾖ συλλογισμός, ἀνάγκη τοὺς ὅρους οὕτως ἔχειν. φανερὸν δὲ καὶ ὅτι πάντες ἀτελεῖς εἰσὶν οἱ ἐν τούτῳ τῷ σχήματι συλλογισμοί (πάντες γάρ τελειοῦνται προσλαμβανομένων τινῶν) καὶ ὅτι συλλογίσασθαι τὸ καθόλου διὰ τούτου τοῦ σχήματος οὐκ ἔσται, οὔτε στερητικόν οὔτε καταφατικόν.

Δῆλον δὲ καὶ ὅτι ἐν ἅπασι τοῖς σχήμασιν, ὅταν μὴ γίνηται συλλογισμός, κατηγορικῶν μὲν ἢ στερητικῶν ἀμφοτέρων ὄντων τῶν ὅρων οὐδὲν ὅλως γίνεται ἀναγκαῖον, κατηγορικοῦ δὲ καὶ στερητικοῦ, καθόλου ληφθέντος τοῦ στερητικοῦ ἀεὶ γίνεται συλλογισμὸς τοῦ ἐλάττονος ἄκρου πρὸς τὸ μεῖον, οἷον εἰ τὸ μὲν Α παντὶ τῷ Β ἢ τινί, τὸ δὲ Β μηδενὶ τῷ Γ· ἀντιστρεφομένων γὰρ τῶν προτάσεων ἀνάγκη τὸ Γ τινὶ τῷ Α μὴ ὑπάρχειν. ὁμοίως δὲ κἀπὶ τῶν ἑτέρων σχημάτων· ἀεὶ γὰρ γίνεταιδιὰ τῆς ἀντιστροφῆς συλλογισμός. δῆλον δὲ καὶ ὅτι τὸ ἀδιόριστον ἀντὶ τοῦ κατηγορικοῦ τοῦ ἐν μέρει τιθέμενον τὸν αὐτὸν ποιήσει συλλογισμόν ἐν ἅπασι τοῖς σχήμασιν.

Φανερὸν δὲ καὶ ὅτι πάντες οἱ ἀτελεῖς συλλογισμοὶ τελειοῦνται διὰ τοῦ πρώτου σχήματος. ἢ γὰρ δεικτικῶς ἢ διὰ τοῦ ἀδυνάτου περαίνονται πάντες· ἀμφοτέρως δὲ γίνεται τό πρῶτον σχῆμα, δεικτικῶς μὲν τελειουμένων, ὅτι διὰ τῆς ἀντιστροφῆς ἐπεραίνοντο πάντες, ἡ δʼ ἀντιστροφὴ τὸ πρῶτον ἐποίει σχῆμα, διὰ δὲ τοῦ ἀδυνάτου δεικνυμένων, ὅτι τεθέντος τοῦ ψεύδους ὁ συλλογισμὸς γίνεται διὰ τοῦ πρώτου σχήματος, οἷον ἐν τῷ τελευταίῳ σχήματι, εἰ τὸ Α καὶ τὸ Β παντὶ τῷ Γ ὑπάρχει, ὅτι τὸ Α τινὶ τῷ Β ὑπάρχει· εἰ γὰρ μηδενί, τὸ δὲ Β παντὶ τῷ Γ, οὐδενὶ τῷ Γ τὸ Α· ἀλλʼ ἦν παντί. ὁμοίως δὲ καὶ ἐπὶ τῶν ἄλλων.

[*](29b)

Ἔστι δὲ καὶ ἀναγαγεῖν πάντας τοὺς συλλογισμούς εἰς τοὺς ἐν τῷ πρώτῳ σχήματι καθόλου συλλογισμούς. οἱ μὲν γὰρ ἐν τῷ δευτέρῳ φανερὸν ὅτι διʼ ἐκείνων τελειοῦνται, πλὴν οὐχ ὁμοίως πάντες, ἀλλʼ οἱ μὲν καθόλου τοῦ στερητικοῦ ἀντιστραφέντος, τῶν δʼ ἐν μέρει ἑκάτερος διὰ τῆς εἰς τὸ ἀδύνατον ἀπαγωγῆς. οἱ δʼ ἐν τῷ πρώτῳ, οἱ κατὰ μέρος, ἐπιτελοῦνται

15
μὲν καὶ διʼ αὐτῶν, ἔστι δὲ καὶ διὰ τοῦ δευτέρου σχήματος δεικνύναι εἰς ἀδύνατον ἀπάγοντας, οἷον εἰ τὸ παντὶ τῷ Β, τὸ δὲ Β τινὶ τῷ Γ, ὅτι τὸ Α τινὶ τῷ Γ· εἰ γὰρ μηδενί, τῷ δὲ Β παντί, οὐδενὶ τῷ Γ τὸ Β ὑπάρξει· τοῦτο γὰρ ἴσμεν διὰ τοῦ δευτέρου σχήματος. ὁμοίως δὲ καὶ ἐπὶ τοῦ στερητικοῦ ἔσται ἡ ἀπόδειξις. εἰ γὰρ τὸ Α μηδενὶ τῷ Β, τὸ δὲ Β τινὶ τῷ Γ ὑπάρχει, τὸ Α τινὶ τῷ Γ οὐχ ὑπάρξει· εἰ γὰρ παντί, τῷ δὲ Β μηδενὶ ὑπάρχει, οὐδενὶ τῷ Γ τὸ Β ὑπάρξει· τοῦτο δʼ ἦν τὸ μέσον σχῆμα. ὥστʼ ἐπεὶ οἱ μὲν ἐν τῷ μέσῳ σχήματι συλλογισμοὶ πάντες ἀνάγονται εἰς τοὺς ἐν τῷ πρώτῳ καθόλου συλλογισμούς, οἱ δὲ κατὰ μέρος ἐν τῷ πρώτῳ εἰς τοὺς ἐν τῷ μέσῳ, φανερὸν ὅτι καὶ οἱ κατὰ μέρος ἀναχθήσονται εἰς τοὺς ἐν τῷ πρώτῳ σχήματι καθόλου συλλογισμούς. οἱ δʼ ἐν τῷ τρίτῳ καθόλοω μὲν ὄντων τῶν ὅρων εὐθὺς ἐπιτελοῦνται διʼ ἐκείνων τῶν συλλογισμῶν, ὅταν δʼ ἐν μέρει ληφθῶσι, διὰ τῶν ἐν μέρει συλλογισμῶν τῶν ἐν τῷ πρώτῳ σχήματι· οὗτοι δὲ ἀνήχθησαν εἰς ἐκείνους, ὥστε καὶ οἱ ἐν τῷ τρίτῳ σχήματι, οἱ κατὰ μέρος. φανερὸν οὖν ὅτι πάντες ἀναχθήσονται εἰς τοὺς ἐν τῷ πρώτῳ σχήματι καθόλου συλλογισμούς.

Οἱ μὲν οὖν τῶν συλλογισμῶν ὑπάρχειν ἢ μὴ ὑπάρχειν δεικνύντες εἴρηται πῶς ἔχουσι, καὶ καθʼ ἑαυτοὺς οἱ ἐκ τοῦ αὐτοῦ σχήματος καὶ πρὸς ἀλλήλους οἱ ἐκ τῶν ἑτέρων.

Ἐπεὶ δʼ ἕτερόν ἐστιν ὑπάρχειν τε καὶ ἐξ ἀνάγκης ὑπάρχειν καὶ ἐνδέχεσθαι ὑπάρχειν (πολλὰ γὰρ ὑπάρχει μέν, οὐ μέντοι ἐξ ἀνάγκης· τὰ δʼ οὔτʼ ἐξ ἀνάγκης οὔθʼ ὑπάρχει ὅλως, ἐνδέχεται δʼ ὑπάρχειν), δῆλον ὅτι καὶ συλλογισμὸς ἑκάστου τούτων ἕτερος ἔσται, καὶ οὐχ ὁμοίως ἐχόντων τῶν ὅρων, ἀλλʼ ὁ μὲν ἐξ ἀναγκαίων, ὁ δʼ ἐξ ὑπαρχόντων, ὁ δʼ ἐξ ἐνδεχομένων.

Ἐπὶ μὲν οὖν τῶν ἀναγκαίων σχεδὸν ὁμοίως ἔχει καὶ ἐπὶ τῶν ὑπαρχόντων· ὡσαύτως γὰρ τιθεμένων τῶν ὅρων ἔν τε τῷ ὑπάρχειν καὶ τῷ ἐξ ἀνάγκης ὑπάρχειν ἢ μὴ ὑπάρχειν ἔσται τε καὶ οὐκ ἔσται συλλογισμός, πλὴν διοίσει τῷ προσκεῖσθαι τοῖς ὅροις τὸ ἐξ ἀνάγκτης ὑπάρχειν ἢ μὴ ὑπάρχειν.[*](30a) τό τε γὰρ στερητικὸν ὡσαύτως ἀντιστρέφει, καὶ τὸ ἐν

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

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

17
ἔστω δὴ πρῶτον τὸ καθόλου ἀναγκαῖον, καὶ τὸ μὲν παντὶ τῷ Β ὑπαρχέτω ἐξ ἀνάγκης, τὸ δὲ Β τινὶ τῷ Γ ὑπαρχέτω μόνον· ἀνάγκη δὴ τὸ Α τινὶ τῷ Γ ὑπάρχειν ἐξ ἀνάγκης· τὸ γὰρ Γ ὑπὸ τὸ Β ἐστί, τῷ δὲ Β παντὶ ὑπῆρχεν ἐξ ἀνάγκης, ὁμοίως δὲ καὶ εἰ στερητικὸς εἴη ὁ συλλογισμός· [*](30b) ἡ γὰρ αὐτὴ ἔσται ἀπόδειξις. εἰ δὲ τὸ κατὰ μέρος ἐστὶν ἀναγκαῖον, οὐκ ἔσται τὸ συμπέρασμα ἀναγκαῖον (οὐδὲν γὰρ ἀδύνατον συμπίπτει), καθάπερ οὐδʼ ἐν τοῖς καθόλου συλλογισμοῖς. ὁμοίως δὲ κἀπὶ τῶν στερητικῶν. ὅροι κίνησις–ζῷον–λευκόν.

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

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

18
ᾧ παντὶ τὸ Γ ἐνδέχεται ὑπάρχειν. ἔτι κἂν ὅρους ἐκθέμενον εἴη δεῖξαι ὅτι τὸ συμπέρασμα οὐκ ἔστιν ἀναγκαῖον ἁπλῶς, ἀλλὰ τούτων ὄντων ἀναγκαῖον. οἶον ἔστω τὸ Α ζῷον, τὸ δὲ Β ἄνθρωπος, τὸ δὲ Γ λευκόν, καὶ αἱ προτάσεις ὁμοίως εἰλήφθωσαν· ἐνδέχεται γὰρ τὸ ζῷον μηδενὶ λευκῷ ὑπάρχειν. οὐχ ὑπάρξει δὴ οὐδʼ ὁ ἄνθρωπος οὐδενὶ λευκῷ, ἀλλʼ οὐκ ἐξ ἀνάγκης· ἐνδέχεται γὰρ ἄνθρωπον γενέσθαι λευκόν, οὐ μέντοι ἕως ἂν ζῷον μηδενὶ λευκῷ ὑπάρχῃ. ὥστε τούτων μὲν ὄντων ἀναγκαῖον ἔσται τὸ συμπέρασμα, ἀπλῶς δʼ οὐκ ἀναγκαῖον.

[*](31a)

Ὁμοίως δʼ ἕξει καὶ ἐπὶ τῶν ἐν μέρει συλλογισμῶν. ὅταν μὲν γὰρ ἡ στερητικὴ πρότασις καθόλου τʼ ᾖ· καὶ ἀναγκαία, καὶ τὸ συμπέρασμα ἔσται ἀναγκαῖον· ὅταν δὲ ἡ κατηγορικὴ καθόλου, ἡ δὲ στερητικὴ κατὰ μέρος, οὐκ ἔσται τὸ συμπέρασμα ἀναγκαῖον. ἔστω δὴ πρῶτον ἡ στερητικὴ καθόλου τε καὶ ἀναγκαία, καὶ τὸ Α τῷ μὲν Β μηδενὶ ἐνδεχέσθω ὑπάρχειν, τῷ δὲ Γ τινὶ ὑπαρχέτω. ἐπεὶ οὖν ἀντιστρέφει τὸ στερητικόν, οὐδὲ τὸ Β τῷ Α οὐδενὶ ἐνδέχοιτʼ ἂν ὑπάρχειν· τὸ δέ γε Α τινὶ τῷ Γ ὑπάρχει, ὥστʼ ἐξ ἀνάγκης τινὶ τῷ Γ οὐχ ὑπάρξει τὸ Β. πάλιν ἔστω ἡ κατηγορικὴ καθόλου τε καὶ ἀναγκαία, καὶ κείσθω πρὸς τῷ Β τὸ κατηγορικόν. εἰ δὴ τὸ παντὶ τῷ Β ἐξ ἀνάγκης ὑπάρχει, τῷ δὲ Γ τινὶ μὴ ὑπάρ- χει, ὅτι μὲν οὐχ ὑπάρξει τὸ Β τινὶ τῷ Γ, φανερόν, ἀλλʼ οὐκ ἐξ ἀνάγκης· οἱ γὰρ αὐτοὶ ὅροι ἔσονται πρός τὴν ἀπόδειξιν: οἵπερ ἐπὶ τῶν καθόλου συλλογισμῶν. ἀλλʼ οὐδʼ εἰ τὸ στερητικὸν ἀναγκαῖόν ἐστιν ἐν μέρει ληφθέν, οὐκ ἔσται τὸ συμπέρασμα ἀναγκαῖον· διὰ γὰρ τῶν αὐτῶν ὅρων ἡ ἀπόδειξις.

Ἐν δὲ τῷ τελευταίῳ σχήματι καθόλου μέν ὄντων τῶν ὅρων πρός τὸ μέσον καὶ κατηγορικῶν ἀμφοτέρων τῶν προτάσεων, ἐὰν ὁποτερονοῦν ἀναγκαῖον, καὶ τὸ συμπέρασμα ἔσται ἀναγκαῖον. ἐὰν δὲ τὸ μὲν ᾖ στερητικὸν τὸ δὲ κατηγορικόν, ὅταν μὲν τὸ στερητικόν ἀναγκαῖον ᾖ, καὶ τὸ συμπέρασμα ἔσται ἀναγκαῖον, ὅταν δὲ τὸ κατηγορικόν, οὐκ ἔσται ἀναγκαῖον. ἔστωσαν γὰρ ἀμφότεραι κατηγορικαὶ πρῶτον αἱ προτάσεις, καὶ τὸ Α καὶ τὸ Β παντὶ τῷ Γ ὑπαρχέτω, ἀναγκαῖον

19
δʼ ἔστω τὸ Α Γ. ἐπεὶ οὖν τὸ Β παντὶ τῷ Γ ὑπάρχει, καὶ τὸ Γ τινὶ τῷ Β ὑπάρξει διὰ τὸ ἀντιστρέφειν τὸ καθόλου τῷ κατὰ μέρος, ὥστʼ εἰ παντὶ τῷ Γ τὸ ἐξ ἀνάγκης ὑπάρχει καὶ τὸ Γ τῷ Β τινί, καὶ τῷ Β τινὶ ἀναγκαῖον ὑπάρχειν τὸ Α· τὸ γὰρ Β ὑπὸ τὸ Γ ἐστίν. γίγνεται οὖν τὸ πρῶτον σχῆμα. ὁμοίως δὲ δειχθήσεται καὶ εἰ τὸ Β Γ ἐστὶν ἀναγκαῖον· ἀντιστρέφει γὰρ τὸ Γ τῷ Α τινί, ὥστʼ εἰ παντὶ τῷ Γ τὸ Β ἐξ ἀνάγκης ὑπάρχει, καὶ τῷ Α τινὶ ὑπάρξει ἐξ ἀνάγκης.

Πάλιν ἔστω τὸ μὲν Γ στερητικόν, τὸ δὲ Β Γ καταφατικόν, ἀναγκαῖον δὲ τὸ στερητικόν. ἐπεὶ οὖν ἀντιστρέφει τινὶ τῶ Β τὸ Γ, τὸ δὲ Α οὐδενὶ τῷ Γ ἐξ ἀνάγκης, οὐδὲ τῷ Β τινὶ ὑπάρξει ἐξ ἀνάγκης τὸ Α· τὸ γὰρ Β ὑπὸ τὸ Γ ἐστίν. εἰ δὲ τὸ κατηγορικὸν ἀναγκαῖον, οὐκ ἔσται τὸ συμπέρασμα ἀναγκαῖον. ἔστω γὰρ τὸ Β Γ κατηγορικὸν καὶ ἀναγκαῖον, τὸ δὲ Γ στερητικὸν καὶ μὴ ἀναγκαῖον. ἐπεὶ οὖν ἀντιστρέφει τὸ καταφατικόν, ὑπάρξει καὶ τὸ Γ τινὶ τῷ Β ἐξ ἀνάγκης, ὥστʼ εἰ τὸ μὲν Α μηδενὶ τῷ Γ τὸ δὲ Γ τινὶ τῷ Β, τὸ Α τινὶ τῷ Β οὐχ ὑπάρξει· ἀλλ᾿ οὐκ ἐξ [*](31b) ἀνάγκης· δέδεικται γὰρ ἐν τῷ πρώτῳ σχήματι ὅτι τῆς στερητικῆς προτάσεως μὴ ἀναγκαίας οὔσης οὐδὲ τὸ συμπέρασμα ἔσται ἀναγκαῖον. ἔτι κἂν διὰ τῶν ὅρων εἴη φανερόν. ἔστω γὰρ τὸ μὲν Α ἀγαθόν, τὸ δʼ ἐφʼ Β ζῷον, τὸ δὲ Γ ἵππος. τὸ μὲν οὖν ἀγαθὸν ἐνδέχεται μηδενὶ ἵππῳ ὑπάρχειν, τὸ δὲ ζῷον ἀνάγκη παντὶ ὑπάρχειν· ἀλλʼ οὐκ ἀνάγκη ζῷόν τι μὴ εἶναι ἀγαθόν, εἴπερ ἐνδέχεται πᾶν εἶναι ἀγαθόν. ἢ εἰ μὴ τοῦτο δυνατόν, ἀλλὰ τὸ ἐγρηγορέναι ἢ τὸ καθεύδειν ὅρον θετέον· ἅπαν γὰρ ζῷον δεκτικὸν τούτων.

Εἰ μὲν οὖν οἱ ὅροι καθόλου πρὸς τὸ μέσον εἰσίν, εἴρηται πότε ἔσται τὸ συμπέρασμα ἀναγκαῖον· εἰ δʼ ὁ μὲν καθόλου ὁ δʼ ἐν μέρει, κατηγορικῶν μὲν ὄντων ἀμφοτέρων, ὅταν τὸ καθόλου γένηται ἀναγκαῖον, καὶ τὸ συμπέρασμα ἔσται ἀναγκαῖον. ἀπόδειξις δʼ ἡ αὐτὴ ἣ καὶ πρότερον· ἀντιστρέφει γὰρ καὶ τὸ ἐν μέρει κατηγορικόν. εἰ οὖν ἀνάγκη τὸ Β παντὶ τῷ

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

Εἰ δʼ ὁ μὲν κατηγορικός ὁ δὲ στερητικός τῶν ὅρων, ὅταν μὲν ᾖ τὸ καθόλου στερητικόν τε καὶ ἀναγκαῖον, καὶ τὸ συμπέρασμα ἔσται ἀναγκαῖον· εἰ γὰρ τὸ τῷ Γ μηδενὶ ἐνδέχεται, τὸ δὲ Β τινὶ τῷ Γ ὑπάρχει, τὸ Α τινὶ τῷ Β ἀνάγκη μὴ ὑπάρχειν. ὅταν δὲ τὸ καταφατικόν ἀναγκαῖον τεθῇ, ἢ καθόλου ὂν ἢ ἐν μέρει, ἢ τὸ στερητικόν κατὰ μέρος, οὐκ ἔσται τὸ συμπέρασμα ἀναγκαῖον. τὰ μὲν γὰρ ἄλλα ταὐτὰ ἃ καὶ ἐπὶ τῶν πρότερον ἐροῦμεν, ὅροι δʼ ὅταν μὲν ᾖ καθόλου τὸ κατηγορικόν ἀναγκαῖον, ἐγρήγορσις–ζῶον–ἄνθρωπος, μέσον ἄνθρωπος, [*](32a) ὅταν δʼ ἐν μέρει τό κατηγορικόν ἀναγκαῖον, ἐγρήγορσις–ζῷον–λευκόν· ζῷον μὲν γὰρ ἀνάγκη τινὶ λευκῷ ὑπάρχειν, ἐγρήγορσις δʼ ἐνδέχεται μηδενί, καὶ οὐκ ἀνάγκη τινὶ ζῴῳ μὴ ὑπάρχειν ἐγρήγορσιν. ὅταν δὲ τὸ στερητικόν ἐν μέρει ὂν ἀναγκαῖον ᾖ, δίπουν–κινούμενον–ζῷον, μέσον ζῷον.

Φανερὸν οὖν ὅτι τοῦ μὲν ὑπάρχειν οὐκ ἔστι συλλογισμός, ἐὰν μὴ ἀμφότεραι ὦσιν αἰ προτάσεις ἐν τῷ ὑπάρχειν, τοῦ. δʼ ἀναγκαίου ἔστι καὶ τῆς ἑτέρας μόνον ἀναγκαίας οὔσης. ἐν

13
ἀμφοτέροις δέ, καὶ καταφατικῶν καὶ στερητικῶν ὄντων τῶν συλλογισμῶν, ἀνάγκη τὴν ἑτέραν πρότασιν ὁμοίαν εἶναι τῷ συμπεράσματι. λέγω δὲ τὸ ὁμοίαν, εἰ μὲν ὑπάρχον, ὑπάρχουσαν, εἰ δʼ ἀναγκαῖον, ἀναγκαίαν. ὥστε καὶ τοῦτο δῆλον, ὅτι οὐκ ἔσται τὸ συμπέρασμα οὔτʼ ἀναγκαῖον οὔθʼ ὑπάρχον εἶναι μὴ ληφθείσης ἀναγκαίας ἢ ὑπαρχούσης προτάσεως.

Περὶ μὲν οὖν τοῦ ἀναγκαίου, πῶς γίγνεται καὶ τίνα διαφορὰν

ἔχει πρὸς τὸ ὑπάρχον, εἴρηται σχεδὸν ἱκανῶς· περὶ δὲ τοῦ ἐνδεχομένου μετὰ ταῦτα λέγωμεν πότε καὶ πῶς καὶ διὰ τίνων ἔσται συλλογισμός. λέγω δʼ ἐνδέχεσθαι καὶ τὸ ἐνδεχόμενον, οὗ μὴ ὄντος ἀναγκαίου, τεθέντος δʼ ὑπάρχειν, οὐδὲν ἔσται διὰ τοῦτʼ ἀδύνατον· τὸ γὰρ ἀναγκαῖον ὁμωνύμως ἐνδέχεσθαι λέγομεν. ὅτι δὲ τοῦτʼ ἔστι τὸ ἐνδεχόμενον, φανερὸν ἔκ τε τῶν ἀποφάσεων καὶ τῶν καταφάσεων τῶν ἀντικειμένων· τὸ γὰρ οὐκ ἐνδέχεται ὑπάρχειν καὶ ἀδύνατον ὑπάρχειν καὶ ἀνάγκτη μὴ ὑπάρχειν ἤτοι ταὐτά ἐστιν ἢ ἀκολουθεῖ ἀλλήλοις, ὥστε καὶ τὰ ἀντικείμενα, τὸ ἐνδέχεται ὑπάρχειν καὶ οὐκ ἀδύνατον ὑπάρχειν καὶ οὐκ ἀνάγκη μὴ ὑπάρχειν, ἤτοι ταὐτὰ ἔσται ἢ ἀκολουθοῦντα ἀλλήλοις· κατὰ παντὸς γὰρ ἡ φάσις ἢ ἡ ἀπόφασις. ἔσται ἄρα τὸ ἐνδεχόμενον οὐκ ἀναγκαῖον καὶ τὸ μὴ ἀναγκαῖον ἐνδεχόμενον. συμβαίνει δὲ πάσας τὰς κατὰ τὸ ἐνδέχεσθαι προτάσεις ἀντιστρέφειν ἀλλήλαις. λέγω δὲ οὐ τὰς καταφατικὰς ταῖς ἀποφατικαῖς, ἀλλʼ ὅσαι καταφατικὸν ἔχουσι τὸ σχῆμα κατὰ τὴν ἀντίθεσιν, οἷον τὸ ἐνδέχεσθαι ὑπάρχειν τῷ ἐνδέχεσθαι μὴ ὑπάρχειν, καὶ τὸ παντὶ ἐνδέχεσθαι τῷ ἐνδέχεσθαι μηδενὶ καὶ μὴ παντί, καὶ τὸ τινὶ τῷ μὴ τινί. τὸν αὐτὸν δὲ τρόπον καὶ ἐπὶ τῶν ἄλλων. ἐπεὶ γὰρ τὸ ἐνδεχόμενον οὐκ ἔστιν ἀναγκαῖον, τὸ δὲ μὴ ἀναγκαῖον ἐγχωρεῖ μὴ ὑπάρχειν, φανερὸν ὅτι, εἰ ἐνδέχεται τὸ Α τῷ Β ὑπάρχειν, ἐνδέχεται καὶ μὴ ὑπάρχειν· καὶ εἰ παντὶ ἐνδέχεται ὑπάρχειν, καὶ παντὶ ἐνδέχεται μὴ ὑπάρχειν. ὁμοίως δὲ κἀπὶ τῶν ἐν μέρει καταφάσεων· ἡ γὰρ αὐτὴ ἀπόδειξις. εἰσὶ δʼ αἱ τοιαῦται προτάσεις κατηγορικαὶ καὶ [*](32b) οὐ στερητικαί· τὸ γὰρ ἐνδέχεσθαι τῷ εἶναι ὁμοίως τάττεται, καθάπερ ἐλέχθη πρότερον.

22

Διωρισμένων δὲ τούτων πάλιν λέγωμεν ὅτι τὸ ἐνδέχεσθαι κατὰ δύο λέγεται τρόπους, ἕνα μὲν τὸ ὡς ἐπὶ τὸ πολὺ γίνεσθαι καὶ διαλείπειν τὸ ἀναγκαῖον, οἷον τὸ πολιοῦσθαι ἄνθρωπον ἢ τὸ αὐξάνεσθαι ἢ φθίνειν, ἢ ὅλως τὸ πεφυκὸς ὑπάρχειν (τοῦτο γὰρ οὐ συνεχὲς μὲν ἔχει τὸ ἀναγκαῖον διὰ τὸ μὴ ἀεὶ εἶναι ἄνθρωπον, ὄντος μέντοι ἀνθρώπου ἢ ἐξ ἀνάγκης ἢ ὡς ἐπὶ τὸ πολύ ἐστιν), ἄλλον δὲ τὸ ἀόριστον, ὃ καὶ οὕτως καὶ μὴ οὕτως δυνατόν, οἷον τὸ βαδίζειν ζῷον ἢ βαδίζοντος γενέσθαι σεισμόν, ἢ ὅλως τὸ ἀπὸ τύχης γινόμενον· οὐδὲν γὰρ μᾶλλον οὕτως πέφυκεν ἢ ἐναντίως. ἀντιστρέφει μὲν οὖν καὶ κατὰ τὰς ἀντικειμένας προτάσεις ἑκάτερον τῶν ἐνδεχομένων, οὐ μὴν τὸν αὐτόν γε τρόπον, ἀλλὰ τὸ μὲν πεφυκὸς εἶναι τῷ μὴ ἐξ ἀνάγκης ὑπάρχειν (οὕτω γὰρ ἐνδέχεται μὴ πολιοῦσθαι ἄνθρωπον), τὸ δʼ ἀόριστον τῷ μηδὲν μᾶλλον οὕτως ἢ ἐκείνως. ἐπιστήμη δὲ καὶ συλλογισμός ἀποδεικτικὸς τῶν μὲν ἀορίστων οὐκ ἔστι διὰ τὸ ἄτακτον εἶναι τὸ μέσον, τῶν δὲ πεφυκότων ἔστι, καὶ σχεδὸν οἱ λόγοι καὶ αἱ σκέψεις γίνονται περὶ τῶν οὕτως ἐνδεχομένων· ἐκείνων δʼ ἐγχωρεῖ μὲν γενέσθαι συλλογισμόν, οὐ μὴν εἴωθέ γε ζητεῖσθαι.

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

23

Ὅταν οὖν τὸ παντὶ τῷ Β ἐνδέχηται καὶ τὸ Β παντὶ τῷ Γ, συλλογισμὸς ἔσται τέλειος ὅτι τὸ Α παντὶ τῷ Γ ἐνδέχεται ὑπάρχειν. τοῦτο δὲ φανερὸν ἐκ τοῦ ὁρισμοῦ· τὸ γὰρ ἐνδέχεσθαι παντὶ ὑπάρχειν οὕτως ἐλέγομεν. ὁμοίως δὲ καὶ [*](33a) εἰ τὸ μὲν Α ἐνδέχεται μηδενὶ τῷ Β, τὸ δὲ Β παντὶ τῷ Γ, ὅτι τὸ ἐνδέχεται μηδενὶ τῷ Γ· τὸ γὰρ καθʼ οὗ τὸ Β ἐνδέχεται, τὸ Α μὴ ἐνδέχεσθαι, τοῦτʼ ἦν τὸ μηδὲν ἀπολείπειν τῶν ὑπὸ τὸ Β ἐνδεχομένων. ὅταν δὲ τὸ παντὶ τῷ Β ἐνδέχηται, τὸ δὲ Β ἐνδέχηται μηδενὶ τῷ Γ, διὰ μὲν τῶν εἰλημμένων προτάσεων οὐδεὶς γίνεται συλλογισμός, ἀντιστραφείσης δὲ τῆς Β Γ κατὰ τὸ ἐνδέχεσθαι γίνεται ὁ αὐτὸς ὅσπερ πρότερον. ἐπεὶ γὰρ ἐνδέχεται τὸ Β μηδενὶ τῷ Γ ὑπάρχειν, ἐνδέχεται καὶ παντὶ ὑπάρχειν· τοῦτο δʼ εἴρηται πρότερον. ὥστʼ εἰ τὸ μὲν Β παντὶ τῷ Γ, τὸ δʼ Α παντὶ τῷ Β, πάλιν ὁ αὐτὸς γίνεται συλλογισμός. ὁμοίως δὲ καὶ εἰ πρὸς ἀμφοτέρας τὰς προτάσεις ἡ ἀπόφασις τεθείη μετὰ τοῦ ἐνδέχεσθαι. λέγω δʼ οἷον εἰ τὸ ἐνδέχεται μηδενὶ τῷ Β καὶ τὸ Β μηδενὶ τῷ Γ· διὰ μὲν γὰρ τῶν εἰλημμένων προτάσεων οὐδεὶς γίνεται συλλογισμός, ἀντιστρεφομένων δὲ πάλιν ὁ αὐτὸς ἔσται ὅσπερ καὶ πρότερον. φανερὸν οὖν ὅτι τῆς ἀποφάσεως τιθεμέντης πρὸς τὸ ἔλαττον ἄκρον ἢ πρὸς ἀμφοτέρας τὰς προτάσεις ἢ οὐ γίνεται συλλογισμὸς ἢ γίνεται μὲν ἀλλʼ οὐ τέλειος· ἐκ γὰρ τῆς ἀντιστροφῆς περαίνεται τὸ ἀναγκαῖον.

Ἐὰν δʼ ἡ μὲν καθόλου τῶν προτάσεων ἡ δʼ ἐν μέρει ληφθῇ, πρὸς μὲν τὸ μεῖζον ἄκρον κειμένης τῆς καθόλου συλλογισμὸς ἔσται τέλειος]. εἰ γὰρ τὸ παντὶ τῷ Β ἐνδέχεται, τὸ δὲ Β τινὶ τῷ Γ, τὸ Α τινὶ τῷ Γ ἐνδέχεται. τοῦτο δὲ φανερὸν ἐκ τοῦ ὁρισμοῦ τοῦ ἐνδέχεσθαι. πάλιν εἰ τὸ ἐνδέχεται μηδενὶ τῷ Β, τὸ δὲ Β τινὶ τῷ Γ ἐνδέχεται ὑπάρχειν, ἀνάγκη τὸ Α ἐνδέχεσθαί τινι τῶν Γ μὴ ὑπάρχειν·. ἀπόδειξις δʼ ἡ αὐτή. ἐὰν δὲ στερητικὴ ληφθῇ ἡ ἐν μέρει πρότασις, ἡ δὲ καθάλου καταφατική, τῇ δὲ θέσει ὁμοίως ἔχωσιν (οἷον τὸ μὲν παντὶ τῷ Β ἐνδέχεται, τὸ δὲ Β τινὶ τῷ Γ ἐνδέχεται μὴ ὑπάρχειν), διὰ μὲν

24
τῶν εἰλημμένων προτάσεων οὐ γίνεται φανερός συλλογισμός, ἀντιστραφείσης δὲ τῆς ἐν μέρει καὶ τεθέντος τοῦ Β τινὶ τῷ Γ ἐνδέχεσθαι ὑπάρχειν τὸ αὐτὸ ἔσται συμπέρασμα ὃ καὶ πρότερον, καθάπερ ἐν τοῖς ἐξ ἀρχῆς.

Ἐὰν δʼ ἡ πρὸς τὸ μεῖζον ἄκρον ἐν μέρει ληφθῇ, ἡ δὲ πρὸς τὸ ἔλαττον καθόλου, ἐάν τʼ ἀμφότεραι καταφατικαὶ τεθῶσιν ἐάν τε στερητικαὶ ἐάν τε μὴ ὁμοιοσχήμονες, ἐάν τʼ ἀμφότεραι ἀδιόριστοι ἢ κατὰ μέρος, οὐδαμῶς ἔσται συλλογισμός· οὐδὲν γὰρ κωλύει τὸ Β ὑπερτείνειν τοῦ Α καὶ μὴ κατηγορεῖσθαι ἐπ᾿ ἴσων· ᾧ δʼ ὑπερτείνει τὸ Β τοῦ Α, εἰλήφθω τὸ Γ· τούτῳ γὰρ οὔτε παντὶ [*](33b) οὔτε μηδενὶ οὔτε τινὶ οὔτε μή τινι ἐνδέχεται τὸ Α ὑπάρχειν, εἴπερ ἀντιστρέφουσιν αἱ κατὰ τὸ ἐνδέχεσθαι προτάσεις καὶ τὸ Β πλείοσιν ἐνδέχεται ἢ τὸ ὑπάρχειν. ἔτι δὲ καὶ ἐκ τῶν ὅρων φανερόν· οὕτω γὰρ ἐχουσῶν τῶν προτάσεων τὸ πρῶτον τῷ ἐσχάτῳ καὶ οὐδενὶ ἐνδέχεται καὶ παντὶ ὑπάρχειν ἀναγκαῖον. ὅροι δὲ κοινοὶ πάντων τοῦ μὲν ὑπάρχειν ἐξ ἀνάγκης ζῷον–λευκόν–ἄνθρωπος, τοῦ δὲ μὴ ἐνδέχεσθαι ζῷον–λευκόν–ἱμάτιον. φανερόν οὖν τοῦτον τὸν τρόπον ἐχόντων τῶν ὅρων ὅτι οὐδεὶς γίνεται συλλογισμός. ἢ γὰρ τοῦ ὑπάρχειν ἢ τοῦ ἐξ ἀνάγκης ἢ τοῦ ἐνδέχεσθαι πᾶς ἐστὶ συλλογισμός. τοῦ μὲν οὖν ὑπάρχειν καὶ τοῦ ἀναγκαίου φανερὸν ὅτι οὐκ ἔστιν· ὁ μὲν γὰρ καταφατικὸς ἀναιρεῖται τῷ στερητικῷ, ὁ δὲ στερητικός τῷ καταφατικῷ. λείπεται δὴ τοῦ ἐνδέχεσθαι εἶναι· τοῦτο δʼ ἀδύνατον· δέδεικται γὰρ ὅτι οὕτως ἐχόντων τῶν ὅρων καὶ παντὶ τῷ ἐσχάτῳ τὸ πρῶτον ἀνάγκη καὶ οὐδενὶ ἐνδέχεται ὑπάρχειν. ὥστʼ οὐκ ἂν εἴη τοῦ ἐνδέχεσθαι συλλογισμός· τὸ γὰρ ἀναγκαῖον οὐκ ἦν ἐνδεχόμενον.

Φανερὸν δὲ ὅτι καθόλου τῶν ὅρων ὄντων ἐν ταῖς ἐνδεχομέναις προτάσεσιν ἀεὶ γίνεται συλλογισμὸς ἐν τῷ πρώτῳ σχήματι, καὶ κατηγορικῶν καὶ στερητικῶν ὄντων, πλὴν κατηγορικῶν μὲν τέλειος, στερητικῶν δὲ ἀτελής. δεῖ δὲ τὸ ἐνδέχεσθαι λαμβάνειν μὴ ἐν τοῖς ἀναγκαίοις, ἀλλὰ κατὰ τὸν εἰρημένον διορισμόν. ἐνίοτε δὲ λανθάνει τὸ τοιοῦτον.

Ἐὰν δʼ ἡ μὲν ὑπάρχειν ἡ δʼ ἐνδέχεσθαι λαμβάνηται τῶν προτάσεων, ὅταν μὲν ἡ πρὸς τὸ μεῖζον ἄκρον ἐνδέχεσθαι

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

Ὅτι μὲν οὖν τοῦ ὑπάρχειν τιθεμένου πρὸς τὸ ἔλαττον ἄκρον [*](34a) τέλειοι γίγνονται συλλογισμοί, φανερόν· ὅτι δʼ ἐναντίως ἔχοντος ἔσονται συλλογισμοί, διὰ τοῦ ἀδυνάτου δεικτέον. ἅμα δʼ ἔσται δῆλον καὶ ὅτι ἀτελεῖς· ἡ γὰρ δεῖξις οὐκ ἐκ τῶν εἰλημμένων προτάσεων. πρῶτον δὲ λεκτέον ὅτι εἰ τοῦ Α ὄντος ἀνάγκη τὸ Β εἶναι, καὶ δυνατοῦ ὄντος τοῦ δυνατὸν ἔσται καὶ τὸ Β ἐξ ἀνάγκης. ἔστω γὰρ οὕτως ἐχόντων τὸ μὲν ἐφʼ ᾧ τὸ Α δυνατόν, τὸ δʼ ἐφʼ ᾧ τὸ Β ἀδύνατον. εἰ οὖν τὸ μὲν δυνατόν, ὅτε δυνατὸν εἶναι, γένοιτʼ ἄν, τὸ δʼ ἀδύνατον, ὅτʼ ἀδύνατον, οὐκ ἂν γένοιτο, ἅμα δʼ εἴη τὸ δυνατὸν καὶ τὸ Β ἀδύνατον, ἐνδέχοιτʼ ἂν τὸ Α γενέσθαι ἄνευ τοῦ Β, εἰ δὲ γενέσθαι, καὶ εἶναι· τὸ γὰρ γεγονός, ὅτε γέγονεν, ἔστιν. δεῖ δὲ λαμβάνειν μὴ μόνον ἐν τῇ γενέσει τὸ ἀδύνατον καὶ δυνατόν, ἀλλὰ καὶ ἐν τῷ ἀληθεύεσθαι καὶ ἐν τῷ ὑπάρχειν, καὶ ὁσαχῶς ἄλλως λέγεται τὸ δυνατόν· ἐν ἅπασι γὰρ ὁμοίως ἕξει. ἔτι τὸ ὄντος τοῦ Α τὸ Β εἶναι, οὐχ ὡς ἑνός τινος ὄντος τοῦ Α τὸ Β ἔσται δεῖ ὑπολαβεῖν· οὐ γὰρ ἔστιν οὐδὲν ἐξ ἀνάγκης ἑνός τινος ὄντος, ἀλλὰ δυοῖν ἐλαχίστοιν, οἷον ὅταν αἱ προτάσεις οὕτως ἔχωσιν ὡς ἐλέχθτη κατὰ τὸν συλλογισμόν. εἰ γὰρ τὸ

26
Γ κατὰ τοῦ Δ, τὸ δὲ Δ κατὰ τοῦ Ζ, καὶ τὸ Γ κατὰ τοῦ Ζ ἐξ ἀνάγκης· καὶ εἰ δυνατὸν ἑκάτερον, καὶ τὸ συμπέρασμα δυνατόν. ὥσπερ οὖν εἴ τις θείη τὸ μὲν Α τὰς προτάσεις, τὸ δὲ Β τὸ συμπέρασμα, συμβαίνοι ἂν οὐ μόνον ἀναγκαίου τοῦ ὄντος ἅμα καὶ τὸ Β εἶναι ἀναγκαῖον, ἀλλὰ καὶ δυνατοῦ δυνατόν. Τούτου δὲ δειχθέντος, φανερὸν ὅτι ψεύδους ὑποτεθέντος καὶ μὴ ἀδυνάτου καὶ τὸ συμβαῖνον διὰ τὴν ὑπόθεσιν; ψεῦδος ἔσται καὶ οὐκ ἀδύνατον. οἷον εἰ τὸ ψεῦδος μέν ἐστι μὴ μέντοι ἀδύνατον, ὄντος δὲ τοῦ τὸ Β ἔστι, καὶ τὸ Β ἔσται ψεῦδος μὲν οὐ μέντοι ἀδύνατον. ἐπεὶ γὰρ δέδεικται ὅτι εἰ τοῦ Α ὄντος τὸ Β ἔστι, καὶ δυνατοῦ ὄντος τοῦ Α ἔσται τὸ Β δυνατόν, ὑπόκειται δὲ τὸ Α δυνατὸν εἶναι, καὶ τὸ ἔσται δυνατόν· εἰ γὰρ ἀδύνατον, ἅμα δυνατὸν ἔσται τὸ αὐτὸ καὶ ἀδύνατον.

Διωρισμένων δὴ τούτων ὑπαρχέτω τὸ Α παντὶ τῷ Β, τὸ δὲ Β παντὶ τῷ Γ ἐνδεγέσθω· ἀνάγκη οὖν τὸ παντὶ τῷ Γ ἐνδέχεσθαι ὑπάρχειν. μὴ γὰρ ἐνδεχέσθω, τὸ δὲ Β παντὶ τῷ Γ κείσθω ὡς ὑπάρχον· τοῦτο δὲ ψεῦδος μέν, οὐ μέντοι ἀδύνατον. εἰ οὖν τὸ μὲν Α μὴ ἐνδέχεται παντὶ τῷ Γ, τὸ δὲ Β παντὶ ὑπάρχει τῷ Γ τὸ οὐ παντὶ τῷ Β ἐνδέχεται· γίνεται γὰρ συλλογισμὸς διὰ τοῦ τρίτου σχήματος. ἀλλʼ ὑπέκειτο παντὶ ἐνδέχεσθαι ὑπάρχειν. ἀνάγκη ἄρα τὸ Α παντὶ [*](34b) τῷ Γ ἐνδέχεσθαι· ψεύδους γὰρ τεθέντος καὶ οὐκ ἀδυνάτου τὸ συμβαῖνόν ἐστιν ἀδύνατον. ἐγχωρεῖ δὲ καὶ διὰ τοῦ πρώτου σχήματος ποιῆσαι τὸ ἀδύνατον, θέντας τῷ Γ τὸ Β ὑπάρχειν. εἰ γὰρ τὸ Β παντὶ τῷ Γ ὑπάρχει, τὸ δὲ Α παντὶ τῷ Β ἐνδέχεται, κἂν τῷ Γ παντὶ ἐνδέχοιτο τὸ Α. ἀλλʼ ὑπέκειτο μὴ παντὶ ἐγχωρεῖν.

Δεῖ δὲ λαμβάνειν τὸ παντὶ ὑπάρχον μὴ κατὰ χρόνον ὁρίσαντας, οἷον νῦν ἢ ἐν τῷδε τῷ χρόνῳ, ἀλλʼ ἁπλῶς· διὰ τοιούτων γὰρ προτάσεων καὶ τοὺς συλλογισμούς ποιοῦμεν, ἐπεὶ κατά γε τὸ νῦν λαμβανομένης τῆς προτάσεως οὐκ ἔσται συλλογισμός· οὐδὲν γὰρ ἴσως κωλύει ποτὲ καὶ παντὶ κινουμένῳ

27
ἄνθρωπον ὑπάρχειν, οἷον εἰ μηδὲν ἄλλο κινοῖτο· τὸ δὲ κινούμενον ἐνδέχεται παντὶ ἵππῳ· ἀλλʼ ἄνθρωπον οὐδενὶ ἵππῳ ἐνδέχεται. ἔτι ἔστω τὸ μὲν πρῶτον ζῷον, τὸ δὲ μέσον κινούμενον, τὸ δʼ ἔσχατον ἄνθρωπος. αἱ μὲν οὖν προτάσεις ὁμοίως ἕξουσι, τὸ δὲ συμπέρασμα ἀναγκαῖον, οὐκ ἐνδεχόμενον· ἐξ ἀνάγκης γὰρ ὁ ἄνθρωπος ζῷον. φανερὸν οὖν ὅτι τὸ καθόλου ληπτέον ἀπλῶς, καὶ οὐ χρόνῳ διορίζοντας.

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

Ἐὰν δὲ τὸ στερητικὸν τεθῇ πρὸς τὸ ἔλαττον ἄκρον ἐνδέχεσθαι σημαῖνον, ἐξ αὐτῶν μὲν τῶν εἰλημμένων προτάσεων

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

Φανερὸν οὖν ὅτι καθόλου τῶν ὅρων ὄντων, καὶ τῆς μὲν ὑπάρχειν τῆς δʼ ἐνδέχεσθαι λαμβανομέντης τῶν προτάσεων, ὅταν ἡ πρός τὸ ἔλαττον ἄκρον ἐνδέχεσθαι λαμβάνηται πρότασις, ἀεὶ γίνεται συλλογισμός, πλὴν ὁτὲ μὲν ἐξ αὐτῶν ὁτὲ δʼ ἀντιστραφείσης τῆς προτάσεως. πότε δὲ τούτων ἑκάτερος καὶ διὰ τίνʼ αἰτίαν, εἰρήκαμεν.

Ἐὰν δὲ τὸ μὲν καθόλου τὸ δʼ ἐν μέρει ληφθῇ τῶν διαστημάτων, ὅταν μὲν τὸ πρὸς τὸ μεῖον ἄκρον καθόλου τεθῇ καὶ ἐνδεχόμενον, εἴτʼ ἀποφατικὸν εἴτε καταφατικόν, τὸ δʼ ἐν μέρει καταφατικόν καὶ ὑπάρχον, ἔσται συλλογισμὸς τέλειος, καθάπερ καὶ καθόλου τῶν ὅρων ὄντων. ἀπόδειξις δʼ ἡ αὐτὴ ἣ καὶ πρότερον. ὅταν δὲ καθόλου μὲν ᾖ τὸ πρὸς τὸ μεῖζον ἄκρον, ὑπάρχον δέ καὶ μὴ ἐνδεχόμενον, θάτερον δʼ ἐν μέρει καὶ ἐνδεχόμενον, ἐάν τʼ ἀποφατικαὶ ἐάν τε καταφατικαὶ τεθῶσιν ἀμφότεραι, ἐάν

29
τε ἡ μὲν ἀποφατικὴ ἡ δὲ καταφατική, πάντως ἔσται συλλογισμὸς ἀτελής. πλὴν οἱ μὲν διὰ τοῦ ἀδυνάτου δειχθήσονται, οἱ δὲ καὶ διὰ τῆς ἀντιστροφῆς τῆς τοῦ ἐνδέχεσθαι, καθάπερ ἐν [*](35b) τοῖς πρότερον. ἔσται δὲ συλλογισμὸς διὰ τῆς ἀντιστροφῆς καὶ ὅταν ἡ μὲν καθόλου πρὸς τὸ μεῖζον ἄκρον τεθεῖσα σημαίνῃ τὸ ὑπάρχειν ἢ μὴ ὑπάρχειν, ἡ δʼ ἐν μέρει στερητικὴ οὖσα τὸ ἐνδέχεσθαι λαμβάνῃ, οἷον εἰ τὸ μὲν παντὶ τῷ Β ὑπάρχει ἢ μὴ ὑπάρχει, τὸ δὲ Β τινὶ τῷ Γ ἐνδέχεται μὴ ὑπάρχειν· ἀντιστραφέντος γὰρ τοῦ Β Γ κατὰ τὸ ἐνδέχεσθαι γίνεται συλλογισμός. ὅταν δὲ τὸ μὴ ὑπάρχειν λαμβάνῃ ἡ κατὰ μέρος τεθεῖσα, οὐκ ἔσται συλλογισμός. ὅροι τοῦ μὲν ὑπάρχειν λευκόν–ζῷον–χιών, τοῦ δὲ μὴ ὑπάρχειν λευκόν–ζῷον–πίττα· διὰ γὰρ τοῦ ἀδιορίστου ληπτέον τὴν ἀπόδειξιν. ἐὰν δὲ τὸ καθόλου τεθῇ πρὸς τὸ ἔλαττον ἄκρον, τὸ δʼ ἐν μέρει πρὸς τὸ μεῖζον, ἐάν τε στερητικὸν ἐάν τε καταφατικόν, ἐάν τʼ ἐνδεχόμενον ἐάν θʼ ὑπάρχον ὁποτερονοῦν, οὐδαμῶς ἔσται συλλογισμός.

Οὐδ᾿ ὅταν ἐν μέρει ἢ ἀδιόριστοι τεθῶσιν αἱ προτάσεις, εἴτʼ ἐνδέχεσθαι λαμβάνουσαι εἴθ᾿ ὑπάρχειν εἴτʼ ἐναλλάξ, οὐδʼ οὕτως ἔσται συλλογισμός. ἀπόδειξις δʼ ἡ αὐτὴ ἥπερ κἀπὶ τῶν πρότερον. ὅροι δὲ κοινοὶ τοῦ μὲν ὑπάρχειν ἐξ ἀνάγκης ζῷον–λευκόν–ἄνθραωπος, τοῦ δὲ μὴ ἐνδέχεσθαι ζῷον–λευκόν–ἱμάτιον. φανερὸν οὖν ὅτι τοῦ μὲν πρὸς τὸ μεῖζον ἄκρον καθόλου τεθέντος ἀεὶ γίνεται συλλογισμός, τοῦ δὲ πρὸς τὸ ἔλαττον οὐδέποτʼ οὐδενός.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

38

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