aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora priora.1.28
Κατασκευάζειν μὲν οὖν βουλομένοις κατά τινος ὅλου τοῦ μὲν κατασκευαζομένου βλεπτέον εἰς τὰ ὑποκείμενα , καθ᾿ ὧν αὐτὸ τυγχάνει λεγόμενον , οὗ δὲ δεῖ κατηγορεῖσθαι , ὅσα τούτῳ ἕπεται · ἂν γάρ τι τούτων ᾖ ταὐτόν , ἀνάγκη θάτερον θατέρῳ ὑπάρχειν . Ἢν δὲ μὴ ὅτι παντὶ ἀλλ᾿ ὅτι τινί , οἷς ἕπεται ἑκάτερον · εἰ γάρ τι τούτων ταὐτόν , ἀνάγκη τινὶ ὑπάρχειν . Ὅταν δὲ μηδενὶ δέῃ ὑπάρχειν , ᾧ μὲν οὐ δεῖ ὑπάρχειν , εἰς τὰ ἑπόμενα , ὃ δὲ δεῖ μὴ ὑπάρχειν , εἰς ἃ μὴ ἐνδέχεται αὐτῷ παρεῖναι · ἢ ἀνάπαλιν , ᾧ μὲν δεῖ μὴ ὑπάρχειν , ἃ μὴ ἐνδέχεται αὐτῷ παρεῖναι , ὃ δὲ μὴ ὑπάρχειν , εἰς τὰ ἑπόμενα . Τούτων γὰρ ὄντων τῶν αὐτῶν ὁποτερωνοῦν , οὐδενὶ ἐνδέχεται θατέρῳ θάτερον ὑπάρχειν · γίνεται γὰρ ὁτὲ μὲν ὁ ἐν τῷ πρώτῳ σχήματι συλλογισμός , ὁτὲ δ᾿ ὁ ἐν τῷ μέσῳ . Ἐὰν δὲ τινὶ μὴ ὑπάρχειν , ᾧ μὲν μὴ ὑπάρχειν , οἷς ἕπεται , ὃ δὲ μὴ ὑπάρχειν , ἃ μὴ δυνατὸν αὐτῷ ὑπάρχειν · εἰ γάρ τι τούτων εἴη ταὐτόν , ἀνάγκη τινὶ μὴ ὑπάρχειν . Μᾶλλον δ᾿ ἴσως ὧδ᾿ ἔσται τῶν λεγομένων ἕκαστον φανερόν . Ἔστω γὰρ τὰ μὲν ἑπόμενα τῷ Α ἐφ᾿ ὧν Β , οἷς δ᾿ αὐτὸ ἕπεται , ἐφ᾿ ὧν Γ , ἃ δὲ μὴ ἐνδέχεται αὐτῷ ὑπάρχειν , ἐφ᾿ ὧν Δ · πάλιν δὲ τῷ Ε τὰ μὲν ὑπάρχοντα , ἐφ᾿ οἷς Ζ , οἷς δ᾿ αὐτὸ ἕπεται , ἐφ᾿ οἷς Η , ἃ δὲ μὴ ἐνδέχεται αὐτῷ ὑπάρχειν , ἐφ᾿ οἷς Θ . Εἰ μὲν οὖν ταὐτό τι ἔσται τῶν Γ τινὶ τῶν Ζ , ἀνάγκη τὸ Α παντὶ τῷ Ε ὑπάρχειν · τὸ μὲν γὰρ Ζ παντὶ τῷ Ε , τῷ δὲ Γ παντὶ τῷ Α , ὥστε παντὶ τῷ Ε τὸ Α . Εἰ δὲ τὸ Γ καὶ τὸ Η ταὐτόν , ἀνάγκη τινὶ τῶν Ε τὸ Α ὑπάρχειν · τῷ μὲν γὰρ Γ τὸ Α , τῷ δὲ Η τὸ Ε παντὶ ἀκολουθεῖ . Εἰ δὲ τὸ Ζ καὶ τὸ Δ ταὐτόν , οὐδενὶ τῶν Ε τὸ Α ὑπάρξει ἐκ προσυλλογισμοῦ · ἐπεὶ γὰρ ἀντιστρέφει τὸ στερητικὸν καὶ τὸ Ζ τῷ Δ ταὐτόν , οὐδενὶ τῶν Ζ ὑπάρξει τὸ Α , τὸ δὲ Ζ παντὶ τῷ Ε . Πάλιν εἰ τὸ Β καὶ τὸ Θ ταὐτόν , οὐδενὶ τῶν Ε τὸ Α ὑπάρξει · τὸ γὰρ Β τῷ μὲν Α παντί , τὸ δ᾿ ἐφ᾿ ᾧ τὸ Ε οὐδενὶ ὑπάρξει · ταὐτὸ γὰρ ἦν τῷ Θ , τὸ δὲ Θ οὐδενὶ τῶν Ε ὑπῆρχεν . Εἰ δὲ τὸ Δ καὶ τὸ Η ταὐτόν , τὸ Α τινὶ τῶν Ε οὐχ ὑπάρξει · τῷ γὰρ Η οὐχ ὑπάρξει , ὅτι οὐδὲ τῷ Δ · τὸ δὲ Η ἐστὶν ὑπὸ τὸ Ε , ὥστε τινὶ τῶν Ε οὐχ ὑπάρξει . Εἰ δὲ τῷ Η τὸ Β ταὐτόν , ἀντεστραμμένος ἔσται συλλογισμός · τὸ μὲν γὰρ Η τῷ Α ὑπάρξει παντί ( τὸ γὰρ Β τῷ Α ) , τὸ δὲ Ε τῷ Β ( ταὐτὸ γὰρ ἦν τῷ Η ) · τὸ δὲ Α τῷ Ε παντὶ μὲν οὐκ ἀνάγκη ὑπάρχειν , τινὶ δ᾿ ἀνάγκη διὰ τὸ ἀντιστρέφειν τῇ καθόλου κατηγορίᾳ τὴν κατὰ μέρος . Φανερὸν οὖν ὅτι εἰς τὰ προειρημένα βλεπτέον ἑκατέρου καθ᾿ ἕκαστον πρόβλημα · διὰ τούτων γὰρ ἅπαντες οἱ συλλογισμοί . Δεῖ δὲ καὶ τῶν ἑπομένων , καὶ οἷς ἕπεται ἕκαστον , εἰς τὰ πρῶτα καὶ τὰ καθόλου μάλιστα βλέπειν , οἷον τοῦ μὲν Ε μᾶλλον εἰς τὸ Κ Ζ ἢ εἰς τὸ Ζ μόνον , τοῦ δὲ Α εἰς τὸ Κ Γ ἢ εἰς τὸ Γ μόνον . Εἰ μὲν γὰρ τῷ Κ Ζ ὑπάρχει τὸ Α , καὶ τῷ Ζ καὶ τῷ Ε ὑπάρχει · εἰ δὲ τούτῳ μὴ ἕπεται , ἐγχωρεῖ τῷ Ζ ἕπεσθαι . Ὁμοίως δὲ καὶ ἐφ᾿ ὧν αὐτὸ ἀκολουθεῖ σκεπτέον · εἰ μὲν γὰρ τοῖς πρώτοις , καὶ τοῖς ὑπ᾿ ἐκεῖνα ἕπεται εἰ δὲ μὴ τούτοις , ἀλλὰ τοῖς ὑπὸ ταῦτα ἐγχωρεῖ . Δῆλον δὲ καὶ ὅτι διὰ τῶν τριῶν ὅρων καὶ τῶν δύο προτάσεων ἡ σκέψις , καὶ διὰ τῶν προειρημένων σχημάτων οἱ συλλογισμοὶ πάντες . Δείκνυται γὰρ ὑπάρχειν μὲν παντὶ τῷ Ε τὸ Α , ὅταν τῶν Γ καὶ Ζ ταὐτόν τι ληφθῇ . Τοῦτο δ᾿ ἔσται μέσον , ἄκρα δὲ τὸ Α καὶ Ε · γίνεται οὖν τὸ πρῶτον σχῆμα . Τινὶ δέ , ὅταν τὸ Γ καὶ τὸ Η ληφθῇ ταὐτόν . Τοῦτο δὲ τὸ ἔσχατον σχῆμα · μέσον γὰρ τὸ Η γίνεται . Μηδενὶ δέ , ὅταν τὸ Δ καὶ Ζ ταὐτόν . Οὕτω δὲ καὶ τὸ πρῶτον σχῆμα καὶ τὸ μέσον , τὸ μὲν πρῶτον ὅτι οὐδενὶ τῷ Ζ ὑπάρχει τὸ Α , εἴπερ ἀντιστρέφει τὸ στερητικόν , τὸ δὲ Ζ παντὶ τῷ Ε , τὸ δὲ μέσον ὅτι τὸ Δ τῷ μὲν Α οὐδενὶ τῷ δὲ Ε παντὶ ὑπάρχει . Τινὶ δὲ μὴ ὑπάρχειν , ὅταν τὸ Δ καὶ Η ταὐτὸν ᾖ . Τοῦτο δὲ τὸ ἔσχατον σχῆμα · τὸ μὲν γὰρ Α οὐδενὶ τῷ Η ὑπάρξει , τὸ δὲ Ε παντὶ τῷ Η . Φανερὸν οὖν ὅτι διὰ τῶν προειρημένων σχημάτων οἱ συλλογισμοὶ πάντες , καὶ ὅτι οὐκ ἐκλεκτέον ὅσα πᾶσιν ἕπεται , διὰ τὸ μηδένα γίνεσθαι συλλογισμὸν ἐξ αὐτῶν . Κατασκευάζειν μὲν γὰρ ὅλως οὐκ ἦν ἐκ τῶν ἑπομένων , ἀποστερεῖν δ᾿ οὐκ ἐνδέχεται διὰ τοῦ πᾶσιν ἑπομένου · δεῖ γὰρ τῷ μὲν ὑπάρχειν τῷ δὲ μὴ ὑπάρχειν . Φανερὸν δὲ καὶ ὅτι αἱ ἄλλαι σκέψεις τῶν κατὰ τὰς ἐκλογὰς ἄχρειοι πρὸς τὸ ποιεῖν συλλογισμόν , οἷον εἰ τὰ ἑπόμενα ἑκατέρῳ ταὐτά ἐστιν , ἢ εἰ οἷς ἕπεται τὸ Α , καὶ ἃ μὴ ἐνδέχεται τῷ Ε , ἢ ὅσα πάλιν μὴ ἐγχωρεῖ ἑκατέρῳ ὑπάρχειν · οὐ γὰρ γίνεται συλλογισμὸς διὰ τούτων . Εἰ μὲν γὰρ τὰ ἑπόμενα ταὐτά , οἷον τὸ Β καὶ τὸ Ζ , τὸ μέσον γίνεται σχῆμα κατηγορικὰς ἔχον τὰς προτάσεις · εἰ δ᾿ οἷς ἕπεται τὸ Α , καὶ ἃ μὴ ἐνδέχεται τῷ Ε , οἷον τὸ Γ καὶ τὸ Θ , τὸ πρῶτον σχῆμα στερητικὴν ἔχον τὴν πρὸς τὸ ἔλαττον ἄκρον πρότασιν . Εἰ δ᾿ ὅσα μὴ ἐνδέχεται ἑκατέρῳ , οἷον τὸ Δ καὶ τὸ Θ , στερητικαὶ ἀμφότεραι αἱ προτάσεις , ἢ ἐν τῷ πρώτῳ ἢ ἐν τῷ μέσῳ σχήματι . Οὕτως δ᾿ οὐδαμῶς συλλογισμός . Δῆλον δὲ καὶ ὅτι ὁποῖα ταὐτὰ ληπτέον τὰ κατὰ τὴν ἐπίσκεψιν , καὶ οὐχ ὁποῖα ἕτερα ἢ ἐναντία , πρῶτον μὲν ὅτι τοῦ μέσου χάριν ἡ ἐπίβλεψις , τὸ δὲ μέσον οὐχ ἕτερον ἀλλὰ ταὐτὸν δεῖ λαβεῖν . Εἶτα ἐν ὅσοις καὶ συμβαίνει γίνεσθαι συλλογισμὸν τῷ ληφθῆναι ἐναντία ἢ μὴ ἐνδεχόμενα τῷ αὐτῷ ὑπάρχειν , εἰς τοὺς προειρημένους ἅπαντα ἀναχθήσεται τρόπους , οἷον εἰ τὸ Β καὶ τὸ Ζ ἐναντία ἢ μὴ ἐνδέχεται τῷ αὐτῷ ὑπάρχειν · ἔσται μὲν γὰρ τούτων ληφθέντων συλλογισμὸς ὅτι οὐδενὶ τῶν Ε τὸ Α ὑπάρχει , ἀλλ᾿ οὐκ ἐξ αὐτῶν ἀλλ᾿ ἐκ τοῦ προειρημένου τρόπου · τὸ γὰρ Β τῷ μὲν Α παντὶ τῷ δὲ Ε οὐδενὶ ὑπάρξει , ὥστ᾿ ἀνάγκη ταὐτὸ εἶναι τὸ Β τινὶ τῶν Θ . Πάλιν εἰ τὸ Β καὶ Η μὴ ἐγχωρεῖ τῷ αὐτῷ παρεῖναι , ὅτι τινὶ τῶν Ε οὐχ ὑπάρξει τὸ Α · καὶ γὰρ οὕτως τὸ μέσον ἔσται σχῆμα · τὸ γὰρ Β τῷ μὲν Α παντὶ τῷ δὲ Η οὐδενὶ ὑπάρξει , ὥστ᾿ ἀνάγκη τὸ Β ταὐτόν τινι εἶναι τῶν Θ . Τὸ γὰρ μὴ ἐνδέχεσθαι τὸ Β καὶ τὸ Η τῷ αὐτῷ ὑπάρχειν οὐδὲν διαφέρει ἢ τὸ Β τῶν Θ τινὶ ταὐτὸν εἶναι · πάντα γὰρ εἴληπται τὰ μὴ ἐνδεχόμενα τῷ Ε ὑπάρχειν . Φανερὸν μὲν οὖν ὅτι ἐξ αὐτῶν μὲν τούτων τῶν ἐπιβλέψεων οὐδεὶς γίνεται συλλογισμός , ἐὰν δὲ τὸ Β καὶ τὸ Ζ ἐναντία , ταὐτόν τινι εἶναι τὸ Β τῶν Θ καὶ τὸν συλλογισμὸν γίνεσθαι διὰ τούτων . Συμβαίνει δὴ τοῖς οὕτως ἐπισκοποῦσι προσεπιβλέπειν ἄλλην ὁδὸν τῆς ἀναγκαίας διὰ τὸ λανθάνειν τὴν ταὐτότητα τῶν Β καὶ τῶν Θ .
Lemmas: κατασκευάζω μέν οὖν βούλομαι κατά τις ὅλος ὁ μέν κατασκευάζω βλεπτέον εἰς ὁ ὑπόκειμαι , κατά ὅς αὐτός τυγχάνω λέγω , ὅς δέ δέω κατηγορέω , ὅσος οὗτος ἕπομαι · ἐάν γάρ τις οὗτος εἰμί αὐτός , ἀνάγκη ἕτερος ἕτερος ὑπάρχω . ἐάν δέ μή ὅτι πᾶς ἀλλά ὅτι τις , ὅς ἕπομαι ἑκάτερος · εἰ γάρ τις οὗτος αὐτός , ἀνάγκη τις ὑπάρχω . ὅταν δέ μηδείς δέω ὑπάρχω , ὅς μέν οὐ δέω ὑπάρχω , εἰς ὁ ἕπομαι , ὅς δέ δέω μή ὑπάρχω , εἰς ὅς μή ἐνδέχομαι αὐτός πάρειμι · ἤ ἀνάπαλιν , ὅς μέν δέω μή ὑπάρχω , ὅς μή ἐνδέχομαι αὐτός πάρειμι , ὅς δέ μή ὑπάρχω , εἰς ὁ ἕπομαι . οὗτος γάρ εἰμί ὁ αὐτός ὁποτέρως , οὐδείς ἐνδέχομαι ἕτερος ἕτερος ὑπάρχω · γίγνομαι γάρ ὅτε μέν ὁ ἐν ὁ πρῶτος σχῆμα συλλογισμός , ὅτε δέ ὁ ἐν ὁ μέσος . ἐάν δέ τις μή ὑπάρχω , ὅς μέν μή ὑπάρχω , ὅς ἕπομαι , ὅς δέ μή ὑπάρχω , ὅς μή δυνατός αὐτός ὑπάρχω · εἰ γάρ τις οὗτος εἰμί αὐτός , ἀνάγκη τις μή ὑπάρχω . μάλα δέ ἴσως ὧδε εἰμί ὁ λέγω ἕκαστος φανερός . εἰμί γάρ ὁ μέν ἕπομαι ὁ Α ἐπί ὅς Β , ὅς δέ αὐτός ἕπομαι , ἐπί ὅς Γ , ὅς δέ μή ἐνδέχομαι αὐτός ὑπάρχω , ἐπί ὅς Δ · πάλιν δέ ὁ Ε ὁ μέν ὑπάρχω , ἐπί ὅς Ζ , ὅς δέ αὐτός ἕπομαι , ἐπί ὅς Η , ὅς δέ μή ἐνδέχομαι αὐτός ὑπάρχω , ἐπί ὅς Θ . εἰ μέν οὖν αὐτός τις εἰμί ὁ Γ τις ὁ Ζ , ἀνάγκη ὁ Α πᾶς ὁ Ε ὑπάρχω · ὁ μέν γάρ Ζ πᾶς ὁ Ε , ὁ δέ Γ πᾶς ὁ Α , ὥστε πᾶς ὁ Ε ὁ Α . εἰ δέ ὁ Γ καί ὁ Η αὐτός , ἀνάγκη τις ὁ Ε ὁ Α ὑπάρχω · ὁ μέν γάρ Γ ὁ Α , ὁ δέ Η ὁ Ε πᾶς ἀκολουθέω . εἰ δέ ὁ Ζ καί ὁ Δ αὐτός , οὐδείς ὁ Ε ὁ Α ὑπάρχω ἐκ προσυλλογισμός · ἐπεί γάρ ἀντιστρέφω ὁ στερητικός καί ὁ Ζ ὁ Δ αὐτός , οὐδείς ὁ Ζ ὑπάρχω ὁ Α , ὁ δέ Ζ πᾶς ὁ Ε . πάλιν εἰ ὁ Β καί ὁ Θ αὐτός , οὐδείς ὁ Ε ὁ Α ὑπάρχω · ὁ γάρ Β ὁ μέν Α πᾶς , ὁ δέ ἐπί ὅς ὁ Ε οὐδείς ὑπάρχω · αὐτός γάρ εἰμί ὁ Θ , ὁ δέ Θ οὐδείς ὁ Ε ὑπάρχω . εἰ δέ ὁ Δ καί ὁ Η αὐτός , ὁ Α τις ὁ Ε οὐ ὑπάρχω · ὁ γάρ Η οὐ ὑπάρχω , ὅτι οὐδέ ὁ Δ · ὁ δέ Η εἰμί ὑπό ὁ Ε , ὥστε τις ὁ Ε οὐ ὑπάρχω . εἰ δέ ὁ Η ὁ Β αὐτός , ἀντιστρέφω εἰμί συλλογισμός · ὁ μέν γάρ Η ὁ Α ὑπάρχω πᾶς ( ὁ γάρ Β ὁ Α ) , ὁ δέ Ε ὁ Β ( αὐτός γάρ εἰμί ὁ Η ) · ὁ δέ Α ὁ Ε πᾶς μέν οὐ ἀνάγκη ὑπάρχω , τις δέ ἀνάγκη διά ὁ ἀντιστρέφω ὁ καθόλου κατηγορία ὁ κατά μέρος . φανερός οὖν ὅτι εἰς ὁ προλέγω βλεπτέον ἑκάτερος κατά ἕκαστος πρόβλημα · διά οὗτος γάρ ἅπας ὁ συλλογισμός . δέω δέ καί ὁ ἕπομαι , καί ὅς ἕπομαι ἕκαστος , εἰς ὁ πρῶτος καί ὁ καθόλου μάλα βλέπω , οἷος ὁ μέν Ε μάλα εἰς ὁ Κ Ζ ἤ εἰς ὁ Ζ μόνος , ὁ δέ Α εἰς ὁ Κ Γ ἤ εἰς ὁ Γ μόνος . εἰ μέν γάρ ὁ Κ Ζ ὑπάρχω ὁ Α , καί ὁ Ζ καί ὁ Ε ὑπάρχω · εἰ δέ οὗτος μή ἕπομαι , ἐγχωρέω ὁ Ζ ἕπομαι . ὅμοιος δέ καί ἐπί ὅς αὐτός ἀκολουθέω σκοπέω · εἰ μέν γάρ ὁ πρῶτος , καί ὁ ὑπό ἐκεῖνος ἕπομαι εἰ δέ μή οὗτος , ἀλλά ὁ ὑπό οὗτος ἐγχωρέω . δῆλος δέ καί ὅτι διά ὁ τρεῖς ὅρος καί ὁ δύο πρότασις ὁ σκέψις , καί διά ὁ προλέγω σχῆμα ὁ συλλογισμός πᾶς . δείκνυμι γάρ ὑπάρχω μέν πᾶς ὁ Ε ὁ Α , ὅταν ὁ Γ καί Ζ αὐτός τις λαμβάνω . οὗτος δέ εἰμί μέσος , ἄκρον δέ ὁ Α καί Ε · γίγνομαι οὖν ὁ πρῶτος σχῆμα . τις δέ , ὅταν ὁ Γ καί ὁ Η λαμβάνω αὐτός . οὗτος δέ ὁ ἔσχατος σχῆμα · μέσος γάρ ὁ Η γίγνομαι . μηδείς δέ , ὅταν ὁ Δ καί Ζ αὐτός . οὕτως δέ καί ὁ πρῶτος σχῆμα καί ὁ μέσος , ὁ μέν πρῶτος ὅτι οὐδείς ὁ Ζ ὑπάρχω ὁ Α , εἴπερ ἀντιστρέφω ὁ στερητικός , ὁ δέ Ζ πᾶς ὁ Ε , ὁ δέ μέσος ὅτι ὁ Δ ὁ μέν Α οὐδείς ὁ δέ Ε πᾶς ὑπάρχω . τις δέ μή ὑπάρχω , ὅταν ὁ Δ καί Η αὐτός εἰμί . οὗτος δέ ὁ ἔσχατος σχῆμα · ὁ μέν γάρ Α οὐδείς ὁ Η ὑπάρχω , ὁ δέ Ε πᾶς ὁ Η . φανερός οὖν ὅτι διά ὁ προλέγω σχῆμα ὁ συλλογισμός πᾶς , καί ὅτι οὐ ἐκλεκτέος ὅσος πᾶς ἕπομαι , διά ὁ μηδείς γίγνομαι συλλογισμός ἐκ αὐτός . κατασκευάζω μέν γάρ ὅλος οὐ εἰμί ἐκ ὁ ἕπομαι , ἀποστερέω δέ οὐ ἐνδέχομαι διά ὁ πᾶς ἕπομαι · δέω γάρ ὁ μέν ὑπάρχω ὁ δέ μή ὑπάρχω . φανερός δέ καί ὅτι ὁ ἄλλος σκέψις ὁ κατά ὁ ἐκλογή ἄχρεος πρός ὁ ποιέω συλλογισμός , οἷος εἰ ὁ ἕπομαι ἑκάτερος αὐτός εἰμί , ἤ εἰ ὅς ἕπομαι ὁ Α , καί ὅς μή ἐνδέχομαι ὁ Ε , ἤ ὅσος πάλιν μή ἐγχωρέω ἑκάτερος ὑπάρχω · οὐ γάρ γίγνομαι συλλογισμός διά οὗτος . εἰ μέν γάρ ὁ ἕπομαι αὐτός , οἷος ὁ Β καί ὁ Ζ , ὁ μέσος γίγνομαι σχῆμα κατηγορικός ἔχω ὁ πρότασις · εἰ δέ ὅς ἕπομαι ὁ Α , καί ὅς μή ἐνδέχομαι ὁ Ε , οἷος ὁ Γ καί ὁ Θ , ὁ πρῶτος σχῆμα στερητικός ἔχω ὁ πρός ὁ ἐλαχύς ἄκρον πρότασις . εἰ δέ ὅσος μή ἐνδέχομαι ἑκάτερος , οἷος ὁ Δ καί ὁ Θ , στερητικός ἀμφότερος ὁ πρότασις , ἤ ἐν ὁ πρῶτος ἤ ἐν ὁ μέσος σχῆμα . οὕτως δέ οὐδαμῶς συλλογισμός . δῆλος δέ καί ὅτι ὁποῖος αὐτός λαμβάνω ὁ κατά ὁ ἐπίσκεψις , καί οὐ ὁποῖος ἕτερος ἤ ἐναντίος , πρῶτος μέν ὅτι ὁ μέσος χάριν ὁ ἐπίβλεψις , ὁ δέ μέσος οὐ ἕτερος ἀλλά αὐτός δέω λαμβάνω . εἶτα ἐν ὅσος καί συμβαίνω γίγνομαι συλλογισμός ὁ λαμβάνω ἐναντίος ἤ μή ἐνδέχομαι ὁ αὐτός ὑπάρχω , εἰς ὁ προλέγω ἅπας ἀνάγω τρόπος , οἷος εἰ ὁ Β καί ὁ Ζ ἐναντίος ἤ μή ἐνδέχομαι ὁ αὐτός ὑπάρχω · εἰμί μέν γάρ οὗτος λαμβάνω συλλογισμός ὅτι οὐδείς ὁ Ε ὁ Α ὑπάρχω , ἀλλά οὐ ἐκ αὐτός ἀλλά ἐκ ὁ προλέγω τρόπος · ὁ γάρ Β ὁ μέν Α πᾶς ὁ δέ Ε οὐδείς ὑπάρχω , ὥστε ἀνάγκη αὐτός εἰμί ὁ Β τις ὁ Θ . πάλιν εἰ ὁ Β καί Η μή ἐγχωρέω ὁ αὐτός πάρειμι , ὅτι τις ὁ Ε οὐ ὑπάρχω ὁ Α · καί γάρ οὕτως ὁ μέσος εἰμί σχῆμα · ὁ γάρ Β ὁ μέν Α πᾶς ὁ δέ Η οὐδείς ὑπάρχω , ὥστε ἀνάγκη ὁ Β αὐτός τις εἰμί ὁ Θ . ὁ γάρ μή ἐνδέχομαι ὁ Β καί ὁ Η ὁ αὐτός ὑπάρχω οὐδείς διαφέρω ἤ ὁ Β ὁ Θ τις αὐτός εἰμί · πᾶς γάρ λαμβάνω ὁ μή ἐνδέχομαι ὁ Ε ὑπάρχω . φανερός μέν οὖν ὅτι ἐκ αὐτός μέν οὗτος ὁ ἐπίβλεψις οὐδείς γίγνομαι συλλογισμός , ἐάν δέ ὁ Β καί ὁ Ζ ἐναντίος , αὐτός τις εἰμί ὁ Β ὁ Θ καί ὁ συλλογισμός γίγνομαι διά οὗτος . συμβαίνω δή ὁ οὕτως ἐπισκοπέω προσεπιβλέπω ἄλλος ὁδός ὁ ἀναγκαῖος διά ὁ λανθάνω ὁ ταὐτότης ὁ Β καί ὁ Θ .