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