Page 32a9

’Ev ἀμφοτέροις δὲ καὶ καταφατικῶν καὶ στερητικῶν ὄντων. Εἰπὼν ἐν ἀμφοτέροις, τίσιν ἀμφοτέροις λέγει, ἐδήλωσε διὰ τοὐ καὶ καταφατικῶν καὶ ἀποφατικῶν ὄντων. <ἢ> ἐν λέγει περὶ τῶν προειρημένων, τοῦ τε ἀναγκαίου καὶ τοῦ ὑπάρχοντος, ὡς δι’ ὧν ἐπιφέρει δηλοῖ· ἐν γὰρ τούτοις ἄν τε καταφατικὸν συμπέρασμα ᾖ ἄν τε ἀποφατικόν, ἐν ἑκατέρῳ αὐτῶν ἀνάγκη τὴν ἑτέραν πρότασιν ὁμοίαν εἶναι τῷ συμπεράσματι ἐν πᾶσι τοῖς σχήμασιν. καθ᾿ ὃ δὲ δεῖ ὁμοίαν εἶναι καὶ τὴν ἑτέραν τῶν κειμένων προτάσεων τῷ συμπεράσματι, λέγει καὶ προστίθησιν, ἐπεὶ ἐγχωρεῖ γε καὶ ἀμφοτέρας ὁμοίας εἶναι τῷ συμπεράσματι. ἢ ἐπὶ τῶν μίξεων, περὶ ὧν νῦν λέγει, οὐχ οἷόν τε τοῦτο. πῶς οὖν ὅμοιον ἐν ταῖς προειρημέναις μίξεσι, λέγει· εἰ μὲν γὰρ ὑπάρχον, φησίν, ὑπάρχουσαν, εἰ δ’ ἀναγκαῖον, ἀναγκαίαν. οὐκέτι γάρ, εἰ ἐπὶ μέρους τὸ συμπέρασμα, καὶ τῶν προτάσεων δεῖ τὴν ἑτέραν ἐπὶ μέρους εἶναι πάντως διὰ τὸ ἐν τῷ τρίτῳ σχήματι καὶ τῶν δύο καθόλου οὐσῶν ἐπὶ μέρους γίνεσθαι τὸ συμπέρασμα. ἢ καὶ τότε δυνάμει ἐπὶ μέρους εἴληπται· δηλοῖ δὲ ἡ εἰς τὸ πρῶτον σχῆμα ἀναγωγὴ τῆς συζυγίας δι’ ἀντιστροφῆς γινομένη, δι’ ἧς ἡ ἑτέρα τῶν καθόλου ἐπὶ μέρους γίνεται. δύναιτο δ’ ἄν τὸ ἐν ἀμφοτέροις τῆς μίξεως εἶναι δηλωτικόν· ὅταν γὰρ ἐν ταῖς συζυγίαις ἀμφότερα ᾖ, καὶ τὸ ὑπάρχον καὶ τὸ ἀναγκαῖον, δεῖν φησι τὴν ἑτέραν πρότασιν ὁμοίαν εἶναι τῷ συμπεράσματι κατὰ τὸν τρόπον. δῆλον δὲ καὶ ὅτι ἀποφατικοῦ τοῦ συμπεράσματος ὄντος ἀποφατικὴν δεῖ πρότασιν κεῖσθαι, ὃ οὐδὲ αὐτὸ πρόσκειται διὰ τὸ περὶ τοῦ ἀναγκαίου καὶ ὑπάρχοντος μόνων αὐτὸν λέγειν νῦν, ἐπεὶ χρήσιμον ἔσται τοῦτο αὐτῷ τετηρημένον πρὸς τὰ μέλλοντα. ὅτι δὲ τὸ πρὸ ὀλίγου ῥηθὲν ἐπὶ τῆς ἐν τρίτῳ σχήματι ἐκ δύο καθόλου καταφατικῶν συζυγίας εἶπε τὸ μὴ ἔσεσθαι τοῦ ὑπάρχειν συλλογισμόν, ἄν μὴ ὦσιν αἱ προτάσεις ἀμφότεραι ἐν τῷ ὑπάρχειν, νῦν ἐδήλωσε· λέγων εἰ] γὰρ καθόλου νῦν εἶπεν ἀνάγκη τὴν ἑτέραν πρότασιν ὁμοίαν εἶναι τῷ συμπεράσματι, εἰ μὲν ὑπάρχον, ὑπάρχουσαν, ὡς δυναμένου καὶ ἐκ μιᾶς ὑπαρχούσης τοῦ ὑπάρχειν συμπεράσματος γίνεσθαι.