p. 30a 23

Et δὲ τὸ μὲν Α Β μή ἐστιν ἀναγκαῖον, τὸ δὲ Β Γ 41r ἀναγκαῖον, οὐκ έσται τὸ συμπέρασμα ἀναγκαῖον.

Εἰ ἡ ἐλάττων, φησί, ληφθείη ἀναγκαία καθόλου ἡ δὲ μείζων ὑπάρχουσα καθόλου, οὐκ ἀναγκαῖόν φησιν ἔσεσθαι τὸ συμπέρασμα, καὶ διὰ τούτου δεικνὺς ἡμῖν, οὗ χάριν ἐν τοῖς ἔμπροσθεν εἶπε τὸ “συμβαίνει δέ ποτε καὶ τῆς ἑτέρας προτάσεως ἀναγκαίας οὔσης ἀναγκαῖον γίνεσθαι τὸ συμπέρασμα”. ὅτι δὲ μὴ ἀναγκαῖον γίνεται τὸ συμπέρασμα ἐν τῇ τοιαύτῃ συζυγίᾳ, δεικνὺς φησὶν εἰ γὰρ ἀναγκαῖον ἔσται τὸ συμπέρασμα, συμβήσεται τὸ Α τινὶ τῷ Β ἐξ ἀνάγκης ὑπάρχειν διά τε τοῦ πρώτου καὶ τοῦ τρίτου σχήματος, ὃ ψεῦδος ἔσται τῷ κεῖσθαι τὸ Α παντὶ τῷ Β ὑπάρχειν, ἀλλ’ οὐκ ἐξ ἀνάγκης. | ἐν μὲν 41v οὖν τῷ πρώτῳ σχήματι οὕτως δειχθήσεται τὸ Α τινὶ τῷ Β ἐξ ἀνάγκης ὑπάρχον· κείσθω ἡ συζυγία τὸ Α τῷ Β ὑπάρχειν παντί, τὸ Β τῷ Γ παντὶ ἐξ ἀνάγκης· εἰλήφθω ἀναγκαῖον τὸ συμπέρασμα τὸ τὸ Α παντὶ τῷ Γ ἐξ ἀνάγκης· ἀλλὰ μὴν καὶ τὸ Γ τινὶ τῷ Β ἐξ ἀνάγκης· ἐπεὶ γὰρ τὸ Β παντὶ τῷ Γ ἐξ ἀνάγκης, ἀντιστρέφει δὲ πρὸς τὴν καθόλου καταφατικὴν ἀναγκαίαν ἡ ἐπὶ μέρους καταφατικὴ ἀναγκαία, ὑπάρξει καὶ τὸ Γ τινὶ τῷ Β ἐξ ἀνάγκης· κεῖται δὲ καὶ τὸ Α παντὶ τῷ Γ ἐξ ἀνάγκης· τὸ ἄρα Α τινὶ τῷ Β ἐξ ἀνάγκης ὑπάρχει· δύο γὰρ ἀναγκαῖαι, ἡ μὲν καθόλου 20 ἡ δὲ ἐπὶ μέρους· ὅ φησι ψεῦδος εἶναι, ὅτι ἔκειτο ἁπλῶς ὑπάρχειν αὐτῷ παντί, ὃ ὅ ὑπάρχει παντί, ἐνδέχεται καὶ μηδενί ποτε ὑπάρχειν. διὰ δὲ τοῦ τρίτου σχήματος οὕτως ἄν δειχθείη ταὐτόν· εἰλήφθω ἐπὶ τῆς ἐκκειμένης συζυγίας συμπέρασμα τὸ Α τῷ Γ παντὶ ἐξ ἀνάγκης, καὶ προσειλήφθω ἡ ἐλάττων πρότασις ἀναγκαία ἡ ‘τὸ Β παντὶ τῷ Γ ἐξ ἀνάγκης’· γίνεται ἐν τρίτῳ σχήματι συζυγία ἐκ δύο καθόλου καταφατικῶν ἀναγκαίων, ἥτις ἐπὶ μέρους καταφατικὸν ἀναγκαῖον συνάγει· τὸ Α ἄρα τῷ Β τινὶ ἐξ ἀνάγκης· ὃ ψεῦδός ἐστιν· ἔκειτο γὰρ ἁπλῶς αὐτῷ παντὶ ὑπάρχειν, τὸ δὲ παντὶ ἀπλῶς ὑπάρχον ἐνδέχεται καὶ μηδενὶ αὐτῷ ὑπάρχειν, ὃ ἐδήλωσεν εἰπὼν ἐνδέχεται δὲ τοιοῦτον εἶναι τὸ Β, ᾧ ἐγχωρεῖ τὸ Α μηδενὶ ὑπάρχειν, ἐνδεικνύμενος ἡμῖν καὶ διὰ τούτου πάλιν, ὁποίαν τὴν ὑπάρχουσαν πρότασιν εἶναι βούλεται. σημειωτέον δέ, ὅτι οὐκ εἶπεν ἀδύνατον εἶναι 1 οὐκ a 3 ληφθῇ M ἡ δὲ ... καθόλου (4) om. Κ 5 πρόσθεν M εἶπε] p. 30 a 15 6 καὶ τῆς ἑτέρας ... γίνεσθαι τὸ συμπέρασμα (7) om. a 8 εἰ γὰρ ... ἀλλ’ οὐκ ἐξ ἀνάγκης (11) lemma in aK ἔσται aK (Cfi): ἐστὶ M et Ar., sed hic omisso ἀναγκαῖον et τὸ συμπέρασμα 10 τοῦ alterum om. aK ὃ aK: ὅτι M τῷ aK: τό M 11 τῷ β παντὶ aK 13 ὑπάρχειν (ante κείσθω) M 14 ἐξ ἀνάγκης παντί aM εἰλήφθω ... γ ἐξ ἀνάγκης (15) om. aM 15 ἀλλὰ μὴν ... γ ἐξ ἀνάγκης (16) om. Κ 16 γὰρ M: γοῦν aK καθόλου aK: μερικὴν M 17 ἐπὶ μέρους aK: καθόλου M καὶ om. M 18 τό β Κ 19 ἀναγκαῖαι aM: ἀναγκαῖον Κ 20 ὅτε Κ 22 ταὐτό Κ 22. 23 κειμένης a 26 ἥτις ἐπὶ μέρους om. M καταφατικὸν M: ἀποφατικὸν aK συνάγει ἀναγκαῖον a 27 αὐτῷ παντὶ ἁπλῶς Κ 28 αὐτῷ] τῷ evan. M 29 ἐνδέχεται ... ὑπάρχειν (30) lemma in aK δὲ aKM: γὰρ Ar. τὸ Α τινὶ τῷ Β ἐξ ἀνάγκης ὑπάρχειν· οὐδὲν γὰρ κωλύει τὸ παντὶ ὑπάρχον 41v τινὶ αὐτῷ καὶ ἐξ ἀνάγκης ὑπάρχειν. ἀλλ’ ἐπεὶ μὴ ἀναγκαῖόν ἐστι τὸ παντὶ ὑπάρχον εὐθὺς ἐν τῷ παντὶ ὑπάρχειν καὶ τὸ ἐξ ἀνάγκης τινὶ αὐτοῦ ὑπάρχειν περιέχειν· ἐνδέχεται γὰρ καὶ παντὶ αὐτῷ οὕτως ὑπάρχειν ὡς ἐνδέχεσθαι καὶ μηδενί· οὐ γὰρ κεκώλυται ἡ καθόλου καταφατικὴ ὑπάρχουσα οὕτως ἀληθὴς εἶναι· διὸ ψεῦδος γίνεται ἐπὶ τῆς οὕτως ὑπαρχούσης καθόλου ἀληθοῦς τὸ παντὶ ὑπάρχον τινὶ ἐκείνῳ ἐξ ἀνάγκης ὑπάρχειν.

