Analytica priora

Τὸν αὐτὸν δὲ τρόπον ἔχουσι καὶ οἱ εἰς τὸ ἀδύνατον ἄγοντες συλλογισμοὶ τοῖς δεικτικοῖς· καὶ γὰρ οὗτοι γίνονται διὰ τῶν ἑπομένων καὶ οἷς ἕπεται ἑκάτερον. Καὶ ἡ αὐτὴ ἐπίβλεψις ἐν ἀμφοῖν· ὃ γὰρ δείκνυται δεικτικῶς, καὶ διὰ τοῦ ἀδυνάτου ἔστι συλλογίσασθαι διὰ τῶν αὐτῶν ὅρων, καὶ ὃ διὰ τοῦ ἀδυνάτου, καὶ δεικτικῶς, οἷον ὅτι τὸ Α οὐδενὶ τῶν Ε ὑπάρχει. Κείσθω γὰρ τινὶ ὑπάρχειν· οὐκοῦν ἐπεὶ τὸ Β παντὶ τῷ Α, τὸ δὲ Α τινὶ τῶν Ε, τὸ Β τινὶ τῶν Ε ὑπάρξει· ἀλλ᾿ οὐδενὶ ὑπῆρχεν. Πάλιν ὅτι τινὶ ὑπάρχει· εἰ γὰρ μηδενὶ τῶν Ε τὸ Α, τὸ δὲ Ε παντὶ τῷ Η, οὐδενὶ τῶν Η ὑπάρξει τὸ Α· ἀλλὰ παντὶ ὑπῆρχεν. Ὁμοίως δὲ καὶ ἐπὶ τῶν ἄλλων προβλημάτων· ἀεὶ γὰρ ἔσται καὶ ἐν ἅπασιν ἡ διὰ τοῦ ἀδυνάτου δεῖξις ἐκ τῶν ἑπομένων καὶ οἷς ἕπεται ἑκάτερον. Καὶ καθ᾿ ἕκαστον πρόβλημα ἡ αὐτὴ σκέψις δεικτικῶς τε βουλομένῳ συλλογίσασθαι καὶ εἰς ἀδύνατον ἀγαγεῖν· ἐκ γὰρ τῶν αὐτῶν ὅρων ἀμφότεραι αἱ ἀποδείξεις, οἷον εἰ δέδεικται μηδενὶ

ὑπάρχειν τῷ Ε τὸ Α, ὅτι συμβαίνει καὶ τὸ Β τινὶ τῶν Ε ὑπάρχειν, ὅπερ ἀδύνατον· ἐὰν ληφθῇ τῷ μὲν Ε μηδενὶ τῷ δὲ Α παντὶ ὑπάρχειν τὸ Β, φανερὸν ὅτι οὐδενὶ τῷ Ε τὸ Α ὑπάρξει. Πάλιν εἰ δεικτικῶς συλλελόγισται τὸ Α τῷ Ε μηδενὶ ὑπάρχειν, ὑποθεμένοις ὑπάρχειν τινὶ διὰ τοῦ ἀδυνάτου δειχθήσεται οὐδενὶ ὑπάρχον. Ὁμοίως δὲ κἀπὶ τῶν ἄλλων· ἐν ἅπασι γὰρ ἀνάγκη κοινόν τινα λαβεῖν ὅρον ἄλλον τῶν ὑποκειμένων, πρὸς ὃν ἔσται τοῦ ψεύδους ὁ συλλογισμός, ὥστ᾿ ἀντιστραφείσης ταύτης τῆς προτάσεως, τῆς δ᾿ ἑτέρας ὁμοίως ἐχούσης, δεικτικὸς ἔσται ὁ συλλογισμὸς διὰ τῶν αὐτῶν ὅρων. Διαφέρει γὰρ ὁ δεικτικὸς τοῦ εἰς τὸ ἀδύνατον, ὅτι ἐν μὲν τῷ δεικτικῷ κατ᾿ ἀλήθειαν ἀμφότεραι τίθενται αἱ προτάσεις, ἐν δὲ τῷ εἰς τὸ ἀδύνατον ψευδῶς ἡ μία.

