alexander-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 31a34
Πάλιν ἔστω τὸ μὲν ΑΓ στερητικόν , τὸ δὲ ΒΓ καταφα - τικόν , ἀναγκαῖον δὲ τὸ στερητικόν . Δείκνυσιν , ὅτι καὶ ἐν τῇ συζυγίᾳ τῇ ἐκ καθόλου ἀποφατικῆς τῆς μείζονος ἀναγκαίας καὶ καθόλου καταφατικῆς ὑπαρχούσης τῆς ἐλάττονος γίνεται ἀναγκαῖον τὸ συμπέρασμα τῷ ἀντιστραφείσης τῆς καταφατικῆς τὸ πρῶτον γίνεσθαι σχῆμα ἔχον τὴν μείζονα καθόλου ἀποφατικὴν ἀναγκαίαν . τὸ γὰρ Α μηδενὶ ἐξ ἀνάγκης · τῷ Γ ὑπαρχέτω , τὸ Β παντὶ ὑπαρχέτω τῷ Γ · ἀντιστραφείσης δὴ τῆς Β Γ γίνεται | τὸ Γ τινὶ τῷ Β ὑπάρχον · ἔκειτο δὲ καὶ τὸ Α μηδενὶ τῷ Γ ἐξ ἀνάγκης · τὸ ἄρα Α τινὶ τῷ Β ἐξ ἀνάγκης οὐχ ὑπάρξει . εἰ δὲ τὸ Α Γ τὸ στερητικὸν οὐκ ἀναγκαῖον τὸ δὲ Β Γ τὸ καταφατικὸν καθόλου τε καὶ ἀναγκαῖον , οὐκ ἔσται τὸ συμπέρασμα ἀναγκαῖον τῷ ἀντιστρέφεσθαι μὲν τὴν Β Γ τὴν ἀναγκαίαν καταφατικὴν ἀντιστραφείσης δ’ αὐτῆς καὶ γινομένης ἐπὶ μέρους καταφατικῆς ἀναγκαίας γίνεσθαι ἐν πρώτῳ σχήματι συζυγίαν ἔχουσαν τὴν ἐλάττονα μὲν ἀναγκαίαν τὴν μείζονα δὲ ὑπάρχουσαν . ἕξει γὰρ οὕτως · τὸ A οὐδενὶ τῷ Γ ὑπάρχει , τὸ Γ τινὶ τῷ Β <ὑπάρχει ἐξ ἀνάγκης , καὶ τὸ Α τινὶ τῷ Β οὐχ> ὑπάρξει Δείξας δὲ διὰ τῆς ἀντιστροφῆς , ὅτι μὴ γίνεται ἀναγκαῖον τὸ συμπέρασμα τῷ ἐν πρώτῳ σχήματι τὴν ἐλάττονα γίνεσθαι ἀναγκαίαν παρατίθεται καὶ ὅρους , δι’ ὧν καὶ αὐτῶν δείκνυσι μὴ γινόμενον ἀναγκαῖον τὸ συμπέρασμα . οἱ δὲ ὅροι , οὓς λαμβάνει , ἐπὶ μὲν τοῦ Α ἀγαθόν , ἐπὶ δὲ τοῦ Β ζῷον , ἐπὶ δὲ τοῦ Γ ἵππος . τὸ δὴ ἀγαθὸν οὐδενὶ ἵππῳ , τὸ ζῷον παντὶ ἵππῳ ἐξ ἀνάγκης · τὸ ἀγαθὸν ἄρα τινὶ μὲν ζῴῳ οὐχ ὑπάρξει , οὐ μὴν ἐξ ἀνάγκης . βουλόμενος δὲ δεῖξαι , ὅτι τὴν ἀποφατικὴν ὑπάρχουσαν εἴληφε καὶ οὐκ ἀναγκαίαν , εἶπε τὸ μὲν οὖν ἀγαθὸν ἐνδέχεται μηδενὶ ἵππῳ ὑπάρχειν , δεικνύς , ὅτι ἐνδεχομένως αὐτῷ οὐχ ὑπάρχει , ἀλλ’ οὐκ ἐξ ἀνάγκης · οὐ γὰρ ἐνδεχομένην λαμβάνει , ἀλλ’ ἔστιν αὐτῷ τοῦ μὴ ἀναγκαίου δεικτικὸν τὸ ἐνδέχεσθαι τὸ ἀγαθὸν μηδενὶ ἵππῳ καὶ τὸ ἀλλ’ οὐκ ἀνάγκη ζῷον τι μὴ εἶναι ἀγαθόν , ὃ ἴσον ἐστὶ τῷ ‘τὸ ἀγαθὸν τινὶ ζῴῳ οὐχ ὑπάρξει , οὐ μὴν ἐξ ἀνάγκης οὐχ ὑπάρχει᾿ . ὃ ὅπως ἄν εἴη ὑγιές , δεικνὺς προσέθηκε τὸ εἴπερ ἐνδέχεται πᾶν εἶναι ἀγαθόν · τότε γὰρ ὑπαρχόντως τινὶ οὐχ ὑπάρξει ζῴῳ τὸ ἀγαθόν , ὅταν καὶ παντὶ αὐτῷ ἐνδέχηται ὑπάρχειν . ἐπεὶ δὲ δοκεῖ μὴ πᾶν ζῷον ἐπιδεκτικὸν εἶναι τοῦ ἀγαθοῦ , μεταληπτέον φησὶ τὸν ὅρον καὶ θετέον ἀντὶ τοῦ ἀγαθοῦ ἢ τὸ ἐγρηγορέναι ἢ τὸ καθεύδειν μηδενὶ ἵππῳ ὑπαρχόντως · ζῷον δὲ ἐξ ἀνάγκης παντὶ ἵππῳ · γίνεται γὰρ ἢ τὸ ἐγρηγορέναι ἢ τὸ καθεύδειν τινὶ μὴ ὑπάρχον ζῴῳ , οὐ μὴν ἐξ ἀνάγκης . ὃ δεικνὺς προσέθηκε τὸ ἅπαν γὰρ ζῷον δεκτικὸν τούτων . εἰ γὰρ δεκτικὸν ἅπαν , οὐδὲν ἔσται ζῷον , ᾧ ἐξ ἀνάγκης οὐχ ὑπάρχει τὸ ἐγρηγορέναι ἢ τὸ κοιμᾶσθαι . Εἰπὼν δὲ περὶ τῶν μίξεων τῶν ἐξ ἀμφοτέρων τῶν προτάσεων καθόλου ἑξῆς λέγει καὶ περὶ τῶν τὴν ἑτέραν ἐχουσῶν ἐπὶ μέρους . ὅταν δὲ ἡ μὲν καθόλου τῶν προτάσεων ᾖ ἡ δὲ ἐν μέρει , ἀμφοτέρων οὐσῶν καταφατικῶν , εἰ ἡ καθόλου ἡ ἀναγκαία , ἀναγκαῖον ἔσται τὸ συμπέρασμα · ἀντιστραφείσης γὰρ τῆς ἐπὶ μέρους καταφατικῆς ὑπαρχούσης γίνεται πάλιν τὸ πρῶτον σχῆμα ἔχον τὴν μείζονα ἀναγκαίαν . καὶ πρῶτον μὲν τοῦτο δείκνυσι τὴν ἐλάττονα καθόλου καταφατικὴν ἀναγκαίαν λαβὼν τὴν δὲ μείζονα ἐπὶ μέρους καταφατικὴν ὑπάρχουσαν . λαμβάνει γὰρ τὸ μὲν Α τινὶ τῷ Γ ὑπάρχον τὸ δὲ Β παντὶ τῷ Γ ἐξ ἀνάγκης ὑπάρχον · ἣν τηρήσας ἀντιστρέφει τὴν Α Γ , καὶ λαμβάνει τὸ Γ τινὶ τῷ Α ὑπάρχειν · τοῦτο γάρ ἐστι τὸ τὸ δὲ Α ὑπὸ τὸ Γ ἐστί · διὰ γὰρ τὴν ἀντιστροφήν · ἐξ ὧν ἐν τῇ τοῦ πρώτου σχήματος συμπλοκῇ τρίτῃ συνάγεται τὸ Β τινὶ τῷ Α ἐξ ἀνάγκης ὑπάρχειν . εἰ δὲ τὸ Β τῷ Α , καὶ τὸ Α τῷ Β · τοῦτο γὰρ ἔδει δειχθῆναι μείζονος ἄκρου τοῦ Α ὄντος . ἐδείχθη οὖν τὸ προκείμενον τῆς τε ἐπὶ μέρους καταφατικῆς ὑπαρχούσης ἀντιστραφείσης , ἥτις ἦν ἡ Α Γ , καὶ τοῦ Β Α συμπεράσματος ὄντος ἐπὶ μέρους ἀναγκαίου καταφατικοῦ . Ὁμοίως δέ φησιν ἀναγκαῖον ἔσεσθαι τὸ συμπέρασμα , κἄν ἡ μὲν μείζων καταφατικὴ καθόλου ἀναγκαία ληφθῇ ἡ δὲ ἐλάττων ἐπὶ μέρους καταφατικὴ ὑπάρχουσα · πάλιν γὰρ ταύτης ἀντιστραφείσης γίνεται ἐν πρώτῳ σχήματι ἡ μείζων καθόλου καταφατικὴ ἀναγκαία , διὸ καὶ ἐπὶ μέρους καταφατικὸν ἀναγκαῖον γίνεται πάλιν τὸ συμπέρασμα . πλὴν ἐπὶ μὲν τῆς πρὸ ταύτης συμπλοκῆς καὶ τὸ συμπέρασμα ἐδέησεν ἀντιστρέψαι , | ἐπὶ δὲ ταύτης ἐχούσης 48v τὴν μείζονα καθόλου καταφατικὴν ἀναγκαίαν τὴν ἐλάττονα πρότασιν μόνην ἀντιστρέφομεν . ταχέως δὲ ἐδήλωσε τὴν αἰτίαν τοῦ γίνεσθαι ἀναγκαῖον τὸ συμπέρασμα εἰπὼν τὸ γὰρ Β ὑπὸ τὸ Γ ἐστί , δι’ οὗ καὶ τὴν ἀντιστροφὴν ἔδειξε τῆς ἐλάττονος προτάσεως τῆς Β Γ οὕσης καταφατικῆς ἐν μέρει . Ἂν δὲ ἡ ἐπὶ μέρους πρότασις ἀναγκαία ληφθῇ , οὐκέτι γίνεται τὸ συμπέρασμα ἀναγκαῖον τῷ γίνεσθαι οὕτως τὴν ἐλάττονα πρότασιν ἐν τῷ πρώτῳ σχήματι ἀναγκαίαν , ἧς οὔσης τοιαύτης τῆς δὲ μείζονος ὑπαρχούσης ὑπάρχον ἐγίνετο τὸ συμπέρασμα . ἔστω γὰρ τὸ μὲν Β τινὶ τῷ Γ ὑπάρχον ἐξ ἀνάγκης , τὸ δὲ Α παντὶ τῷ Γ ὑπάρχον · ἄν δὴ ἀντιστρέψωμεν τὴν Β Γ τηρήσαντες τὴν Α Γ τὴν καθόλου ὑπάρχουσαν οὐ γὰρ οἷόν τε ἄλλως ) , γίνεται τὸ Α τῷ Γ παντί , τὸ δὲ Γ τινὶ τῷ Β ἐξ ἀνάγκης · οὕτως δὲ ἐχουσῶν οὐκ ἐγίνετο ἐν τῷ πρώτῳ σχήματι ἀναγκαῖον τὸ συμπέρασμα . ὅτι δὲ μὴ ἀναγκαῖον γίνεται τὸ συμπέρασμα , δείκνυσι καὶ τῇ τῶν ὅρων παραθέσει . λαμβάνει γὰρ ἐπὶ μὲν τοῦ Α ἐγρήγορσιν , ἐπὶ δὲ τοῦ Β δίπουν , ἐπὶ δὲ τοῦ Γ ζῷον · τὸ μὲν δίπουν τινὶ ζῴῳ ἐξ ἀνάγκης ὡς ἀνθρώπῳ , ἡ δὲ ἐγρήγορσις παντὶ ζῴῳ ὑπαρχόντως , καὶ ἐγρήγορσις τινὶ δίποδι , ἀλλ’ οὐκ ἐξ ἀνάγκης . πάλιν δὲ τὸ Α τῷ Γ ἐνδέχεται <εἶπε> δηλῶν τὸ παντὶ ὑπάρχειν , οὐ μὴν ἀναγκαίως . σημειωτέον δέ , ὅτι καὶ ἐνταῦθα χρῆται τῷ ἐνδέχεσθαι ἀντὶ τοῦ ὑπάρχειν , ὡς καὶ ἐπὶ τῆς τῶν ἀναγκαίων προτάσεων ἀντιστροφῆς . τόδε οὐ γὰρ ἀνάγκη δίπουν τι μὴ καθεύδειν δεικτικὸν ἂν εἴη τοῦ τὴν ἐγρήγορσιν ἐνδέχεσθαι τινὶ ζῴῳ ὡς καὶ ἐνδέχεσθαι μηδενί · εἰ γὰρ ἐξ ἀνάγκης τι ζῷον ἐκάθευδεν , οὐκ ἄν ἐγρήγορσις τῷ ζῴῳ παντὶ ἐνδεχομένως ὑπῆρχεν . δύναται τὸ οὐ γὰρ ἀνάγκη δίπουν τι μὴ καθεύδειν δεικτικὸν εἶναι τοῦ τὴν ἐγρήγορσιν ἐνδέχεσθαι τινὶ ζῴῳ ὡς καὶ ἐνδέχεσθαι μή . Διὰ δὲ τῶν αὐτῶν ὅρων φησὶ δειχθήσεσθαι μὴ γινόμενον ἀναγκαῖον τὸ συμπέρασμα , κἂν ἡ μὲν μείζων ἡ Α Γ ἐπὶ μέρους ἀναγκαία καταφατικὴ ληφθῇ ἡ δὲ Β Γ καθόλου καταφατικὴ ὑπάρχουσα . πλὴν δεήσει μεταθεῖναι τοὺς ὅρους καὶ ἀλλάξαι τὴν τάξιν αὐτῶν · ὁμοίως γὰρ αὐτῶν κειμένων οὐκ ἀληθεῖς αἱ προτάσεις . δεῖ οὖν θεῖναι ἐπὶ μὲν τοῦ Α δίπουν ἐπὶ δὲ τοῦ Β ἐγρήγορσιν · ἔσται γὰρ οὕτως τὸ δίπουν πάλιν τινὶ ζῴῳ ἐξ ἀνάγκης , ἐγρήγορσις παντὶ ζῴῳ ὑπαρχόντως , τὸ δίπουν τινὶ ἐγρηγορότι , οὐ μὴν ἐξ ἀνάγκης . οὐδὲν δὲ ἔλαττον ἔστι καὶ τοῦτο διὰ τῆς ἀντιστροφῆς τῆς ἐπὶ μέρους καταφατικῆς ἀναγκαίας ἀνάγοντας εἰς τὸ πρῶτον σχῆμα δεῖξαι τὴν ἐλάττονα πάλιν ἐν αὐτῷ γινομένην ἀναγκαίαν ἀντιστρεφομένου καὶ τοῦ συμπεράσματος .
Lemmas: πάλιν ἵστημι ὁ μέν ΑΓ στερητικός , ὁ δέ ΒΓ καταφάω - τίκος , ἀναγκαῖος δέ ὁ στερητικός . δείκνυμι , ὅτι καί ἐν ὁ συζυγία ὁ ἐκ καθόλου ἀποφατικός ὁ μείζων ἀναγκαῖος καί καθόλου καταφατικός ὑπάρχω ὁ μικρός γίγνομαι ἀναγκαῖος ὁ συμπέρασμα ὁ ἀντιστρέφω ὁ καταφατικός ὁ πρῶτος γίγνομαι σχῆμα ἔχω ὁ μείζων καθόλου ἀποφατικός ἀναγκαῖος . ὁ γάρ Α μηδείς ἐκ ἀνάγκη · ὁ Γ ὑπάρχω , ὁ Β πᾶς ὑπάρχω ὁ Γ · ἀντιστρέφω δή ὁ Β Γ γίγνομαι | ὁ Γ τις ὁ Β ὑπάρχω · κεῖμαι δέ καί ὁ Α μηδείς ὁ Γ ἐκ ἀνάγκη · ὁ ἄρα Α τις ὁ Β ἐκ ἀνάγκη οὐ ὑπάρχω . εἰμί δέ ὁ Α Γ ὁ στερητικός οὐ ἀναγκαῖος ὁ δέ Β Γ ὁ καταφατικός καθόλου τε καί ἀναγκαῖος , οὐ εἰμί ὁ συμπέρασμα ἀναγκαῖος ὁ ἀντιστρέφω μέν ὁ Β Γ ὁ ἀναγκαῖος καταφατικός ἀντιστρέφω δέ αὐτός καί γίγνομαι ἐπί μέρος καταφατικός ἀναγκαῖος γίγνομαι ἐν πρῶτος σχῆμα συζυγία ἔχω ὁ μικρός μέν ἀναγκαῖος ὁ μείζων δέ ὑπάρχω . ἔχω γάρ οὕτως · ὁ A οὐδείς ὁ Γ ὑπάρχω , ὁ Γ τις ὁ Β ὑπάρχω ἐκ ἀνάγκη , καί ὁ Α τις ὁ Β οὐχ> ὑπάρχω δείκνυμι δέ διά ὁ ἀντιστροφή , ὅτι μή γίγνομαι ἀναγκαῖος ὁ συμπέρασμα ὁ ἐν πρῶτος σχῆμα ὁ μικρός γίγνομαι ἀναγκαῖος παρατίθημι καί ὅρος , διά ὅς καί αὐτός δείκνυμι μή γίγνομαι ἀναγκαῖος ὁ συμπέρασμα . ὁ δέ ὅρος , ὅς λαμβάνω , ἐπί μέν ὁ Α ἀγαθός , ἐπί δέ ὁ Β ζῷον , ἐπί δέ ὁ Γ ἵππος . ὁ δή ἀγαθός οὐδείς ἵππος , ὁ ζῷον πᾶς ἵππος ἐκ ἀνάγκη · ὁ ἀγαθός ἄρα τις μέν ζῷον οὐ ὑπάρχω , οὖον μήv ἐκ ἀνάγκη . βούλομαι δέ δείκνυμι , ὅτι ὁ ἀποφατικός ὑπάρχω λαμβάνω καί οὐ ἀναγκαῖος , εἶπον ὁ μέν οὖν ἀγαθός ἐνδέχομαι μηδείς ἵππος ὑπάρχω , δείκνυμι , ὅτι ἐνδεχομένως αὐτός οὐ ὑπάρχω , ἀλλά οὐ ἐκ ἀνάγκη · οὖον γάρ ἐνδέχομαι λαμβάνω , ἀλλά εἰμί αὐτός ὁ μή ἀναγκαῖος δεικτικός ὁ ἐνδέχομαι ὁ ἀγαθός μηδείς ἵππος καί ὁ ἀλλά οὐ ἀνάγκη ζῷον τίς μή εἰμί ἀγαθός , ὅς ἴσος εἰμί ὁ τότος ἀγαθός τις ζῷον οὐ ὑπάρχω , οὖον μήv ἐκ ἀνάγκη οὐ ὑπαρχεία . ὅς ὅπως ἄν εἰμί ὑγιής , δείκνυμι προστίθημι ὁ εἴπερ ἐνδέχομαι πᾶς εἰμί ἀγαθός · τότε γάρ ὑπάρχω τις οὐ ὑπάρχω ζῷον ὁ ἀγαθός , ὅταν καί πᾶς αὐτός ἐνδέχομαι ὑπάρχω . ἐπεί δέ δοκέω μή πᾶς ζῷον ἐπιδεκτικός εἰμί ὁ ἀγαθός , μεταληπτέον φημί ὁ ὅρος καί θετέος ἀντί ὁ ἀγαθός ἢ ὁ ἐγείρω ἢ ὁ καθεύδω μηδείς ἵππος ὑπάρχω · ζῷον δέ ἐκ ἀνάγκη πᾶς ἵππος · γίγνομαι γάρ ἢ ὁ ἐγείρω ἢ ὁ καθεύδω τις μή ὑπάρχω ζῷον , οὖον μήv ἐκ ἀνάγκη . ὅς δείκνυμι προστίθημι ὁ ἅπας γάρ ζῷον δεκτικός οὗτος . εἰμί γάρ δεκτικός ἅπας , οὐδείς εἰμί ζῷον , ὅς ἐκ ἀνάγκη οὐ ὑπάρχω ὁ ἐγείρω ἢ ὁ κοιμάω . εἶπον δέ περί ὁ μίξις ὁ ἐκ ἀμφότερος ὁ πρότασις καθόλου ἑξῆς λέγω καί περί ὁ ὁ ἕτερος ἔχω ἐπί μέρος . ὅταν δέ ὁ μέν καθόλου ὁ πρότασις εἰμί ὁ δέ ἐν μέρος , ἀμφότερος εἰμί καταφατικός , εἰμί ὁ καθόλου ὁ ἀναγκαῖος , ἀναγκαῖος εἰμί ὁ συμπέρασμα · ἀντιστρέφω γάρ ὁ ἐπί μέρος καταφατικός ὑπάρχω γίγνομαι πάλιν ὁ πρῶτος σχῆμα ἔχω ὁ μείζων ἀναγκαῖος . καί πρῶτος μέν οὗτος δείκνυμι ὁ μικρός καθόλου καταφατικός ἀναγκαῖος λαμβάνω ὁ δέ μείζων ἐπί μέρος καταφατικός ὑπάρχω . λαμβάνω γάρ ὁ μέν Α τις ὁ Γ ὑπάρχω ὁ δέ Β πᾶς ὁ Γ ἐκ ἀνάγκη ὑπάρχω · ὅς τηρέω ἀντιστρέφω ὁ Α Γ , καί λαμβάνω ὁ Γ τις ὁ Α ὑπάρχω · οὗτος γάρ εἰμί ὁ ὁ δέ Α ὑπό ὁ Γ εἰμί · διά γάρ ὁ ἀντιστροφή · ἐκ ὅς ἐν ὁ ὁ πρῶτος σχῆμα συμπλοκή τρίτος συνάγω ὁ Β τις ὁ Α ἐκ ἀνάγκη ὑπάρχω . εἰμί δέ ὁ Β ὁ Α , καί ὁ Α ὁ Β · οὗτος γάρ ἐσθίω δείκνυμι μείζων ἄκρος ὁ Α εἰμί . δείκνυμι οὖν ὁ πρόκειμαι ὁ τε ἐπί μέρος καταφατικός ὑπάρχω ἀντιστρέφω , ὅστις εἰμί ὁ Α Γ , καί ὁ Β Α συμπέρασμα εἰμί ἐπί μέρος ἀναγκαῖος καταφατικός . ὅμοιος δέ φημί ἀναγκαῖος εἰμί ὁ συμπέρασμα , ἄν ὁ μέν μείζων καταφατικός καθόλου ἀναγκαῖος λαμβάνω ὁ δέ μικρός ἐπί μέρος καταφατικός ὑπάρχω · πάλιν γάρ οὗτος ἀντιστρέφω γίγνομαι ἐν πρῶτος σχῆμα ὁ μείζων καθόλου καταφατικός ἀναγκαῖος , διό καί ἐπί μέρος καταφατικός ἀναγκαῖος γίγνομαι πάλιν ὁ συμπέρασμα . πλήν ἐπί μέν ὁ πρό οὗτος συμπλοκή καί ὁ συμπέρασμα δήω ἀντιστρέφω , | ἐπί δέ οὗτος ἔχω 48v ὁ μείζων καθόλου καταφατικός ἀναγκαῖος ὁ μικρός πρότασις μόνος ἀντιστρέφω . ταχέως δέ δηλόω ὁ αἴτιος ὁ γίγνομαι ἀναγκαῖος ὁ συμπέρασμα εἶπον ὁ γάρ Β ὑπό ὁ Γ εἰμί , διά ὅς καί ὁ ἀντιστροφή δείκνυμι ὁ μικρός πρότασις ὁ Β Γ ὗσις καταφατικός ἐν μέρος . ἄν δέ ὁ ἐπί μέρος πρότασις ἀναγκαῖος λαμβάνω , οὐκέτι γίγνομαι ὁ συμπέρασμα ἀναγκαῖος ὁ γίγνομαι οὕτως ὁ μικρός πρότασις ἐν ὁ πρῶτος σχῆμα ἀναγκαῖος , ὅς εἰμί τοιοῦτος ὁ δέ μείζων ὑπάρχω ὑπάρχω γίγνομαι ὁ συμπέρασμα . ἵστημι γάρ ὁ μέν Β τις ὁ Γ ὑπάρχω ἐκ ἀνάγκη , ὁ δέ Α πᾶς ὁ Γ ὑπάρχω · ἄν δή ἀντιστρέφω ὁ Β Γ τηρέω ὁ Α Γ ὁ καθόλου ὑπάρχω οὖον γάρ οἷος τε ἄλλως ) , γίγνομαι ὁ Α ὁ Γ πᾶς , ὁ δέ Γ τις ὁ Β ἐκ ἀνάγκη · οὕτως δέ ἔχω οὐ γίγνομαι ἐν ὁ πρῶτος σχῆμα ἀναγκαῖος ὁ συμπέρασμα . ὅτι δέ μή ἀναγκαῖος γίγνομαι ὁ συμπέρασμα , δείκνυμι καί ὁ ὁ ὁράω παράθεσις . λαμβάνω γάρ ἐπί μέν ὁ Α ἐγρήγορσις , ἐπί δέ ὁ Β δίπους , ἐπί δέ ὁ Γ ζῷον · ὁ μέν δίπους τις ζῷον ἐκ ἀνάγκη ὡς ἄνθρωπος , ὁ δέ ἐγρήγορσις πᾶς ζῷον ὑπάρχω , καί ἐγρήγορσις τις δίπους , ἀλλά οὐ ἐκ ἀνάγκη . πάλιν δέ ὁ Α ὁ Γ ἐνδέχομαι εἶπον δηλόω ὁ πᾶς ὑπάρχω , οὖον μήv ἀναγκαῖος . σημειωτέος δέ , ὅτι καί ἐνταῦθα χράω ὁ ἐνδέχομαι ἀντί ὁ ὑπάρχω , ὡς καί ἐπί ὁ ὁ ἀναγκαῖος πρότασις ἀντιστροφή . ὅδε οὖον γάρ ἀνάγκη δίπους τίς μή καθεύδω δεικτικός εἄν εἰμί ὁ ὁ ἐγρήγορσις ἐνδέχομαι τις ζῷον ὡς καί ἐνδέχομαι μηδείς · εἰμί γάρ ἐκ ἀνάγκη τίς ζῷον καθεύδω , οὐ ἄν ἐγρήγορσις ὁ ζῷον πᾶς ἐνδεχομένως ὑπάρχω . δύναμαι ὁ οὖον γάρ ἀνάγκη δίπους τίς μή καθεύδω δεικτικός εἰμί ὁ ὁ ἐγρήγορσις ἐνδέχομαι τις ζῷον ὡς καί ἐνδέχομαι μή . Ζεύς δέ ὁ αὐτός ὁράω φημί δείκνυμι μή γίγνομαι ἀναγκαῖος ὁ συμπέρασμα , κἀν ὁ μέν μείζων ὁ Α Γ ἐπί μέρος ἀναγκαῖος καταφατικός λαμβάνω ὁ δέ Β Γ καθόλου καταφατικός ὑπάρχω . πλήν δήω μετατίθημι ὁ ὅρος καί ἀλλάσσω ὁ τάξις αὐτός · ὁμοίως γάρ αὐτός κεῖμαι οὐ ἀληθής ὁ πρότασις . δεῖ οὖν τίθημι ἐπί μέν ὁ Α δίπους ἐπί δέ ὁ Β ἐγρήγορσις · εἰμί γάρ οὕτως ὁ δίπους πάλιν τις ζῷον ἐκ ἀνάγκη , ἐγρήγορσις πᾶς ζῷον ὑπάρχω , ὁ δίπους τις ἐγείρω , οὖον μήv ἐκ ἀνάγκη . οὐδείς δέ μικρός εἰμί καί οὗτος διά ὁ ἀντιστροφή ὁ ἐπί μέρος καταφατικός ἀναγκαῖος ἀνάγω εἰς ὁ πρῶτος σχῆμα δείκνυμι ὁ μικρός πάλιν ἐν αὐτός γίγνομαι ἀναγκαῖος ἀντιστρέφω καί ὁ συμπέρασμα .