p. 26a 9 Οὐδ᾿ ὅταν μήτε τὸ πρῶτον τῷ μέσῳ μήτε τὸ μέσον τῷ ἐσχάτῳ μηδενὶ ὑπάρχῃ. Μετελήλυθεν ἐπὶ τὴν ἐκ δύο καθόλου ἀποφατικῶν ἐν πρώτῳ σχήματι συζυγίαν, καὶ δείκνυσι καὶ ταύτην ἀσυλλόγιστον οὖσαν τῇ τῶν ὅρων πάλιν παραθέσει, ὧν παρὰ τὴν διαφορὰν καὶ παντὶ καὶ μηδενὶ ὑπάρχον φαίνεται τὸ Α τῷ Γ. αἰτία δὲ τοῦ μηδὲν συνάγεσθαι ἐν τῇ τοιαύτῃ συζυγίᾳ συλλογιστικῶς, ὅτι ὁ μέσος οὐδεμίαν ἔχει σχέσιν πρὸς οὐδέτερον τῶν ἄκρων, ἀλλ’ οὕτως ἔχει, ὡς εἰ καὶ τὴν ἀρχὴν μηδὲ ἐλήφθη· παρὰ δὲ τοῦτον ὁ συλλογισμός· οὕτως γὰρ ἔχοντος αὐτοῦ δύναται καὶ πίπτειν ὑπὸ τὸ Α τὸ Γ καὶ μὴ πίπτειν. εἰ μὲν γὰρ τὸ Α ἐπιστήμη τὸ δὲ Β γραμμὴ τὸ δὲ Γ ἰατρική, ἀληθῶν οὐσῶν ἀμφοτέρων τῶν προτάσεων καθόλου ἀποφατικῶν ἡ ἐπιστήμη τῇ ἰατρικῇ πάσῃ ὑπάρξει. εἰ δὲ ἀντὶ τῆς ἰατρικῆς μονὰς τεθείη ἢ λίθος, αἱ μὲν προτάσεις ὁμοίως ἀληθεῖς, οὐδεμιᾷ δὲ ἐπιστήμη μονάδι ὑπάρξει οὐδὲ λίθῳ. p. 26a 13 Καθόλου μὲν οὖν ὄντων τῶν ὅρων δῆλον ἐν τούτῳ τῳ σχήματι. Εἰρήκαμεν, ὅτι τεσσάρων οὐσῶν συζυγιῶν ἐν πρώτῳ σχήματι καθόλου τῶν προτάσεων λαμβανομένων δύο μὲν γίνονται συλλογιστικαὶ δύο δὲ ἀσυλλόγιστοι. p. 26a 14 Καὶ ὅτι ὄντος τε συλλογισμοῦ τοὺς ὅρους ἀναγκαῖον ἔχειν, ὡς εἴπομεν. Ἀντιστρέψας εἶπε· καὶ γὰρ συλλογισμοῦ ὄντος ἐν πρώτῳ σχήματι ἐκ καθόλου προτάσεων ἀνάγκη τὴν εἰρημένην θέσιν καὶ τάξιν ἔχειν τοὺς ὅρους πρὸς ἀλλήλους, καὶ τῶν ὅρων οὕτως ἐχόντων καὶ κειμένων ἀνάγκη συλλογισμὸν εἶναι. ὅτι μὲν οὖν, εἰ καθόλου καταφατικὸν εἴη συμπέρασμα, ἀνάγκη 3 ἀποφατικὸν L corr. τὰ ἐναντία LM 4 μηδ’ omisso τῶν a παρὰ ΒLM: περὶ a ὑπάρχειν aLM 11 σχέσιν aLM: σύνθεσιν Β 12 μηδὲ τὴν ἀρχὴν aL μηδ’ M παρὰ HLM: περὶ a 13 καὶ om. LM 14 καὶ om. L μὲν om. a δὲ (ante p) om. aB δὲ (ante f) 0111. a 15 ἀληθῶν om. aLM 16 πάσει Β 17 μονάδι ἐπιστήμη a 19 οὖν Ar.: om. aB (C); at cf. p. 58,11 τῶν ὅρων om. a 22 μὲν om. a τε. Β: τοῦ ὄρους B 25 ὡς εἴπομεν οm. a 27 ante θέσιν add. πρότασιν καὶ a καὶ τάξιν om. aL 28 post ἀνάγκη add. καὶ M ἐκ προτάσεων τοιούτων καὶ οὕτως κειμένων, ὡς ἐδείξαμεν, ἐν πρώτῳ 19r σχήματι γίνεσθαι αὐτόν, δῆλον· ἐν ἄλλῳ γὰρ σχήματι οὐδὲν καθόλου συνάγεται καταφατικόν. πῶς δὲ ἔτι ἀληθὲς ἐπὶ τοῦ ἀποφατικοῦ καθόλου συμπεράσματος; δόξει γὰρ οὐκ ἀναγκαῖον εἶναι, εἰ ἔστι καθόλου ἀποφατικὸν συμπέρασμα συλλογιστικῶς γεγονός, καὶ τοὺς ὅρους οὕτως ἔχειν, ὡς εἰρήκαμεν, ἐν τῇ δευτέρᾳ συζυγίᾳ τῶν ἐν πρώτῳ σχήματι· δύναται γὰρ ταὐτὸν συμπέρασμα συλλογιστικῶς δειχθῆναι καὶ ἄλλως ἐχόντων τῶν ὅρων· καὶ γὰρ ἐν δευτέρῳ σχήματι τὸ καθόλου ἀποφατικὸν δείκνυται καὶ διχῶς γε· ὥστ᾿ οὐκ ἀληθὲς δόξει τὸ ὄντος τε συλλογισμοῦ τοὺς ὅρους ἀναγκαῖον ἔχειν, ὡς εἴπομεν. δεῖ οὖν προσυπακούειν, ἵν’ ἀληθὲς ᾖ τὸ λεγόμενον, τὸ ‘ἐν τούτῳ τῷ σχήματι’, ὡς προείρηκε διὰ τοῦ καθόλου μὲν οὖν ὄντων τῶν ὅρων δῆλον ἐν τούτῳ τῷ σχήματι· ὥστε καὶ ἅ ἐπιφέρει περὶ τῶν ἐν τούτῳ τῷ σχήματι λέγει. δύναται δέ τις καὶ ἐπὶ τῶν ἐν τῷ δευτέρῳ σχήματι συλλογισμῶν τῶν τὸ καθόλου ἀποφατικὸν συναγόντων λέγειν τὸ εἰρημένον ἁρμόζειν· καὶ γὰρ καὶ ἐκεῖ, εἰ καὶ <μὴ> ἡ τάξις προτάσεων οὕτως κεῖται, ὡς ἄλλως ἐχόντων πρὸς ἀλλήλους τῶν ὅρων καὶ οὐχ ὡς ἐν τῷ πρώτῳ σχήματι, ἀλλὰ καὶ τότε δυνάμει οὕτως ἔχουσι. κατὰ γοῦν τὴν εἰς τὸ πρῶτον σχῆμα διὰ τῶν | ἀντιστροφῶν τῶν προτάσεων ν ἀνάλυσιν δείκνυνται συλλογιστικαὶ οὖσαι αἱ συζυγίαι, ὥστε καὶ τότε οὕτως ἔχουσιν οἱ ὅροι πρὸς ἀλλήλους. ὡς εἴρηκεν ἐπὶ τῆς ἐν τῷ πρώτῳ σχήματι δευτέρας συζυγίας· εἰς γὰρ ταύτην ἀνάγονται οἱ καθόλου ἀποφατικὸν ἐν δευτέρῳ συνάγοντες σχήματι, ὡς προιὼν δείξει. p. 26a 17 ἰ δ᾿ ὁ μὲν καθόλου τῶν ὅρων ὁ δ᾿ ἐν μέρει προς τον ετερον. Οὐκ ἀργῶς μοι δοκεῖ προστεθεικέναι τῷ ὁ δ’ ἐν μέρει τὸ πρὸς τὸν ἕτερον· δύναται γὰρ καὶ ἐν μιᾷ καὶ τῇ αὐτῇ προτάσει τῶν ὅρων ὁ μὲν καθόλου εἶναι ὁ δ’ ἐν μέρει, καθόλου μὲν ὁ ὑποκείμενος ὅλος λαμβανόμενος ἐν μέρει δὲ ὁ κατηγορούμενος, οὗ μέρος κατὰ τοῦ ὑποκείμενου λέγεται. οὐ γὰρ πᾶν ζῷον κατὰ ἀνθρώπου· μέρος γὰρ τοὐ ζῴου κατὰ παντὸς ἀνθρώπου ἐν τῇ προτάσει τῇ λεγούσῃ ‘πᾶς ἄνθρωπος ζῷον᾿· τὶ γὰρ 1 τοιούτων προτάσεων aLM οὕτω a 1. 2 ἐν πρώτῳ σχήματι om. a 2 σχήματι bis, semel expct., M αὐτό a ante σχήματι add. τῷ LM 3 ἔτι aBL: ἔστιν M ante ἐπὶ add. καὶ L καταφατικοῦ L 9 ὥστε L δείξει M τε Ar.: γε BLM: om. a; cf. p. 57, 24 10 ἵνα ᾖ ἀληθὲς L 11 τὸ ἐν LM: καὶ ἐν aB: ὡς aB: ὅ Μ: evan. L οὖν om. aL 12 δῆλον ἐν οm. a ἐπιφέρειν a 13 δὲ om. LM τῷ alterum om. aLM 14 συλλογισμῶν om. aLM 15 ante λέγειν add. καὶ L ante ἁρμόζειν add. καὶ aLM μὴ a: om. BLM 16 τῶν ὅρων πρὸς ἀλλήλους aL 17 τῷ om. L 21 ἀποφατικοὶ a 22 σχήματα a σχήματι συνάγοντες LM 25 τῷ LM: τὸ aB δὲ LM τὸ LM: om. aB δὲ L ὅλος BLM: ὅρος a 29 ante ἀνθρώπου add. τοῦ aLM post ἀνθρώπου add. λέγεται LM μέρος aB: τὶ LM 30 ἀνθρώπου om. L ζῷον κατ’ ἀνθρώπου. ἀλλὰ καὶ ἡ ‘τὸ ζῷον κατὰ τινὸς ἐμψύχου’ ἔχει τὸν 19v μὲν καθόλου τῶν ὅρων τὸν δ’ ἐν μέρει· διὰ τοῦτο καὶ ἡ ἀντιστροφὴ τῆς τοιαύτης προτάσεως ἐπὶ μέρους γίνεται. ἵν’ οὖν ἐν συμπλοκῇ προτάσεων δηλώσῃ τῶν ὅρων τὸ καθόλου καὶ ἐν μέρει καὶ μὴ ἐν προτάσει μιᾷ μηδ’ ἐν ἀντιστροφῇ προτάσεως, προσέθηκε τὸ πρ ὸς τὸν ἕτερον, τοῦτ’ ἔστιν ‘ὅταν οὖν καθόλου κατηγορῆταί τις ὅρος καὶ οὗτος ἄλλου τινὸς ἐπὶ μέρους κατηγορῆται᾿, ἢ ἔτι ἁπλούστερον ‘ὅταν ὁ αὐτὸς ὅρος πρὸς μὲν ἄλλον ὅρον καθόλου ᾖ πρὸς δὲ ἄλλον ἐπὶ μέρους ἐν τῇ προειρημένῃ συμπλοκῇ’· τοῦτον γὰρ τὸν τρόπον ἐπὶ μέρους αὐτοῦ λαμβανομένου γίνεται συζυγία καὶ συμπλοκὴ προτάσεων. εἰρηκὼς δὲ περὶ τῶν συζυγιῶν τῶν ἐν τῷ πρώτῳ σχήματι ἐκ δύο καθόλου μεταβαίνει πάλιν ἐπὶ τὰς συζυγίας, ἐν αἷς ἡ ἑτέρα πρότασις ἐπὶ μέρους ἐστὶ τῆς ἑτέρας οὔσης καθόλου, καὶ δείκνυσι, τίνες εἰσὶν αἱ τοιαῦται, καὶ πόσαι καὶ ποῖαι αὐτῶν συλλογιστικαί. καὶ πρῶτόν γε ταύτας ἐκτίθεται. δύο δ’ εἰσὶν αἱ δόκιμοι καὶ ἐν ταῖς τοιαύταις συζυγίαις, ἥ τε καθόλου καταφατικὴν τὴν μείζονα πρότασιν ἔχουσα τὴν δὲ ἐλάττονα ἐπὶ μέρους καταφατικὴν καὶ ἡ τῆς ἐλάττονος οὔσης ἐπὶ μέρους καταφατικῆς τὴν μείζονα ἔχουσα καθόλου ἀποφατικήν, ὧν ἀμφοτέρων ὁμοῦ ἐμνημόνευσεν εἰπὼν ὅταν μὲν τὸ καθόλου τεθῇ πρὸς τὸ μεῖζον ἄκρον ἢ κατηγορικὸν ἢ στερητικόν, τὸ δ’ ἐν μέρει πρὸς τὸ ἔλαττον κατηγορικόν, ἀνάγκη συλλογισμὸν εἶναι τέλειον. οὔσης μὲν γὰρ τῆς μείζονος καθόλου τε καὶ καταφατικῆς ἐπὶ μέρους καταφατικὸν ἔσται τὸ συναγόμενον, καθόλου δὲ ἀποφατικῆς ληφθείσης ἐκείνης ἐπὶ μέρους ἀποφατικὸν συναχθήσεται. τῷ γὰρ δεῖν τὴν ἑτέραν ἐπὶ μέρους εἶναι εἰλῆφθαι δὲ τὴν μείζονα καθόλου πάντως ἡ ἐλάττων ἐπὶ μέρους ἔσται· εἴρηκε δέ, ὅτι καὶ κατηγορική. p. 26a 20 Ὅταν δὲ πρὸς τὸ ἔλαττον ἢ καὶ ἄλλως πως ἔχωσιν οἱ ὅροι, ἀδύνατον. Προειπὼν περὶ τῆς μείζονος προτάσεως, ὅτι καὶ στερητικῆς οὔσης αὐτῆς ἔσται συλλογισμός, ἐπήνεγκεν ὅταν δὲ πρὸς τὸ ἔλαττον, δῆλον ὅτι τὸ στερητικὸν μετατεθῇ, ὡς εἶναι ταύτην μὲν ἐπὶ μέρους ἀποφατικὴν τὴν δὲ μείζονα καθόλου μὲν ἢ καταφατικὴν δὲ ἢ ἀποφατικήν. τὸ δὲ καὶ ἄλλως πως ἔχωσι δηλωτικόν ἐστι τοῦ ‘ἄν ἡ μὲν μείζων τὸ ἐπὶ 1 κατ’ aBM: κτὰ τοῦ L τινὸς ἐμψύχου] ὃς ἐμψύχου in ras. Β2 2 δὲ LM 3 ἶνα LM 4 τῶν ὅρων post μέρει transponit a, repetit B 5 προτάσεως om. aLM 6 οὖν om. a 6. 7 κατηγορῆται ἐπὶ μέρους L 7 κατηγορεῖται a ὅρον om. L 10 τῷ om. aLM 11 τὰς συζυγίας aLM: τὴν συζυγίαν B 14 ἐκτίθησι aLM 15 καταφατικὴ a μείζω a ἐλάττω a 18 τεθῇ om. L τῷ μείζονι ἄκρῳ a 19 τῷ ἐλάττονι a 20 εἶναι HLM et Ar.: γενέσθαι a 21 καὶ om. aL καταφατικὸν] κάτα evan. L 22 ληφθείσης BLM: δειχθείσης a ἐκείνης om. aLM 26 τῷ ἐλάττονι a καὶ in ras. B: om. a 28. 29 αὐτῆς οὔσης a 29 τῷ ἐλάττονι a 30 μετατεθείη a 31 ἡ (post μὲν) om. a δὲ (ante ἡ prius) om. LM 32 καὶ om. aM ante ἄλλως add. av BM; at cf. p. 60, 4, 63, 12 post ἄν add. τε LM μὲν ἡ aL μέρους εἶναι μεταλάβῃ, ἡ δὲ ἐλάττων τὸ καθόλου᾿· οὕτως γὰρ ἐχουσῶν 19v οὐ γίνεται συλλογισμός. δύναται τὸ ὅταν δὲ πρὸς τὸ ἔλαττον καὶ ‘ὄταν πρὸς τὸ ἔλαττον τὸ καθόλου μετενεχθῇ’ . καὶ ὅσον γε ἐπὶ τοῖς ἐπιφερομένοις τοῦτ’ ἔστι τὸ λεγόμενον μᾶλλον. καὶ εἴη ἂν τὸ ἡ καὶ ἄλλως πως ἔχωσιν οἱ ὅροι εἰρημένον ἐπὶ τῆς ἐλάττονος προτάσεως, ἄν μὴ μεταλάβῃ μὲν αὕτη τὸ καθόλου, μένουσα δὲ ἐπὶ μέρους ἀποφατικὴ λήφθη.