Analytica priora
Aristotle
Aristotle. Aristotelis Opera, Volume 1. Bekker, Immanuel, editor. Oxford: Oxford University Press, 1837.
Ἐν δὲ τῷ μέσῳ σχήματι πάντως ἐγχωρεῖ διὰ ψευδῶν ἀληθὲς συλλογίσασθαι, καὶ ἀμφοτέρων τῶν προτάσεων ὅλων ψευδῶν λαμβανομένων καὶ ἐπί τι ἑκατέρας, καὶ τῆς μὲν ἀληθοῦς τῆς δὲ ψευδοῦς οὔσης ὅλης, ὁποτερασοῦν ψευδοῦς τιθεμένης, καὶ εἰ ἀμφότεραι ἐπί τι ψευδεῖς, καὶ εἰ ἡ μὲν ἁπλῶς ἀληθὴς ἡ δ᾿ ἐπί τι ψευδής, καὶ εἰ ἡ μὲν ὅλη ψευδὴς ἡ δ᾿ ἐπί τι ἀληθής, καὶ ἐν τοῖς καθόλου καὶ ἐπὶ τῶν ἐν μέρει συλλογισμῶν. Εἰ γὰρ τὸ Α τῷ μὲν Β μηδενὶ ὑπάρχει τῷ δὲ Γ παντί, οἷον ζῷον λίθῳ μὲν οὐδενὶ ἵππῳ δὲ παντί, ἐὰν ἐναντίως τεθῶσιν αἱ προτάσεις καὶ ληφθῇ τὸ Α τῷ μὲν Β παντὶ τῷ δὲ Γ μηδενί, ἐκ ψευδῶν ὅλων τῶν προτάσεων ἀληθὲς ἔσται τὸ συμπέρασμα. Ὁμοίως δὲ καὶ εἰ τῷ μὲν Β παντὶ τῷ δὲ Γ μηδενὶ ὑπάρχει τὸ Α· ὁ γὰρ αὐτὸς ἔσται συλλογισμός. Πάλιν εἰ ἡ μὲν ἑτέρα ὅλη ψευδὴς ἡ δ᾿ ἑτέρα ὅλη ἀληθής· οὐδὲν γὰρ κωλύει τὸ Α καὶ τῷ Β καὶ τῷ Γ παντὶ ὑπάρχειν, τὸ μέντοι Β μηδενὶ τῷ Γ, οἷον τὸ γένος τοῖς μὴ ὑπ᾿ ἄλληλα εἴδεσιν. Τὸ γὰρ ζῷον καὶ ἵππῳ παντὶ καὶ ἀνθρώπῳ, καὶ οὐδεὶς ἄνθρωπος ἵππος. Ἐὰν οὖν ληφθῇ τὸ ζῷον τῷ μὲν παντὶ τῷ δὲ μηδενὶ ὑπάρχειν, ἡ μὲν ὅλη ψευδὴς ἔσται ἡ δ᾿
Φανερὸν δὲ καὶ ἐπὶ τῶν ἐν μέρει συλλογισμῶν· οὐδὲν γὰρ κωλύει τὸ Α τῷ μὲν Β παντὶ τῷ δὲ Γ τινὶ ὑπάρχειν, καὶ τὸ Β τῷ Γ τινὶ μὴ ὑπάρχειν, οἷον ζῷον παντὶ ἀνθρώπῳ λευκῷ δὲ τινί, ἄνθρωπος δὲ τινὶ λευκῷ οὐχ ὑπάρξει. Ἑὰν οὖν τεθῇ τὸ Α τῷ μὲν Β μηδενὶ ὑπάρχειν τῷ δὲ Γ τινὶ ὑπάρχειν, ἡ μὲν καθόλου πρότασις ὅλη ψευδής, ἡ δ᾿ ἐν μέρει ἀληθής, καὶ τὸ συμπέρασμα ἀληθές. Ὡσαύτως δὲ καὶ καταφατικῆς λαμβανομένης τῆς Α Β· ἐγχωρεῖ γὰρ τὸ Α τῷ μὲν Β μηδενὶ τῷ δὲ Γ τινὶ μὴ ὑπάρχειν, καὶ τὸ Β τῷ Γ τινὶ μὴ ὑπάρχειν,
Ἔσται δὲ καὶ ἐν τῷ ἐσχάτῳ σχήματι διὰ ψευδῶν ἀληθές, καὶ ἀμφοτέρων ψευδῶν οὐσῶν ὅλων καὶ ἐπί τι ἑκατέρας,
Φανερὸν δὲ καὶ ἐπὶ τῶν ἐν μέρει συλλογισμῶν ὅτι πάντως ἔσται διὰ ψευδῶν ἀληθές. Οἱ γὰρ αὐτοὶ ὅροι ληπτέοι καὶ ὅταν καθόλου ὦσιν αἱ προτάσεις, οἱ μὲν ἐν τοῖς κατηγορικοῖς, κατηγορικοί, οἱ δ᾿ ἐν τοῖς στερητικοῖς στερητικοί. Οὐδὲν γὰρ διαφέρει μηδενὶ ὑπάρχοντος παντὶ λαβεῖν ὑπάρχειν, καὶ τινὶ ὑπάρχοντος καθόλου λαβεῖν ὑπάρχειν πρὸς τὴν τῶν ὅρων ἔκθεσιν. Ὁμοίως δὲ καὶ ἐπὶ τῶν στερητικῶν.
Φανερὸν οὖν ὅτι ἂν μὲν ᾖ τὸ συμπέρασμα ψεῦδος, ἀνάγκη, ἐξ ὧν ὁ λόγος, ψευδῆ εἶναι ἢ πάντα ἢ ἔνια, ὅταν δ᾿ ἀληθές, οὐκ ἀνάγκη ἀληθὲς εἶναι οὔτε τὶ οὔτε πάντα, ἀλλ᾿ ἔστι μηδενὸς ὄντος ἀληθοῦς τῶν ἐν τῷ συλλογισμῷ τὸ συμπέρασμα ὁμοίως εἶναι ἀληθές, οὐ μὴν ἐξ ἀνάγκης. Αἴτιον δ᾿ ὅτι ὅταν δύο ἔχῃ οὕτω πρὸς ἄλληλα ὥστε θατέρου ὄντος ἐξ ἀνάγκης εἶναι θάτερον, τούτου μὴ ὄντος μὲν οὐδὲ θάτερον ἔσται, ὄντος δ᾿ οὐκ ἀνάγκη εἶναι θάτερον. Τοῦ δ᾿ αὐτοῦ ὄντος καὶ μὴ ὄντος, ἀδύνατον ἐξ ἀνάγκης εἶναι τὸ αὐτό. Λέγω δ᾿ οἷον τοῦ Α ὄντος λευκοῦ τὸ Β εἶναι μέγα ἐξ ἀνάγκης, καὶ μὴ ὄντος λευκοῦ τοῦ Α τὸ Β εἶναι μέγα ἐξ ἀνάγκης. Ὅταν γὰρ τουδὶ ὄντος λευκοῦ τοῦ Α τοδὶ ἀνάγκη μέγα εἶναι τὸ Β, μεγάλου δὲ τοῦ Β ὄντος τὸ Γ μὴ λευκόν, ἀνάγκη, εἰ τὸ Α λευκόν, τὸ Γ μὴ εἶναι λευκόν. Καὶ ὅταν δύο ὄντων θατέρου ὄντος ἀνάγκη θάτερον εἶναι, τούτου μὴ ὄντος ἀνάγκη τὸ Α μὴ εἶναι. Τοῦ δὴ Β μὴ ὄντος μεγάλου τὸ Α οὐχ οἷόν τε λευκὸν εἶναι. Τοῦ δὲ Α μὴ ὄντος λευκοῦ, εἰ ἀνάγκη τὸ Β μέγα εἶναι, συμβαίνει ἐξ ἀνάγκης τοῦ Β μεγάλου μὴ ὄντος αὐτὸ τὸ Β εἶναι μέγα. Τοῦτο δ᾿ ἀδύνατον. Εἰ γὰρ τὸ Β μὴ ἔστι μέγα, τὸ Α οὐκ ἔσται λευκὸν ἐξ ἀνάγκης. Εἰ οὖν μὴ ὄντος τούτου λευκοῦ τὸ Β ἔσται μέγα, συμβαίνει, εἰ τὸ Β μή ἐστι μέγα, εἶναι μέγα, ὡς διὰ τριῶν.
Τὸ δὲ κύκλῳ καὶ ἐξ ἀλλήλων δείκνυσθαί ἐστι τὸ διὰ τοῦ συμπεράσματος καὶ τοῦ ἀνάπαλιν τῇ κατηγορίᾳ τὴν ἑτέραν λαβόντα πρότασιν συμπεράνασθαι τὴν λοιπήν, ἣν ἐλάμβανεν
Ἐπὶ δὲ τῶν στερητικῶν συλλογισμῶν ὧδε δείκνυται ἐξ ἀλλήλων. Ἔστω τὸ μὲν Β παντὶ τῷ Γ ὑπάρχον, τὸ δὲ Α οὐδενὶ τῶν Β· συμπέρασμα ὅτι τὸ Α οὐδενὶ τῶν Γ. Εἰ δὴ πάλιν δεῖ συμπεράνασθαι ὅτι τὸ Α οὐδενὶ τῶν Β, ὃ πάλαι ἔλαβεν, ἔσται τὸ μὲν Α μηδενὶ τῷ Γ, τὸ δὲ Γ παντὶ τῷ Β· οὕτω γὰρ ἀνάπαλιν ἡ πρότασις. Εἰ δ᾿ ὅτι τὸ Β τῷ Γ δεῖ συμπεράνασθαι, οὐκέθ᾿ ὁμοίως ἀντιστρεπτέον τὸ Α Β· ἡ γὰρ αὐτὴ πρότασις, τὸ Β μηδενὶ τῷ Α καὶ τὸ Α μηδενὶ τῷ Β ὑπάρχειν. Ἀλλὰ ληπτέον, ᾧ τὸ Α μηδενὶ ὑπάρχει, τὸ Β παντὶ ὑπάρχειν. Ἔστω τὸ Α μηδενὶ τῶν Γ ὑπάρχειν, ὅπερ ἦν τὸ συμπέρασμα· ᾧ δὲ τὸ Α μηδενί, τὸ Β εἰλήφθω παντὶ ὑπάρχειν· ἀνάγκη οὖν τὸ Β παντὶ τῷ Γ ὑπάρχειν. Ὥστε τριῶν ὄντων ἕκαστον συμπέρασμα γέγονε, καὶ τὸ κύκλῳ ἀποδεικνύναι τοῦτ᾿ ἔστι, τὸ συμπέρασμα λαμβάνοντα καὶ ἀνάπαλιν τὴν ἑτέραν πρότασιν τὴν λοιπὴν συλλογίζεσθαι.
Ἐπὶ δὲ τῶν ἐν μέρει συλλογισμῶν τὴν μὲν καθόλου πρότασιν οὐκ ἔστιν ἀποδεῖξαι διὰ τῶν ἑτέρων, τὴν δὲ κατὰ μέρος ἔστιν. Ὅτι μὲν οὖν οὐκ ἔστιν ἀποδεῖξαι τὴν καθόλου, φανερόν· τὸ μὲν γὰρ καθόλου δείκνυται διὰ τῶν καθόλου, τὸ δὲ συμπέρασμα οὐκ ἔστι καθόλου, δεῖ δ᾿ ἐκ τοῦ συμπεράσματος δεῖξαι καὶ τῆς ἑτέρας προτάσεως. Ἔτι ὅλως οὐδὲ γίνεται συλλογισμὸς ἀντιστραφείσης τῆς προτάσεως· ἐν μέρει γὰρ ἀμφότεραι γίνονται αἱ προτάσεις. Τὴν δ᾿ ἐπὶ μέρους ἔστιν. Δεδείχθω γὰρ τὸ Α κατὰ τινὸς τοῦ Γ διὰ τοῦ Β. Ἐὰν οὖν ληφθῇ τὸ Β παντὶ τῷ Α καὶ τὸ συμπέρασμα μένῃ, τὸ Β
Ἐν δὲ τῷ δευτέρῳ σχήματι τὸ μὲν καταφατικὸν οὐκ ἔστι δεῖξαι διὰ τούτου τοῦ τρόπου, τὸ δὲ στερητικὸν ἔστιν. Τὸ μὲν οὖν κατηγορικὸν οὐ δείκνυται διὰ τὸ μὴ ἀμφοτέρας εἶναι τὰς προτάσεις καταφατικάς· τὸ γὰρ συμπέρασμα στερητικόν ἐστι, τὸ δὲ κατηγορικὸν ἐξ ἀμφοτέρων ἐδείκνυτο καταφατικῶν. Τὸ δὲ στερητικὸν ὧδε δείκνυται. Ὑπαρχέτω τὸ Α παντὶ τῷ Β, τῷ δὲ Γ μηδενί· συμπέρασμα τὸ Β οὐδενὶ τῷ Γ. Ἐὰν οὖν ληφθῇ τὸ Β παντὶ τῷ Α ὑπάρχον, τῷ δὲ Γ μηδενί, ἀνάγκη τὸ Α μηδενὶ τῷ Γ ὑπάρχειν· γίνεται γὰρ τὸ δεύτερον σχῆμα, μέσον τὸ Β. Εἰ δὲ τὸ Α Β στερητικὸν ἐλήφθη, θάτερον δὲ κατηγορικόν, τὸ πρῶτον ἔσται σχῆμα. Τὸ μὲν γὰρ Γ παντὶ τῷ Α, τὸ δὲ Β οὐδενὶ τῷ Γ, ὥστ᾿ οὐδενὶ τῷ Α τὸ Β· οὐδ᾿ ἄρα τὸ Α τῷ Β. Διὰ μὲν οὖν τοῦ συμπεράσματος καὶ τῆς μιᾶς προτάσεως οὐ γίνεται συλλογισμός, προσληφθείσης δ᾿ ἑτέρας ἔσται. Ἢν δὲ μὴ καθόλου ὁ συλλογισμὸς ᾖ, ἡ μὲν ἐν ὅλῳ πρότασις οὐ δείκνυται διὰ τὴν αὐτὴν αἰτίαν ἥνπερ εἴπομεν καὶ πρότερον, ἡ δ᾿ ἐν μέρει δείκνυται, ὅταν ᾖ τὸ καθόλου κατηγορικόν. Ὑπαρχέτω γὰρ τὸ Α παντὶ τῷ Β, τῷ δὲ Γ μὴ παντί· συμπέρασμα Β Γ. Ἐὰν οὖν ληφθῇ τὸ Β παντὶ τῷ Α, τῷ δὲ Γ οὐ παντί, τὸ Α τινὶ τῷ Γ οὐχ ὑπάρξει· μέσον Β. Εἰ δ᾿ ἐστὶν ἡ καθόλου στερητική, οὐ δειχθήσεται ἡ Α Γ πρότασις ἀντιστραφέντος τοῦ Α Β· συμβαίνει γὰρ ἢ ἀμφοτέρας ἢ
Ἐπὶ δὲ τοῦ τρίτου σχήματος ὅταν μὲν ἀμφότεραι αἱ προτάσεις καθόλου ληφθῶσιν, οὐκ ἐνδέχεται δεῖξαι δι᾿ ἀλλήλων· τὸ μὲν γὰρ καθόλου δείκνυται διὰ τῶν καθόλου, τὸ δ᾿ ἐν τούτῳ συμπέρασμα ἀεὶ κατὰ μέρος, ὥστε φανερὸν ὅτι ὅλως οὐκ ἐνδέχεται δεῖξαι διὰ τούτου τοῦ σχήματος τὴν καθόλου πρότασιν. Ἐὰν δ᾿ ἡ μὲν ᾖ καθόλου ἡ δ᾿ ἐν μέρει, ποτὲ μὲν ἔσται ποτὲ δ᾿ οὐκ ἔσται. Ὅταν μὲν οὖν ἀμφότεραι κατηγορικαὶ ληφθῶσι καὶ τὸ καθόλου γένηται πρὸς τῷ ἐλάττονι ἄκρῳ, ἔσται, ὅταν δὲ πρὸς θατέρῳ, οὐκ ἔσται. Ὑπαρχέτω γὰρ τὸ Α παντὶ τῷ Γ, τὸ δὲ Β τινί· συμπέρασμα τὸ Α Β. Ἐὰν οὖν ληφθῇ τὸ Γ παντὶ τῷ Α ὑπάρχειν, τὸ μὲν Γ δέδεικται τινὶ τῷ Β ὑπάρχον, τὸ δὲ Β τινὶ τῷ Γ οὐ δέδεικται. Καίτοι ἀνάγκη, εἰ τὸ Γ τινὶ τῷ Β, καὶ τὸ Β τινὶ τῷ Γ ὑπάρχειν. Ἀλλ᾿ οὐ ταὐτόν ἐστι τόδε τῷδε καὶ τόδε τῷδε ὑπάρχειν· ἀλλὰ προσληπτέον, εἰ τόδε τινὶ τῷδε, καὶ θάτερον τινὶ τῷδε. Τούτου δὲ ληφθέντος οὐκέτι γίνεται ἐκ τοῦ συμπεράσματος καὶ τῆς ἑτέρας προτάσεως ὁ συλλογισμός. Εἰ δὲ τὸ μὲν Β παντὶ τῷ Γ, τὸ δὲ Α τινὶ τῷ Γ, ἔσται δεῖξαι τὸ Α Γ, ὅταν ληφθῇ τὸ μὲν Γ παντὶ τῷ Β ὑπάρχειν, τὸ δὲ Α τινί. Εἰ γὰρ τὸ Γ παντὶ τῷ Β, τὸ δὲ Α τινὶ τῷ Β, ἀνάγκη τὸ Α τινὶ τῷ Γ ὑπάρχειν· μέσον τὸ Β. Καὶ ὅταν ᾖ ἡ μὲν κατηγορικὴ ἡ δὲ στερητική, καθόλου δ᾿ ἡ κατηγορική, δειχθήσεται ἡ ἑτέρα. Ὑπαρχέτω γὰρ τὸ Β παντὶ τῷ Γ, τὸ δὲ Α τινὶ μὴ ὑπαρχέτω· συμπέρασμα ὅτι τὸ Α τινὶ τῷ Β οὐχ ὑπάρχει. Ἐὰν οὖν προσληφθῇ τὸ Γ παντὶ τῷ Β ὑπάρχειν, ἀνάγκη τὸ Α τινὶ τῷ Γ μὴ ὑπάρχειν· μέσον τὸ Β. Ὅταν δ᾿ ἡ στερητικὴ καθόλου γένηται, οὐ δείκνυται ἡ ἑτέρα, εἰ μὴ ὥσπερ ἐπὶ τῶν πρότερον, ἐὰν ληφθῇ, ᾧ τοῦτο τινὶ μὴ ὑπάρχει,
Φανερὸν οὖν ὅτι ἐν μὲν τῷ πρώτῳ σχήματι ἡ δι᾿ ἀλλήλων δεῖξις διά τε τοῦ τρίτου καὶ διὰ τοῦ πρώτου γίνεται σχήματος. Κατηγορικοῦ μὲν γὰρ ὄντος τοῦ συμπεράσματος διὰ τοῦ πρώτου, στερητικοῦ δὲ διὰ τοῦ ἐσχάτου· λαμβάνεται γάρ, ᾧ τοῦτο μηδενί, θάτερον παντὶ ὑπάρχειν. Ἐν δὲ τῷ μέσῳ καθόλου μὲν ὄντος τοῦ συλλογισμοῦ δι᾿ αὐτοῦ τε καὶ διὰ τοῦ πρώτου σχήματος, ὅταν δ᾿ ἐν μέρει, δι᾿ αὐτοῦ τε καὶ τοῦ ἐσχάτου. Ἐν δὲ τῷ τρίτῳ δι᾿ αὐτοῦ πάντες. Φανερὸν δὲ καὶ ὅτι ἐν τῷ τρίτῳ καὶ τῷ μέσῳ οἱ μὴ δι᾿ αὐτῶν γινόμενοι συλλογισμοὶ ἢ οὐκ εἰσὶ κατὰ τὴν κύκλῳ δεῖξιν ἢ ἀτελεῖς.
Τὸ δ᾿ ἀντιστρέφειν ἐστὶ τὸ μετατιθέντα τὸ συμπέρασμα ποιεῖν τὸν συλλογισμὸν ὅτι ἢ τὸ ἄκρον τῷ μέσῳ οὐχ ὑπάρξει ἢ τοῦτο τῷ τελευταίῳ. Ἀνάγκη γὰρ τοῦ συμπεράσματος ἀντιστραφέντος καὶ τῆς ἑτέρας μενούσης προτάσεως ἀναιρεῖσθαι τὴν λοιπήν· εἰ γὰρ ἔσται, καὶ τὸ συμπέρασμα ἔσται. Διαφέρει δὲ τὸ ἀντικειμένως ἢ ἐναντίως ἀντιστρέφειν τὸ συμπέρασμα· οὐ γὰρ ὁ αὐτὸς γίνεται συλλογισμὸς ἑκατέρως ἀντιστραφέντος· δῆλον δὲ τοῦτ᾿ ἔσται διὰ τῶν ἑπομένων. Λέγω δ᾿ ἀντικεῖσθαι μὲν τὸ παντὶ τῷ οὐ παντὶ καὶ τὸ τινὶ τῷ οὐδενί, ἐναντίως δὲ τὸ παντὶ τῷ οὐδενὶ καὶ τὸ τινὶ τῷ οὐ τινὶ ὑπάρχειν. Ἔστω γὰρ δεδειγμένον τὸ Α κατὰ τοῦ Γ διὰ μέσου τοῦ Β. Εἰ δὴ τὸ Α ληφθείη μηδενὶ τῷ Γ ὑπάρχειν, τῷ δὲ Β παντί, οὐδενὶ τῷ Γ ὑπάρξει τὸ Β. Καὶ εἰ τὸ μὲν Α μηδενὶ τῷ Γ, τὸ δὲ Β παντὶ τῷ Γ, τὸ Α οὐ
Ἐὰν δ᾿ ἀντικειμένως ἀντιστραφῇ τὸ συμπέρασμα, καὶ οἱ συλλογισμοὶ ἀντικείμενοι καὶ οὐ καθόλου ἔσονται. Γίνεται γὰρ ἡ ἑτέρα πρότασις ἐν μέρει, ὥστε καὶ τὸ συμπέρασμα ἔσται κατὰ μέρος. Ἔστω γὰρ κατηγορικὸς ὁ συλλογισμός, καὶ ἀντιστρεφέσθω οὕτως. Οὐκοῦν εἰ τὸ Α οὐ παντὶ τῷ Γ, τῷ δὲ Β παντί, τὸ Β οὐ παντὶ τῷ Γ· καὶ εἰ τὸ μὲν Α μὴ παντὶ τῷ Γ, τὸ δὲ Β παντὶ, τὸ Α οὐ παντὶ τῷ Β. Ὁμοίως δὲ καὶ εἰ στερητικὸς ὁ συλλογισμός. Εἰ γὰρ τὸ Α τινὶ τῷ Γ ὑπάρχει, τῷ δὲ Β μηδενί, τὸ Β τινὶ τῷ Γ οὐχ ὑπάρξει, οὐχ ἁπλῶς οὐδενί· καὶ εἰ τὸ μὲν Α τῷ Γ τινί, τὸ δὲ Β παντί, ὥσπερ ἐν ἀρχῇ ἐλήφθη, τὸ Α τινὶ τῷ Β ὑπάρξει.
Ἐπὶ δὲ τῶν ἐν μέρει συλλογισμῶν ὅταν μὲν ἀντικειμένως ἀντιστρέφηται τὸ συμπέρασμα, ἀναιροῦνται ἀμφότεραι αἱ προτάσεις, ὅταν δ᾿ ἐναντίως, οὐδετέρα. Οὐ γὰρ ἔτι συμβαίνει, καθάπερ ἐν τοῖς καθόλου, ἀναιρεῖν ἐλλείποντος τοῦ συμπεράσματος κατὰ τὴν ἀντιστροφήν, ἀλλ᾿ οὐδ᾿ ὅλως ἀναιρεῖν. Δεδείχθω γὰρ τὸ Α κατὰ τινὸς τοῦ Γ. Οὐκοῦν ἂν ληφθῇ τὸ Α μηδενὶ τῷ Γ ὑπάρχειν, τὸ δὲ Β τινί, τὸ Α τῷ Β τινὶ οὐχ ὑπάρξει· καὶ εἰ τὸ Α μηδενὶ τῷ Γ, τῷ δὲ Β παντί, οὐδενὶ τῷ Γ τὸ Β. Ὤστ᾿ ἀναιροῦνται ἀμφότεραι. Ἐὰν δ᾿ ἐναντίως ἀντιστραφῇ, οὐδετέρα. Εἰ γὰρ τὸ Α τινὶ τῷ Γ μὴ ὑπάρχει, τῷ δὲ Β παντί, τὸ Β τινὶ τῷ Γ οὐχ
Ἐν δὲ τῷ δευτέρῳ σχήματι τὴν μὲν πρὸς τῷ μείζονι ἄκρῳ πρότασιν οὐκ ἔστιν ἀνελεῖν ἐναντίως, ὁποτερωσοῦν τῆς ἀντιστροφῆς γινομένης· ἀεὶ γὰρ ἔσται τὸ συμπέρασμα ἐν τῷ τρίτῳ σχήματι, καθόλου δ᾿ οὐκ ἦν ἐν τούτῳ συλλογισμός. Τὴν δ᾿ ἑτέραν ὁμοίως ἀναιρήσομεν τῇ ἀντιστροφῇ. Λέγω δὲ τὸ ὁμοίως, εἰ μὲν ἐναντίως ἀντιστρέφεται, ἐναντίως, εἰ δ᾿ ἀντικειμένως, ἀντικειμένως. Ὑπαρχέτω γὰρ τὸ Α παντὶ τῷ Β, τῷ δὲ Γ μηδενί· συμπέρασμα Β Γ. Ἐὰν οὖν ληφθῇ τὸ Β παντὶ τῷ Γ ὑπάρχειν καὶ τὸ Α Β μένῃ, τὸ Α παντὶ τῷ Γ ὑπάρξει· γίνεται γὰρ τὸ πρῶτον σχῆμα. Εἰ δὲ τὸ Β παντὶ τῷ Γ, τὸ δὲ Α μηδενὶ τῷ Γ, τὸ Α οὐ παντὶ τῷ Β· σχῆμα τὸ ἔσχατον. Ἐὰν δ᾿ ἀντικειμένως ἀντιστραφῇ τὸ Β Γ, ἡ μὲν Α Β ὁμοίως δειχθήσεται, ἡ δὲ Α Γ ἀντικειμένως. Εἰ γὰρ τὸ Β τινὶ τῷ Γ, τὸ δὲ Α μηδενὶ τῷ Γ, τὸ Α τινὶ τῷ Β οὐχ ὑπάρξει. Πάλιν εἰ τὸ Β τινὶ τῷ Γ, τὸ δὲ Α παντὶ τῷ Β, τὸ Α τινὶ τῷ Γ, ὥστ᾿ ἀντικειμένως γίνεται ὁ συλλογισμός. Ὁμοίως δὲ δειχθήσεται καὶ εἰ ἀνάπαλιν ἔχοιεν αἱ προτάσεις. Εἰ δ᾿ ἔστιν ἐπὶ μέρους ὁ συλλογισμός, ἐναντίως μὲν ἀντιστρεφομένου τοῦ συμπεράσματος οὐδετέρα τῶν προτάσεων ἀναιρεῖται, καθάπερ οὐδ᾿ ἐν τῷ πρώτῳ σχήματι, ἀντικειμένως δ᾿ ἀμφότεραι. Κείσθω γὰρ τὸ Α τῷ μὲν Β μηδενὶ ὑπάρχειν, τῷ δὲ Γ τινί· συμπέρασμα Β Γ. Ἐὰν οὖν τεθῇ τὸ Β τινὶ τῷ Γ ὑπάρχειν καὶ τὸ Α Β μένῃ, συμπέρασμα ἔσται ὅτι τὸ Α τινὶ τῷ Γ οὐχ ὑπάρχει. Ἀλλ᾿ οὐκ
Ἐπὶ δὲ τοῦ τρίτου σχήματος ὅταν μὲν ἐναντίως ἀντιστρέφηται τὸ συμπέρασμα, οὐδετέρα τῶν προτάσεων ἀναιρεῖται κατ᾿ οὐδένα τῶν συλλογισμῶν, ὅταν δ᾿ ἀντικειμένως, ἀμφότεραι καὶ ἐν ἅπασιν. Δεδείχθω γὰρ τὸ Α τινὶ τῷ Β ὑπάρχον, μέσον δ᾿ εἰλήφθω τὸ Γ, ἔστωσαν δὲ καθόλου αἱ προτάσεις. Οὐκοῦν ἐὰν ληφθῇ τὸ Α τινὶ τῷ Β μὴ ὑπάρχειν, τὸ δὲ Β παντὶ τῷ Γ, οὐ γίνεται συλλογισμὸς τοῦ Α καὶ τοῦ Γ. Οὐδ᾿ εἰ τὸ Α τῷ μὲν Β τινὶ μὴ ὑπάρχει, τῷ δὲ Γ παντί, οὐκ ἔσται τοῦ Β καὶ τοῦ Γ συλλογισμός. Ὁμοίως δὲ δειχθήσεται καὶ εἰ μὴ καθόλου αἱ προτάσεις. Ἢ γὰρ ἀμφοτέρας ἀνάγκη κατὰ μέρος εἶναι διὰ τῆς ἀντιστροφῆς, ἢ τὸ καθόλου πρὸς τῷ ἐλάττονι ἄκρῳ γίνεσθαι· οὕτω δ᾿ οὐκ ἦν συλλογισμὸς οὔτ᾿ ἐν τῷ πρώτῳ σχήματι οὔτ᾿ ἐν τῷ μέσῳ. Ἐὰν δ᾿ ἀντικειμένως ἀντιστρέφωνται αἱ προτάσεις, ἀναιροῦνται ἀμφότεραι. Εἰ γὰρ τὸ Α μηδενὶ τῷ Β, τὸ δὲ Β παντὶ τῷ Γ, τὸ Α οὐδενὶ τῷ Γ· πάλιν εἰ τὸ Α τῷ μὲν Β μηδενί, τῷ δὲ Γ παντί, τὸ Β οὐδενὶ τῷ Γ. Καὶ εἰ ἡ ἑτέρα μὴ καθόλου, ὡσαύτως. Εἰ γὰρ τὸ Α μηδενὶ τῷ Β, τὸ δὲ Β τινὶ τῷ Γ, τὸ Α τινὶ τῷ Γ οὐχ ὑπάρξει· εἰ δὲ τὸ Α τῷ μὲν Β μηδενί, τῷ δὲ Γ παντί, οὐδενὶ τῷ Γ τὸ Β. Ὁμοίως δὲ καὶ εἰ στερητικὸς ὁ συλλογισμός. Δεδείχθω γὰρ τὸ Α τινὶ τῷ Β μὴ ὑπάρχον, ἔστω δὲ κατηγορικὸν μὲν τὸ Β Γ, ἀποφατικὸν δὲ τὸ Α Γ· οὕτω γὰρ ἐγίνετο ὁ συλλογισμός. Ὅταν μὲν οὖν
Φανερὸν οὖν διὰ τῶν εἰρημένων πῶς ἀντιστρεφομένου τοῦ συμπεράσματος ἐν ἑκάστῳ σχήματι γίνεται συλλογισμός, καὶ πότ᾿ ἐναντίως τῇ προτάσει καὶ πότ᾿ ἀντικειμένως, καὶ ὅτι ἐν μὲν τῷ πρώτῳ σχήματι διὰ τοῦ μέσου καὶ τοῦ ἐσχάτου γίνονται οἱ συλλογισμοί, καὶ ἡ μὲν πρὸς τῷ ἐλάττονι ἄκρῳ ἀεὶ διὰ τοῦ μέσου ἀναιρεῖται, ἡ δὲ πρὸς τῷ μείζονι διὰ τοῦ ἐσχάτου· ἐν δὲ τῷ δευτέρῳ διὰ τοῦ πρώτου καὶ τοῦ ἐσχάτου, καὶ ἡ μὲν πρὸς τῷ ἐλάττονι ἄκρῳ ἀεὶ διὰ τοῦ πρώτου σχήματος, ἡ δὲ πρὸς τῷ μείζονι διὰ τοῦ ἐσχάτου· ἐν δὲ τῷ τρίτῳ διὰ τοῦ πρώτου καὶ διὰ τοῦ μέσου, καὶ ἡ μὲν πρὸς τῷ μείζονι διὰ τοῦ πρώτου ἀεί, ἡ δὲ πρὸς τῷ ἐλάττονι διὰ τοῦ μέσου.
Τί μὲν οὖν ἐστὶ τὸ ἀντιστρέφειν καὶ πῶς ἐν ἑκάστῳ σχήματι καὶ τίς γίνεται συλλογισμός, φανερόν. Ὁ δὲ διὰ τοῦ ἀδυνάτου συλλογισμὸς δείκνυται μέν, ὅταν ἡ ἀντίφασις τεθῇ
Τὰ μὲν οὖν ἄλλα προβλήματα πάντα δείκνυται διὰ τοῦ ἀδυνάτου ἐν ἅπασι τοῖς σχήμασι, τὸ δὲ καθόλου κατηγορικὸν ἐν μὲν τῷ μέσῳ καὶ τῷ τρίτῳ δείκνυται, ἐν δὲ τῷ πρώτῳ οὐ δείκνυται. Ὑποκείσθω γὰρ τὸ Α τῷ Β μὴ παντὶ ἢ μηδενὶ ὑπάρχειν, καὶ προσειλήφθω ἄλλη πρότασις ὁποτερωθενοῦν, εἴτε τῷ Α παντὶ ὑπάρχειν τὸ Γ εἴτε τὸ Β παντὶ τῷ Δ· οὕτω γὰρ ἂν εἴη τὸ πρῶτον σχῆμα. Εἰ μὲν οὖν ὑπόκειται μὴ παντὶ ὑπάρχειν τὸ Α τῷ Β, οὐ γίνεται συλλογισμὸς ὁποτερωθενοῦν τῆς προτάσεως λαμβανομένης, εἰ δὲ μηδενί, ὅταν μὲν ἡ Β Δ προσληφθῇ, συλλογισμὸς μὲν ἔσται τοῦ ψεύδους, οὐ δείκνυται δὲ τὸ προκείμενον. Εἰ γὰρ τὸ Α μηδενὶ τῷ Β, τὸ δὲ Β παντὶ τῷ Δ, τὸ Α οὐδενὶ τῷ Δ. Τοῦτο δ᾿ ἔστω ἀδύνατον· ψεῦδος ἄρα τὸ μηδενὶ τῷ Β τὸ Α ὑπάρχειν. Ἀλλ᾿ οὐκ εἰ τὸ μηδενὶ ψεῦδος, τὸ παντὶ ἀληθές. Ἐὰν δ᾿ ἡ Γ Α προσληφθῇ, οὐ γίνεται συλλογισμός, οὐδ᾿ ὅταν ὑποτεθῇ μὴ παντὶ τῷ Β τὸ Α ὑπάρχειν. Ὥστε φανερὸν ὅτι τὸ παντὶ ὑπάρχειν οὐ δείκνυται ἐν τῷ πρώτῳ σχήματι διὰ τοῦ ἀδυνάτου. Τὸ δέ γε τινὶ καὶ τὸ μηδενὶ καὶ μὴ παντὶ δείκνυται. Ὑποκείσθω γὰρ τὸ Α μηδενὶ τῷ Β ὑπάρχειν, τὸ
Φανερὸν οὖν ὅτι οὐ τὸ ἐναντίον ἀλλὰ τὸ ἀντικείμενον ὑποθετέον ἐν ἅπασι τοῖς συλλογισμοῖς. Οὕτω γὰρ τὸ ἀναγκαῖον ἔσται καὶ τὸ ἀξίωμα ἔνδοξον. Εἰ γὰρ κατὰ παντὸς ἢ φάσις ἢ ἀπόφασις, δειχθέντος ὅτι οὐχ ἡ ἀπόφασις, ἀνάγκη τὴν κατάφασιν ἀληθεύεσθαι. Πάλιν εἰ μὴ τίθησιν ἀληθεύεσθαι τὴν κατάφασιν, ἔνδοξον τὸ ἀξιῶσαι τὴν ἀπόφασιν. Τὸ δ᾿ ἐναντίον οὐδετέρως ἁρμόττει ἀξιοῦν· οὔτε γὰρ ἀναγκαῖον, εἰ τὸ μηδενὶ ψεῦδος, τὸ παντὶ ἀληθές, οὔτ᾿ ἔνδοξον ὡς εἰ θάτερον ψεῦδος, ὅτι θάτερον ἀληθές.
Φανερὸν οὖν ὅτι ἐν τῷ πρώτῳ σχήματι τὰ μὲν ἄλλα προβλήματα πάντα δείκνυται διὰ τοῦ ἀδυνάτου, τὸ δὲ καθόλου καταφατικὸν οὐ δείκνυται. Ἐν δὲ τῷ μέσῳ καὶ τῷ ἐσχάτῳ καὶ τοῦτο δείκνυται. Κείσθω γὰρ τὸ Α μὴ παντὶ τῷ Β ὑπάρχειν, εἰλήφθω δὲ τῷ Γ παντὶ ὑπάρχειν τὸ Α. Οὐκοῦν εἰ τῷ μὲν Β μὴ παντί, τῷ δὲ Γ παντί, οὐ παντὶ τῷ Β τὸ Γ. Τοῦτο δ᾿ ἀδύνατον· ἔστω γὰρ φανερὸν ὅτι παντὶ τῷ Β ὑπάρχει τὸ Γ, ὥστε ψεῦδος τὸ ὑποκείμενον. Ἀληθὲς ἄρα τὸ παντὶ ὑπάρχειν. Ἐὰν δὲ τὸ ἐναντίον ὑποτεθῇ, συλλογισμὸς μὲν ἔσται καὶ τὸ ἀδύνατον, οὐ μὴν δείκνυται τὸ προτεθέν. Εἰ γὰρ τὸ Α μηδενὶ τῷ Β, τῷ δὲ Γ παντί, οὐδενὶ τῷ Β τὸ Γ. Τοῦτο δ᾿ ἀδύνατον, ὥστε ψεῦδος τὸ μηδενὶ ὑπάρχειν. Ἀλλ᾿ οὐκ εἰ τοῦτο ψεῦδος, τὸ παντὶ ἀληθές.
Ὁμοίως δὲ καὶ διὰ τοῦ ἐσχάτου. Κείσθω γὰρ τὸ Α τινὶ τῷ Β μὴ ὑπάρχειν, τὸ δὲ Γ παντί· τὸ ἄρα Α τινὶ τῷ Γ οὐχ ὑπάρχει. Εἰ οὖν τοῦτ᾿ ἀδύνατον, ψεῦδος τὸ τινὶ μὴ ὑπάρχειν, ὥστ᾿ ἀληθὲς τὸ παντί. Ἐὰν δ᾿ ὑποτεθῇ μηδενὶ ὑπάρχειν, συλλογισμὸς μὲν ἔσται καὶ τὸ ἀδύνατον, οὐ δείκνυται δὲ τὸ προτεθέν· ἐὰν γὰρ τὸ ἐναντίον ὑποτεθῇ, ταῦτ᾿ ἔσται ἅπερ ἐπὶ τῶν πρότερον. Ἀλλὰ πρὸς τὸ τινὶ ὑπάρχειν αὕτη ληπτέα ἡ ὑπόθεσις. Εἰ γὰρ τὸ Α μηδενὶ τῷ Β, τὸ δὲ Γ τινὶ τῷ Β, τὸ Α οὐ παντὶ τῷ Γ. Εἰ οὖν τοῦτο ψεῦδος, ἀληθὲς τὸ Α τινὶ τῷ Β ὑπάρχειν. Ὅτε δ᾿ οὐδενὶ τῷ Β ὑπάρχει τὸ Α, ὑποκείσθω τινὶ ὑπάρχειν, εἰλήφθω δὲ καὶ τὸ Γ παντὶ τῷ Β ὑπάρχον. Οὐκοῦν ἀνάγκη τῷ Γ τινὶ τὸ Α ὑπάρχειν. Ἀλλ᾿ οὐδενὶ ὑπῆρχεν, ὥστε ψεῦδος τινὶ τῷ Β ὑπάρχειν τὸ Α. Ἐὰν δ᾿ ὑποτεθῇ παντὶ τῷ Β ὑπάρχειν τὸ Α, οὐ δείκνυται τὸ προτεθέν, ἀλλὰ πρὸς τὸ μὴ παντὶ ὑπάρχειν αὕτη ληπτέα ἡ ὑπόθεσις. Εἰ γὰρ τὸ Α παντὶ τῷ Β καὶ τὸ Γ τινὶ τῷ Β, τὸ Α ὑπάρχει τινὶ τῷ Γ. Τοῦτο δὲ οὐκ ἦν, ὥστε ψεῦδος τὸ παντὶ ὑπάρχειν. Εἰ δ᾿ οὕτως, ἀληθὲς
Φανερὸν οὖν ὅτι ἐν ἅπασι τοῖς διὰ τοῦ ἀδυνάτου συλλογισμοῖς τὸ ἀντικείμενον ὑποθετέον. Δῆλον δὲ καὶ ὅτι ἐν τῷ μέσῳ σχήματι δείκνυταί πως τὸ καταφατικὸν καὶ ἐν τῷ ἐσχάτῳ τὸ καθόλου.
Διαφέρει δ᾿ ἡ εἰς τὸ ἀδύνατον ἀπόδειξις τῆς δεικτικῆς τῷ τιθέναι ὃ βούλεται ἀναιρεῖν, ἀπάγουσα εἰς ὁμολογούμενον ψεῦδος· ἡ δὲ δεικτικὴ ἄρχεται ἐξ ὁμολογουμένων θέσεων ἀληθῶν. Λαμβάνουσι μὲν οὖν ἀμφότεραι δύο προτάσεις ὁμολογουμένας· ἀλλ᾿ ἡ μὲν ἐξ ὧν ὁ συλλογισμός, ἡ δὲ μίαν μὲν τούτων, μίαν δὲ τὴν ἀντίφασιν τοῦ συμπεράσματος. Καὶ ἔνθα μὲν οὐκ ἀνάγκη γνώριμον εἶναι τὸ συμπέρασμα, οὐδὲ προϋπολαμβάνειν ὡς ἔστιν ἢ οὔ· ἔνθα δὲ ἀνάγκη ὡς οὐκ ἔστιν. Διαφέρει δ᾿ οὐδὲν φάσιν ἢ ἀπόφασιν εἶναι τὸ συμπέρασμα, ἀλλ᾿ ὁμοίως ἔχει περὶ ἀμφοῖν. Ἅπαν δὲ τὸ δεικτικῶς περαινόμενον καὶ διὰ τοῦ ἀδυνάτου δειχθήσεται, καὶ τὸ διὰ τοῦ ἀδυνάτου δεικτικῶς διὰ τῶν αὐτῶν ὅρων, οὐκ ἐν τοῖς αὐτοῖς δὲ σχήμασιν. Ὅταν μὲν γὰρ ὁ συλλογισμὸς ἐν τῷ πρώτῳ σχήματι γένηται, τὸ ἀληθὲς ἔσται ἐν τῷ μέσῳ ἢ τῷ ἐσχάτῳ, τὸ μὲν στερητικὸν ἐν τῷ μέσῳ, τὸ δὲ κατηγορικὸν ἐν τῷ ἐσχάτῳ. Ὅταν δ᾿ ἐν τῷ μέσῳ ᾖ ὁ συλλογισμός, τὸ ἀληθὲς ἐν τῷ πρώτῳ ἐπὶ πάντων τῶν προβλημάτων. Ὅταν δ᾿ ἐν τῷ ἐσχάτῳ ὁ συλλογισμός, τὸ ἀληθὲς ἐν τῷ πρώτῳ καὶ τῷ μέσῳ, τὰ μὲν καταφατικὰ ἐν τῷ πρώτῳ, τὰ δὲ στερητικὰ ἐν τῷ μέσῳ. Ἔστω γὰρ δεδειγμένον τὸ Α μηδενὶ ἢ μὴ παντὶ τῷ Β διὰ τοῦ πρώτου σχήματος. Οὐκοῦν ἡ μὲν ὑπόθεσις ἦν τινὶ τῷ Β ὑπάρχειν τὸ Α, τὸ δὲ Γ ἐλαμβάνετο τῷ μὲν Α παντὶ ὑπάρχειν, τῷ δὲ Β οὐδενί· οὕτω γὰρ ἐγίνετο ὁ συλλογισμὸς καὶ τὸ ἀδύνατον. Τοῦτο δὲ τὸ μέσον σχῆμα, εἰ τὸ Γ τῷ μὲν Α παντὶ τῷ δὲ Β μηδενὶ ὑπάρχει. Καὶ φανερὸν ἐκ τούτων ὅτι οὐδενὶ τῷ Β ὑπάρχει τὸ Α.
Πάλιν ἐν τῷ μέσῳ σχήματι δεδείχθω τὸ Α παντὶ τῷ Β ὑπάρχον. Οὐκοῦν ἡ μὲν ὑπόθεσις ἦν μὴ παντὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Α παντὶ τῷ Γ καὶ τὸ Γ παντὶ τῷ Β· οὕτω γὰρ ἔσται τὸ ἀδύνατον. Τοῦτο δὲ τὸ πρῶτον σχῆμα, τὸ Α παντὶ τῷ Γ καὶ τὸ Γ παντὶ τῷ Β. Ὁμοίως δὲ καὶ εἰ τινὶ δέδεικται ὑπάρχον· ἡ μὲν γὰρ ὑπόθεσις ἦν μηδενὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Α παντὶ τῷ Γ καὶ τὸ Γ τινὶ τῷ Β. Εἰ δὲ στερητικὸς ὁ συλλογισμός, ἡ μὲν ὑπόθεσις τὸ Α τινὶ τῷ Β ὑπάρχειν, εἴληπται δὲ τὸ Α μηδενὶ τῷ Γ καὶ τὸ Γ παντὶ τῷ Β, ὥστε γίνεται τὸ πρῶτον σχῆμα. Καὶ εἰ μὴ καθόλου ὁ συλλογισμός, ἀλλὰ τὸ Α τινὶ τῷ Β δέδεικται μὴ ὑπάρχειν, ὡσαύτως. Ὑπόθεσις μὲν γὰρ παντὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Α μηδενὶ τῷ Γ καὶ τὸ Γ τινὶ τῷ Β· οὕτω γὰρ τὸ πρῶτον σχῆμα.
Πάλιν ἐν τῷ τρίτῳ σχήματι δεδείχθω τὸ Α παντὶ τῷ Β ὑπάρχειν. Οὐκοῦν ἡ μὲν ὑπόθεσις ἦν μὴ παντὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Γ παντὶ τῷ Β καὶ τὸ Α παντὶ τῷ Γ· οὕτω γὰρ ἔσται τὸ ἀδύνατον. Τοῦτο δὲ τὸ πρῶτον σχῆμα. Ὡσαύτως δὲ καὶ εἰ ἐπί τινος ἡ ἀπόδειξις· ἡ μὲν γὰρ ὑπόθεσις μηδενὶ τῷ Β τὸ Α ὑπάρχειν, εἴληπται δὲ τὸ Γ τινὶ τῷ Β καὶ τὸ Α παντὶ τῷ Γ. Εἰ δὲ στερητικὸς ὁ
Φανερὸν οὖν ὅτι διὰ τῶν αὐτῶν ὅρων καὶ δεικτικῶς ἔστι δεικνύναι τῶν προβλημάτων ἕκαστον καὶ διὰ τοῦ ἀδυνάτου. Ὁμοίως δ᾿ ἔσται καὶ δεικτικῶν ὄντων τῶν συλλογισμῶν εἰς ἀδύνατον ἀπάγειν ἐν τοῖς εἰλημμένοις ὅροις, ὅταν ἡ ἀντικειμένη πρότασις τῷ συμπεράσματι ληφθῇ. Γίνονται γὰρ οἱ αὐτοὶ συλλογισμοὶ τοῖς διὰ τῆς ἀντιστροφῆς, ὥστ᾿ εὐθὺς ἔχομεν καὶ τὰ σχήματα δι᾿ ὧν ἕκαστον ἔσται. Δῆλον οὖν ὅτι πᾶν πρόβλημα δείκνυται κατ᾿ ἀμφοτέρους τοὺς τρόπους, διά τε τοῦ ἀδυνάτου καὶ δεικτικῶς, καὶ οὐκ ἐνδέχεται χωρίζεσθαι τὸν ἕτερον.
Ἐν ποίῳ δὲ σχήματι ἔστιν ἐξ ἀντικειμένων προτάσεων συλλογίσασθαι καὶ ἐν ποίῳ οὐκ ἔστιν, ὧδ᾿ ἔσται φανερόν. Λέγω δ᾿ ἀντικειμένας εἶναι προτάσεις κατὰ μὲν τὴν λέξιν τέτταρας, οἷον τὸ παντὶ τῷ οὐδενί, καὶ τὸ παντὶ τῷ οὐ παντί, καὶ τὸ τινὶ τῷ οὐδενί, καὶ τὸ τινὶ τῷ οὐ τινί, κατ᾿ ἀλήθειαν δὲ τρεῖς· τὸ γὰρ τινὶ τῷ οὐ τινὶ κατὰ τὴν λέξιν ἀντίκειται μόνον. Τούτων δ᾿ ἐναντίας μὲν τὰς καθόλου, τὸ παντὶ τῷ μηδενὶ ὑπάρχειν, οἷον τὸ πᾶσαν ἐπιστήμην εἶναι σπουδαίαν τῷ μηδεμίαν εἶναι σπουδαίαν, τὰς δ᾿ ἄλλας ἀντικειμένας.
Ἐν μὲν οὖν τῷ πρώτῳ σχήματι οὐκ ἔστιν ἐξ ἀντικειμένων προτάσεων συλλογισμός, οὔτε καταφατικὸς οὔτε ἀποφατικός, καταφατικὸς μὲν ὅτι ἀμφοτέρας δεῖ καταφατικὰς εἶναι τὰς προτάσεις, αἱ δ᾿ ἀντικείμεναι φάσις καὶ ἀπόφασις, στερητικὸς δὲ ὅτι αἱ μὲν ἀντικείμεναι τὸ αὐτὸ τοῦ αὐτοῦ κατηγοροῦσι καὶ ἀπαρνοῦνται, τὸ δ᾿ ἐν τῷ πρώτῳ μέσον οὐ λέγεται
Ἐν δὲ τῷ μέσῳ σχήματι καὶ ἐκ τῶν ἀντικειμένων καὶ ἐκ τῶν ἐναντίων ἐνδέχεται γίνεσθαι συλλογισμόν. Ἔστω γὰρ ἀγαθὸν μὲν ἐφ᾿ οὗ Α, ἐπιστήμη δὲ ἐφ᾿ οὗ Β καὶ Γ. Εἰ δὴ πᾶσαν ἐπιστήμην σπουδαίαν ἔλαβε καὶ μηδεμίαν, τὸ Α τῷ Β παντὶ ὑπάρχει καὶ τῷ Γ οὐδενί, ὥστε τὸ Β τῷ Γ οὐδενί· οὐδεμία ἄρα ἐπιστήμη ἐπιστήμη ἐστίν. Ὁμοίως δὲ καὶ εἰ πᾶσαν λαβὼν σπουδαίαν τὴν ἰατρικὴν μὴ σπουδαίαν ἔλαβε· τῷ μὲν γὰρ Β παντὶ τὸ Α, τῷ δὲ Γ οὐδενί, ὥστε ἡ τὶς ἐπιστήμη οὐκ ἔσται ἐπιστήμη. Καὶ εἰ τῷ μὲν Γ παντὶ τὸ Α, τῷ δὲ Β μηδενί, ἔστι δὲ τὸ μὲν Β ἐπιστήμη, τὸ δὲ Γ ἰατρική, τὸ δὲ Α ὑπόληψις· οὐδεμίαν γὰρ ἐπιστήμην ὑπόληψιν λαβὼν εἴληφε τινὰ ἐπιστήμην εἶναι ὑπόληψιν. Διαφέρει δὲ τοῦ πάλαι τῷ ἐπὶ τῶν ὅρων ἀντιστρέφεσθαι· πρότερον μὲν γὰρ πρὸς τῷ Β, νῦν δὲ πρὸς τῷ Γ τὸ καταφατικόν. Καὶ ἂν ᾖ δὲ μὴ καθόλου ἡ ἑτέρα πρότασις, ὡσαύτως· ἀεὶ γὰρ τὸ μέσον ἐστὶν ὃ ἀπὸ θατέρου μὲν ἀποφατικῶς λέγεται, κατὰ θατέρου δὲ καταφατικῶς. Ὥστ᾿ ἐνδέχεται τἀντικείμενα περαίνεσθαι, πλὴν οὐκ ἀεὶ οὐδὲ πάντως, ἀλλ᾿ ἐὰν οὕτως ἔχῃ τὰ ὑπὸ τὸ μέσον ὥστ᾿ ἢ ταὐτὰ εἶναι ἢ ὅλον πρὸς μέρος. Ἄλλως δ᾿ ἀδύνατον· οὐ γὰρ ἔσονται οὐδαμῶς αἱ προτάσεις οὔτ᾿ ἐναντίαι οὔτ᾿ ἀντικείμεναι.
Ἐν δὲ τῷ τρίτῳ σχήματι καταφατικὸς μὲν συλλογισμὸς οὐδέποτ᾿ ἔσται ἐξ ἀντικειμένων προτάσεων διὰ τὴν εἰρημένην αἰτίαν καὶ ἐπὶ τοῦ πρώτου σχήματος, ἀποφατικὸς δ᾿ ἔσται, καὶ καθόλου καὶ μὴ καθόλου τῶν ὅρων ὄντων. Ἔστω γὰρ ἐπιστήμη ἐφ᾿ οὗ τὸ Β καὶ Γ, ἰατρικὴ δ᾿ ἐφ᾿ οὗ Α. Εἰ οὖν λάβοι πᾶσαν ἰατρικὴν ἐπιστήμην καὶ μηδεμίαν ἰατρικὴν ἐπιστήμην, τὸ Β παντὶ τῷ Α εἴληφε καὶ τὸ Γ οὐδενί, ὥστ᾿ ἔσται τις ἐπιστήμη οὐκ ἐπιστήμη. Ὁμοίως δὲ καὶ ἂν μὴ
Δεῖ δὲ κατανοεῖν ὅτι ἐνδέχεται μὲν οὕτω τὰ ἀντικείμενα λαμβάνειν, ὥσπερ εἴπομεν πᾶσαν ἐπιστήμην σπουδαίαν εἶναι καὶ πάλιν μηδεμίαν, ἢ τινὰ μὴ σπουδαίαν· ὅπερ οὐκ εἴωθε λανθάνειν. Ἔστι δὲ δι᾿ ἄλλων ἐρωτημάτων συλλογίσασθαι θάτερον, ἢ ὡς ἐν Τοπικοῖς ἐλέχθη λαβεῖν. Ἐπεὶ δὲ τῶν καταφάσεων αἱ ἀντιθέσεις τρεῖς, ἑξαχῶς συμβαίνει τἀντικείμενα λαμβάνειν, ἢ παντὶ καὶ μηδενὶ, ἢ παντὶ καὶ μὴ παντί, ἢ τινὶ καὶ μηδενί, καὶ τοῦτο ἀντιστρέψαι ἐπὶ τῶν ὅρων, οἷον τὸ Α παντὶ τῷ Β, τῷ δὲ Γ μηδενί, ἢ τῷ Γ παντί, τῷ δὲ Β μηδενί, ἢ τῷ μὲν παντί, τῷ δὲ μὴ παντί, καὶ πάλιν τοῦτο ἀντιστρέψαι κατὰ τοὺς ὅρους. Ὁμοίως δὲ καὶ ἐπὶ τοῦ τρίτου σχήματος. Ὥστε φανερὸν ὁσαχῶς τε καὶ ἐν ποίοις σχήμασιν ἐνδέχεται διὰ τῶν ἀντικειμένων προτάσεων γενέσθαι συλλογισμόν.
Φανερὸν δὲ καὶ ὅτι ἐκ ψευδῶν μὲν ἔστιν ἀληθὲς συλλογίσασθαι, καθάπερ εἴρηται πρότερον, ἐκ δὲ τῶν ἀντικειμένων οὐκ ἔστιν· ἀεὶ γὰρ ἐναντίος ὁ συλλογισμὸς γίνεται τῷ πράγματι, οἷον εἰ ἔστιν ἀγαθόν, μὴ εἶναι ἀγαθόν, ἢ εἰ ζῷον, μὴ ζῷον, διὰ τὸ ἐξ ἀντιφάσεως εἶναι τὸν συλλογισμὸν καὶ τοὺς ὑποκειμένους ὅρους ἢ τοὺς αὐτοὺς εἶναι ἢ τὸν μὲν ὅλον τὸν δὲ μέρος. Δῆλον δὲ καὶ ὅτι ἐν τοῖς παραλογισμοῖς οὐδὲν κωλύει γίνεσθαι τῆς ὑποθέσεως ἀντίφασιν, οἷον εἰ ἔστι περιττόν, μὴ εἶναι περιττόν. Ἐκ γὰρ τῶν ἀντικειμένων προτάσεων ἐναντίος ἦν ὁ συλλογισμός· ἐὰν οὖν λάβῃ τοιαύτας, ἔσται τῆς ὑποθέσεως ἀντίφασις. Δεῖ δὲ κατανοεῖν ὅτι οὕτω μὲν οὐκ ἔστιν ἐναντία συμπεράνασθαι ἐξ ἑνὸς συλλογισμοῦ, ὥστ᾿ εἶναι τὸ συμπέρασμα τὸ μὴ ὂν ἀγαθὸν ἀγαθὸν ἢ ἄλλο τι τοιοῦτον,