ammonius-philosophy.in-aristotelis-analytica-priora-sp 255v
διὸ καὶ ὑποθετικὸς λέγεται καίπερ καὶ κατηγορικὸν συλλογισμὸν ἔχων μέρος , ὡς τοῦ προκειμένου διὰ τοῦ πέμπτου τρόπου τῶν ὑποθετικῶν δεικνυμένου , τοῦ δὲ κατηγορικοῦ λήμματος ὄντος . οἷον ἡ διάμετρος τοῦ τετραγώνου τῇ πλευρᾷ ἢ σύμμετρος ἢ ἀσύμμετρος · ἀλλὰ μὴν οὐ σύμμετρος , ὡς δείξω · διὰ τὸν πέμπτον ἄρα τῶν ὑποθετικῶν ἀσύμμετρός ἐστιν , ὅπερ προέκειτο δεῖξαι . οὐ σύμμετρος δὲ ἡ διάμετρος τῇ πλευρᾷ διὰ ταῦτα · εἰ σύμμετρος ἡ διάμετρος τῇ πλευρᾷ , ὁ αὐτὸς ἀριθμὸς καὶ ἄρτιος καὶ περιττός , ὡς δείξω · τὸ δὲ δεύτερον οὐκ ἔστιν · διὰ τὸν δεύτερον ἄρα τῶν ὑποθετικῶν οὐδὲ τὸ πρῶτόν ἐστιν . ὅτι δέ , εἰ σύμμετρος ἡ διάμετρος τῇ πλευρᾷ , ὁ αὐτὸς ἄρτιος γίνεται καὶ περιττός , τὸ γεωμετρικὸν θεώρημα δείκνυσι διὰ κατηγορικοῦ συλλογισμοῦ . μέρος ἄρα οἱ δι’ ἀδυνάτου τῶν ἐξ ὑποθέσεως , εἰ πᾶς μὲν δι’ ἀδυνάτου ὑποθετικός , οὐ πᾶς δ’ ὑποθετικὸς δι’ ἀδυνάτου · οὐ γὰρ δὴ καὶ οἱ πέντε τρόποι ἐπ’ εὐθείας ὄντες . λέγεται δ’ ὁ δι’ ἀδυνάτου καὶ κύκλῳ ὡς μὴ τὸ προκείμενον αὐτόθεν δεικνύς · ὁ γὰρ τοῦ προκειμένου συλλογισμὸς ἐπ’ εὐθείας λέγεται , ἐπειδὴ καὶ ἡ εὐθεῖα ἐλαχίστη τῶν τὰ αὐτὰ πέρατα ἐχουσῶν . ΠΕΡΙ ΤΩΝ ΚΑΤΑ ΠΡΟΣΛΗΨΙΝ ΣΥΛΛΟΓΙΣΜΩΝ . Οὗτοι τοίνυν τῶν μὲν κατηγορικῶν ἔχουσι τὸ ἐν πᾶσι τοῖς σχήμασιν εἶναι · ἐν μὲν τῷ πρώτῳ ὃ τῷ Γ παντί , τούτῳ τὸ Α παντί · ἐν δὲ τῷ δευτέρῳ ὃ κατὰ τοῦ Β παντός , τοῦτο καὶ κατὰ τοῦ Γ παντός · ἐν δὲ τῷ τρίτῳ καθ’ οὗ τὸ Α παντός , κατὰ τούτου καὶ τὸ Β · ἀλλὰ συνάγεται νῦν καὶ ἐν δευτέρῳ καταφατικὸν καὶ ἐν τρίτῳ καθόλου , καὶ ἐκ δύο ἀποφατικῶν ἐν πᾶσι , καὶ τῷ ὑπάρχειν ἡ ἀνυπαρξία συνάγεται . τῶν δὲ ὑποθετικῶν ἔχουσι τὸ συνῆφθαι τὰς προτάσεις καὶ τὸ τὴν ἑτέραν διὰ τῆς ἑτέρας κατασκευάζεσθαι · ἀλλ’ οὔτε δι’ ὅλου ὑποθετικοί εἰσιν , οὔτε ὑπὸ τοὺς πέντε τρόπους ἀνάγονται . Οἱ κατὰ πρόσληψιν κατηγορικοί εἰσιν ὡς γινόμενοι κατὰ τὰ τρία σχήματα . οὐκ εἰσὶν κατηγορικοὶ ὡς μὴ σώζοντες τὰ ἴδια
Lemmas: διό καί ὑποθετικός λέγω καίπερ καί κατηγορικός συλλογισμός ἔχω μέρος , ὡς ὁ πρόκειμαι διά ὁ πέμπτος τρόπος ὁ ὑποθετικός δείκνυμι , ὁ δέ κατηγορικός λῆμμα εἰμί . οἷος ὁ διάμετρος ὁ τετράγωνος ὁ πλευρά ἢ σύμμετρος ἢ ἀσύμμετρος · ἀλλά μήv οὖον σύμμετρος , ὡς δείκνυμι · διά ὁ πέμπτος ἄρα ὁ ὑποθετικός ἀσύμμετρος εἰμί , ὅσπερ πρόκειμαι δείκνυμι . οὖον σύμμετρος δέ ὁ διάμετρος ὁ πλευρά διά οὗτος · εἰμί σύμμετρος ὁ διάμετρος ὁ πλευρά , ὁ αὐτός ἀριθμός καί ἄρτιος καί περισσός , ὡς δείκνυμι · ὁ δέ δύο οὐ εἰμί · διά ὁ δύο ἄρα ὁ ὑποθετικός οὐδέ ὁ πρότερος εἰμί . ὅτι δέ , εἰμί σύμμετρος ὁ διάμετρος ὁ πλευρά , ὁ αὐτός ἄρτιος γίγνομαι καί περισσός , ὁ γεωμετρικός θεώρημα δείκνυμι διά κατηγορικός συλλογισμός . μέρος ἄρα ὁ διά ἀδύνατος ὁ ἐκ ὑπόθεσις , εἰμί πᾶς μέν διά ἀδύνατος ὑποθετικός , οὖον πᾶς δέ ὑποθετικός διά ἀδύνατος · οὖον γάρ δή καί ὁ πέντε τρόπος ἐπί εὐθύς εἰμί . λέγω δέ ὁ διά ἀδύνατος καί κύκλος ὡς μή ὁ πρόκειμαι αὐτόθεν δείκνυμι · ὁ γάρ ὁ πρόκειμαι συλλογισμός ἐπί εὐθύς λέγω , ἐπεί καί ὁ εὐθύς μικρός ὁ ὁ αὐτός πέρας ἔχω . περί ὁ κατά πρόσληψις συλλογισμός . οὗτος τοίνυν ὁ μέν κατηγορικός ἔχω ὁ ἐν πᾶς ὁ σχῆμα εἰμί · ἐν μέν ὁ πρῶτος ὅς ὁ Γ πᾶς , οὗτος ὁ Α πᾶς · ἐν δέ ὁ δύο ὅς κατά ὁ Β πᾶς , οὗτος καί κατά ὁ Γ πᾶς · ἐν δέ ὁ τρίτος κατά ὅς ὁ Α πᾶς , κατά οὗτος καί ὁ Β · ἀλλά συνάγω νῦν καί ἐν δύο καταφατικός καί ἐν τρίτος καθόλου , καί ἐκ δύο ἀποφατικός ἐν πᾶς , καί ὁ ὑπάρχω ὁ ἀνυπαρξία συνάγω . ὁ δέ ὑποθετικός ἔχω ὁ συνάπτω ὁ πρότασις καί ὁ ὁ ἕτερος διά ὁ ἕτερος κατασκευάζω · ἀλλά οὔτε διά ὅλος ὑποθετικός εἰμί , οὔτε ὑπό ὁ πέντε τρόπος ἀνάγω . ὁ κατά πρόσληψις κατηγορικός εἰμί ὡς γίγνομαι κατά ὁ τρεῖς σχῆμα . οὐ εἰμί κατηγορικός ὡς μή σῴζω ὁ ἴδιος