ammonius-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 11
ΜΙΞΙΣ EN B ΣΧΗΜΑΤΙ ΥΠΑΡΧΟΝΤΟΣ ΚΑΙ ΑΝΑΓΚΑΙΟΥ . p . 30b7 ἐπὶ δευτέρου δευτέρου σχήματος . Ὅτι ἐν δευτέρῳ σχήματι μίξεως γινομένης , εἰ μὲν ᾖ καθόλου ἀποφατικὴ πρότασις , ὡς ἐπὶ τῶν πρώτων τριῶν τρόπων , τῇ καθόλου ἀποφάσει ἕπεται τὸ συμπέρασμα · αὕτη γὰρ | μείζων γίνεται τοῦ πρώτου σχήματος ἐν τῇ εἰς ἄτοπον ἀπαγωγῇ · τῇ δέ μείζονι τοῦ πρώτου σχήματος δέδεικται τὸ συμπέρασμα ἑπόμενον · εἰ δὲ μὴ ᾖ καθόλου ἀποφατικὴ πρότασις , ὡς ἐν τῷ τετάρτῳ τρόπῳ , τῇ χείρονι ἕπεται τὸ συμπέρασμα . καὶ τὰς μὲν συναγούσας ἀναγκαῖον διὰ μόνου τοῦ κατὰ παντὸς καὶ κατὰ μηδενὸς δείκνυσιν , τὰς δ’ ὑπάρχον καὶ ἐπ’ εὐθείας καὶ δι’ ἀδυνάτου καὶ δι’ ὅρων . p . 30b18 Εἰ δ' ἡ κατηγορικὴ πρότασίς ἐστιν ἀναγκαία , οὐκ ἔστι συμπέρασμα ὅτι ἐπὶ τῶν ἐξ ἀμφοτέρων καθόλου , ἐὰν ἡ καθόλου ἀπόφασις ὑπάρχουσα ᾖ , καὶ τὸ συμπέρασμα ὑπάρχον ἐστί , τριχῶς ἀποδείκνυσι . καὶ ἄρχεται ἀπὸ τοῦ δευτέρου τρόπου τοῦ δευτέρου σχήματος · τὸ γὰρ πρῶτον παραλιμπάνει ὡς ἁπλούστερον διὰ τὸ μιᾶς ἀντιστροφῆς δεῖσθαι . πρώτη δεῖξις · τὸ Α παντὶ τῷ Β ἐξ ἀνάγκης · τὸ Α οὐδενὶ τῷ Γ ὑπαρχόντως · λέγω ὅτι | τὸ Β οὐδενὶ τῷ Γ ὑποαρχόντως . ἐπεὶ γὰρ τὸ Γ οὐδενὶ τῷ Α ὑπάρχει διὰ τὴν ἀντιστροφήν , τὸ δὲ Α παντὶ τῷ Β ἐξ ἀνάγκης , γέγονε τὸ πρῶτον στῆμα τὴν . μείζονα ὑπάρχουσαν ἔχον , καὶ διὰ τοῦτο ὑπάρ - χον συνάγεται · τὸ Γ ἄρα οὐδενὶ τῷ Β ὑπάρχει · ὥστε καὶ τὸ B οὐδενὶ τῷ Γ ὑπάρχει · δευτέρα δεῖξις · εἰ τὸ Β τῷ Γ οὐδενὶ ἐξ ἀνάγκης , καὶ τὸ Γ τῷ Β οὐδενὶ ἐξ ἀνάγκης · τὸ δὲ Β τῷ Α ἐξ ἀνάγκης τινὶ διὰ τὴν ἀντιστροφήν · τό Γ ἄρα τῷ Α οὐ παντὶ ἐξ ἀνάγκης · ἀλλὰ καὶ οὐδενὶ ὑπάρχει διὰ τὴν ἀντιστροφήν · ὅπερ ἀδύνατον . ἡ ὡς ἡ λέξις , τὸ Γ τῷ Α οὐ παντὶ ἐξ ἀνάγκης · ἀλλὰ καὶ παντὶ ὑπάρχει · εἰ γὰρ τὸ Α τῷ Γ οὐδενὶ ὑπάρχει , καὶ τὸ Γ τῷ Α οὐδενὶ ὑπάρχει · καὶ διὰ τοῦτο δύναται καὶ παντὶ ὑπάρχειν τὸ Γ τῷ Α . τρίτη δεῖξις τοῦ αὐτοῦ διὰ τῶν ὅρων · ζῷον παντὶ ἀνθρώπῳ ἐξ ἀνάγκης · ζῷον οὐδενὶ λευκῷ ὑπαρχόντως · καὶ ἄνθρωπος οὐδενὶ λευκῷ ὑπάρχει , εἰ μὴ ὄρα λέγοι τις , φησίν , ἄνθρωπος οὐδενὶ λευκῷ ἐξ ἀνάγκης , ἔστ’ ἄν , ὡς ἡ πρότασίς φησιν , ζῷον οὐδενὶ λευκῷ ὑπάρχῃ ἀλλ’ οὕτω πᾶς συλλογισμὸς ἀναγκαῖον συνάγει διὰ τὸν ὅρον τοῦ συλλογισμοῦ . οὐκ ἄρα ληπτέον ἐν τοῖς συμπεράσμασι τὸ κατὰ τὸν ὁρισμὸν ἀναγκαῖον . p . 31a3 Ὅταν δ᾿ ἡ κατηγορικὴ καθόλου τε καὶ ἀναγκαία ᾖ . κατὰ μέρος διχῶς , φησίν , τὸ ὑπάρχον συνάγεται · καὶ γὰρ ἐν τῷ τετάρτῳ τρόπῳ , ὅτε καὶ ἔστιν καθόλου κατηγορική , καὶ ἐν τῷ τρίτῳ τρόπῳ , ὅταν ἡ μερικὴ κατηγορικὴ ἀναγ - καία ᾖ · τηνικαῦτα γὰρ ἡ λοιπὴ καθόλου ἀποφατικὴ ὑπάρχουσα γίνεται , καὶ διὰ τοῦτο τὸ συμπέρασμα ὑπάρχον . ὥστε διὰ τὸ δεύτερον πρόσκειται τὸ καὶ ἀναγκαία , οὐ διὰ τὸ πρῶτον · ὡς ἂν γὰρ ἔχη ἡ καθόλου κατηγορικὴ κατὰ τὸ ὑπάρχον καὶ ἀναγ - καῖον , ὑπάρχον συνάγεται .
Lemmas: μίξις EN B σχῆμα ὑπάρχω ΚΑΙ ἀναγκαῖος . p . 30b7 ἐπί δύο δύο σχῆμα . ὅτι2 ἐν δύο σχῆμα μίξις γίγνομαι , εἰμί μέν εἰμί καθόλου ἀποφατικός πρότασις , ὡς ἐπί ὁ πρῶτος τρεῖς τρόπος , ὁ καθόλου ἀπόφασις ἕπω ὁ συμπέρασμα · οὗτος γάρ | μείζων γίγνομαι ὁ πρῶτος σχῆμα ἐν ὁ εἰς ἄτοπος ἀπαγωγή · ὁ δέ μείζων ὁ πρῶτος σχῆμα δείκνυμι ὁ συμπέρασμα ἕπω · εἰμί δέ μή εἰμί καθόλου ἀποφατικός πρότασις , ὡς ἐν ὁ τέταρτος τρόπος , ὁ χείρων ἕπω ὁ συμπέρασμα . καί ὁ μέν συνάγω ἀναγκαῖος διά μόνος ὁ κατά πᾶς καί κατά μηδείς δείκνυμι , ὁ δέ ὑπάρχω καί ἐπί εὐθύς καί διά ἀδύνατος καί διά ὁράω . p . 30b18 εἰμί δέ ὁ κατηγορικός πρότασις εἰμί ἀναγκαῖος , οὐ εἰμί συμπέρασμα ὅτι ἐπί ὁ ἐκ ἀμφότερος καθόλου , ἐάν ὁ καθόλου ἀπόφασις ὑπάρχω εἰμί , καί ὁ συμπέρασμα ὑπάρχω εἰμί , τριχῶς ἀποδείκνυμι . καί ἄρχω ἀπό ὁ δύο τρόπος ὁ δύο σχῆμα · ὁ γάρ πρῶτος παραλιμπάνω ὡς ἁπλόος διά ὁ εἷς ἀντιστροφή δήω . πρῶτος δεῖξις · ὁ Α πᾶς ὁ Β ἐκ ἀνάγκη · ὁ Α οὐδείς ὁ Γ ὑπάρχω · λέγω ὅτι | ὁ Β οὐδείς ὁ Γ ὑπάρχω . ἐπεί γάρ ὁ Γ οὐδείς ὁ Α ὑπάρχω διά ὁ ἀντιστροφή , ὁ δέ Α πᾶς ὁ Β ἐκ ἀνάγκη , γίγνομαι ὁ πρῶτος στῆμα ὁ . μείζων ὑπάρχω ἔχω , καί διά οὗτος ὑπάρ - Χον συνάγω · ὁ Γ ἄρα οὐδείς ὁ Β ὑπάρχω · ὥστε καί ὁ B οὐδείς ὁ Γ ὑπάρχω · δύο δεῖξις · εἰμί ὁ Β ὁ Γ οὐδείς ἐκ ἀνάγκη , καί ὁ Γ ὁ Β οὐδείς ἐκ ἀνάγκη · ὁ δέ Β ὁ Α ἐκ ἀνάγκη τις διά ὁ ἀντιστροφή · ὁ Γ ἄρα ὁ Α οὖον πᾶς ἐκ ἀνάγκη · ἀλλά καί οὐδείς ὑπάρχω διά ὁ ἀντιστροφή · ὅσπερ ἀδύνατος . ὁ ὡς ὁ λέξις , ὁ Γ ὁ Α οὖον πᾶς ἐκ ἀνάγκη · ἀλλά καί πᾶς ὑπάρχω · εἰμί γάρ ὁ Α ὁ Γ οὐδείς ὑπάρχω , καί ὁ Γ ὁ Α οὐδείς ὑπάρχω · καί διά οὗτος δύναμαι καί πᾶς ὑπάρχω ὁ Γ ὁ Α . τρίτος δεῖξις ὁ αὐτός διά ὁ ὁράω · ζῷον πᾶς ἄνθρωπος ἐκ ἀνάγκη · ζῷον οὐδείς λευκός ὑπάρχω · καί ἄνθρωπος οὐδείς λευκός ὑπάρχω , εἰμί μή σύργαστρος λέγω τις , φημί , ἄνθρωπος οὐδείς λευκός ἐκ ἀνάγκη , ἔστω ἄν , ὡς ὁ πρότασις φημί , ζῷον οὐδείς λευκός ὑπάρχω ἀλλά οὗτος πᾶς συλλογισμός ἀναγκαῖος συνάγω διά ὁ ὅρος ὁ συλλογισμός . οὐ ἄρα ληπτέος ἐν ὁ συμπέρασμα ὁ κατά ὁ ὁρισμός ἀναγκαῖος . p . 31a3 ὅταν δέ ὁ κατηγορικός καθόλου τε καί ἀναγκαῖος εἰμί . κατά μέρος διχῶς , φημί , ὁ ὑπάρχω συνάγω · καί γάρ ἐν ὁ τέταρτος τρόπος , ὅτε καί εἰμί καθόλου κατηγορικός , καί ἐν ὁ τρίτος τρόπος , ὅταν ὁ μερικός κατηγορικός ἀνακ - Καία εἰμί · τηνικαῦτα γάρ ὁ λοιπός καθόλου ἀποφατικός ὑπάρχω γίγνομαι , καί διά οὗτος ὁ συμπέρασμα ὑπάρχω . ὥστε διά ὁ δύο πρόσκειμαι ὁ καί ἀναγκαῖος , οὖον διά ὁ πρῶτος · ὡς εἄν γάρ χάω ὁ καθόλου κατηγορικός κατά ὁ ὑπάρχω καί ἀνακ - καίω , ὑπάρχω συνάγω .