p. 30a 27

Ἐνδέχεται δὲ τοιοῦτόν τι εἶναι.

Ἀντὶ τοῦ ‘ἐνδέχεται γάρ’· τὸ γὰρ κατάλληλον ἐν τῇ λέξει τοῦτο. οὐκέτι δέ, εἰ τῆς μείζονος ἀναγκαίας οὔσης ὑπαρχούσης δὲ τῆς ἐλάττονος ἀναγκαῖόν τις λέγοι τὸ συμπέρασμα γίνεσθαι, τοιοῦτό τι ψεῦδος ἕπεται. ἄν γὰρ τὸ μὲν Α παντὶ τῷ Β ἐξ ἀνάγκης ὑπάρχῃ, τὸ δὲ Β παντὶ τῷ Γ ὑπάρχῃ μόνον, καὶ ληφθῇ τὸ Α παντὶ τῷ Γ ἐξ ἀνάγκης, οὔτε ἐν πρώτῳ σχήματι οὔτε ἐν τρίτῳ ὅμοιον τῷ προειρημένῳ ψεῦδος συνάγεται· συνάγεται γὰρ τὸ Α τινὶ τῷ Β ἐξ ἀνάγκης ὑπάρχον, ἄν ᾖ συγκεχωρημένον τὸ ἀναγκαίας οὔσης τῆς μείζονος ἀναγκαῖον γίνεσθαι τὸ συμπέρασμα, ἢ τινὶ ὑπάρχειν μόνον, εἰ λέγοι τις ὑπάρχον γίνεσθαι καὶ ἐν τῇ τοιαύτῃ μίξει τὸ συμπέρασμα, ὧν οὐδέτερον ψεῦδος κειμένου τοῦ Α παντὶ τῷ Β ὑπάρχειν ἐξ ἀνάγκης. ὥστε εἰκὸς αὐτὸν καὶ ὑπὸ ταύτης κινηθέντα τῆς διαφορᾶς, ἐν ᾗ μὲν μίξει ἡ μείζων ἀναγκαία, ἀναγκαῖον θέσθαι τὸ συμπέρασμα, ἐν ἡ δὲ ἡ ἐλάττων, ὑπάρχον.