Ταῦτα μὲν οὖν ἔσται μᾶλλον φανερὰ διὰ τῶν ἑπομένων, ὅταν περὶ τοῦ ἀδυνάτου λέγωμεν· νῦν δὲ τοσοῦτον ἡμῖν ἔστω δῆλον, ὅτι εἰς ταῦτα βλεπτέον δεικτικῶς τε βουλομένῳ συλλογίζεσθαι καὶ εἰς τὸ ἀδύνατον ἀγαγεῖν. Ἐν δὲ τοῖς ἄλλοις συλλογισμοῖς τοῖς ἐξ ὑποθέσεως, οἷον ὅσοι κατὰ μετάληψιν ἢ κατὰ ποιότητα, ἐν τοῖς ὑποκειμένοις, οὐκ ἐν τοῖς ἐξ ἀρχῆς ἀλλ᾿ ἐν τοῖς μεταλαμβανομένοις ἔσται ἡ σκέψις, ὁ δὲ τρόπος ὁ αὐτὸς τῆς ἐπιβλέψεως. Ἐπισκέψασθαι δὲ δεῖ καὶ διελεῖν ποσαχῶς οἱ ἐξ ὑποθέσεως.

Δείκνυται μὲν οὖν ἕκαστον τῶν προβλημάτων οὕτως, ἔστι δὲ καὶ ἄλλον τρόπον ἔνια συλλογίσασθαι τούτων, οἷον τὰ καθόλου διὰ τῆς κατὰ μέρος ἐπιβλέψεως ἐξ ὑποθέσεως. Εἰ γὰρ τὰ Γ καὶ τὰ Η ταὐτὰ εἴη, μόνοις δὲ ληφθείη τοῖς Η τὸ Ε ὑπάρχειν, παντὶ ἂν τῷ Ε τὸ Α ὑπάρχοι· καὶ πάλιν εἰ τὰ Δ καὶ Η ταὐτά, μόνων δὲ τῶν Η τὸ Ε κατηγοροῖτο, ὅτι οὐδενὶ τῶν Ε τὸ Α ὑπάρξει. Φανερὸν οὖν ὅτι καὶ οὕτως ἐπιβλεπτέον. Τὸν αὐτὸν δὲ τρόπον καὶ ἐπὶ τῶν ἀναγκαίων καὶ τῶν ἐνδεχομένων· ἡ γὰρ αὐτὴ σκέψις, καὶ διὰ τῶν αὐτῶν ὅρων ἔσται τῇ τάξει τοῦ τ᾿ ἐνδέχεσθαι καὶ τοῦ ὑπάρχειν

ὁ συλλογισμός. Ληπτέον δ᾿ ἐπὶ τῶν ἐνδεχομένων καὶ τὰ μὴ ὑπάρχοντα δυνατὰ δ᾿ ὑπάρχειν· δέδεικται γὰρ ὅτι καὶ διὰ τούτων γίνεται ὁ τοῦ ἐνδέχεσθαι συλλογισμός. Ὁμοίως δ᾿ ἕξει καὶ ἐπὶ τῶν ἄλλων κατηγοριῶν.

Φανερὸν οὖν ἐκ τῶν εἰρημένων οὐ μόνον ὅτι ἐγχωρεῖ διὰ ταύτης τῆς ὁδοῦ γίνεσθαι πάντας τοὺς συλλογισμούς, ἀλλὰ καὶ ὅτι δι᾿ ἄλλης ἀδύνατον. Ἅπας μὲν γὰρ συλλογισμὸς δέδεικται διά τινος τῶν προειρημένων σχημάτων γινόμενος, ταῦτα δ᾿ οὐκ ἐγχωρεῖ δι᾿ ἄλλων συσταθῆναι πλὴν διὰ τῶν ἑπομένων καὶ οἷς ἕπεται ἕκαστον· ἐκ τούτων γὰρ αἱ προτάσεις καὶ ἡ τοῦ μέσου λῆψις, ὥστ᾿ οὐδὲ συλλογισμὸν ἐγχωρεῖ γίνεσθαι δι᾿ ἄλλων.

