ammonius-philosophy.in-aristotelis-analytica-priora-sp 243v
Τὸ Α τῷ Β ἐξ ἀνάγκης οὐδενί , τὸ Β τῷ Γ ἐνδέχεται τινί · λέγω ὅτι τὸ Α τῷ Γ ὑπάρχει οὐ παντί . ⁎ ⁎ ⁎ τὸ δὲ Β τῷ Α ἐξ ἀνάγκης οὐδενὶ διὰ τὴν ἀντιστροφὴν τοῦ καθόλου στερητικοῦ · τὸ Β ἄρα τῷ Γ ἐξ ἀνάγκης οὐδενί · μῖξις γὰρ γέγονεν ἐν πρώτῳ σχήματι ἀναγκαίου καὶ ὑπάρχοντος , καὶ ἡ μείζων ἀναγκαία , ὥστε τῇ μείζονι ἕπεται τὸ συμπέρασμα · ὑπόκειται δὲ τὸ Β τῷ Γ ἐνδέχεται τινί · ὅπερ ἀδύνατον . ἀλλά , φασὶν οἱ Πλατωνικοί , οὕτως συγχωρητέον τῷ ἐν πρώτῳ σχήματι τῇ μείζονι ἕπεσθαι τὸ συμπέρασμα ἐπὶ τῆς μίξεως ἀναγκαίου καὶ ὑπάρχοντος . καὶ ὅσον ἐπὶ τῇ ἀγωγῇ ταύτῃ ἡ προτεθεῖσα συζυγία καὶ ἀνάγκη οὐ παντὶ συνάγει · εἰ γὰρ τοῦτο ψεῦδος , τὸ Α τῷ Γ ἀνάγκη παντί · τὸ δὲ Β τῷ Α ἀνάγκη οὐδενί · ἐν πρώτῳ ἄρα σχήματι ἐκ δύο ἀναγκαίων τὸ Β τῷ Γ ἀνάγκη οὐδενί · ἀλλὰ καὶ ἐνδέχεται τινί . διότι οὖν κατὰ ἀλήθειαν οὐ παντὶ συνάγεται καὶ ὑπετέθη παντί , τὸ ἀδύνατον οὐ διὰ τὸ ὑπάρχον ἢ τὸ ἀναγκαῖον ὡς ἐπὶ τῶν ἐξ ἀμφοτέρων καθόλου . βουλόμενοι δ’ οἱ Πλατωνικοὶ ἀεὶ τῇ χείρονι ἕπεσθαι τὸ συμπέρασμα ἀντιλέγουσι ταῖς μίξεσι ταύταις μόναις ταῖς ὑπάρχον συναγούσαις . Β . Τὸ Α τῷ Β ἐνδέχεται μηδενί , τὸ Β τῷ Γ ἀνάγκη τινί · τέλειος ὁ συλλογισμὸς καὶ τοῦ ἐνδεχομένου · ἡ γὰρ ἀπόδειξις διὰ τοῦ κατὰ μηδενός . Γ . Τὸ Α τῷ Β ἐξ ἀνάγκης παντί , τὸ Β τῷ Γ ἐνδέχεται τινί · ὁ συλλογισμὸς τοῦ ἐνδεχομένου · εἰ γὰρ ψεῦδος τὸ Α τῷ Γ ἐνδέχεται τινί , τὸ Α τῷ Γ ἐξ ἀνάγκης οὐδενί · ἀλλὰ καὶ τὸ Α τῷ Β ἐξ ἀνάγκης παντί · ἐκ δύο ἀναγκαίων ἐν δευτέρῳ σχήματι τὸ Β τῷ Γ ἐξ ἀνάγκης οὐδενί · ἀλλὰ καὶ ἐνδέχεται τινί · ὅπερ ἀδύνατον . δυνατὸν δὲ καὶ ἐνταῦθα λέγειν ὅτι τὸ ἥμισυ τοῦ ἐνδεχομένου συνάγεται · τῷ γὰρ ἐνδέχεται τινὶ δύο ἀντίκειται , τὸ ἐξ ἀνάγκης οὐδενί , ὅπερ ἀνῄρηται , καὶ τὸ ἐξ ἀνάγκης παντί , ᾧ οὐδὲν ἕπεται ἄτοπον . Ἐὰν δὲ τὸ μὲν καθόλου τεθῇ πρὸς τὸ ἔλαττον ἄκρον . ἀσυλλόγιστοί εἰσιν πᾶσαι αἱ τὴν μείζονα μερικὴν ἔχουσαι . τετραπλαῖ δ’ αὗται , ὡς ὑπογέγραπται ,
Lemmas: ὁ Α ὁ Β ἐκ ἀνάγκη οὐδείς , ὁ Β ὁ Γ ἐνδέχομαι τις · λέγω ὅτι ὁ Α ὁ Γ ὑπάρχω οὖον πᾶς . ⁎ ⁎ ⁎ ὁ δέ Β ὁ Α ἐκ ἀνάγκη οὐδείς διά ὁ ἀντιστροφή ὁ καθόλου στερητικός · ὁ Β ἄρα ὁ Γ ἐκ ἀνάγκη οὐδείς · μίξις γάρ γίγνομαι ἐν πρῶτος σχῆμα ἀναγκαῖος καί ὑπάρχω , καί ὁ μείζων ἀναγκαῖος , ὥστε ὁ μείζων ἕπω ὁ συμπέρασμα · ὑπόκειμαι δέ ὁ Β ὁ Γ ἐνδέχομαι τις · ὅσπερ ἀδύνατος . ἀλλά , φημί ὁ πλατωνικός , οὕτως συγχωρητέον ὁ ἐν πρῶτος σχῆμα ὁ μείζων ἕπω ὁ συμπέρασμα ἐπί ὁ μίξις ἀναγκαῖος καί ὑπάρχω . καί ὅσος ἐπί ὁ ἀγωγή οὗτος ὁ προτίθημι συζυγία καί ἀνάγκη οὖον πᾶς συνάγω · εἰμί γάρ οὗτος ψεῦδος , ὁ Α ὁ Γ ἀνάγκη πᾶς · ὁ δέ Β ὁ Α ἀνάγκη οὐδείς · ἐν πρῶτος ἄρα σχῆμα ἐκ δύο ἀναγκαῖος ὁ Β ὁ Γ ἀνάγκη οὐδείς · ἀλλά καί ἐνδέχομαι τις . διότι οὖν κατά ἀλήθεια οὖον πᾶς συνάγω καί ὑποτίθημι πᾶς , ὁ ἀδύνατος οὖον διά ὁ ὑπάρχω ἢ ὁ ἀναγκαῖος ὡς ἐπί ὁ ἐκ ἀμφότερος καθόλου . βούλομαι δέ ὁ πλατωνικός ἀεί ὁ χείρων ἕπω ὁ συμπέρασμα ἀντιλέγω ὁ μίξις οὗτος μόνος ὁ ὑπάρχω συνάγω . Β . ὁ Α ὁ Β ἐνδέχομαι μηδείς , ὁ Β ὁ Γ ἀνάγκη τις · τέλειος ὁ συλλογισμός καί ὁ ἐνδέχομαι · ὁ γάρ ἀπόδειξις διά ὁ κατά μηδείς . Γ . ὁ Α ὁ Β ἐκ ἀνάγκη πᾶς , ὁ Β ὁ Γ ἐνδέχομαι τις · ὁ συλλογισμός ὁ ἐνδέχομαι · εἰμί γάρ ψεῦδος ὁ Α ὁ Γ ἐνδέχομαι τις , ὁ Α ὁ Γ ἐκ ἀνάγκη οὐδείς · ἀλλά καί ὁ Α ὁ Β ἐκ ἀνάγκη πᾶς · ἐκ δύο ἀναγκαῖος ἐν δύο σχῆμα ὁ Β ὁ Γ ἐκ ἀνάγκη οὐδείς · ἀλλά καί ἐνδέχομαι τις · ὅσπερ ἀδύνατος . δυνατός δέ καί ἐνταῦθα λέγω ὅτι ὁ ἥμισυς ὁ ἐνδέχομαι συνάγω · ὁ γάρ ἐνδέχομαι τις δύο ἀντίκειμαι , ὁ ἐκ ἀνάγκη οὐδείς , ὅσπερ ἀναιρέω , καί ὁ ἐκ ἀνάγκη πᾶς , ὅς οὐδείς ἕπω ἄτοπος . ἐάν δέ ὁ μέν καθόλου τίθημι πρός ὁ μικρός ἄκρος . ἀσυλλόγιστος εἰμί πᾶς ὁ ὁ μείζων μερικός ἔχω . τετραπλός δέ οὗτος , ὡς ὑπογράφω ,