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