Ἡ μὲν οὖν ὁδὸς κατὰ πάντων ἡ αὐτὴ καὶ περὶ φιλοσοφίαν καὶ περὶ τέχνην ὁποιανοῦν καὶ μάθημα· δεῖ γὰρ τὰ ὑπάρχοντα καὶ οἷς ὑπάρχει περὶ ἕκαστον ἀθρεῖν, καὶ τούτων ὡς πλείστων εὐπορεῖν, καὶ ταῦτα διὰ τῶν τριῶν ὅρων σκοπεῖν, ἀνασκευάζοντα μὲν ὡδί, κατασκευάζοντα δὲ ὡδί, κατὰ μὲν ἀλήθειαν ἐκ τῶν κατ᾿ ἀλήθειαν διαγεγραμμένων ὑπάρχειν, εἰς δὲ τοὺς διαλεκτικοὺς συλλογισμοὺς ἐκ τῶν κατὰ δόξαν προτάσεων. Αἱ δ᾿ ἀρχαὶ τῶν συλλογισμῶν καθόλου μὲν εἴρηνται, ὃν τρόπον τ᾿ ἔχουσι καὶ ὃν τρόπον δεῖ θηρεύειν αὐτάς, ὅπως μὴ βλέπωμεν εἰς ἅπαντα τὰ λεγόμενα, μηδ᾿ εἰς ταὐτὰ κατασκευάζοντες καὶ ἀνασκευάζοντες, μηδὲ κατασκευάζοντές τε κατὰ παντὸς ἢ τινὸς καὶ ἀνασκευάζοντες ἀπὸ πάντων ἢ τινῶν, ἀλλ᾿ εἰς ἐλάττω καὶ ὡρισμένα, καθ᾿ ἕκαστον δὲ ἐκλέγειν τῶν ὄντων, οἷον περὶ ἀγαθοῦ ἢ ἐπιστήμης. Ἰδίᾳ δὲ καθ᾿ ἑκάστην εἰσὶν αἱ πλεῖσται. Διὸ τὰς μὲν ἀρχὰς τὰς περὶ ἕκαστον ἐμπειρίας ἐστὶ παραδοῦναι. Λέγω δ᾿ οἷον τὴν ἀστρολογικὴν μὲν ἐμπειρίαν τῆς ἀστρολογικῆς ἐπιστήμης· ληφθέντων γὰρ ἱκανῶς τῶν φαινομένων οὕτως εὑρέθησαν αἱ ἀστρολογικαὶ ἀποδείξεις. Ὁμοίως δὲ καὶ περὶ ἄλλην

ὁποιανοῦν ἔχει τέχνην τε καὶ ἐπιστήμην. Ὤστ᾿ ἐὰν ληφθῇ τὰ ὑπάρχοντα περὶ ἕκαστον, ἡμέτερον ἤδη τὰς ἀποδείξεις ἑτοίμως ἐμφανίζειν. Εἰ γὰρ μηδὲν κατὰ τὴν ἱστορίαν παραλειφθείη τῶν ἀληθῶς ὑπαρχόντων τοῖς πράγμασιν, ἕξομεν περὶ ἅπαντος οὗ μὲν ἔστιν ἀπόδειξις, ταύτην εὑρεῖν καὶ ἀποδεικνύναι, οὗ δὲ μὴ πέφυκεν ἀπόδειξις, τοῦτο ποιεῖν φανερόν.

Καθόλου μὲν οὖν, ὃν δεῖ τρόπον τὰς προτάσεις ἐκλέγειν, εἴρηται σχεδόν· δι᾿ ἀκριβείας δὲ διεληλύθαμεν ἐν τῇ πραγματείᾳ τῇ περὶ τὴν διαλεκτικήν.

