[*](p. 33b 25)Ἐὰν δ’ ἡ μὲν ὑπάρχειν ἡ δ’ ἐνδέχεσθαι λαμβάνηται [*](6v) τῶν προτάσεων.
Ἦν μὲν ἀκόλουθον περὶ τοῦ δευτέρου καὶ τρίτου σχήματος πρῶτον εἰπεῖν, εἶθ’ οὕτως περὶ τῶν μίξεων. ἀλλ’ ἐπεὶ δι’ ἀντιστροφῶν τῶν κατὰ τοὺς ὅρους οἱ ἐν ἐκείνοις συλλογισμοί, οὐδέπω δὲ εἴρηκε περὶ τῆς κατὰ τὰς ἐνδεχομένας προτάσεις τοιαύτης ἀντιστροφῆς, πρῶτον λέγει περὶ τῶν μίξεων τῶν ἐν τῷ πρώτῳ σχήματι ἐξ ἐνδεχομένης τε καὶ ὑπαρχούσης καὶ ἐνδεχομένης καὶ ἀναγκαίας, ἐπειδὴ οὐδὲν δεῖται <τὰ> ἐν τούτῳ τῷ σχήματι δεικνύμενα ἀντιστροφῆς. ἔτι καὶ δείξει, ὅτι ἐν δευτέρῳ σχήματι ἐκ δύο ἐνδεχομένων οὐδὲν συνάγεται, ὅτι μηδὲ ἐκ δύο καταφατικῶν, ἐκ δὲ μίξεως ἐνδεχομένης τε καὶ ὑπαρχούσης συνάγεται. ἀλλὰ πρῶτον ἔδει περὶ τῶν ἐξ ἀναγκαίας καὶ ἐνδεχομένης ἐν πρώτῳ σχήματι μίξεων εἰπεῖν· πεποίηται δὲ τὴν μῖξιν πρῶτον ἐξ ὑπαρχούσης καὶ ἐνδεχομένης. Θεόφραστος μὲν οὖν καὶ Εὔδημος οἱ ἑταῖροι αὐτοῦ καὶ ἐν τῇ ἐξ ἐνδεχομένης καὶ ὑπαρ- [*](1 ᾖ addidi 4 τὸ corr. ex τοῦ Β1 λαμβάνειν ante ἐν transponit a 6 ἀντιστρέφον M τοιοῦτο a 9 ὑπάρχειν a 10 καὶ (post χάριν) om. a πάλιν om. M ἀλλαχοῦ πάλιν λέγει] c. 15 p. 35a2; cf. etiam c. 11 p. 31b8 12 τῶν om. a 13 καθόλον a 14 ἀτελεῖς . . . τέσσαρας τῆς τε (16) om. a post τὸν alterum add. τε Μ; cf. vs. 13 16 τε delevi 18 ἡ om. a 19 ᾖ addidi 20 Περὶ τῶν ἐξ ἐνδεχομένων καὶ ὑπαρχουσῶν γινομένων συλλογισμῶν ἐν πρώτῳ σχήματι in mg. add. B: superscr. a: om. M ὑπάρχει a ἡ δ’] μὴ δ’ a 25 τοιαύτης om. M 26 τῷ om. a 27 τὰ a: om. BM 28 ἀντιστροφῆς] ἀντὶ evan. Β 31 ἀναγκαίας BM: ὑπαρχούσης τε a 32 μῖξιν BM: δεῖξιν a ante καὶ add. τε a)
174
χούσης μίξει φασὶν ἔσεσθαι τὸ συμπέρασμα ἐνδεχόμενον, ὁποτέρα ἄν τῶν
[*](56v) προτάσεων ἐνδεχομένη ληφθῇ· χεῖρον γὰρ πάλιν τὸ ἐνδεχόμενον τοῦ ὑπάρχοντος. ὁ δὲ Ἀριστοτέλης οὐχ οὕτως, ἀλλὰ τῆς μείζονος ἐνδεχομένης οὔσης ὑπαρχούσης δὲ τῆς ἐλάττονος καὶ τὸ συμπέρασμά φησιν ἐνδεχόμενον ἔσεσθαι τὸ κατὰ τὸν διορισμόν, ὅ ἐστιν “οὗ μὴ ὄντος ἀναγκαίου τεθέντος δὲ εἶναι οὐδὲν ἀδύνατον ἕπεται”, καὶ τελείους τοὺς ἐν τῇ τοιαύτῃ συζυγίᾳ συλλογισμούς, τοῦτ’ ἔστιν αὐτόθεν δεικνύντας τὸ προκείμενον· διὰ γὰρ τοῦ κατὰ παντὸς ἡ δεῖξις αὐτῷ καὶ διὰ τοῦ κατὰ μηδενός· οἱ δὲ διὰ τούτων ἔχοντες γνώριμον τὸ συμπέρασμα τέλειοι. ἄν δ’ ἡ ἐλάττων ἐνδεχομένη γένηται τῆς μείζονος ὑπαρχούσης οὔσης ἀτελεῖς τέ φησιν ἔσεσθαι πάντας τοὺς τοιούτους συλλογισμοὺς καὶ προσέτι τοὺς τὸ ἀποφατικὸν συνάγοντας οὐ τὸ κατὰ τὸν διορισμὸν ἐνδεχόμενον συνάξειν ἀλλὰ τὸ κατὰ ψιλὴν ἀπόφασιν τοῦ ἀναγκαίου λεγόμενον. ἢ γὰρ τὸ οὐδενὶ ἐξ ἀνάγκης ἢ τὸ οὐ παντὶ ἐξ ἀνάγκης συναχθήσεσθαι, καθ’ ὧν καὶ αὐτῶν ἀληθεύεται μὲν τὸ ἐνδεχόμενον, οὐ μὴν ἐκεῖνο, οὗ τὸν ὁρισμὸν ἀποδεδώκαμεν· οὐδέπω γὰρ ὑπάρχον ἐκεῖνό ἐστιν· ταῦτα γὰρ τὸ μὴ ἐξ ἀνάγκης ὑπάρχειν σημαίνει οὐκ ἀναιροῦντα τὸ ὑπάρχειν. ὃ δὲ λέγει, προιὼν φανερὸν ποιήσει. οἱ μέντοι περὶ Θεόφραστον καὶ ταύτας ἐνδεχομένας λέγοντες εἰκότως ἐνδεχόμενόν φασι τὸ συμπέρασμα καὶ ἐν ταῖς τοιαύταις γίνεσθαι συμπλοκαῖς. οὐ γίνονται δὲ τέλειοι, ἐν οἷς ἡ ἐλάτων ἐστὶν ἐνδεχομένη, ὅτι οὐχ οἷόν τέ ἐστιν ἐπὶ τούτων τῷ κατὰ παντὸς χρησαμένους δεῖξαι τὸ συμπέρασμα. εἰ γὰρ εἴη τὸ Α παντὶ τῷ Β ὑπάρχον, τὸ δὲ Β τῷ Γ παντὶ ἐνδεχόμενον, ἐπεὶ τὸ Γ μηδέπω ἐστί τι τοῦ Β (τὸ γὰρ ἐνδεχόμενον οὐδέπω ὑπάρχει), οὐκ, εἰ τὸ Α κατὰ τοῦ Β καὶ μηδὲν ἔστι λαβεῖν τοῦ Β, καθ’ οὗ τὸ Α οὐ ῥηθήσεται, ἤδη ἔχομεν καὶ διὰ τοῦτο τὸ καὶ τῷ Γ ἐπενεγκεῖν· οὐ γάρ ἐστι τὸ Γ τὶ τοῦ Β, εἰ ἐνδέχεται αὐτῷ ὑπάρξαι τὸ Β καὶ μὴ ἤδη ὑπάρχει. διὸ δεόμενοι πω τὴν δεῖξιν ἔξωθέν τινος οὐ τέλειοι· δείκνυνται γὰρ διὰ τῆς εἰς ἀδύνατον ἀπαγωγῆς. ταῦτα προειπὼν πρῶιον δείκνυσι τοὺς ἔχοντας τὴν μείζονα ἐνδεχομένην τελείους τε ὄντας καὶ τὸ συμπέρασμα ἔχοντας τοῦ κτὰ τὸν διορισμὸν ἐνδεχομένου.