p. 30a 28

Ἔτι καὶ ἐκ τῶν ὅρων φανερόν, ὅτι οὐκ ἔσται τὸ συμπέρασμα ἀναγκαῖον.

Καὶ ἐπὶ τῶν ὅρων ἐλέγχει τε καὶ δείκνυσιν· εἰ γὰρ εἴη τὸ μὲν Α κίνησις τὸ δὲ Β ζῷον τὸ δὲ Γ ἄνθρωπος, ἔσται κίνησις μὲν παντὶ ζῴῳ ὢ ὑπαρχόντως, τὸ δὲ ζῷον παντὶ ἀνθρώπῳ ἐξ ἀνάγκης, καὶ κίνησις παντὶ μὲν ὑπάρξει ἀνθρώπῳ, οὐ μὴν ἐξ ἀνάγκης. ἄξιον δὲ ἐνταῦθα ἐπιστῆσαι, πῶς ἐπὶ ταύτης τῆς συμπλοκῆς διὰ τῶν ὅρων ἐλέγξας μὴ συναγόμενον ἀναγκαῖόν τι συμπέρασμα οὐκέτι τὸ αὐτὸ τοῦτο συνεῖδε δυνάμενον δείκνυσθαι καὶ ἐπὶ τῶν τὴν μείζονα καθόλου τε καὶ ἀναγκαίαν ἐχουσῶν συζυγιῶν· καὶ γὰρ ἐπ’ ἐκείνων ὁμοίως ἡ τῶν αὐτῶν ὅρων παράθεσις δείκνυσι μὴ γι- νόμενον ἀναγκαῖον τὸ συμπέρασμα· ἄν γὰρ λάβωμεν ζῷον παντὶ ἀνθρώπῳ καὶ ἄνθρωπον παντὶ κι|νουμένῳ, συναχθήσεται τὸ ζῷον παντὶ κινουμένῳ· 42r ἀλλ’ ἔοικεν ἐπακολουθῆσαι μόνῳ τῷ κατὰ παντὸς ἐξ ἀνάγκης ὡς σημαίνοντι “ὅταν μηδὲν ᾖ λαβεῖν τοῦ ὑποκειμένου, καθ’ οὗ τὸ κατηγορούμενον οὐ ῥη- 1 τὸ τὸ ᾱ a 3 αὐτοῦ Κ: αὐτῷ a: αὐ . . Μ τινὶ αὐτῷ ἐξ ἀνάγκης a 4 περιέχει aM 6 post καθόλου add. καταφατικῆς a 8 textus verba in M δὲ aKM: γὰρ Ar. τι post εἶναι transponit K: om. Ar. (cf. p. 128,29) 10 οὔσης ἀναγκαίας aK 11 λέγοι? Κ χ΄ τοιοῦτόν a 15 ὑπάρχειν a: ὕπαρ Κ 16 τὸ om. Κ 19 μὲν μίξει ἡ a: μίξει ἡ μὲν KM 20 τὸ om. Κ 21 post ἔτι add. δέ Κ έσται Ar.: ἐστι alv 25 ὑπαρχέτω Κ δὲ om. a 25. 26 μὲν παντὶ ζῴῳ ὑπάρξει Κ 26 ἐνταῦθα post πῶς (27) transponit Κ 27 ante ἐπὶ add. καὶ Κ 28 τι M: om. aK 33 τῷ bis a σημαίνοντα Κ 34 ‘‘ὅταν ... ῥηθήσεται”] 11 p. 24 b 29 (cf. p. 126,4) θήσεται” ἐξ ἀνάγκης. εἰ μὲν οὖν οὕτως ἔχοντα λαμβάνει τὰ ὑπὸ τὸ Β ως 42r τοῦ Β τινὰ ὄντα, ἐξ ἀνάγκης αὐτῶν ἔλαβε τὸ Α κατηγορεῖσθαι. τοῦτο δὲ ἦν ἀληθές, εἰ πάντα τὰ ὑπὸ τὸ Β μέρη τοὐ Β ἦν καὶ οὕτως αὐτοῦ τινα ὡς ἐν τῇ οὐσίᾳ αὐτοῦ εἶναι. εἰ δὲ δύναταί τινα τῶν ὑπὸ τὸ Β καὶ χωρίζεσθαι αὐτοῦ, οὐκέτι τοῖς οὕτως οὖσιν ὑπὸ τὸ Β ἐξ ἀνάγκης τὸ Α ὑπάρξει. ἦν δὲ ἐπὶ τῆς καθόλου ὑπαρχούσης τῆς παραγωγῆς ταύτης αἰτία· ἐπεὶ γὰρ ἐν ἐκείνῃ πάντως ὑπάρχειν δεῖ τὸ Α τοῖς ὑπὸ τὸ Β, ἄν παντὶ τῷ Β ὑπάρχῃ, ἀκολουθεῖν δοκεῖ καὶ τὸ Α ἀναγκαίως αὐτοῖς ὑπάρξειν, ἐὰν ἀναγκαίως ὑπάρχῃ παντὶ τῷ Β· τοῦτο δέ, ἐπεὶ τὰ ὑπὸ τὸ Β τινὰ τοῦ Β ἐστίν. ἀλλὰ τὸ τινὰ τοῦ Β εἶναι κοινότερον λεγόμενον φαντασίαν ἀπο- στέλλει ὡς ἐν τῇ οὐσίᾳ αὐτοῦ ὄντων· οὐχ οὕτω <δ’> ἐχόντων αὐτῶν, οὐδ᾿ τὸ Α αὐτοῖς ἐξ ἀνάγκης ὑπάρχοι· τὸ γὰρ ἐξ ἀνάγκης ὑπάρχον οὐ νῦν μόνον ἀλλὰ καὶ ὕστερον ὑπάρχει. διὸ ὑπάρχουσαν οὐ τίθησιν· ἐν τούτοις γὰρ τὸ κατὰ παντὸς τοῦ Β ἐξ ἀνάγκης κατηγορούμενον ἐξ ἀνάγκης ὑπάρξει καὶ τοῖς ὑπὸ τὸ Β, ἐν οἷς ἐστιν ἐξ ἀνάγκης. ἐπὶ μέντοι τοῦ κατὰ παντὸς τοῦ Β ὑπαρχόντως κατηγορουμένου ἀληθές ἐστι τὸ μηδὲν εἶναι κατηγορούμενον τῶν ὑπὸ τὸ Β, καθ’ ὧν οὐ κατηγορηθήσεται τὸ κατὰ παντὸς τοῦ Β λεγόμενον, ὅτι, καὶ ὧν ἀναγκαίως τὸ Β κατηγορεῖται καὶ ὧν ὑπαρχόντως, τούτοις εἰπεῖν ὑπάρχειν τὸ κατὰ παντὸς αὐτοῦ κατηγορούμενον ἀληθές. οὐκέτι μέντοι ἀληθὲς τὸ ὧν τὸ Β ὑπαρχόντως κατηγορεῖται, τούτων τὸ κατὰ τοῦ Β ἐξ ἀνάγκης παντὸς κατηγορούμενον κατηγορηθήσεσθαι ἐξ ἀνάγκης· τὸ μὲν γὰρ ἐξ ἀνάγκης ὑπάρχον ὑπάρχειν εἰπεῖν ἀληθές, τὸ ὅ ὑπάρχον ἁπλῶς ἐξ ἀνάγκης εἰπεῖν ὑπάρχειν οὐκ ἀληθές. ὅτι δὲ ἡ ὑπάρχουσα καθόλου ὑπόθεσίς ἐστιν, ἐδήλωσε καὶ ἄρτι, δι’ ὧν παρέθετο ὅρων.

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