Ὅτι δ᾿ ἡ διὰ τῶν γενῶν διαίρεσις μικρόν τι μόριόν ἐστι τῆς εἰρημένης μεθόδου, ῥᾴδιον ἰδεῖν· ἔστι γὰρ ἡ διαίρεσις οἷον ἀσθενὴς συλλογισμός· ὃ μὲν γὰρ δεῖ δεῖξαι αἰτεῖται, συλλογίζεται δ᾿ ἀεί τι τῶν ἄνωθεν. Πρῶτον δ᾿ αὐτὸ τοῦτο ἐλελήθει τοὺς χρωμένους αὐτῇ πάντας, καὶ πείθειν ἐπεχείρουν ὡς ὄντος δυνατοῦ περὶ οὐσίας ἀπόδειξιν γίνεσθαι καὶ τοῦ τί ἐστιν. Ὤστ᾿ οὔτε ὅ τι ἐνδέχεται συλλογίσασθαι διαιρούμενοι ξυνίεσαν, οὔτε ὅτι οὕτως ἐνεδέχετο ὥσπερ εἰρήκαμεν. Ἒν μὲν οὖν ταῖς ἀποδείξεσιν, ὅταν δέῃ τι συλλογίσασθαι ὑπάρχειν, δεῖ τὸ μέσον, δι᾿ οὗ γίνεται ὁ συλλογισμός, καὶ ἧττον ἀεὶ εἶναι καὶ μὴ καθόλου τοῦ πρώτου τῶν ἄκρων· ἡ δὲ διαίρεσις τοὐναντίον βούλεται· τὸ γὰρ καθόλου λαμβάνει μέσον. Ἔστω γὰρ ζῷον μὲν ἐφ᾿ οὗ Α, τὸ δὲ θνητὸν ἐφ᾿ οὗ Β, καὶ ἀθάνατον ἐφ᾿ οὗ Γ, ὁ δ᾿ ἄνθρωπος, οὗ τὸν λόγον δεῖ λαβεῖν, ἐφ᾿ οὗ τὸ Δ. Ἅπαν δὴ ζῷον λαμβάνει ἢ θνητὸν ἢ ἀθάνατον· τοῦτο δ᾿ ἐστίν, ὃ ἂν ᾖ A, ἅπαν εἶναι ἢ Β ἢ Γ. Πάλιν τὸν ἄνθρωπον ἀεὶ διαιρούμενος τίθεται ζῷον εἶναι, ὥστε κατὰ τοῦ Δ τὸ Α λαμβάνει ὑπάρχειν. Ὁ μὲν οὖν συλλογισμός ἐστιν ὅτι τὸ Δ ἢ Β ἢ Γ ἅπαν ἔσται, ὥστε τὸν ἄνθρωπον ἢ θνητὸν μὲν ἢ ἀθάνατον ἀναγκαῖον εἶναι, ζῷον θνητὸν δὲ οὐκ ἀναγκαῖον, ἀλλ᾿ αἰτεῖται· τοῦτο δ᾿ ἦν ὃ ἔδει συλλογίσασθαι. Καὶ πάλιν θέμενος τὸ μὲν Α ζῷον θνητόν, ἐφ᾿ οὗ τὸ Β ὑπόπουν, ἐφ᾿ οὗ δὲ τὸ Γ ἄπουν, τὸν

δ᾿ ἄνθρωπον τὸ Δ, ὡσαύτως λαμβάνει τὸ μὲν Α ἤτοι ἐν τῷ Β ἢ ἐν τῷ Γ εἶναι (ἅπαν γὰρ ζῷον θνητὸν ἢ ὑπόπουν ἢ ἄπουν ἐστί), κατὰ δὲ τοῦ Δ τὸ Α (τὸν γὰρ ἄνθρωπον ζῷον θνητὸν εἶναι ἔλαβεν)· ὥστ᾿ ὑπόπουν μὲν ἢ ἄπουν εἶναι ζῷον ἀνάγκη τὸν ἄνθρωπον, ὑπόπουν δ᾿ οὐκ ἀνάγκη, ἀλλὰ λαμβάνει· τοῦτο δ᾿ ἦν ὃ ἔδει πάλιν δεῖξαι. Καὶ τοῦτον δὴ τὸν τρόπον ἀεὶ διαιρουμένοις τὸ μὲν καθόλου συμβαίνει αὐτοῖς μέσον λαμβάνειν, καθ᾿ οὗ δ᾿ ἔδει δεῖξαι καὶ τὰς διαφορὰς ἄκρα. Τέλος δέ, ὅτι τοῦτ᾿ ἔστιν ἄνθρωπος ἢ ὅ τι ποτ᾿ ἂν ᾖ τὸ ζητούμενον, οὐδὲν λέγουσι σαφές, ὥστ᾿ ἀναγκαῖον εἶναι· καὶ γὰρ τὴν ἄλλην ὁδὸν ποιοῦνται πᾶσαν, οὐδὲ τὰς ἐνδεχομένας εὐπορίας ὑπολαμβάνοντες ὑπάρχειν. Φανερὸν δ᾿ ὅτι οὔτ᾿ ἀνασκευάσαι ταύτῃ τῇ μεθόδῳ ἔστιν, οὔτε περὶ συμβεβηκότος ἢ ἰδίου συλλογίσασθαι, οὔτε περὶ γένους, οὔτ᾿ ἐν οἷς ἀγνοεῖται τὸ πότερον ὧδε ἢ ὧδε ἔχει, οἷον ἆρ᾿ ἡ διάμετρος ἀσύμμετρος. Ἐὰν γὰρ λάβῃ ὅτι ἅπαν μῆκος ἢ σύμμετρον ἢ ἀσύμμετρον, ἡ δὲ διάμετρος μῆκος, συλλελόγισται ὅτι ἀσύμμετρος ἢ σύμμετρος ἡ διάμετρος. Εἰ δὲ λήψεται ἀσύμμετρον, ὃ ἔδει συλλογίσασθαι, λήψεται. Οὐκ ἄρα ἔστι δεῖξαι· ἡ μὲν γὰρ ὁδὸς αὕτη, διὰ ταύτης δ᾿ οὐκ ἔστιν. Τὸ ἀσύμμετρον ἢ σύμμετρον ἐφ᾿ οὗ Α, μῆκος Β, διάμετρος Γ. Φανερὸν οὖν ὅτι οὔτε πρὸς πᾶσαν σκέψιν ἁρμόζει τῆς ζητήσεως ὁ τρόπος, οὔτ᾿ ἐν οἷς μάλιστα δοκεῖ πρέπειν, ἐν τούτοις ἐστὶ χρήσιμος.

