ammonius-philosophy.in-aristotelis-analytica-priora-sp 250r
ἡ γὰρ ἐγρήγορσις ὡς ἔγερσις κίνησίς ἐστιν . ἀλλ’ ἔστ’ ἄν , φασί , κίνησις ἐνδέχηται παντὶ ζῴῳ , οὐκ ἔστιν ἐγρηγορός τι , ἵνα καὶ κινῆται . ὥστε οὐ καλῶς ἔχουσιν οἱ ὅροι . Οὐδὲ τῶν ἀντικειμένων καταφάσεων . καλῶς τὸ πληθυντικόν · τὸ γὰρ ἀνάγκη οὐδενὶ πᾶσαν κατάφασιν ἀναιρεῖ , ἀναγκαίαν , ὑπάρχουσαν , ἐνδεχομένην . Εἰλήφθω γὰρ τὸ Α τῷ Β ἐξ ἀνάγκης μὴ ὑπάρχειν . κἄν εἰ πρὸς τῷ Γ τεθείη τὸ στερητικόν , ὡσαύτως . οὗτός ἐστιν ὁ τριῶν ἀντιστροφῶν δεόμενος · αἵ τε γὰρ προτάσεις ἀντιστρέφουσι καὶ τὸ συμπέρασμα . Δῆλον δὲ ὅτι καὶ πάντες ἀτελεῖς . κοινὸν συμπέρασμα τῶν ἐν δευτέρῳ σχήματι δύο μίξεων ἐνδεχομένου καὶ ὑπάρχοντος , ἐνδεχομένου καὶ ἀναγκαίου , ὅτι πάντες ἀτελεῖς ( οὐδεὶς γὰρ ἐδείχθη διὰ τοῦ κατὰ παντὸς καὶ κατὰ μηδενός , ἀλλὰ δι’ ἀδυνάτου πάντες ) καὶ τὸ ἐξ ἡμισείας ἐνδεχόμενον συνάγουσι . Καὶ τελειοῦνται διὰ τῶν πρώτων σχημάτων . πληθυντικῶς γὰρ εἶπεν , ἐπειδὴ πολλαχῶς τὸ πρῶτον σχῆμα · ὁ μὲν γὰρ ἐξ ἐνδεχομένου καὶ ὑπάρχοντος ἐν δευτέρῳ σχήματι τελειοῦται διὰ τοῦ ἐν πρώτῳ σχήματι ἐξ ἐνδεχομένου καὶ ὑπάρχοντος , ὁ δὲ ἐξ ἐνδεχομένου καὶ ἀναγκαίου ἐν δευτέρῳ σχήματι διὰ τοῦ ἐξ ἐνδεχομένου καὶ ἀναγκαίου ἐν πρώτῳ σχήματι . Γ ΣΧΗΜΑ ΕΞ ΑΜΦΟΤΕΡΩΝ ΕΝΔΕΧΟΜΕΝΩΝ . Ἐν δὲ τῷ τελευταίῳ σχήματι . Ἴδιον τοῦ τρίτου σχήματος ἐπὶ τῶν ἐξ ἀμφοτέρων ἐνδεχομένων τὴν μίαν πρότασιν καθόλου εἶναι · ἐκ δύο γὰρ μερικῶν οὐδεὶς γίνεται συλλογισμός . δώδεκα δὲ νῦν εἰσι συλλογισμοί · ἢ γὰρ ἄμφω καθόλου , ἢ ἡ μὲν καθόλου ἡ δὲ ἐν μέρει , καὶ τοῦτο διχῶς παρὰ τὴν μείζονα καὶ ἐλάττονα πρότασιν , καὶ ἕκαστον τῶν τριῶν τετραχῶς παρὰ τὸ ποιόν . καὶ ἕκαστον τὸ κυρίως ἐνδεχόμενον συνάγει . Καὶ ὅταν ἡ μὲν ἐνδέχεσθαι ἡ δ’ ὑπάρχειν . καίτοι τότε οὐκ ἀεὶ τὸ κυρίως ἐνδεχόμενον συνάγεται · ὅταν γὰρ ἡ ὑπάρχουσα καθόλου ἀπόφασις ᾖ , τὸ ὑπάρχον συνάγεται , ὥσπερ καὶ ὅταν ἡ ἀναγκαία καθόλου ἀπόφασις ᾖ , τὸ ἐξ ἡμισείας ἐνδεχόμενον καὶ ἀναγκαῖον συνάγεται . ἢ ἐπειδὴ τὸ ὑπάρχον ἐνδεχόμενόν ἐστιν τῷ μὴ ἀεὶ εἶναι , ὡς ἐπὶ τῆς μίξεως ἐνδεχομένου
Lemmas: ὁ γάρ ἐγρήγορσις ὡς ἔγερσις κίνησις εἰμί . ἀλλά ἔστω ἄν , φημί , κίνησις ἐνδέχομαι πᾶς ζῷον , οὐ εἰμί ἐγείρω τίς , ἵνα καί κινέω . ὥστε οὖον καλῶς ἔχω ὁ ὅρος . οὐδέ ὁ ἀντίκειμαι κατάφασις . καλῶς ὁ πληθυντικός · ὁ γάρ ἀνάγκη οὐδείς πᾶς κατάφασις ἀναιρέω , ἀναγκαῖος , ὑπάρχω , ἐνδέχομαι . λαμβάνω γάρ ὁ Α ὁ Β ἐκ ἀνάγκη μή ὑπάρχω . ἄν εἰμί πρός ὁ Γ τίθημι ὁ στερητικός , ὡσαύτως . οὗτος εἰμί ὁ τρεῖς ἀντιστροφή δήω · ὁ τε γάρ πρότασις ἀντιστρέφω καί ὁ συμπέρασμα . Δῆλος δέ ὅτι καί πᾶς ἀτελής . κοινός συμπέρασμα ὁ ἐν δύο σχῆμα δύο μίξις ἐνδέχομαι καί ὑπάρχω , ἐνδέχομαι καί ἀναγκαῖος , ὅτι πᾶς ἀτελής ( οὐδείς γάρ δείκνυμι διά ὁ κατά πᾶς καί κατά μηδείς , ἀλλά διά ἀδύνατος πᾶς ) καί ὁ ἐκ ἥμισυς ἐνδέχομαι συνάγω . καί τελειόω διά ὁ πρῶτος σχῆμα . πληθυντικός γάρ εἶπον , ἐπεί πολλαχῶς ὁ πρῶτος σχῆμα · ὁ μέν γάρ ἐκ ἐνδέχομαι καί ὑπάρχω ἐν δύο σχῆμα τελειόω διά ὁ ἐν πρῶτος σχῆμα ἐκ ἐνδέχομαι καί ὑπάρχω , ὁ δέ ἐκ ἐνδέχομαι καί ἀναγκαῖος ἐν δύο σχῆμα διά ὁ ἐκ ἐνδέχομαι καί ἀναγκαῖος ἐν πρῶτος σχῆμα . Γ σχῆμα ΕΞ Ἀμφότερος ενδεχόμενος . ἐν δέ ὁ τελευταῖος σχῆμα . Ἴδιον ὁ τρίτος σχῆμα ἐπί ὁ ἐκ ἀμφότερος ἐνδέχομαι ὁ εἷς πρότασις καθόλου εἰμί · ἐκ δύο γάρ μερικός οὐδείς γίγνομαι συλλογισμός . δώδεκα δέ νῦν εἰμί συλλογισμός · ἢ γάρ ἄμφω καθόλου , ἢ ὁ μέν καθόλου ὁ δέ ἐν μέρος , καί οὗτος διχῶς παρά ὁ μείζων καί μικρός πρότασις , καί ἕκαστος ὁ τρεῖς τετραχῶς παρά ὁ ποιός . καί ἕκαστος ὁ κύριος ἐνδέχομαι συνάγω . καί ὅταν ὁ μέν ἐνδέχομαι ὁ δέ ὑπάρχω . καίτοι τότε οὐ ἀεί ὁ κύριος ἐνδέχομαι συνάγω · ὅταν γάρ ὁ ὑπάρχω καθόλου ἀπόφασις εἰμί , ὁ ὑπάρχω συνάγω , ὥσπερ καί ὅταν ὁ ἀναγκαῖος καθόλου ἀπόφασις εἰμί , ὁ ἐκ ἥμισυς ἐνδέχομαι καί ἀναγκαῖος συνάγω . ἢ ἐπεί ὁ ὑπάρχω ἐνδέχομαι εἰμί ὁ μή ἀεί εἰμί , ὡς ἐπί ὁ μίξις ἐνδέχομαι