p. 30a 33

Ἐπὶ ἐν μέρει συλλογισμῶν, εἰ μὲν τὸ καθόλου 42v ἐστὶν ἀναγκαῖον, καὶ τὸ συμπέρασμα ἔσται ἀναγκαῖον. εἰπὼν περὶ τῶν δύο συζυγιῶν τῶν ἐν πρώτῳ σχήματι, ἐν αἷς ἐξ ἀμφοτέρων καθ|όλου τῶν προτάσεων καθόλου συνάγεται, εἰ εἶεν μικταὶ ἐξ 43r ὑπαρχούσης καὶ ἀναγκαίας προτάσεως, ὡς ποτὲ μὲν ἀναγκαῖον ἔσται τὸ συμπέρασμα, καὶ ποίας ληφθείσης ἀναγκαίας, ποτὲ δὲ ὑπάρχον, λέγει καὶ περὶ τῶν δύο συζυγιῶν, ἐν αἷς ἡ ἐλάττων ἐπὶ μέρους καταφατικὴ πρότασίς ἐστιν ἡ δὲ μείζων καθόλου ἢ καταφατικὴ ἢ ἀποφατική, καὶ φησίν, ὅτι καὶ ἐν ταύταις ταῖς συμπλοκαῖς, ἄν μὲν ἡ μείζων ἀναγκαία ᾖ καταφατικὴ οὖσά ἢ ἀποφατική, ἀναγκαῖον ἔσται τὸ συμπέρασμα, καθάπερ ἐπὶ τῶν πρώτων συζυγιῶν, ἄν δὲ ἡ ἐλάττων, ὑπάρχον. τῷ αὐτῷ δὲ προσχρώμενος καὶ ἐπὶ τούτων ἀναγκαῖον ἡγεῖται δεικνύναι τὸ συμπέρασμα οὕσης τῆς μείζονος ἀναγκαίας καθόλου· τῷ γὰρ τὸ μὲν Α παντὶ τῷ Β ἐξ ἀνάγκης τὶ δὲ τοῦ Γ ὑπὸ τὸ Β εἶναι ἀκολουθήσειν ἡγεῖται τὸ καὶ ἐκείνῳ τοῦ Γ τῷ ὄντι ὑπὸ τὸ Β τὸ Α ἐξ ἀνάγκης ὑπάρχειν. ὅμοιος δὲ ὁ λόγος, καὶ εἰ ἡ μείζων καθόλου ἀποφατικὴ ἀναγκαία εἴη.