Ἐκ τίνων μὲν οὖν αἱ ἀποδείξεις γίνονται καὶ πῶς, καὶ εἰς ὁποῖα βλεπτέον καθ᾿ ἕκαστον πρόβλημα, φανερὸν ἐκ τῶν εἰρημένων·

πῶς δ᾿ ἀνάξομεν τοὺς συλλογισμοὺς εἰς τὰ προειρημένα σχήματα, λεκτέον ἂν εἴη μετὰ ταῦτα· λοιπὸν γὰρ ἔτι τοῦτο τῆς σκέψεως. Εἰ γὰρ τήν τε γένεσιν τῶν συλλογισμῶν θεωροῖμεν καὶ τοῦ εὑρίσκειν ἔχοιμεν δύναμιν, ἔτι

δὲ τοὺς γεγενημένους ἀναλύοιμεν εἰς τὰ προειρημένα σχήματα, τέλος ἂν ἔχοι ἡ ἐξ ἀρχῆς πρόθεσις. Συμβήσεται δ᾿ ἅμα καὶ τὰ πρότερον εἰρημένα ἐπιβεβαιοῦσθαι καὶ φανερώτερα εἶναι, ὅτι οὕτως ἔχει, διὰ τῶν νῦν λεχθησομένων· δεῖ γὰρ πᾶν τὸ ἀληθὲς αὐτὸ ἑαυτῷ ὁμολογούμενον εἶναι πάντῃ.

Πρῶτον μὲν οὖν δεῖ πειρᾶσθαι τὰς δύο προτάσεις ἐκλαμβάνειν τοῦ συλλογισμοῦ (ῥᾷον γὰρ εἰς τὰ μείζω διελεῖν ἢ τὰ ἐλάττω, μείζω δὲ τὰ συγκείμενα ἢ ἐξ ὧν), εἶτα σκοπεῖν ποτέρα ἐν ὅλῳ καὶ ποτέρα ἐν μέρει, καὶ εἰ μὴ ἄμφω εἰλημμέναι εἶεν, αὐτὸν τιθέντα τὴν ἑτέραν. Ἐνίοτε γὰρ τὴν καθόλου προτείναντες τὴν ἐν ταύτῃ οὐ λαμβάνουσιν, οὔτε γράφοντες οὔτ᾿ ἐρωτῶντες· ἢ ταύτας μὲν προτείνουσι, δι᾿ ὧν δ᾿ αὗται περαίνονται, παραλείπουσιν, ἄλλα δὲ μάτην ἐρωτῶσιν. Σκεπτέον οὖν εἴ τι περίεργον εἴληπται καί τι τῶν ἀναγκαίων παραλέλειπται, καὶ τὸ μὲν θετέον τὸ δ᾿ ἀφαιρετέον, ἕως ἂν ἔλθῃ τις εἰς τὰς δύο προτάσεις· ἄνευ γὰρ τούτων οὐκ ἔστιν ἀγαγεῖν τοὺς οὕτως ἠρωτημένους λόγους. Ἐνίων μὲν οὖν ῥᾴδιον ἰδεῖν τὸ ἐνδεές, ἔνιοι δὲ λανθάνουσι καὶ δοκοῦσι συλλογίζεσθαι διὰ τὸ ἀναγκαῖόν τι συμβαίνειν ἐκ τῶν κειμένων, οἷον εἰ ληφθείη μὴ οὐσίας ἀναιρουμένης μὴ ἀναιρεῖσθαι οὐσίαν, ἐξ ὧν δ᾿ ἐστὶν ἀναιρουμένων, καὶ τὸ ἐκ τούτων φθείρεσθαι· τούτων γὰρ τεθέντων ἀναγκαῖον μὲν τὸ οὐσίας μέρος εἶναι οὐσίαν, οὐ μὴν συλλελόγισται διὰ τῶν εἰλημμένων, ἀλλ᾿ ἐλλείπουσι προτάσεις. Πάλιν εἰ ἀνθρώπου ὄντος ἀνάγκη ζῷον εἶναι καὶ ζῴου οὐσίαν, ἀνθρώπου ὄντος ἀνάγκη οὐσίαν εἶναι· ἀλλ᾿ οὔπω συλλελόγισται· οὐ γὰρ ἔχουσιν αἱ προτάσεις ὡς εἴπομεν. Ἀπατώμεθα δ᾿ ἐν τοῖς τοιούτοις διὰ τὸ ἀναγκαῖόν τι συμβαίνειν ἐκ τῶν κειμένων, ὅτι καὶ ὁ συλλογισμὸς ἀναγκαῖόν ἐστιν. Ἐπὶ πλέον δὲ τὸ ἀναγκαῖον ἢ ὁ συλλογισμός· ὁ μὲν γὰρ συλλογισμὸς πᾶς ἀναγκαῖον, τὸ δ᾿ ἀναγκαῖον οὐ πᾶν συλλογισμός. Ὤστ᾿

