p. 30a 32

Ὁμοίως δὲ καὶ εἰ σ·τερητικὸν εἴη τὸ ΑΒ· ἡ γὰρ αὐτὴ ἀπόδειξις.

Ὁμοίως, φησί, δειχθήσεται μὴ γινόμενον ἀναγκαῖον τὸ συμπέρασμα, μηδ’ ἄν ἡ μείζων ᾖ καθόλου ἀποφατικὴ ὑπάρχουσα· πάλιν γὰρ ἐκθησόμεθα τὸ συμπέρασμα καθόλου ἀποφατικὸν ἀναγκαῖον. καὶ ἐν μὲν τῷ πρώτῳ σχήματι τὴν δεῖξιν ποιούμενοι ἀντιστρέψομεν τὴν καθόλου καταφατικὴν ἀναγκαίαν τὴν Β Γ, καὶ ἔσται τὸ Α τῷ Γ οὐδενὶ ἐξ ἀνάγκης, τὸ Γ τῷ Β τινὶ ἐξ ἀνάγκης· ἐξ ὧν συναχθήσεται τὸ Α τινὶ τῷ Β μὴ ὑπάρχειν ἐξ 1 εἰ μὲν οὖν KM: τούτου γοῦν a ἔχοντος aK λαμβάνει K: λαμβάνων aM 5 οὕτως om. a τὸ a ἐξ ἀνάγκης a 6 ἣν scripsi: ἡ libri 7 ἄν παντὶ ... τὸ ἁ (8) om. Κ 8 ἀναγκαῖον Κ ὑπάρξει Κ 9 ἀναγκαῖον ὑπάρ Κ 10 post ἀλλὰ add. καὶ a λέγομεν Κ 11 οὕτω δ’ scripsi: οὕτως aM: ὡς Κ 12 ἐξ ἀνάγκης αὐτοῖς a ὑπάρχοι scripsi: ὑπάρχῃ libri 13 post διὸ add. ἡ (sic) K 16 κατηγορουμένου ὑπαρχόντως a 16. 17 κατηγορούμενον om. a 18 κατηγορεῖται τὸ β a 20 οὐκέτι ... ἀληθές (22) om. M κατηγορῆται Κ 21 κατηγορη- θήσεται Κ 23 ἡ om. Κ 24 post ὧν add. καὶ Κ 27 ὁμοία Κ μὴ om. a 28 ᾖ Κ: om. aM γὰρ om. a ὑποθησόμεθα conicio 29 ἐν aM: εἰ Κ 30 ἀντιστρέψωμεν (sic) Κ 32 ὑπάρχον aK ἀνάγκης, ὃ ψεῦδός ἐστιν· ὑπέκειτο γὰρ μηδενὶ ὑπάρχον ἀπλῶς. εἰ δὲ ἐν 42r τῷ τρίτῳ ποιούμεθα τὴν δεῖξιν, ἕξομεν καὶ τὸ Α οὐδενὶ τῷ Γ ἐξ ἀνάγκης καὶ τὸ Β παντὶ τῷ Γ ἐξ ἀνάγκης· ἔκειτο γὰρ αὕτη· ἐξ ὧν πάλιν συναχθήσεται 35 τὸ Α τινὶ τῷ Β ἐξ ἀνάγκης μὴ ὑπάρχον. ἀλλὰ καὶ διὰ τῶν αὐτῶν 5 ὅρων δειχθήσεται πάλιν μὴ ἀναγκαῖον γινόμενον τὸ συμπέρασμα· κίνησις γὰρ οὐδενὶ ζῴῳ ὑπαρχέτω, ζῷον δὲ παντὶ ἀνθρώπῳ ἐξ ἀνάγκης, καὶ κίνησις οὐδενὶ ἀνθρώπῳ, ἀλλ’ οὐκ ἐξ ἀνάγκης.