Τοῦ μέντοι ἐπὶ μέρους ἀναγκαίου ὄντος οὐκέτι ἔσεσθαί φησιν ἀναγκαῖον τὸ συμπέρασμα, καὶ τὴν αἰτίαν προστιθεὶς φησὶν οὐδὲν γὰρ ἀδύνατον συμπίπτει, καθάπερ οὐδ’ ἐν τοῖς καθόλου συλλογισμοῖς, λέγων ἤτοι, ὅτι ὑπάρχοντος τοῦ συμπεράσματος ὑποτεθέντος γίνεσθαι οὐδὲν ἕπεται ἀδύνατον, τοῦτ’ ἔστι ψεῦδος, ὥσπερ οὐδ’ ὅτε ἀμφότεραι μὲν ἦσαν καθόλου, ἦν δὲ ἐλάττων ἡ ἀναγκαία· ἐπ’ ἐκείνων γὰρ ἀναγκαίου μὲν ὑποτεθέντος τοῦ συμπεράσματος ψεῦδός τι εἵπετο, ὑπάρχοντος δὲ οὐδέν· εἰ γὰρ ὑποθοίμεθα ἐπὶ τῶν καθόλου τῷ Γ παντὶ τὸ Α ὑπαρχόντως, λαμβάνοιμεν δὲ καὶ τὸ Β παντὶ τῷ Γ ἐξ ἀνάγκης, συνάγεται ἐν τρίτῳ σχήματι τὸ Α τινὶ τῷ Β ὑπάρχειν, ὅπερ ἀληθές ἐστιν · ὑπέκειτο γὰρ παντὶ ὑπάρχειν· ὡς οὖν ἐπ’ ἐκείνων ἀναγκαίου μὲν ὑποτεθέντος τοῦ συμπεράσματος ψεῦδός τι συνήγετο, ὑπάρχοντος δὲ οὐκέτι, οὕτω, φησί, καὶ ἐπὶ τῶν ἐν μέρει ἕξει, εἰ εἴη ἡ ἐλάττων ἐπὶ μέρους καταφατικὴ ἀναγκαία· ἢ τὸ οὐδὲν γὰρ ἀδύνατον συμπίπτει, καθάπερ οὐδ’ ἐν τοῖς καθόλου συλλογισμοῖς εἶπεν, ὅτι, ὡς ἐπ’ ἐκείνων ἀναγκαίου τιθεμένου τοῦ συμπεράσματος τῇ εἰς ἀδύνατον ἀπαγωγῇ χρωμένων ἡμῶν εἰς ἔνδειξιν αὐτοῦ οὐδὲν ἀδύνατον εἵπετο ἀλλὰ ψεῦδος μόνον, ὡς ἐδείχθη διὰ τῶν προειρημένων, δι’ οὗ x003E; 2 ἐστὶν om. Κ έσται om. Κ 3 ἐξ om. Κ 4 τῶν om a 5 ἀναγκαίας καὶ ὑπαρχούσης a 6 καὶ altenim om. Κ 7 πρότασις post ἐλάττων transponit a 10 post καθάπερ add. καὶ a 11 ἐλάσσων Κ ὑπάρχον] ὂν periit in Κ αὐτῷ evan. M 12 τούτῳ Κ 14 ἡγεῖται ἀκολουθήσειν aK καὶ Κ: κατ’ aM 15 ὄντι evan. M ὁμοίως aK 17 ὄντος ἀναγκαίου a post οὐκέτι add. δὲ a φησὶν ἔσεσθαι K 18 τὸ om. Κ 20 ἤτοι, ὅτι transposui: ὅτι ἤτοι libri 21 ὅταν a 22 ἡ ἐλάττων ἐλάσσων Κ) aK 24 τὸ ἁ παντὶ τῷ (??) aK λαμβάνοιμεν scripsi: KM: λάβοιμεν a 25 καὶ om. Κ 26 ὅπερ a et M, in quo ειν ὅπε enanuit: ὃ Κ 29 ἡ om. K 31 ὡς om. K 33 οὐ addidi κατασκευάζεται τὸ ἀναγκαῖον, οὕτως οὐδ᾿ ὅταν ἡ ἐλάττων ἐπὶ μέρους 43r ἀναγκαία καταφατικὴ τιθῆται. εἰ γὰρ εἴη τὸ Α Tip Β παντὶ ὑπάρχον, τὸ δὲ Β τῷ Γ τινὶ ἐξ ἀνάγκης, καὶ βούλοιτό τις διὰ τῆς εἰς ἀδύνατον ἀπαγωγῆς δεῖξαι τὸ Α τινὶ τῷ Γ ὑπάρχον ἐξ ἀνάγκης, λήψεται μὲν τὸ ἀντικείμενον αὐτοῦ τὸ ἐνδέχεσθαι τὸ Α τῷ Γ μηδενί· ᾧ προσληφθέντος τοῦ τὸ Β τινὶ τῷ Γ ἐξ ἀνάγκης συνάγοιτο ἂν ἐν τρίτῳ σχήματι τὸ Α τινὶ τῷ Β ἐνδέχεσθαι μὴ ὑπάρχειν, ὃ οὐκ ἀδύνατον· ἔκειτο γὰρ αὐτῷ παντὶ ὑπάρχειν· ὥστ’ οὐ κατεσκεύασται. ἄν μέντοι μὴ ἀναγκαῖον ἐπὶ μέρους καταφατικὸν ἀλλ’ ὑπάρχον βουληθῶμεν δεῖξαι τὸ συμπέρασμα διὰ τῆς εἰς ἀδύνατον ἀπαγωγῆς, προελευσεταί τε ὁ λόγος καὶ ἀδύνατόν τι συναχθήσεται παρὰ τὴν ὑπόθεσιν. τὸ μὲν γὰρ ἀντικείμενον τῷ τὸ Α τινὶ τῷ Γ ἐστὶ τὸ τὸ Α μηδενὶ τῷ Γ· ᾧ δὴ ἂν προσληφθῇ τὸ Β τινὶ τῷ Γ ἐξ ἀνάγκης, συναχθήσεται τὸ Α τινὶ τῷ Β μὴ ὑπάρχειν, ὂν ἀδύνατον· παντὶ γὰρ ὑπῆρχεν αὐτῷ· ὥστε ἀδύνατος ἡ ὑπόθεσις ἡ μηδενὶ τῷ Γ τὸ Α λέγουσα· τινὶ ἄρα. ὡς οὗν ἐπὶ τῶν καθόλου οὐκ ἦν ἀναγκαῖον τὸ συμπέρασμα, ὅτι οὐδὲν ἀδύνατον εἵπετο χρωμένων ἡμῶν τῇ εἰς ἀδύνατον ἀπαγωγῇ ἐπ’ αὐτῶν, οὕτω καὶ ἐπὶ τῶν ἐπὶ μέρους. οὐκ ἐξέθετο δὲ τὴν δεῖξιν οὔτε ἐπὶ τῶν καθόλου οὔτε ἐπὶ τῶν ἐπὶ μέρους τὴν δι’ ἀδυνάτου, ἧς ἐμνημονεύκαμεν, αὖά μόνον ἐμνημόνευσεν αὐτῆς, ὅτι ἐγίνετο ἐν αὐτῇ μῖξις ἐνδεχομένης καὶ ἀναγκαίας, περὶ ἧς μίξεως οὐδέπω τὸν λόγον πεποίηται.

