ammonius-philosophy.in-aristotelis-analytica-priora-sp 257r
γωνίαι ἴσαι · αἱ ΑΓ , ΒΔ ἄρα γωνίαι ἴσαι . πάλιν αἱ ΓΔ τοῦ αὐτοῦ τμήματός εἰσιν γωνίαι · πᾶσαι αἱ τοῦ αὐτοῦ τμήματός εἰσι γωνίαι ἴσαι διὰ τὴν [ ε ′ ] ἐφαρμογήν · [ πάλιν ] αἱ ΓΔ ἄρα γωνίαι ἴσαι . πάλιν αἱ ΕΖ τοῦ τριγώνου γωνίαι καταλείπονται μετὰ ἀφαίρεσιν ἴσων ἀπὸ ἴσων · πάντα τὰ καταλειπόμενα κατὰ ἀφαίρεσιν ἴσων ἀπὸ ἴσων ἴσα ἐστίν · καὶ αἱ ΕΖ ἄρα τοῦ τριγώνου γωνίαι ἴσαι εἰσίν · ὅπερ ⁎ ⁎ ⁎ δὲ οὕτω λέγειν φασί τινες ‛ ἐπειδὴ αἱ ΑΓ , ΒΔ ἴσαι , ὧν αἱ ΓΔ ἴσαι , λοιπαὶ ἄρα αἱ ΕΖ γωνίαι τοῦ ἰσοσκελοῦς τριγώνου ἴσαι εἰσίν’ διχῶς ἁμαρτάνοντες · καὶ γὰρ ἄμφω μερικαί , ἐπειδὴ ἀπροσδιόριστοι · καὶ ὅτι τὴν μείζονα παρῆκαν τὴν τὸ κῦρος ἔχουσαν ἐν τοῖς συλλογισμοῖς καὶ ἀξιώματος λόγον ἐπέχουσαν , τὴν δὲ ἐλάττονα διεῖλον εἰς δύο . καὶ ἐντεῦθεν τὸ ἐν ἀρχῇ αἰτοῦνται · ὃ γὰρ μὴ ἔδειξαν , οἴονται δεδειχέναι . Ἀλλὰ καὶ τῷ ἀναγκαίαν ἢ ὑπάρχουσαν ἢ ἐνδεχομένην . πῶς οὖν ἐν δευτέρῳ σχήματι καὶ τρίτῳ ἐπὶ τῆς μίξεως ἐνδεχομένου καὶ ἀναγκαίου τῆς ἀναγκαίας καθόλου ἀποφατικῆς οὔσης τὸ ἐξ ἡμισείας ἐνδεχόμενον καὶ ἀναγκαῖον συνάγεται ; ἢ καὶ τότε ἔοικεν · τὸ γὰρ οὐδενὶ ἐξ ἀνάγκης συνάγεται , ὃ φέρεται καὶ κατὰ τοῦ ἐξ ἀνάγκης οὐδενὶ καὶ κατὰ τοῦ ἐνδέχεται οὐδενί · ἀμφοτέραις οὖν ἔοικεν . Ἐπισκέψασθαι δὲ καὶ τὰς ἄλλας κατηγορίας . οἶδεν ἄρα καὶ αὐτὸς ὅτι οὐκ ἀεὶ ἕπεται τὸ συμπέρασμα μιᾷ τῶν προτάσεων κατὰ τὸ ποιόν , εἴ γε ἀληθὲς ἐκ ψευδῶν συνάγεται . τοὺς δὲ τρόπους κατηγορίας ἐκάλεσεν , ἐπεί , 〈 εἰ 〉 δοκεῖ τὸ ὑποκεῖσθαι ὕλης , τὸ κατηγορεῖσθαι εἴδους ἂν εἴη , ταὐτὸν δ’ εἰπεῖν ποιοῦ ἢ τρόπου . Ὅτι δυνατὸν καλεῖ τὸν ἀτελῆ ὡς δυνάμει τέλειον . Δῆλον δὲ καὶ ὅτι πᾶσα ἀπόδειξις . δείξας ὅτι πᾶς κατηγορικὸς ἁπλοῦς συλλογισμὸς δι’ ἑνὸς τῶν τριῶν σχημάτων γίνεται καὶ ὅτι καὶ πᾶς ὑποθετικός , δι’ ἀδυνάτου καὶ ἐπ’ εὐθείας , ταὐτὸν δ’ εἰπεῖν σύνθετός τε καὶ ἁπλοῦς , ὑπὸ τὰ τρία σχήματα ἀνάγεται διὰ μέσου ἁπλοῦ
Lemmas: γωνία Ἴσαι · ὁ ΑΓ , ΒΔ ἄρα γωνία Ἴσαι . πάλιν ὁ ΓΔ ὁ αὐτός τμῆμα εἰμί γωνία · πᾶς ὁ ὁ αὐτός τμῆμα εἰμί γωνία Ἴσαι διά ὁ [ ε ′ ] ἐφαρμογή · [ πάλιν ] ὁ ΓΔ ἄρα γωνία Ἴσαι . πάλιν ὁ ΕΖ ὁ τρίγωνος γωνία καταλείπω μετά ἀφαίρεσις ἴσος ἀπό ἴσος · πᾶς ὁ καταλείπω κατά ἀφαίρεσις ἴσος ἀπό ἴσος ἴσος εἰμί · καί ὁ ΕΖ ἄρα ὁ τρίγωνος γωνία Ἴσαι εἰμί · ὅσπερ ⁎ ⁎ ⁎ δέ οὗτος λέγω φημί τις ‛ ἐπεί ὁ ΑΓ , ΒΔ Ἴσαι , ὅς ὁ ΓΔ Ἴσαι , λοιπός ἄρα ὁ ΕΖ γωνία ὁ ἰσοσκελής τρίγωνος Ἴσαι εἰσέρχομαι διχῶς ἁμαρτάνω · καί γάρ ἄμφω μερικός , ἐπεί απροσδιόριστος · καί ὅτι ὁ μείζων παρίημι ὁ ὁ κῦρος ἔχω ἐν ὁ συλλογισμός καί ἀξίωμα λόγος ἐπέχω , ὁ δέ μικρός διαιρέω εἰς δύο . καί ἐντεῦθεν ὁ ἐν ἀρχή αἰτέω · ὅς γάρ μή δείκνυμι , οἴομαι δείκνυμι . ἀλλά καί ὁ ἀναγκαῖος ἢ ὑπάρχω ἢ ἐνδέχομαι . πῶς οὖν ἐν δύο σχῆμα καί τρίτος ἐπί ὁ μίξις ἐνδέχομαι καί ἀναγκαῖος ὁ ἀναγκαῖος καθόλου ἀποφατικός εἰμί ὁ ἐκ ἥμισυς ἐνδέχομαι καί ἀναγκαῖος συνάγω ; ἢ καί τότε ἔοικα · ὁ γάρ οὐδείς ἐκ ἀνάγκη συνάγω , ὅς φέρω καί κατά ὁ ἐκ ἀνάγκη οὐδείς καί κατά ὁ ἐνδέχομαι οὐδείς · ἀμφότερος οὖν ἔοικα . ἐπισκοπέω δέ καί ὁ ἄλλος κατηγορία . οἶδα ἄρα καί αὐτός ὅτι οὐ ἀεί ἕπω ὁ συμπέρασμα εἷς ὁ πρότασις κατά ὁ ποιός , εἰμί γε ἀληθής ἐκ ψευδής συνάγω . ὁ δέ τρόπος κατηγορία καλέω , ἐπεί , 〈 εἰμί 〉 δοκέω ὁ ὑπόκειμαι ὕλη , ὁ κατηγορέω εἶδος εἄν εἰμί , αὐτός δέ εἶπον ποιέω ἢ τρόπος . ὅτι2 δυνατός καλέω ὁ ἀτελής ὡς δύναμις τέλειος . Δῆλος δέ καί ὅτι πᾶς ἀπόδειξις . δείκνυμι ὅτι πᾶς κατηγορικός ἁπλόος συλλογισμός διά εἷς ὁ τρεῖς σχῆμα γίγνομαι καί ὅτι καί πᾶς ὑποθετικός , διά ἀδύνατος καί ἐπί εὐθύς , αὐτός δέ εἶπον σύνθετος τε καί ἁπλόος , ὑπό ὁ τρεῖς σχῆμα ἀνάγω διά μέσος ἁπλόος