[*](p. 32a 6)Φανερὸν οὖν, ὅτι τοῦ μὲν ὑπάρχειν οὐκ ἔστι συλλογισμός, ἄν μὴ ἀμφότεραι ὦσιν αἱ προτάσεις ἐν τῷ ὑπάρχειν, τοῦ δ᾿ ἀναγκαίου ἔστι καὶ τῆς ἑτέρας μόνον ἀναγκαίας οὔσης.
Τοῦτο ἁπλῶς μὲν καὶ καθόλου λεγόμενον ψεῦδος ἂν εἴη καὶ τοῖς [*](3 μὴ om. a οὕτω a 5 ante ἐν add. καὶ aB: om. M 6 ἀναγκαῖον γίνεται a 8 αὐτῶν om. a ᾖ addidi ἀναγκαῖον M 11 τὸ κινεῖσθαι . . . ὑπάρχει om. M ὑπάρχει om. a ante δίπουν add. καὶ a ὑπάρξει ΒΜ: ὑπάρχει a 13 οὐ om. M 14 οὐχ om. M ὑπάρχει a 15 δίπουν μέσον] hanc antiquam esse scripturam Arist. codices fere omnes probant δίπουν, μέσον ζῷον Ad, ζῷον re. supra d, δίπουν μέσον n et, ut videtur, Β pr., in quo ζῷον in ras.) 17 καὶ alterum om. a 18 ἔχων ἔθος a ἀεὶ M 19 τὸν μέσον ὅρον τιθέναι M ἐπ’] fort. ὑπ’ 22 ἡ addidi ταῦτα M post ταὐτὰ add. δ’ a 23 εἰρήκαμεν] p. 144, 23 sq. τῆς alterum om. M 25 γίνεσθαι a καὶ ἐν ταύτῃ τῇ συμπλοκῇ om. a 32 ἐὰν Ar. (of. p. 1.53,4) 33 μόνον a et Ar.: μόνης Β (u); cf. p. 152,2(5 et p. 153,2,16 ἀναγκαίας οὔσης om. a 34 post ψεῦδος eras. δ’ Β)
152
προειρημένοις μαχόμενον. δέδειχε γὰρ ὑπάρχον γινόμενον τὸ συμπέρασμα
[*](49v) καὶ τῆς ἑτέρας οὔσης ἀναγκαίας, ὡς τῆς ἐλάττονος ἐν πρώτῳ σχήματι· ἀλλὰ καὶ ἐν δευτέρῳ καὶ ἐν τρίτῳ σχήματι δέδεικται ὑπάρχον γινόμενον τὸ συμπέρασμα τῆς ἑτέρας τῶν προτάσεων ἀναγκαίας οὔση·ς. εἰ δέ τις ἀκούοι τοῦ εἰρημένου ὡς ἐπὶ τοῦ τρίτου σχήματος εἰρημένου ἐλλιπέστερον ἀληθὲς ἄν εἴη· τοῦ γὰρ ὑπάρχειν ἐν τρίτῳ σχήματι ἀμφοτέρων οὐσῶν καθόλου καταφατικῶν τῶν προτάσεων οὐ γίνεται συμπέρασμα ὑπάρχον], ἄν μὴ ἀμφότεραι ὦσιν ἐν τῷ ὑπάρχειν, τῷ ὁποτέρα ἄν αὐτῶν ἀναγκαία ληφθῇ, ἀναγκαῖον γίνεσθαι τὸ συμπέρασμα. ὃ οὐκ ἐπὶ τοῦ πρώτου σχήματος εἶχεν οὕτως οὐσῶν ἀμφοτέρων τῶν προτάσεων καθόλου καταφατικῶν· καὶ γὰρ τῆς ἑτέρας τῆς ἐλάττονος ἀναγκαίας οὔσης ὑπάρχον ἐγίνετο τὸ συμπέρασμα. ἐν δὲ τῷ δευτέρῳ σχήματι οὐδὲ τὴν ἀρχὴν συνήγετό τι ἐκ δύο καταφατικῶν. εἴη ἄν οὖν τὸ ἴδιον τῶν ἐν τῷ τρίτῳ σχήματι συμπλοκῶν τῶν ἐκ δύο καθόλου καταφατικῶν δεδηλωκὼς διὰ τούτων· καὶ γὰρ ἦν περὶ τούτου τοῦ σχήματος λέγων· ἐν γὰρ τούτῳ τῶν δύο καθόλου καταφατικῶν οὐσῶν ὑπάρχον μὲν οὐ συναχθήσεται, εἰ μὴ εἶεν ἀμφότεραι ὑπάρχουσαι, ἀναγκαῖον δὲ καὶ τῆς ἑτέρας μόνης καὶ ὁποτερασοῦν. ἐπεὶ <δὲ> ἐδείχθησαν ἤδη τινὲς συμπλοκαί, ἐν αἷς πάλιν μὴ οὐσῶν ἀμφοτέρων ἀναγκαίων οὐδὲ τὸ συμπέρασμα ἀναγκαῖον, ὡς ἐπὶ τῆς ἕκτης, ἔνεστι καὶ τοῦ ὑπάρχειν ἀκοῦσαι ἀντὶ τοῦ καταφατικοῦ, ἵν’ ᾖ λέγων καταφατικὸν μὲν μὴ γίνεσθαι τὸ συμπέρασμα, ἄν μὴ ὦσιν ἀμφότεραι καταφατικαί, ἀναγκαῖον 9 δὲ γίνεσθαι καὶ τῆς ἑτέρας ἀναγκαίας οὔσης μόνης. ἴσως δὲ δόξει βίαιον τὸ οὕτως ἀκοῦσαι τοῦ εἰρημένου· δόξει γὰρ μὴ ἀντὶ τοῦ καταφατικοῦ νῦν εἰλῆφθαι τὸ ὑπάρχον ἀλλ’ ὡς τῷ ἀναγκαίῳ ἀντιδιαστελλόμενον, ὡς δῆλον ἐκ τοῦ ἐπιφερομένου. λέγει γὰρ τοῦ δ’ ἀναγκαίου ἔστι καὶ τῆς ἑτέρας μόνον ἀναγκαίας οὔσης. εἴη δ’ ἂν τὸ λεγόμενον, εἰ μὴ ἐπὶ τοῦ τρίτου σχήματος ἰδίως λέγοιτο ἀλλὰ καθόλου τε καὶ κοινῶς, ὅτι τοῦ ὑπάρχειν ἁπλῶς συμπέρασμα οὐ γίνεται· τὸ γὰρ ‘συλλογισμὸς οὐ γίνεται᾿ τὸ μὴ γίνεσθαι συμπέρασμα σημαίνει, ἐὰν μὴ ἀμφότεραι ὦσιν αἱ προτάσεις ὑπάρχουσαι. καὶ γὰρ ἐν αἷς συζυγίαις ἀναγκαίας οὔσης τῆς ἑτέρας ὑπάρχον γίνεται τὸ συμπέρασμα, καὶ τότε ἐξ ὑπαρχουσῶν τῶν δύο γίνεται τῷ τὸ ἀναγκαῖον καὶ ὑπάρχον εἶναι· τὸ γὰρ ἀναγκ.αῖον καὶ ὑπάρχον, οὐκέτι δὲ τὸ ὑπάρχον ἀναγκαῖον. διὸ ὅταν μὲν <ᾖ> ἡ ἑτέρα ἀναγκαία, ἔστιν ὑπαρχούσας εἰπεῖν, εἰ δὲ ὑπάρχουσα εἴη ἡ ἑτέρα, οὐκέτ’ ἀμφοτέρας οἷόν τε
[*](2 καὶ τῆς . . . συμπέρασμα (4) om. a 3 ante δευτέρῳ add. τῷ M ἐν (ante τρίτῳ) om. M σχήματι om. M 5 ἀκούει a 6 ὑπάρχοντος M 7 ante συμπέρασμα add. τὸ M ὑπάρχον add. BM: om. a 10 καὶ aB: εἰ M 11. 12 συμπέρασμα om. M 12 ante δύο add. τῶν M 13 καταφατικῶν . . . δύο (14) om, M τῷ om. a δὲ a: om. BM 20 ἵνα M 21 ἐὰν Μ 22 οὔσης ἀναγκαίας M δόξει aB: δείξει M; item vs. sq. 24 τοῦ ἀναγκαίου διαστελλόμενον M 25 λέγει γὰρ om. a δὲ M 26 μόνης M 29 ὦσιν ἀμφότεραι M 30 οὔσης ἀναγκαίας a 31 τὸ ex τὸν corr., ut videtur, Β1 33 post μὲν addidi ᾖ: post ἀναγκαία add. a: om. BM 34 δ’ M τ’ M) 153
εἰπεῖν ἀναγκαίας. διὰ τοῦτο τὸ μὲν ὑπάρχον ἐξ ἀμφοτέρων ὑπαρχουσῶν, τὸ δ᾿
[*](49v) ἀναγκαῖον καὶ τῆς ἑτέρας μόνης ἀναγκαίας οὔσης. μήποτε δὲ ἄμεινον ἀκούειν τοῦ φανερὸν οὖν ὅτι τοῦ μὲν ὑπάρχειν οὐκ ἔστι συλλογισμός, ἐὰν μὴ ἀμφότεραι ὦσιν αἱ προτάσεις ἐν τῷ ὑπάρχειν, ὡς λέγοντος αὐτοῦ φανερὸν γεγονέναι ἐκ τῶν εἰρημένων, ὅτι ἔστι ποτὲ ἐν συμπλοκῇ τινι συλλογιστικῇ, ἐν ᾗ ἀδύνατον τὸ συμπέρασμα τοῦ ὑπάρχειν γίνεσθαι, εἰ μὴ εἶεν ἀμφότεραι αἱ προτάσεις ὑπάρχουσαι· οὐ γὰρ ὡς καθόλου λεγομένου αὐτοῦ ἀκουστέον, ὅτι μηδὲ ἀληθές ἐστιν οὕτω λεγόμενον, | ἀληθὲς δὲ ἐπὶ τῆς ἐν τρίτῳ σχήματι ἐκ δύο καθόλου καταφατικῶν, ὃ δεδεῖχθαι
[*](50r) δοκεῖ. τοῦ μέντοι ἀναγκαίου ἔστιν ἐν πάσαις ταῖς συλλογιστικαῖς συζυγίαις συμπέρασμα γενέσθαι, καὶ εἰ <ἡ> ἑτέρα μόνη εἴη τῶν ἀναγκαία, ὡς καὶ αὐτὸς λέγει. <ἢ> κἀπὶ τοῦ ἀναγκαίου ταὐτὸν ἔνεστι εἰσὶ γάρ τινες συμπλοκαί, ἐν αἷς, ἄν μὴ ἀμφότεραι ὦσιν ἀναγκαῖαι, οὐ συνάγεται ἀναγκαῖον, ὡς ἡ τοῦ τετάρτου ἐν δευτέρῳ σχήματι δέδεικται ἔχουσα καὶ ἡ τοῦ ἕκτου ἐν τῷ τρίτῳ.