Δεῖ μέντοι εἰδέναι, ὅτι, ἣν πεποίηται δεῖξιν, ἔοικε μὲν τῇ εἰς ἀδύνατον ἀπαγωγῇ, οὐ μὴν ἡ αὐτή ἐστιν ἐκείνῃ. οὔτε γὰρ τὸ ἀντικείμενον τοῦ 40 συναγομένου ὑπέθετο· οὐ γὰρ ἀντίκειται τῷ παντὶ ὑπάρχειν τὸ Α τῷ Γ τὸ παντὶ ἐξ ἀνάγκης ὑπάρχειν οὔτε τῷ μηδενὶ ὑπάρχειν τὸ μηδενὶ ἐξ ἀνάγκης· ταῦτα δὲ ὑπέθετο. ἀλλ’ οὐδὲ τὸ δειχθὲν ἐκ τῶν ὑποθέσεων ἀδύνατον ἦν, ὥσπερ καὶ αὐτὸς ἐπεσημήνατο, ἀλλὰ ψεῦδος· ψεῦδος γὰρ καὶ τὸ ὑποτεθέν. ἀδύνατον γὰρ οὐκ ἔστιν· οὔτε γὰρ τὸ παντὶ ὑπάρχον ἀδύνατον καὶ ἐξ ἀνάγκης τινὶ αὐτῷ ὑπάρχειν, οὔτε τὸ μηδενὶ ὑπάρχον κεκώλυται καὶ ἐξ ἀνάγκης τινὶ αὐτῷ μὴ ὑπάρχειν. ψευδεῖ οὖν ὑποθέσει τὸ ψεῦδος ἠκολούθησεν. ἀδυνάτῳ μὲν γὰρ ἀδύνατον ἕπεται, ψεῦδος δὲ ψευδεῖ. ἔτι 24v ὅσον ἐπὶ τῇ δείξει, οὐ κατεσκεύασται τὸ προκείμενον· οὔτε γὰρ τῷ ἀναιρεθῆναι τὸ παντὶ ἐξ ἀνάγκης ὡς ψεῦδος ὃν ἤδη τὸ παντὶ ὑπάρχειν ἀνάγκη ἀληθὲς εἶναι· μόνον γὰρ ἐξ ἀνάγκης τίθεται τῇ ἄρσει τινὸς καὶ ἀνασκευῇ τὸ ἀντικείμενον· ταῦτα δὲ οὐκ ἀντίκειται. οὐδ’ αὐτὸς οὖν ἔοικε τῷ τρόπῳ τῆς δείξεως τούτῳ πάνυ τι θαρρεῖν, ἀλλὰ προσχρῆται αὑτῷ δεικνύς, ὅτι, εἰ ἀναγκαίου ληφθέντος τοῦ συμπεράσματος ψεῦδός τι ἕπεται, ὑπάρχοντος δὲ μή, δεῖ δὲ τοιοῦτον αὐτὸ εἶναι, ἐπεὶ καὶ αἱ προτάσεις τοιαῦται, ὑπάρχον δεικνύοιτο ἄν. οὐ γὰρ τῇ εἰς ἀδύνατον ἀπαγωγῇ πρὸς τὸ δεικνύμενον κέχρηται, ἀλλὰ μεταλαβὼν ἄλλην πρότασιν, ἀντὶ τῆς ὑπαρχούσης ἀναγκαίαν, καὶ ποιήσας τινὰ ἐκ ταύτης τε καὶ τῆς ἑτέρας τῶν κειμένων τῆς ἐλάττονος συλλογιστικὴν συζυγίαν εὑρὼν τὸ συναγόμενον ψεῦδος ὂν τούτῳ προσχρῆται εἰς τὸ μὴ ἀναγκαῖον γίνεσθαι τὸ συμπέρασμα. ἐπιζητήσαι δ’ ἄν τις καὶ οὕτω, τίς ἡ ἀνάγκη τοῦ εἰ μεταληφθέντος τοῦ ὑπάρχοντος εἰς τὸ ἀναγκαῖον 1 post ψεῦδος add. ἐξ ἀνάγκης Κ γὰρ bis Κ 2 καὶ om. Κ 3 καὶ ... ἀνάγκης om. Κ αὕτη M: αὐτὴ a: αὐτὴ Κ πάλιν om. M 4 ante τὸ ᾱ add. ὅτι Κ τινὶ aM: οὐ παντὶ Κ μὴ om. Κ ὑπάρχειν a: ὑπάρ Κ 5 πάλιν δειχθήσεται Κ τὸ συμπέρασμα om. M 6 ζῴῳ ... οὐδενὶ (7) om. Κ καὶ om. M 9 ἐκείνη libri 10 a aK: (??) M τῷ (ante (??)) om. Κ οὗτε add. δὲ Κ 14 οὐ γὰρ ἀδύνατον omisso ἐστι aK γὰρ (post οὔτε) om. Κ 15 αὐτῶν M post οὗτε add. μὴν a 16 αὐτῷ a: αὐτῶν KM μὴ om. M τὸ om. aK 17 ἀδύνατον ... ἀδυνάτω Κ ψευδεῖ δὲ ψεῦδος a 18 κατασκεύασται M 18. 19 τῷ ἀναιρεθῆναι Κ: εἰ ἀναιρῶ aM 19 ὡς om. Κ τὸ παντὶ ὑπάρχειν ὑπάρχον Κ) post εἶναι (20) transponunt aK 19. 20 ἀληθὲς ἀνάγκη Κ 20 τίθενται aK 22 τούτου Κ προχρῆται M 24. 25 ὑπάρχον δεικνύοιτο ἄν om. M 25 ἄν δεικύοιτο a 20 χρῆται M 27 τὴν ἑτέρας a ἀντικειμένων Κ 29 μὴ om. a ἐπιζητήσει Κ: ἐπιζητήσειε a καὶ om. Κ 30 ante ἀναγκαῖον add. μὴ Κ ψεῦδός τι συνήχθη, μὴ εἶναι τὸ ἀναγκαῖον συναγόμενον. ἢ ὅτι ἐξ ἀληθῶν 42v οὐσῶν οὐ συνάγεται ψεῦδος. τοῦτο μὲν οὖν ἔξωθεν προστέθεικε τὸ εἰ ἀναγκαῖον ὑποτεθείη τὸ συμπέρασμα, ψεῦδός τι συνάγεσθαι προσληφθείσης αὐτῷ τῆς ἐλάττονος προτάσεως, ἥτις ἦν καὶ <αὐτὴ>