οὐκ εἴ τι συμβαίνει τεθέντων τινῶν, πειρατέον ἀνάγειν εὐθύς, ἀλλὰ πρῶτον ληπτέον τὰς δύο προτάσεις, εἶθ᾿ οὕτω διαιρετέον εἰς τοὺς ὅρους, μέσον δὲ θετέον τῶν ὅρων τὸν ἐν ἀμφοτέραις ταῖς προτάσεσι λεγόμενον· ἀνάγκη γὰρ τὸ μέσον ἐν ἀμφοτέραις ὑπάρχειν ἐν ἅπασι τοῖς σχήμασιν. Ἐὰν μὲν οὖν κατηγορῇ καὶ κατηγορῆται τὸ μέσον, ἢ αὐτὸ μὲν κατηγορῇ, ἄλλο δ᾿ ἐκείνου ἀπαρνῆται, τὸ πρῶτον ἔσται σχῆμα· ἐὰν δὲ καὶ κατηγορῇ καὶ ἀπαρνῆται ἀπό τινος, τὸ μέσον· ἐὰν δ᾿ ἄλλα ἐκείνου κατηγορῆται, ἢ τὸ μὲν ἀπαρνῆται τὸ δὲ κατηγορῆται, τὸ ἔσχατον. Οὕτω γὰρ εἶχεν ἐν ἑκάστῳ σχήματι τὸ μέσον. Ὁμοίως δὲ καὶ ἐὰν μὴ καθόλου ὦσιν αἱ προτάσεις· ὁ γὰρ αὐτὸς διορισμὸς τοῦ μέσου. Φανερὸν οὖν ὡς ἐν ᾧ λόγῳ μὴ λέγεται ταὐτὸ πλεονάκις, ὅτι οὐ γίνεται συλλογισμός· οὐ γὰρ εἴληπται μέσον. Ἐπεὶ δ᾿ ἔχομεν ποῖον ἐν ἑκάστῳ σχήματι περαίνεται τῶν προβλημάτων, καὶ ἐν τίνι τὸ καθόλου καὶ ἐν ποίῳ τὸ ἐν μέρει, φανερὸν ὡς οὐκ εἰς ἅπαντα τὰ σχήματα βλεπτέον, ἀλλ᾿ ἑκάστου προβλήματος εἰς τὸ οἰκεῖον. Ὅσα δ᾿ ἐν πλείοσι περαίνεται, τῇ τοῦ μέσου θέσει γνωριοῦμεν τὸ σχῆμα.

