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 τινὶ αὐτῷ καὶ ἐξ ἀνάγκης ὑπάρχειν. ἀλλ’ ἐπεὶ μὴ ἀναγκαῖόν ἐστι τὸ παντὶ ὑπάρχον εὐθὺς ἐν τῷ παντὶ ὑπάρχειν καὶ τὸ ἐξ ἀνάγκης τινὶ αὐτοῦ ὑπάρχειν περιέχειν· ἐνδέχεται γὰρ καὶ παντὶ αὐτῷ οὕτως ὑπάρχειν ὡς ἐνδέχεσθαι καὶ μηδενί· οὐ γὰρ κεκώλυται ἡ καθόλου καταφατικὴ ὑπάρχουσα οὕτως ἀληθὴς εἶναι· διὸ ψεῦδος γίνεται ἐπὶ τῆς οὕτως ὑπαρχούσης καθόλου ἀληθοῦς τὸ παντὶ ὑπάρχον τινὶ ἐκείνῳ ἐξ ἀνάγκης ὑπάρχειν.