Δύναται καὶ τὸ οὐδὲν γὰρ ἀδύνατον συμπίπτει οὐκ ἐπὶ τὴν δεῖξιν, ἣν ἐποιήσατο δεικνύς τι ψεῦ|δος ἕπεσθαι ὑποτεθέντι τῷ ἀναγκαίῳ, 43v ἐπανάγων ἡμὰς εἰρηκέναι, ἀλλ’ οὐδ᾿ ἐπὶ τὴν εἰς ἀδύνατον ἀπαγωγήν, περὶ ἧς εἶπον ἀρτίως, Μ’ ἐπὶ τὴν ἐκ τῶν ὅρων μαρτυρίαν. τοῖς γὰρ εἰρημένοις καὶ ἡ ἐκ τῶν ὅρων δεῖξις συνᾴδει· ληφθεισῶν γὰρ προτάσεων ἐν συζυγίᾳ τε καὶ μίξει ταύτῃ τὸ συμπέρασμα ὑπάρχον γίνεται. ἦν ὅ ἂν ἀδύνατον τὸ λεγόμενον ὑφ’ ἡμῶν, εἰ ἐπὶ τῶν ὅρων ἠλέγχετο. καὶ τοῦ τοῦτ’ εἶναι τὸ εἰρημένον σημεῖον ἄν εἴη τὸ τοὺς ὅρους αὐτὸν εὐθέως παραθέσθαι· κίνησις μὲν γὰρ παντὶ ζῴῳ ὑπαρχόντως ἢ οὐδενί, ζῷον δὲ τινὶ λευκῷ ἐξ ἀνάγκης κύκνῳ γάρ), καὶ κίνησις τινὶ λευκῷ ὑπάρχει, οὐ μὴν ἐξ ἀνάγκης, ἢ τινὶ λευκῷ οὐχ ὑπάρχει ὑπαρχόντως.