Πολλάκις μὲν οὖν ἀπατᾶσθαι συμβαίνει περὶ τοὺς συλλογισμοὺς διὰ τὸ ἀναγκαῖον, ὥσπερ εἴρηται πρότερον, ἐνίοτε δὲ παρὰ τὴν ὁμοιότητα τῆς τῶν ὅρων θέσεως· ὅπερ οὐ χρὴ λανθάνειν ἡμᾶς. Οἷον εἰ τὸ Α κατὰ τοῦ Β λέγεται καὶ τὸ Β κατὰ τοῦ Γ· δόξειε γὰρ ἂν οὕτως ἐχόντων τῶν ὅρων εἶναι συλλογισμός, οὐ γίνεται δ᾿ οὔτ᾿ ἀναγκαῖον οὐδὲν οὔτε συλλογισμός. Ἔστω γὰρ ἐφ᾿ ᾧ Α τὸ ἀεὶ εἶναι, ἐφ᾿ ᾧ δὲ Β διανοητὸς Ἀριστομένης, τὸ δ᾿ ἐφ᾿ ᾧ Γ Ἀριστομένης. Ἀληθὲς δὴ τὸ Α τῷ Β ὑπάρχειν· ἀεὶ γάρ ἐστι διανοητὸς Ἀριστομένης. Ἀλλὰ καὶ τὸ Β τῷ Γ· ὁ γὰρ Ἀριστομένης ἐστὶ διανοητὸς Ἀριστομένης. Τὸ δ᾿ Α τῷ Γ οὐχ ὑπάρχει· φθαρτὸς γάρ ἐστιν ὁ Ἀριστομένης. Οὐκ ἄρα ἐγίνετο

συλλογισμὸς οὕτως ἐχόντων τῶν ὅρων, ἀλλ᾿ ἔδει καθόλου τὴν Α Β ληφθῆναι πρότασιν. Τοῦτο δὲ ψεῦδος, τὸ ἀξιοῦν πάντα τὸν διανοητὸν Ἀριστομένην ἀεὶ εἶναι, φθαρτοῦ ὄντος Ἀριστομένους. Πάλιν ἔστω τὸ μὲν ἐφ᾿ ᾧ Γ Μίκκαλος, τὸ δ᾿ ἐφ᾿ ᾧ Β μουσικὸς Μίκκαλος, ἐφ᾿ ᾧ δὲ τὸ Α τὸ φθείρεσθαι αὔριον. Ἀληθὲς δὴ τὸ Β τοῦ Γ κατηγορεῖν· ὁ γὰρ Μίκκαλός ἐστι μουσικὸς Μίκκαλος. Ἀλλὰ καὶ τὸ Α τοῦ Β· φθείροιτο γὰρ ἂν αὔριον μουσικὸς Μίκκαλος. Τὸ δέ γε Α τοῦ Γ ψεῦδος. Τοῦτο δὴ ταὐτόν ἐστι τῷ πρότερον· οὐ γὰρ ἀληθὲς καθόλου, Μίκκαλος μουσικὸς ὅτι φθείρεται αὔριον· τούτου δὲ μὴ ληφθέντος οὐκ ἦν συλλογισμός.

Αὕτη μὲν οὖν ἡ ἀπάτη γίνεται ἐν τῷ παρὰ μικρόν· ὡς γὰρ οὐδὲν διαφέρον εἰπεῖν τόδε τῷδε ὑπάρχειν ἢ τόδε τῷδε παντὶ ὑπάρχειν, συγχωροῦμεν.

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

Καὶ γὰρ ὑγίειαν καὶ νόσον καὶ ἐπιστήμην καὶ ἄγνοιαν καὶ ὅλως τὰ ἐναντία τῷ αὐτῷ ἐνδέχεται ὑπάρχειν, ἀλλήλοις δ᾿ ἀδύνατον. Τοῦτο δ᾿ ἀνομολογούμενον τοῖς προειρημένοις· ὅτε γὰρ τῷ αὐτῷ πλείω ἐνεδέχετο ὑπάρχειν, ἐνεδέχετο καὶ ἀλλήλοις.

Φανερὸν οὖν ὅτι ἐν ἅπασι τούτοις ἡ ἀπάτη γίνεται παρὰ τὴν τῶν ὅρων ἔκθεσιν· μεταληφθέντων γὰρ τῶν κατὰ τὰς ἕξεις οὐδὲν γίνεται ψεῦδος. Δῆλον οὖν ὅτι κατὰ τὰς τοιαύτας προτάσεις ἀεὶ τὸ κατὰ τὴν ἕξιν ἀντὶ τῆς ἕξεως μεταληπτέον καὶ θετέον ὅρον.