ammonius-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 9
ΕΙΣ ΤΟΥΣ ΑΝΑΓΚΑΙΟΥΣ ΣΥΑΛΟΓΙΣΜΟΥΣ . Τὸν αὐτὸν δὲ τρόπον ἕως τέλους τῶν τριῶν σχημάτων . Μετὰ τοὺς ὑπάρχοντας συλλογισμοὺς τοὺς ἀναγκαίους παραδίδωσιν , ἐπειδὴ πολλὴ συγγένεια τῷ ὑπάρχοντι πρὸς τὸ ἀναγκαῖον · καὶ γὰρ τὸ ὑπάρχον , ἔστ’ ἂν ὑπάρχῃ , ἀναγκαῖόν ἐστιν · καὶ αἱ ἀντιστοφαὶ ἐπὶ τοῦ ὑπάρχοντος καὶ ἀναγκαίου ὁμοίως ἔχουσι . καὶ διὰ τοῦτο καὶ οἱ συλλογισμοὶ σχεδὸν ὁμοίως ἔχουσιν ἐπὶ ὑπάρχοντος καὶ ἀναγκαίου . τὸ δὲ σχεδὸν διὰ τὸν τέταρτον τρόπον τοῦ δευτέρου σχήματος καὶ τὸν πέμπτον τοῦ τρίτου · οὗτοι γὰρ ἐπὶ ὑπάρχοντος δι’ ἀντιστροφῆς μὲν οὐκ ἐδείκνυντο , δι’ ἀδυνάτου δὲ καὶ δι’ ἐκθέσεως , καὶ ἡ δι’ ἀδυνάτου καὶ δι’ ἐκθέσεως πίστις ἐπὶ τῶν ἄλλων περιουσιαστικὴ οὖσα ἐπὶ τούτων ἀναγκαία ἐγίνετο · ἐπὶ δὲ τοῦ ἀναγκαίου δι’ ἀδυνάτου οὐ δείκνυνται , ἐπειδὴ ἐν τῷ ἀναγκαίῳ καὶ ἐνδεχομένῳ αἱ ἀντιφάσεις λαμβάνονται ἀντιτιθέντων ἡμῶν τρόπον τρόπῳ , ποσὸν ποσῷ , ποιὸν ποιῷ · καὶ διὰ τοῦτο εἰς μῖξιν ἐμπίπτομεν ἐνδεχομένου καὶ ἀναγκαίου , ἣν οὔπω ἴσμεν τί συνάγει . δι’ ἐκθέσεως δὲ μόνης δείκνυνται , καὶ ἡ δι’ ἐκθέσεως πίστις ἐπὶ τοῦ ὑπάρχοντος κατὰ τοὺς εἰρημένους τρόπους περιουσιαστικὴ οὖσα ἐπὶ τοῦ ἀναγκαίου ἀναγκαία γίνεται . δείκνυνται δὲ δι’ ἐκθέσεως τὸν τρόπον τοῦτον . ἔστω γὰρ ὁ τέταρτος τρόπος τοῦ δευτέρου σχήματος · τὸ Α τῷ μὲν Β ἐξ ἀνάγκης παντί , τῷ δὲ Γ ἐξ ἀνάγκης οὐ παντί · λέγω ὅτι τὸ Β τῷ Γ ἐξ ἀνάγκης οὐ παντί . ἐπεὶ γὰρ τὸ Α τῷ Γ ἐξ ἀνάγκης οὐ παντί , ἔστω τὸ Δ ὑπὸ τὸ Γ , ᾧ οὐδενὶ τὸ Α ὑπάρχει · | ἐπεὶ οὖν τὸ Α τῷ μὲν Β παντὶ ἐξ ἀνάγκης , τῷ δὲ Δ ἐξ ἀνάγκης οὐδενί , διὰ τὸν δεύτερον ἄρα τρόπον τοῦ δευτέρου σχήματος τὸ Β τῴ Δ ἐξ ἀνάγκης οὐδενί · τὸ δὲ Δ τι Γ ἐστίν · τὸ Β ἄρα ἐξ ἀνάγκης οὐ παντὶ τῷ Γ · ὅπερ ἔδει δεῖξαι . ἀλλὰ δὴ ἔστω ὁ πέμπτος τρόπος πος τοῦ τρίτου σχήματος , καὶ τὸ μὲν Α ἐξ ἀνάγκης τῷ Γ οὐ παντί , τὸ δὲ Β τῷ ἐξ ἀνάγκης παντί · λέγω ὅτι τὸ A τῷ Β ἐξ ἀνάγκης οὐ παντί . ἐπεὶ γὰρ τὸ Α τῷ Γ ἐξ ἀνάγκης οὐ παντί , τὸ Α τινὶ τῶν ὑπὸ τὸ Γ , οἷον τὸ Δ , οὐδενὶ ὑπάρξει ἐξ ἀνάγκης · ἐπεὶ δὖν τὸ μὲν Α τῷ Δ ἐξ ἀνάγκης οὐδενί , τὸ δὲ 13 τῷ Δ ἐξ ἀνάγκης παντί , διὰ τὸν δεύτερον ἄρα τρόπον τοῦ τρίτου σχήματος τὸ Α τῷ Β ἐξ ἀνάγκης οὐ παντί . p . 29b29 Ὅτι ἕτερον τὸ ὑπάρχον καὶ τὸ ἀναγκαῖον καὶ τὸ ἐνδεχόμενον . τὸ γὰρ ἐνδεχόμενον οὔτε ὑπάρχει οὕτε ἀναγκαῖόν ἐστιν , μέλλει δὲ ὑπάρχειν · καὶ τὸ ὑπάρχον ἐκβὰν ἐνδεχόμενόν ἐστιν καὶ ταύτῃ διαφέρει τοῦ ἐνδεχομένου καὶ τοῦ ἀναγκαίου . p . 29 b 32 Ὅτι ἕτεροι καὶ οἱ συλλογισμοὶ τῶν τριῶν τῷ τὰς προτάσεις καὶ τὰ συμ - περάσματα ποτὲ μὲν τοῦ ὑπάρχοντος εἶναι ποτὲ δὲ τοῦ ἀναγκαίου ποτὲ δὲ τοῦ ἐνδεχομένου . p . 30 a 2 Τό τε γὰρ στερητικὸν ὡσαύτως ἀντιστέφει . ἀλλὰ καὶ τὸ κατηγορικόν · καὶ πλέον τὸ κατηγορικόν · τοῦτο γὰρ ὁμοίως ἐπὶ τῶν τριῶν ἀντιστρέφει · τὸ δὲ στερητικὸν ἐπὶ ὑπάρχοντος καὶ ἀναγκαίου μόνον ὁμοίως ἀντιστρέφει , ἄλλως δ’ ἐπὶ ἐνδεχομένου . καὶ διὰ τοῦτο μόνου τοῦ κατεπείγοντος ἐμνημόνευσεν . p . 30a13 Ἐν τῷ οἰκείῳ σχήματι , εἰ καὶ μὴ ἐν τῷ οἰκείῳ τρόπῳ . Ὅτι ἐπὶ ὑπάρχοντος καὶ ἀναγκαίου ἡ δι’ ἀδυνάτου δεῖξις περιουσιαστικὴ οὖσα ἐν δευτέρῳ σχήματι πλὴν τοῦ τετάρτου τρόπου καὶ ἐν τρίτῳ πλὴν τοῦ πέμπτου τρόπου ἀναγκαία γέγονεν ἐν τῷ τετάρτῳ τοῦ δευτέρου καὶ τῷ πέμπτῳ τοῦ τρίτου . ὅτι ἡ δι’ ἐκθέσεως ἀπόδειξις ἐπὶ ὑπάρχοντος περιουσιαστικὴ οὖσα ἐν τῷ τετάρτῳ τοῦ δευτέρου καὶ τῷ πέμπτῳ τοῦ τρίτου ἐπὶ τοῦ ἀναγκαίου ἀναγκαία γέγονεν ἐν τῷ τετάρτῳ τοῦ δευτέρου καὶ τῷ πέμπτῳ τοῦ τρίτου . Πῶς ἐπὶ τοῦ ὑπάρχοντος ἔδειξεν τὸν τέταρτον τρόπον τοῦ δευτέρου καὶ τὸν πέμπτον τοῦ τρίτου δι’ ἀδυνάτου μὴ ἀντιθεὶς τρόπον τρόπῳ , ποσὸν ποσῷ , ποιόν ποιῷ , εἰ καὶ τὸ ὑπάρχον τρόπος ἐστίν , δηλοῖ γὰρ τὸ ἐκβὰν ἐνδεχόμενον · οὐ γάρ , εἰ ψεῦδος τὸ ὑπάρχειν μὴ παντί , ἀληθὲς τὸ ὑπάρχειν παντί , ἐπειδὴ ἐπὶ τῶν μετὰ τρόπου κατὰ τοὺς τρόπους αἱ ἀποφάσεις γίνονται . ἢ ἐχρήσατο τότε τῷ ὑπάρχειν ἀντὶ τοῦ ἔστιν · πρὸ μὲν γὰρ τῶν μίξεων τὸ ὑπάρχον ἰσοδυναμεῖ τῷ ἔστιν · ἐν δὲ ταῖς μίξεσιν ἐστὶν τὴν ἔκβασιν τοῦ ἐνδεχομένου δηλῶν . καὶ τὸ μὲν πρῶτον δείξεις ἐκ τοῦ λέγεσθαι πᾶσαν πρότασιν ἡ τοῦ ὑπάρχειν εἶναι ἡ τοῦ ἐξ ἀνάγκης ὑπάρχειν ἢ τοῦ ἐνδέχεσθαι ὑπάρχειν · εἰ γὰρ καὶ τὸ ὑπάρχειν τρόπος , ποῦ αἱ ἄνευ τρόπου προτάσεις ; τὸ δὲ δεύτερον ἐκ τοῦ τρόπων εἶναι τὰς μίξεις · τὸ γὰρ ἔστιν παντὶ τρόπῳ ἀεὶ συνέζευκται καὶ οὐ ποιεῖ μῖξιν ἀεί . τὸ ὑπάρχον οὐ τρόπος , εἰ πᾶσα πρότασις ἢ τοῦ ὑπάρχειν ἡ τοῦ ἐξ ἀνάγκης ὑπάρχειν ἢ τοῦ ἐνδέχεσθαι ὑπάρχειν · ποῦ γὰρ αἱ ἄνευ τρόπου , εἰ καὶ τό ὑπάρχον τρόπος ; ἢ ἐπὶ τοῦ ὑπάρχοντος τὸν τέταρτον τοῦ δευτέρου καὶ τὸν πέμπτον τοῦ τρίτου δι’ ἀδυνάτου δεικνὺς ἀντίφασιν ἔλαβεν τοῦ ὑπάρχειν παντὶ τὸ ὑπάρχειν οὐ παντί , οὐ τὸ μὴ ὑπάρχειν παντί · κατὰ γὰρ τοὺς τρόπους αἱ ἀποφάσεις γίνονται τῶν μετὰ τρόπου καταφάσεων . ὅτι τὸ ὑπάρχον τρόπος , εἰ μίγνυσιν αὐτὸ ἀναγκαίῳ καὶ ἐνδεχομένῳ · τρόπων γὰρ αἱ μίξεις · οὐ γὰρ λέγεται μῖξις τοῦ κατὰ τὸ ἔστιν ὑπάρχοντος πρὸς τὸ ἀναγκαῖον καὶ τὸ ἐνδεχόμενον ἀεὶ συνόντος αὐτοῖς .
Lemmas: εἰς ὁ ἀναγκαῖος ΟΣ . ὁ αὐτός δέ τρόπος ἠώς τέλος ὁ τρεῖς σχῆμα . μετά ὁ ὑπάρχω συλλογισμός ὁ ἀναγκαῖος παραδίδωμι , ἐπεί πολύς συγγένεια ὁ ὑπάρχω πρός ὁ ἀναγκαῖος · καί γάρ ὁ ὑπάρχω , ἔστω εἄν ὑπάρχω , ἀναγκαῖον εἰμί · καί ὁ ἀντιστοφαὶ ἐπί ὁ ὑπάρχω καί ἀναγκαῖος ὁμοίως ἔχω . καί διά οὗτος καί ὁ συλλογισμός σχεδόν ὁμοίως ἔχω ἐπί ὑπάρχω καί ἀναγκαῖος . ὁ δέ σχεδόν διά ὁ τέταρτος τρόπος ὁ δύο σχῆμα καί ὁ πέμπτος ὁ τρίτος · οὗτος γάρ ἐπί ὑπάρχω διά ἀντιστροφή μέν οὐ δείκνυμι , διά ἀδύνατος δέ καί διά ἔκθεσις , καί ὁ διά ἀδύνατος καί διά ἔκθεσις πίστις ἐπί ὁ ἄλλος περιουσιαστικός εἰμί ἐπί οὗτος ἀναγκαῖος γίγνομαι · ἐπί δέ ὁ ἀναγκαῖος διά ἀδύνατος οὖον δείκνυμι , ἐπεί ἐν ὁ ἀναγκαῖος καί ἐνδέχομαι ὁ ἀντίφασις λαμβάνω ἀντιτίθημι ἐγώ τρόπος τρόπος , ποσός ποσός , ποιός ποιός · καί διά οὗτος εἰς μῖξις ἐμπίπτω ἐνδέχομαι καί ἀναγκαῖος , ὅς οὔπω οἶδα τίς συνάγω . διά ἔκθεσις δέ μόνος δείκνυμι , καί ὁ διά ἔκθεσις πίστις ἐπί ὁ ὑπάρχω κατά ὁ εἴρω τρόπος περιουσιαστικός εἰμί ἐπί ὁ ἀναγκαῖος ἀναγκαῖος γίγνομαι . δείκνυμι δέ διά ἔκθεσις ὁ τρόπος οὗτος . ἵστημι γάρ ὁ τέταρτος τρόπος ὁ δύο σχῆμα · ὁ Α ὁ μέν Β ἐκ ἀνάγκη πᾶς , ὁ δέ Γ ἐκ ἀνάγκη οὖον πᾶς · λέγω ὅτι ὁ Β ὁ Γ ἐκ ἀνάγκη οὖον πᾶς . ἐπεί γάρ ὁ Α ὁ Γ ἐκ ἀνάγκη οὖον πᾶς , ἵστημι ὁ δ ὑπό ὁ Γ , ὅς οὐδείς ὁ Α ὑπάρχω · | ἐπεί οὖν ὁ Α ὁ μέν Β πᾶς ἐκ ἀνάγκη , ὁ δέ δ ἐκ ἀνάγκη οὐδείς , διά ὁ δύο ἄρα τρόπος ὁ δύο σχῆμα ὁ Β ὁ δ ἐκ ἀνάγκη οὐδείς · ὁ δέ δ τίς Γ εἰμί · ὁ Β ἄρα ἐκ ἀνάγκη οὖον πᾶς ὁ Γ · ὅσπερ ἐσθίω δείκνυμι . ἀλλά δή ἵστημι ὁ πέμπτος τρόπος πούς ὁ τρίτος σχῆμα , καί ὁ μέν Α ἐκ ἀνάγκη ὁ Γ οὖον πᾶς , ὁ δέ Β ὁ ἐκ ἀνάγκη πᾶς · λέγω ὅτι ὁ A ὁ Β ἐκ ἀνάγκη οὖον πᾶς . ἐπεί γάρ ὁ Α ὁ Γ ἐκ ἀνάγκη οὖον πᾶς , ὁ Α τις ὁ ὑπό ὁ Γ , οἷος ὁ δ , οὐδείς ὑπάρχω ἐκ ἀνάγκη · ἐπεί δύο ὁ μέν Α ὁ δ ἐκ ἀνάγκη οὐδείς , ὁ δέ 13 ὁ δ ἐκ ἀνάγκη πᾶς , διά ὁ δύο ἄρα τρόπος ὁ τρίτος σχῆμα ὁ Α ὁ Β ἐκ ἀνάγκη οὖον πᾶς . p . 29b29 ὅτι2 ἕτερος ὁ ὑπάρχω καί ὁ ἀναγκαῖος καί ὁ ἐνδέχομαι . ὁ γάρ ἐνδέχομαι οὔτε ὑπάρχω ἵημι ἀναγκαῖον εἰμί , μέλλω δέ ὑπάρχω · καί ὁ ὑπάρχω ἐκβαίνω ἐνδέχομαι εἰμί καί οὗτος διαφέρω ὁ ἐνδέχομαι καί ὁ ἀναγκαῖος . p . 29 b 32 ὅτι2 ἕτερος καί ὁ συλλογισμός ὁ τρεῖς ὁ ὁ πρότασις καί ὁ συμ - πέρασμα ποτέ μέν ὁ ὑπάρχω εἰμί ποτέ δέ ὁ ἀναγκαῖος ποτέ δέ ὁ ἐνδέχομαι . p . 30 a 2 ὁ τε γάρ στερητικός ὡσαύτως ἀντιστέφω . ἀλλά καί ὁ κατηγορικός · καί πλέω ὁ κατηγορικός · οὗτος γάρ ὁμοίως ἐπί ὁ τρεῖς ἀντιστρέφω · ὁ δέ στερητικός ἐπί ὑπάρχω καί ἀναγκαῖος μόνος ὁμοίως ἀντιστρέφω , ἄλλως δέ ἐπί ἐνδέχομαι . καί διά οὗτος μόνος ὁ κατεπείγω μνημονεύω . p . 30a13 ἐν ὁ οἰκεῖος σχῆμα , εἰμί καί μή ἐν ὁ οἰκεῖος τρόπος . ὅτι2 ἐπί ὑπάρχω καί ἀναγκαῖος ὁ διά ἀδύνατος δεῖξις περιουσιαστικός εἰμί ἐν δύο σχῆμα πλήν ὁ τέταρτος τρόπος καί ἐν τρίτος πλήν ὁ πέμπτος τρόπος ἀναγκαῖος γίγνομαι ἐν ὁ τέταρτος ὁ δύο καί ὁ πέμπτος ὁ τρίτος . ὅτι ὁ διά ἔκθεσις ἀπόδειξις ἐπί ὑπάρχω περιουσιαστικός εἰμί ἐν ὁ τέταρτος ὁ δύο καί ὁ πέμπτος ὁ τρίτος ἐπί ὁ ἀναγκαῖος ἀναγκαῖος γίγνομαι ἐν ὁ τέταρτος ὁ δύο καί ὁ πέμπτος ὁ τρίτος . Πῶς ἐπί ὁ ὑπάρχω δείκνυμι ὁ τέταρτος τρόπος ὁ δύο καί ὁ πέμπτος ὁ τρίτος διά ἀδύνατος μή ἀντιτίθημι τρόπος τρόπος , ποσός ποσός , ποιός ποιός , εἰμί καί ὁ ὑπάρχω τρόπος εἰμί , δηλόω γάρ ὁ ἐκβαίνω ἐνδέχομαι · οὖον γάρ , εἰμί ψεῦδος ὁ ὑπάρχω μή πᾶς , ἀληθής ὁ ὑπάρχω πᾶς , ἐπεί ἐπί ὁ μετά τρόπος κατά ὁ τρόπος ὁ ἀπόφασις γίγνομαι . ἢ χράω τότε ὁ ὑπάρχω ἀντί ὁ εἰμί · πρό μέν γάρ ὁ μίξις ὁ ὑπάρχω ἰσοδυναμέω ὁ εἰμί · ἐν δέ ὁ μίξις εἰμί ὁ ἔκβασις ὁ ἐνδέχομαι δηλόω . καί ὁ μέν πρῶτος δείκνυμι ἐκ ὁ λέγω πᾶς πρότασις ὁ ὁ ὑπάρχω εἰμί ὁ ὁ ἐκ ἀνάγκη ὑπάρχω ἢ ὁ ἐνδέχομαι ὑπάρχω · εἰμί γάρ καί ὁ ὑπάρχω τρόπος , ποῦ ὁ ἄνευ τρόπος πρότασις ; ὁ δέ δύο ἐκ ὁ τρόπος εἰμί ὁ μίξις · ὁ γάρ εἰμί πᾶς τρόπος ἀεί συζεύγνυμι καί οὖον ποιέω μῖξις ἀεί . ὁ ὑπάρχω οὖον τρόπος , εἰμί πᾶς πρότασις ἢ ὁ ὑπάρχω ὁ ὁ ἐκ ἀνάγκη ὑπάρχω ἢ ὁ ἐνδέχομαι ὑπάρχω · ποῦ γάρ ὁ ἄνευ τρόπος , εἰμί καί ὁ ὑπάρχω τρόπος ; ἢ ἐπί ὁ ὑπάρχω ὁ τέταρτος ὁ δύο καί ὁ πέμπτος ὁ τρίτος διά ἀδύνατος δείκνυμι ἀντίφασις λαμβάνω ὁ ὑπάρχω πᾶς ὁ ὑπάρχω οὖον πᾶς , οὖον ὁ μή ὑπάρχω πᾶς · κατά γάρ ὁ τρόπος ὁ ἀπόφασις γίγνομαι ὁ μετά τρόπος κατάφασις . ὅτι ὁ ὑπάρχω τρόπος , εἰμί μίγνυμι αὐτός ἀναγκαῖος καί ἐνδέχομαι · τρόπος γάρ ὁ μίξις · οὖον γάρ λέγω μίξις ὁ κατά ὁ εἰμί ὑπάρχω πρός ὁ ἀναγκαῖος καί ὁ ἐνδέχομαι ἀεί σύνειμι1 αὐτός .