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