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