ammonius-philosophy.in-aristotelis-analytica-priora-sp 252v
αἱ δύο προτάσεις κοινὸν ὅρον · καὶ οὗτος ἢ ἐν ἀμφοτέροις κατηγορεῖται ἢ ἐν ἀμφοτέροις ὑπόκειται ἢ ἀναμίξ · καὶ γίνονται τὰ τρία σχήματα . ὁμοίως δὲ καὶ ὁ σύνθετος κατηγορικὸς συλλογισμὸς ὑπὸ τὰ τρία σχήματα ἀνάγεται · δύο γάρ εἰσιν αἱ κύριαι αὐτοῦ προτάσεις · αἱ δ’ ἄλλαι προσυλλογισμοὺς ποιοῦσιν , ὡς ἑξῆς δείκνυσιν . καὶ οἱ δι’ ἀδυνάτου δὲ συλλογισμοὶ σύνθετοι ὑποθετικοὶ ὄντες ὑπὸ τὰ τρία σχήματα τελοῦσι · καὶ οἱ ἁπλοῖ δὲ ὑποθετικοί · οἱ μὲν δι’ ἀδυνάτου , ἐπειδὴ δεόνται κατηγορικοῦ συλλογισμοῦ τοῦ τὸ ἀδύνατον δεικνύντος , οἷον τοῦ γεωμετρικοῦ θεωρήματος τοῦ δεικνύντος διὰ κατηγορικοῦ συλλογισμοῦ πῶς , εἰ ἡ διάμετρος τῇ πλευρᾷ σύμμετρος , ὁ αὐτὸς ἀριθμὸς καὶ ἄρτιος καὶ περιττός · οἱ δ’ ἁπλοῖ ὑποθετικοί , ἤτοι οἱ ἐπ’ εὐθείας , ἐπειδὴ δέονται κατηγορικοῦ συλλογισμοῦ τοῦ τὴν πρόσληψιν δεικνύντος · δεῖ γάρ , φησὶν Ἀριστοτέλης , ἐν τοῖς ὑποθετικοῖς συλλογισμοῖς τὸ μὲν συνημμένον ὡμολογῆσθαι πάντως , τὴν δὲ πρόσληψιν ἀμφιβάλλεσθαι . καὶ εὖ γε ἀμφότερα · εἰ γὰρ ἀμφιβάλλοιτο τὸ συνημμένον , ἀμφιβάλλεται καὶ τὸ ὑποθετικοὺς αὐτοὺς εἶναι , καὶ ὁ κατασκευάζων τὸ συνημμένον ἅμα κατασκευάζει καὶ ὅτι ὑποθετικοί εἰσιν · καὶ εἰ ὡμολόγηται καὶ ἡ πρόσληψις , οὐδ’ ὑποθετικοῦ συλλογισμοῦ χρεία . καὶ ἄλλως δὲ καθόλου πᾶς ὑποθετικός , ἐπ’ εὐθείας καὶ δι’ ἀδυνάτου , κατηγορικοῦ συλλογισμοῦ δεῖται · εἰ γὰρ ἀεὶ ὑποθέσεις δι’ ὑποθέσεως κατασκευάσομεν , οὐδέποτε στησόμεθα . εἰ οὖν πᾶς ὑποθετικὸς συλλογισμὸς κατηγορικοῦ δεῖται , πᾶς δὲ κατηγορικὸς διὰ τῶν τριῶν σχημάτων γίνεται , καὶ πᾶς ἄρα ὑποθετικὸς καὶ πᾶς συλλογισμὸς τῶν τριῶν σχημάτων δεῖται . καὶ διὰ τοῦτο ἅπασα πίστις εἰς τὸ πρῶτον ἀνάγεται σχῆμα καὶ τοῦ πρώτου σχήματος εἰς τοὺς καθόλου συλλογισμούς . Ὅτι μὲν οὖν . ἐπειδὴ δέδεικται ὅτι οἱ ἐν τοῖς τρισὶ σχήμασι συλλογισμοὶ ὑπὸ τὸ πρῶτον σχῆμα ἀνάγονται καὶ τοὺς τοῦ πρώτου καθόλου δύο συλλο γισμοὺς , δείξομεν νῦν ὅτι καὶ πᾶς [ κατηγορικὸς ] συλλογισμὸς
Lemmas: ὁ δύο πρότασις κοινός ὅρος · καί οὗτος ἢ ἐν ἀμφότερος κατηγορέω ἢ ἐν ἀμφότερος ὑπόκειμαι ἢ ἀναμίξ · καί γίγνομαι ὁ τρεῖς σχῆμα . ὁμοίως δέ καί ὁ σύνθετος κατηγορικός συλλογισμός ὑπό ὁ τρεῖς σχῆμα ἀνάγω · δύο γάρ εἰμί ὁ κύριος αὐτός πρότασις · ὁ δέ ἄλλος προσυλλογισμός ποιέω , ὡς ἑξῆς δείκνυμι . καί ὁ διά ἀδύνατος δέ συλλογισμός σύνθετος ὑποθετικός εἰμί ὑπό ὁ τρεῖς σχῆμα τελέω · καί ὁ ἁπλόος δέ ὑποθετικός · ὁ μέν διά ἀδύνατος , ἐπεί δήω κατηγορικός συλλογισμός ὁ ὁ ἀδύνατος δείκνυμι , οἷος ὁ γεωμετρικός θεώρημα ὁ δείκνυμι διά κατηγορικός συλλογισμός πῶς , εἰμί ὁ διάμετρος ὁ πλευρά σύμμετρος , ὁ αὐτός ἀριθμός καί ἄρτιος καί περισσός · ὁ δέ ἁπλόος ὑποθετικός , ἤτοι ὁ ἐπί εὐθύς , ἐπεί δήω κατηγορικός συλλογισμός ὁ ὁ πρόσληψις δείκνυμι · δεῖ γάρ , φημί Ἀριστοτέλης , ἐν ὁ ὑποθετικός συλλογισμός ὁ μέν συνάπτω ὁμολογέω πάντως , ὁ δέ πρόσληψις ἀμφιβάλλω . καί εὕω γε ἀμφότερος · εἰμί γάρ ἀμφιβάλλω ὁ συνάπτω , ἀμφιβάλλω καί ὁ ὑποθετικός αὐτός εἰμί , καί ὁ κατασκευάζω ὁ συνάπτω ἅμα κατασκευάζω καί ὅτι ὑποθετικός εἰμί · καί εἰμί ὁμολογέω καί ὁ πρόσληψις , οὐδέ ὑποθετικός συλλογισμός χρεία . καί ἄλλως δέ καθόλου πᾶς ὑποθετικός , ἐπί εὐθύς καί διά ἀδύνατος , κατηγορικός συλλογισμός δήω · εἰμί γάρ ἀεί ὑπόθεσις διά ὑπόθεσις κατασκευάζω , οὐδέποτε ἵστημι . εἰμί οὖν πᾶς ὑποθετικός συλλογισμός κατηγορικός δήω , πᾶς δέ κατηγορικός διά ὁ τρεῖς σχῆμα γίγνομαι , καί πᾶς ἄρα ὑποθετικός καί πᾶς συλλογισμός ὁ τρεῖς σχῆμα δήω . καί διά οὗτος ἅπας πίστις εἰς ὁ πρῶτος ἀνάγω σχῆμα καί ὁ πρῶτος σχῆμα εἰς ὁ καθόλου συλλογισμός . ὅτι2 μέν οὖν . ἐπεί δείκνυμι ὅτι ὁ ἐν ὁ τρεῖς σχῆμα συλλογισμός ὑπό ὁ πρῶτος σχῆμα ἀνάγω καί ὁ ὁ πρῶτος καθόλου δύο Συλλός γισμοὺς , δείκνυμι νῦν ὅτι καί πᾶς [ κατηγορικός ] συλλογισμός