Δεικνύοιτο δ’ ἂν μὴ ἀναγκαῖον ἀλλὰ ὑπάρχον συναγόμενον καὶ διὰ τοῦ ὑπάρχοντος μὲν τιθεμένου τῇ εἰς ἀδύνατον ἀπαγωγῇ χρωμένοις, εἰ μὴ συγχωροῖτο τοιοῦτον γίνεσθαι, ἀδύνατόν τι ἀπαντᾶν, ἀναγκαίου δὲ μή. κείσθω γὰρ τὸ μὲν Α παντὶ τῷ Β ὑπαρχόντως, τὸ δὲ Β παντὶ τῷ Γ ἐξ ἀνάγκης· λέγω, ὅτι τὸ Α τῷ Γ παντὶ ὑπάρχει. εἰ γὰρ μή, τὸ ἀντικείμενον οὐ παντὶ τὸ A τῷ Γ· καὶ προσειλήφθω ἡ ‘τὸ Β παντὶ τῷ Γ ἐξ ἀνάγκης’· ἐξ ὧν συνάγεται τὸ Α τινὶ τῷ Β μὴ ὑπάρχειν, ὅ ἐστιν ἀδύνατον· ἔκειτο γὰρ αὐτῷ παντὶ ὑπάρχειν. εἰ δέ γε ληφθείη τὸ Α τῷ Γ παντὶ ἐξ ἀνάγκης ἐπὶ τῇ κειμένῃ συζυγίᾳ, ἄν ληφθῇ τὸ ἀντικείμενον τῷ παντὶ ἐξ ἀνάγκης τὸ ‘ἐνδέχεται τὸ Α τῷ Γ τινὶ μὴ ὑπάρχειν’ καὶ προσληφθῇ τὸ Β τῷ Γ παντὶ ἐξ ἀνάγκης, συνάγεται τὸ Α τινὶ τῷ Β ἐνδέχεσθαι μὴ ὑπάρχειν, ὃ οὐκ ἔστιν ἀδύνατον· τὸ γὰρ παντὶ ὑπάρχον οὐκ ἀδύνατον ἐνδέχεσθαι τινὶ αὐτῷ μὴ ὑπάρχειν. ἡ αὐτὴ δὲ δεῖξις πάλιν, κἄν ἡ μείζων καθόλου ἀποφατικὴ ὑπάρχουσα ἡ δὲ ἐλάττων καθόλου καταφατικὴ ἀναγκαία. καὶ γὰρ ἐπὶ τούτων ἂν μὲν ὑπάρχον ἀποφατικὸν γίνεσθαι τὸ συμπέρασμα τιθῇ τις διὰ τῆς εἰς ἀδύνατον ἀπαγωγῆς διὰ τοῦ τρίτου σχήματος δείξας, ἀδύνατόν τι συναχθήσεται, ἂν ὅ ἀναγκαῖον, οὐκέτι· ὥστε εἰ ὑπάρχον μὲν τὸ συναγόμενον οἷόν τε δεικνύναι διὰ τῆς εἰς ἀδύνατον ἀπαγωγῆς ἀναγκαῖον δὲ μή, ὑπάρχον ἄν εἴη τὸ συναγόμενον. Θεόφραστος δέ, ὅτι μὴ ἀναγκαῖον γίνεται τὸ συμπέρασμα ἐν τῇ τοιαύτῃ συμπλοκῇ, οὕτω λέγει· “εἰ γὰρ τὸ μὲν Β τῷ Γ ἐξ ἀνάγκης, τὸ δὲ Α τῷ Β μὴ ἐξ ἀνάγκης, τὸ δὲ μὴ ἐξ ἀνάγκης κἂν χωρισθείη, φανερόν, ὡς τοῦ Β χωριζόμενον καὶ τοῦ Γ χωρισθήσεται τὸ Α, ὥστ’ οὐκ ἐξ ἀνάγκης διὰ τῶν κειμένων”. ᾧ δειχθέντι προστίθησιν “ὡσαύτως δέ, καὶ εἰ ἀναγκαία ἡ μείζων· ἐπεὶ γὰρ τὸ μέσον οὐκ ἐξ ἀνάγκης, κἂν χωρισθείη· τούτου δὲ χωριζομένου καὶ τὸ μεῖζον. ἐὰν γάρ τις οὕτως λάβῃ ‘καθ’ οὗ τὸ Β, καὶ τὸ Α ἐξ ἀνάγκης᾿ ὥσπερ ἀναγκαίας ἀμφοτέρας λαμβάνει· μὴ γὰρ οὕτως λαβόντος ψεῦδος”. διὰ γὰρ τούτων δείκνυσι Θεόφραστος, ὅτι, ἐν αἷς μίξεσιν ὑπάρ- ·χουσα καὶ ἀναγκαία ἐστίν, ὁποτέρα ἄν αὐτῶν ἀναγκαία ᾖ, ὑπάρχον τὸ συμπερασμα.

1 ante μὴ add. τῷ M 2 εἰ aM: ἡ Κ 3 ὑποτεθῇ Κ 4 ἐλάσσονος Κ αὐτὴ addidi 6 ὑπάρχον Κ post τῇ add. δ’ a χρωμένων a 7 συγχωρεῖτο a ἀπατᾶν Κ 8 ὑπάρχοντος Κ 9 παντὶ τῷ y a ὑπάρχειν M γὰρ aK: δὲ M 10 παντὶ τὸ collocat a 13 ληφθῇ scripsi: ληφθείη libri 14 προσληφθείη a 17 δεῖξις δὲ ἡ αὐτὴ πάλιν M ante μείζων add. μὲν a 18 ἐλάττον Κ 22 δεικνύναι om. a 23 Θεόφραστος] desunt seq. fr. apud Wimmerum 24 γίνεσθαι Κ οὕτως Κ 26 χωρισθῆ Κ χωριζομένου Κ 28 εἰ M: ἡ aK ἀνάγκη M 29 τοῦτο Κ 30 λάβοι Κ 31 ὥσπερ om. M ἀναγκαία Κ 32 γὰρ KM: γοῦν a ante Θεόφραστος add. ὁ a