Δεῖ μέντοι εἰδέναι, ὅτι τῇ ἐπὶ ψεῦδος ἀγούσῃ δείξει οὐχ οἷόν τε ἐπὶ τούτων χρήσασθαι, ᾗ ἐπὶ τῶν καθόλου ἐχρήσατο. κειμένου γὰρ τοῦ τὸ Α 1 ἀναγκαῖον KM: interstitium in a οὐδὲ ἡ ἐλάσσων ὅταν Κ 2 τιθῆται correxi: τίθεται libri εἴη om. M 4 τό ἁ om. Κ ἐξ ἀνάγκης ὑπάρχον aK 5 τὸ tertium om. Κ 7 ἔκοιτο Κ ante αὐτῷ add. ἐν M ὑπάρχον aK 8 κατεσκευάσθαι aK 9 βουληθῶμεν correxi: βουληθείημεν libri 10 τε om. M τι superscr. M χ΄ 11 τὸ (post τῷ) om. Κ 13 ὑπάρχειν M: ὑπάρ Κ: ὑπάρχον a 16 αὐτῶν a: αὐτοῦ KM 17 οὕτως Κ ἐπὶ τῶν bis Κ 18 μεμνημονεύκαμεν aK 19 αὐτῆς aM: αὐτῶν Κ ἐγένετο Κ 19. 20 ἀναγκαίας καὶ ἐνδεχομένης Κ 21 συμπίπτει M et Ar.: συμβαίνει aK 22 ψεῦδός τι aK 24 μαρτυρίαν aM: πρακτείαν Κ 25 ἐκ M: ἐπὶ a: om. Κ 26 τοιαύτη a 27 τὸ λεγόμενον om. a 28 τοῦ τοῦτ’ a: τοῦτ’ Κ: τούτου τότ’ M (fort, τοῦ τοῦτό γ’) τὸ alterum om. a 29 ὡς κίνησιν μὲν omisso γὰρ Κ 33 ἢ Κ τινὶ τῷ Γ ὑπάρχειν ἐξ ἀνάγκης, ὁποτέραν ἄν προσλάβωμεν τῷ συμπεράσματι 43v τούτων κειμένων, ἀσυλλόγιστος ἡ συμπλοκὴ γίνεται. ἄν μὲν γὰρ τὸ Β τινὶ τῷ Γ ἐξ ἀνάγκης, ἐν τρίτῳ σχήματι ἕξομεν δύο τὰς ἐπὶ μέρους καταφατικάς. ὁμοίως δὲ καὶ ἐν πρώτῳ, ἄν τὴν Β Γ ἀντιστρέψωμεν. ἄν δὲ τὸ Α παντὶ τῷ Β καὶ τινὶ τῷ Γ ἐξ ἀνάγκης, δύο πάλιν καταφατικὰς ἕξομεν ἐν δευτέρῳ σχήματι, καὶ οὐκ ἔστι δεῖξαι. δύναται ἀξιοῦν ἡμᾶς τὴν πίστιν ἐκ τῶν καθόλου καὶ περὶ τῶν ἐπὶ μέρους ποιεῖσθαι· ἐπεὶ γὰρ αὗται ἐκείνων μόνον τῷ ἐπὶ μέρους τι συνάγειν διαφέρουσιν, ἐπὶ δὲ τῶν καθόλου ὑπάρχοντος τιθεμένου τοῦ συμπεράσματος οὐδὲν ἀδύνατον, τοῦτ’ ἔστιν οὐδὲν ψεῦδος, εἵπετο, καὶ ἐπὶ τούτων ὑπάρχον μὲν ἔσται τὸ συμπέρασμα, ὥσπερ καὶ ἐπ’ ἐκείνων, ἐπὶ μέρους δέ· αὕτη γὰρ μόνη ἦν ἐν ταῖς προτάσεσι διαφορὰ κειμένη. ἔτι οὐδὲν ἀδύνατον συμπίπτει ὑπάρχοντος ὑποτεθέντος τοῦ συμπεράσματος, ὅτι μηδὲ συλλογιστική τις γίνεται συζυγία, δι’ ἧς τὸ ἀδύνατον ἐδείχθη. <ἢ> τοῦτο. καὶ εἰ ἀναγκαῖον ὑποτεθείη τὸ συμπέρασμα γίνεσθαι. οὐδ’ ἄν ἀποφατικὴ δὲ ἡ μείζων καθόλου ὑπάρχουσα ληφθῇ, οὐδ’ οὕτως ἡ δεῖξις προχωρεῖ· γίνονται γὰρ πάλιν ἐν πρώτῳ καὶ τρίτῳ σχήματι ἐπὶ μέρους ἀμφότεραι, ἡ μὲν ἀποφατικὴ ἡ δὲ καταφατική, ἢ ἐν δευτέρῳ σχήματι ἀμφότεραι ἀποφατικαί. οὓς δὲ παρέθετο ὅρους, ἁρμόζουσι καὶ ἐπὶ τῆς συζυγίας ταύτης. |