ammonius-philosophy.in-aristotelis-analytica-priora-sp 234r
τοῦ ἀναγκαίου καὶ ἀδυνάτου ὥρισται · καθόλου γὰρ ὧν ἀντιφάσεων θάτερα μόρια συναληθεύει , τούτων καὶ τὰ λοιπὰ συναληθεύει . ἔστωσαν γὰρ δύο ἀντιφάσεις αἱ ΑΒ . ΓΔ , καὶ τὰ ΑΓ συναληθευέτωσαν · λέγω ὅτι καὶ τὰ ΒΔ συναληθεύει · εἰ γὰρ δυνατόν , ἐπὶ τοῦ Ε τὸ Β ἀληθευέτω , τὸ Δ δὲ μή · ἐπεὶ οὖν κατὰ παντὸς ἢ φάναι ἢ ἀποφάναι , τὸ δὲ Δ οὐχ ὑπάρχει τῷ Ε , τὸ Γ ἄρα ὑπάρχει τῷ Ε · ὥστε καὶ τὸ Α · ἀλλὰ καὶ τὸ Β διὰ τὴν ὑπόθεσιν · ὅπερ ἀδύνατον . οὐκ ἐνδέχεται εἶναι ἀνάγκη μὴ εἶναι ἀδύνατον εἶναι ἐνδέχεται εἶναι οὐκ ἀνάγκη μὴ εἶναιοὐκ ἀδύνατον εἶναι β¯ . Ἦσαν αἱ ἀντιστροφαὶ τοῦ ἐνδεχομένου οὐχ αἱ ἀπλαῖ ( ταύτας γὰρ παραδώσει μετὰ τὸ πρῶτον σχῆμα , ὅπου καὶ δέεται αὐτῶν · τὰ γὰρ ἄλλα σχήματα δι’ ἁπλῆς ἀντιστροφῆς εἰς τὸ πρῶτον σχῆμα ἀνάγεται ) ἀλλ’ αἱ ἐνδεχόμεναι αἱ τὸ ποιὸν μόνον ἀμείβουσαι τὴν δὲ τάξιν τῶν ὅρων φυλάττουσαι . κατὰ ταύτην τοίνυν τὴν ἐνδεχομένην ἀντιστροφὴν αἵ τε καθόλου πρὸς ἀλλήλας ἀντιστρέφουσιν καὶ 〈 αἱ 〉 μερικαὶ πρὸς ἀλλήλας · διὰ τὸν ὅρον τοῦ ἐνδεχομένου ὃ ἐνδέχεται 〈 οὐδενί , ἐνδέχεται 〉 καὶ παντί , καὶ ἔμπαλιν · καὶ ὃ ἐνδέχεται οὐ παντί , καὶ τινί , καὶ ἔμπαλιν · καὶ ἔτι αἱ καθόλου πρὸς τὰς διαγωνίους μερικὰς ἀντιστρέφουσιν · ὃ γὰρ ἐνδέχεται παντί , καὶ οὐ παντὶ διὰ μέσης τῆς οὐδενί · καὶ ὃ ἐνδέχεται οὐδενί , καὶ τινὶ διὰ μέσης τῆς παντί . οὐκέτι δὲ καὶ ταῖς μερικαῖς αἱ καθόλου ἕπονται · οὐ πᾶν μὲν γὰρ ζῷον ἐνδέχεται βαδίζειν · οὐ μὴν καὶ πᾶν ζῷον ἐνδέχεται βαδίζειν διὰ τὰ ἑρπετά . καὶ ταῦτα μὲν ὁ Ἀριστοτέλης . οἱ δ’ ἑταῖροι αὐτοῦ , Θεόφραστος καὶ Εὔδημος , καὶ ἔτι οἱ Πλατωνικοὶ οὐ βούλονται ἐνδεχομένην ἀπόφασιν ἀντιστρέφειν πρὸς ἐνδεχομένην κατάφασιν , ἐπειδὴ οὐ μένει τὸ ὡς ἐπὶ τὸ πολὺ ἐνδεχόμενον , περὶ οὗ ὁ λόγος . οἱ γὰρ συλλογισμοὶ ὑπὸ τεχνῶν προβάλλονται , αἵ περὶ τὸ ὡς ἐπὶ τὸ πολὺ ἐνδεχόμενον ἔχουσιν · εἰ γὰρ ἐνδέχεται μηδένα ἄνθρωπον ἑξαδάκτυλον εἶναι
Lemmas: ὁ ἀναγκαῖος καί ἀδύνατος ὁρίζω · καθόλου γάρ ὅς ἀντίφασις ἕτερος μόριον συναληθεύω , οὗτος καί ὁ λοιπάς συναληθεύω . εἰμί γάρ δύο ἀντίφασις ὁ ΑΒ . ΓΔ , καί ὁ ΑΓ συναληθεύω · λέγω ὅτι καί ὁ ΒΔ συναληθεύω · εἰμί γάρ δυνατός , ἐπί ὁ Ε ὁ Β ἀληθεύω , ὁ δ δέ μή · ἐπεί οὖν κατά πᾶς ἢ φαίνω ἢ ἀπόφημι , ὁ δέ δ οὐ ὑπάρχω ὁ Ε , ὁ Γ ἄρα ὑπάρχω ὁ Ε · ὥστε καί ὁ Α · ἀλλά καί ὁ Β διά ὁ ὑπόθεσις · ὅσπερ ἀδύνατος . οὐ ἐνδέχομαι εἰμί ἀνάγκη μή εἰμί ἀδύνατος εἰμί ἐνδέχομαι εἰμί οὐ ἀνάγκη μή ειναιου ἀδύνατος εἰμί β¯ . εἰμί ὁ ἀντιστροφή ὁ ἐνδέχομαι οὐ ὁ ἁπλόος ( οὗτος γάρ παραδίδωμι μετά ὁ πρῶτος σχῆμα , ὅπου καί δήω αὐτός · ὁ γάρ ἄλλος σχῆμα διά ἁπλόος ἀντιστροφή εἰς ὁ πρῶτος σχῆμα ἀνάγω ) ἀλλά ὁ ἐνδέχομαι ὁ ὁ ποιός μόνος ἀμείβω ὁ δέ τάξις ὁ ὁράω φυλάσσω . κατά οὗτος τοίνυν ὁ ἐνδέχομαι ἀντιστροφή ὁ τε καθόλου πρός ἀλλήλων ἀντιστρέφω καί 〈 ὁ 〉 μερικός πρός ἀλλήλων · διά ὁ ὅρος ὁ ἐνδέχομαι ὅς ἐνδέχομαι 〈 οὐδείς , ἐνδέχομαι 〉 καί πᾶς , καί ἔμπαλιν · καί ὅς ἐνδέχομαι οὖον πᾶς , καί τις , καί ἔμπαλιν · καί ἔτι ὁ καθόλου πρός ὁ διαγώνιος μερικός ἀντιστρέφω · ὅς γάρ ἐνδέχομαι πᾶς , καί οὖον πᾶς διά μέσος ὁ οὐδείς · καί ὅς ἐνδέχομαι οὐδείς , καί τις διά μέσος ὁ πᾶς . οὐκέτι δέ καί ὁ μερικός ὁ καθόλου ἕπω · οὖον πᾶς μέν γάρ ζῷον ἐνδέχομαι βαδίζω · οὖον μήv καί πᾶς ζῷον ἐνδέχομαι βαδίζω διά ὁ ἑρπετόν . καί οὗτος μέν ὁ Ἀριστοτέλης . ὁ δέ ἑταῖρος αὐτός , Θεόφραστος καί Εὔδημος , καί ἔτι ὁ πλατωνικός οὖον βούλομαι ἐνδέχομαι ἀπόφασις ἀντιστρέφω πρός ἐνδέχομαι κατάφασις , ἐπεί οὖον μένω ὁ ὡς ἐπί ὁ πολύς ἐνδέχομαι , περί ὅς ὁ λόγος . ὁ γάρ συλλογισμός ὑπό τέχνη προβάλλω , ὁ περί ὁ ὡς ἐπί ὁ πολύς ἐνδέχομαι ἔχω · εἰμί γάρ ἐνδέχομαι μηδείς ἄνθρωπος ἑξαδάκτυλος εἰμί