In Aristotelis analytica priora [Sp.]

ἡ γὰρ ἐγρήγορσις ὡς ἔγερσις κίνησίς ἐστιν. ἀλλ’ ἔστ’ ἄν, φασί, κίνησις ἐνδέχηται παντὶ ζῴῳ, οὐκ ἔστιν ἐγρηγορός τι, ἵνα καὶ κινῆται. ὥστε οὐ καλῶς ἔχουσιν οἱ ὅροι.

p. 38b3 Οὐδὲ τῶν ἀντικειμένων καταφάσεων. καλῶς τὸ πληθυντικόν· τὸ γὰρ ἀνάγκη οὐδενὶ πᾶσαν κατάφασιν ἀναιρεῖ, ἀναγκαίαν, ὑπάρχουσαν, ἐνδεχομένην.

p. 38b8.12 Εἰλήφθω γὰρ τὸ Α τῷ Β ἐξ ἀνάγκης μὴ ὑπάρχειν. κἄν εἰ πρὸς τῷ Γ τεθείη τὸ στερητικόν, ὡσαύτως. οὗτός ἐστιν ὁ τριῶν ἀντιστροφῶν δεόμενος· αἵ τε γὰρ προτάσεις ἀντιστρέφουσι καὶ τὸ συμπέρασμα.

p. 39a1 Δῆλον δὲ ὅτι καὶ πάντες ἀτελεῖς. κοινὸν συμπέρασμα τῶν ἐν δευτέρῳ σχήματι δύο μίξεων ἐνδεχομένου καὶ ὑπάρχοντος, ἐνδεχομένου καὶ ἀναγκαίου, ὅτι πάντες ἀτελεῖς (οὐδεὶς γὰρ ἐδείχθη διὰ τοῦ κατὰ παντὸς καὶ κατὰ μηδενός, ἀλλὰ δι’ ἀδυνάτου πάντες) καὶ τὸ ἐξ ἡμισείας ἐνδεχόμενον συνάγουσι.

p. 39a2 Καὶ τελειοῦνται διὰ τῶν πρώτων σχημάτων. πληθυντικῶς γὰρ εἶπεν, ἐπειδὴ πολλαχῶς τὸ πρῶτον σχῆμα· ὁ μὲν γὰρ ἐξ ἐνδεχομένου καὶ ὑπάρχοντος ἐν δευτέρῳ σχήματι τελειοῦται διὰ τοῦ ἐν πρώτῳ σχήματι ἐξ ἐνδεχομένου καὶ ὑπάρχοντος, ὁ δὲ ἐξ ἐνδεχομένου καὶ ἀναγκαίου ἐν δευτέρῳ σχήματι διὰ τοῦ ἐξ ἐνδεχομένου καὶ ἀναγκαίου ἐν πρώτῳ σχήματι.

Γ ΣΧΗΜΑ ΕΞ ΑΜΦΟΤΕΡΩΝ ΕΝΔΕΧΟΜΕΝΩΝ.

p. 39a4 Ἐν δὲ τῷ τελευταίῳ σχήματι. Ἴδιον τοῦ τρίτου σχήματος ἐπὶ τῶν ἐξ ἀμφοτέρων ἐνδεχομένων τὴν μίαν πρότασιν καθόλου εἶναι· ἐκ δύο γὰρ μερικῶν οὐδεὶς γίνεται συλλογισμός. δώδεκα δὲ νῦν εἰσι συλλογισμοί· ἢ γὰρ ἄμφω καθόλου, ἢ ἡ μὲν καθόλου ἡ δὲ ἐν μέρει, καὶ τοῦτο διχῶς παρὰ τὴν μείζονα καὶ ἐλάττονα πρότασιν, καὶ ἕκαστον τῶν τριῶν τετραχῶς παρὰ τὸ ποιόν. καὶ ἕκαστον τὸ κυρίως ἐνδεχόμενον συνάγει.

p. 39a7 Καὶ ὅταν ἡ μὲν ἐνδέχεσθαι ἡ δ’ ὑπάρχειν. καίτοι τότε οὐκ ἀεὶ τὸ κυρίως ἐνδεχόμενον συνάγεται· ὅταν γὰρ ἡ ὑπάρχουσα καθόλου ἀπόφασις ᾖ, τὸ

καὶ ὑπάρχοντος ἀεὶ ἐνδεχόμενον ἔφη συνάγεσθαι.

p. 39a9 Οὔτ’ ἀναγκαῖον οὔτε ὑπάρχον ἀλλὰ τὸ κυρίως ἐνδεχόμενον. ἐφεξῆς δὲ τὸ ἐξ ἡμισείας ἀναγκαῖον καὶ ἐξ ἡμισείας ἐνδεχόμενον ὑπάρχον καλεῖ· καὶ γὰρ τὸ ὑπάρχον τοῦ μέν, τοῦ ἀναγκαίου, ἔχει τὸ ἐκβεβηκέναι, τοῦ δέ, τοῦ ἐνδεχομένου, τὸ μὴ δύνασθαι ἔτι εἶναι.

p. 39a11 Ληπτέον δὲ καὶ ἐν τούτοις. ὅτε ἡ ἀναγκαία καθόλου ἀπόφασίς ἐστιν, ληπτέον ἐνδεχόμενον καὶ νῦν τὸ ἐξ ἡμισείας.

p. 39a24 Ἀντιστραφεισῶν δὲ τῶν προτάσεων. καίτοι μία ἀντιστρέφεται, ἡ ἐλάττων. ἢ 〈ἡ〉 αὐτὴ οὐδενὶ οὖσα πρῶτον γίνεται παντὶ κατὰ τὴν ἐνδεχομένην ἀντιστροφήν, εἶτα τινὶ κατὰ τὴν ἀπλῆν ἀντιστροφήν· δύο οὖν αἱ ἀντιστρεφόμεναι προτάσεις, ἡ οὐδενὶ καὶ ἡ παντί, εἰ καὶ περὶ τοὺς 〈αὐτοὺς〉 ὅρους ἀμφότεραι.

p. 39a29 Τὸν αὐτὸν τρόπον ἐχόντων 〈τῶν〉 ὅρων ὅνπερ ἐπὶ τοῦ ὑπάρχειν. πῶς οὐ ψεῦδος τοῦτο, εἰ ἐπὶ μὲν τῶν ἐνδεχομένων δύναται ἡ μὲν ἐλάττων ἀποφατικὴ εἶναι, ἐπὶ δὲ τοῦ ὑπάρχοντος οὐ δύναται; ἢ οὐδ’ ἐπὶ τῶν ἐνδεχομένων ὡς ἀποφατικὴ ἡ ἐλάττων συλλογισμὸν ποιεῖ, ἀλλ’ ὡς δυναμένη μεταλαμβάνεσθαι εἰς κατάφασιν.

p. 39a31 Καὶ οὐκ ἔστι συλλογισμός. πῶς οὐκ ἔστι συλλογισμὸς ἐπὶ τῶν ἐξ ἀμφοτέρων ἐνδεχομένων; ἢ τῆς ἐλάττονος ἀποφατικῆς μενούσης ἢ μὴ οὔσης καθόλου προτάσεως.

Γ ΣΧΗΜΑ. ΜΙΞΙΣ ΕΝΔΕΧΟΜΕΝΟΥ ΚΑΙ ΥΠΑΡΧΟΝΤΟΣ.

p. 39b7 Ἐὰν δ’ ἡ μὲν ὑπάχειν ἡ δ’ ἐνδέχεσθαι. Οκτωκαίδεκα γίνονται συλλογισμοί· οἱ γὰρ ἕξ διπλασιάζονται παρὰ τὴν τάξιν τῶν τρόπων καὶ προστίθενται ἕτεροι ἕξ τὴν ἐλάττονα ἐνδεχομένην ἀποφατικὴν ἔχοντες. διὰ τὰ αὐτὰ δὲ καὶ τῆς ἑξῆς μίξεως τοσοῦτοί εἰσι συλλογισμοί. ἴδιον δὲ τῶν δύο τούτων μίξεων τὸ μίαν καθόλου εἶναι καὶ τὴν ἐλάττονα καταφατικήν, ἐὰν μὴ ἐνδεχομένη ᾖ ἀλλ’ ὑπάρχουσα ἢ ἀναγκαία.

p. 39b9 Καὶ οὐχ ὅτι ὑπάρχει. καίτοι ὑπάρχον συνάγεται τῆς ὑπαρχούσης καθόλου ἀποφατικῆς οὔσης. ἢ οὐκ ἀεὶ συνάγεται ὑπάρχον, ἀεὶ δ’ ἐνδεχόμενον· τὸ γὰρ κοινόν.

p. 39b9 Συλλογισμὸς δ’ ἐστὶ τὸν αὐτὸν τρόπον ἐχόντων τῶν ὅρων ὃν καὶ ἐν τοῖς πρότερον· ὡς γὰρ ἐν πρώτῳ καὶ δευτέρῳ σχήματι, οὕτως καὶ νῦν ἐπὶ τῶν μίξεων ἐνδεχομένου καὶ ὑπάρχοντος κυρίως ἐνδεχόμενον συνάγεται, εἰ μὴ τύχῃ ἡ ὑπάρχουσα καθόλου ἀπόφασις οὖσα.

p. 39b14 Ὅτε γὰρ ἡ ἑτέρα τῶν προτάσεων. ἔδει μὲν εἰπεῖν ὅτι τὸ κυρίως ἐνδεχόμενον συνάγεται, ἐπειδὴ ἀνῆκται εἰς τρόπον τοῦ πρώτου σχήματος μὴ ἔχοντα

p. 39b31 Εἰ δ’ ἡ μὲν κατάφασις καθόλου ἡ δ’ ἐν μέρει στερητική. τὸν πέμπτον τρόπον, ὅς ἐστιν ἐκ τοῦ παντὶ καὶ οὐ παντί, τὸν ἔχοντα τὴν καθόλου ὑπάρχουσαν τὴν δὲ μερικὴν ἐνδεχομένην δι’ ἀδυνάτου δείκνυσιν οὕτως· τὸ Α οὐ παντὶ τῷ Γ ἐνδεχομένως· τὸ Β παντὶ τῷ Γ ὑπαρχόντως· λέγω ὅτι τὸ Α τῷ Β οὐ παντὶ ἐνδέχεται· εἰ γὰρ μή, τὸ Α τῷ Β παντὶ ἐξ ἀνάγκης, τὸ δὲ Β παντὶ τῷ Γ ὑπαρχόντως· τὸ Α ἄρα παντὶ τῷ Γ ἐξ ἀνάγκης· τῇ γὰρ μείζονι ἕπεται τὸ συμπέρασμα ἐν πρώτῳ σχήματι ἐπὶ τῆς μίξεως ὑπάρχοντος καὶ ἀναγκαίου· ἀλλὰ καὶ ἐνδέχεται μὴ παντὶ τὸ Α τῷ Γ· ὅπερ ἀδύνατον. ἀλλὰ [καὶ] διὰ τί τὸν τρόπον τοῦτον οὐκ ἔδειξε δι’ ἀντιστροφῆς; ἢ ὅτι πολλῶν ἀντιστροφῶν ἐδέετο· τεσσάρων γάρ· ἔδει γὰρ τὴν μείζονα πρότασιν τὴν οὐ παντὶ ποιῆσαι τινί, εἶτα τὴν τινὶ πρὸς ἑαυτὴν ἀντιστρέψαι κατὰ τὴν ἁπλῆν, εἶτα τὸ συμπέρασμα τὸ τινὶ πρὸς ἑαυτὸ ἀντιστρέψαι, εἶτα μεταλαβεῖν αὐτὸ εἰς τὸ οὐ παντί, ἵνα μὴ κατάφασις συναχθῇ ἐκ καταφάσεως καὶ ἀποφάσεως.

p. 40a2 Ἡ ἐν τοῖς καθόλου καὶ διὰ τῶν

αὐτῶν ὅρων. ἀλλ’ οὐκ εἶπεν ὅρους ἐπὶ τῶν ἐξ ἀμφοτέρων καθόλου ἐνδεχομένων ἀλλ’ ἐπὶ τῶν ἐξ ἀμφοτέρων μερικῶν ἐνδεχομένων. ἢ τὰς ἐξ ἀμφοτέρων μερικῶν ἐνδεχομένων καθόλου καλεῖ νῦν ὡς δι’ ὅλου τὸ ἐνδεχόμενον ἐχούσας.

ΣΧΗΜΑ Γ ΜΙΞΕΩΣ ΕΝΔΕΧΟΜΕΝΟΥ ΚΑΙ ΑΝΑΓΚΑΙΟΥ.

p. 40a4 Εἰ δ’ ἐστὶν ἡ μὲν ἀναγκαία τῶν προτάσεων ἡ δ’ ἐνδεχομένη. Ὅτι τῆς ἀναγκαίας καθόλου ἀποφάσεως οὔσης καὶ ἐνδεχόμενον μηδενὶ καὶ ὑπάρχον μηδενί φησι συνάγεσθαι, οὐ μὴν τὸ ἐξ ἀνάγκης οὐδενί· ἄλλο γὰρ τὸ οὐδενὶ ἐξ ἀνάγκης τὸ ἀναιροῦν τὸν τρόπον, ὃ καὶ συνάγεται παρὰ τὸ ἐξ ἀνάγκης οὐδενί.

p. 40a15 Οὕτω γὰρ συνέπιπτεν ἐπὶ τοῦ πρώτου σχήματος. τὸ κυρίως ἐνδεχόμενον ἐν τῷ πρώτῳ σχήματι συνήγετο, ὅτε οὐκ ἦν ἡ ἀναγκαία καθόλου ἀπόφασις.

p. 40a21 Ἔσται δὴ πάλιν τὸ πρῶτον σχῆμα. ὑπάκουσον τὸ κυρίως ἐνδεχόμενον συνάγον· τούτου γὰρ τὴν αἰτίαν ἐπάγει.

p. 40a36 Ὅροι. νῦν τὸν μέσον τῇ προφορᾷ καὶ οὐ τὸν τελευταῖον μέσον λαμβάνει τοῦ σχήματος, τὸν ἵππον.

p. 40b12 Φανερὸν οὖν καὶ ἐν τούτῳ τῷ σχήματι πότε. ὅτε μία καθόλου ἐστὶν καὶ ἡ ἐλάττων καταφατική, εἴτε ὑπάρχουσά ἐστιν ἢ ἀναγκαία. πῶς. τῆς ἀποφατικῆς ἐνδεχομένης εἰς κατάφασιν μεταβαλλομένης καὶ ἢ δι’ ἀντιστροφῆς ἢ

καὶ πότε τοῦ ἐνδέχεσθαι καὶ πότε τοῦ ὑπάρχειν. τὸ κυρίως, φησίν, ἐνδεχόμενον συνάγουσιν οἱ μὴ ἔχοντες τὴν ἀναγκαίαν καθόλου ἀποφατικήν.

ΣΥΝΟΨΙΣ ΤΩΝ ΜΙΞΕΩΝ.

Τριῶν ὄντων τρόπων, ὑπάρχοντος, ἀναγκαίου, ἐνδεχομένου, τριῶν δὲ καὶ σχημάτων ἐννέα εἰσὶν αἱ πᾶσαι μίξεις. καὶ ἐπὶ μὲν τῆς μίξεως ὑπάρχοντος καὶ ἀναγκαίου ἐν μὲν πρώτῳ σχήματι τῇ μείζονι βούλεται ἕπεσθαι τὸ συμπέρασμα, ἐν δὲ δευτέρῳ τῇ ἀντιστρεφομένῃ ἐν τῇ εἰς τὸ πρῶτον σχῆμα ἀναγωγῇ, ἐν δὲ τρίτῳ τῇ μὴ ἀντιστρεφομένῃ, ὅταν δηλαδὴ δι’ ἀντιστροφῆς γένηται ἡ ἀπόδειξις, εἰ δὲ δι’ ἀδυνάτου μόνον, ὡς ἐν τῷ τετάρτῳ τοῦ δευτέρου καὶ τῷ πέμπτῳ τοῦ τρίτου, τῇ χείρονι. ἐπὶ δὲ τῶν λοιπῶν ἐξ μίξεων τὸ κυρίως ἐνδεχόμενον συνάγεσθαι, εἰ μὴ τύχῃ ἡ συμπλεκομένη τῇ ἐνδεχομένῃ προτάσει καθόλου ἀποφατικὴ ὑπάρχουσα πάντως ἢ ἀναγκαία· τότε γὰρ ἐπὶ μὲν ἐνδεχομένου καὶ ὑπάρχοντος τὸ ὑπάρχον συνάγεσθαι, ἐπὶ δὲ ἐνδεχομένου καὶ ἀναγκαίου τὸ ἐξ ἡμισείας ἐνδεχόμενον καὶ ἀναγκαῖον. οἱ δ’ ἑταῖροι αὐτοῦ καὶ οἱ Πλατωνικοὶ ἀεὶ τῇ χείρονι ἕπεσθαι τὸ συμπέρασμα βούλονται ἐπὶ τῶν ἐννέα μίξεων.

ΕΙΣ ΤΑΣ ΜΙΞΕΙΣ.

p. 40b17 Ὅτι μὲν οὖν οἱ ἐν τούτοις τοῖς σχήμασι. Διδάξας ὁ Ἀριστοτέλης πάντας τοὺς κατηγορικοὺς συλλογισμούς, ἁπλοῦς, μικτούς, ἀνάγει νῦν πάντας τοὺς συλλογισμούς, κατηγορικούς, ὑποθετικούς, ἐπ’ εὐθείας, δι’ ἀδυνάτου, ἁπλοῦς, συνθέτους, εἰς τὰ τρία σχήματα. καὶ τέως τοὺς ἁπλοῦς κατηγορικοὺς, οἱ καὶ πάντως ἐπ’ εὐθείας εἰσίν, τὸν τρόπον τοῦτον· εἰ δέοι δεῖξαι τὴν ΑΒ πρότασιν, ἢ οὐ ληψόμεθά τι ἢ ληψόμεθα πρὸς κατασκευὴν αὐτῆς· ἀλλ’ εἰ μὲν τὸ πρῶτον, τὸ ἐν ἀρχῇ αἰτησόμεθα· εἰ δὲ τὸ δεύτερον, ἢ ἓν ἢ πολλά· ἀλλ’ εἰ μὲν ἕν, οὐ γίνεται συλλογισμός· τεθέντων γὰρ τινῶν, ἀλλ’ οὐ τεθέντος τινὸς οὗτος γίνεται· εἰ δὲ πολλά, ἢ δύο ἢ πλείονα· καὶ εἰ δύο, ἀμφοτέρων τῶν ΑΒ ὅρων ἤρτηται· ὁ μὲν γὰρ ἁπλῶς συλλογισμὸς ἐκ τῶν ἁπλῶς προτάσεων, ὁ δὲ τοῦδε ἐκ 〈τῶν〉 τοῦδε, καὶ ὁ πρὸς τόδε ἐκ τῶν πρὸς τόδε, ὁ δὲ τοῦδε πρὸς τόδε ἐκ τῶν τοῦδε πρὸς τόδε. ἕξουσιν οὖν

αἱ δύο προτάσεις κοινὸν ὅρον· καὶ οὗτος ἢ ἐν ἀμφοτέροις κατηγορεῖται ἢ ἐν ἀμφοτέροις ὑπόκειται ἢ ἀναμίξ· καὶ γίνονται τὰ τρία σχήματα. ὁμοίως δὲ καὶ ὁ σύνθετος κατηγορικὸς συλλογισμὸς ὑπὸ τὰ τρία σχήματα ἀνάγεται· δύο γάρ εἰσιν αἱ κύριαι αὐτοῦ προτάσεις· αἱ δ’ ἄλλαι προσυλλογισμοὺς ποιοῦσιν, ὡς ἑξῆς δείκνυσιν. καὶ οἱ δι’ ἀδυνάτου δὲ συλλογισμοὶ σύνθετοι ὑποθετικοὶ ὄντες ὑπὸ τὰ τρία σχήματα τελοῦσι· καὶ οἱ ἁπλοῖ δὲ ὑποθετικοί· οἱ μὲν δι’ ἀδυνάτου, ἐπειδὴ δεόνται κατηγορικοῦ συλλογισμοῦ τοῦ τὸ ἀδύνατον δεικνύντος, οἷον τοῦ γεωμετρικοῦ θεωρήματος τοῦ δεικνύντος διὰ κατηγορικοῦ συλλογισμοῦ πῶς, εἰ ἡ διάμετρος τῇ πλευρᾷ σύμμετρος, ὁ αὐτὸς ἀριθμὸς καὶ ἄρτιος καὶ περιττός· οἱ δ’ ἁπλοῖ ὑποθετικοί, ἤτοι οἱ ἐπ’ εὐθείας, ἐπειδὴ δέονται κατηγορικοῦ συλλογισμοῦ τοῦ τὴν πρόσληψιν δεικνύντος· δεῖ γάρ, φησὶν Ἀριστοτέλης, ἐν τοῖς ὑποθετικοῖς συλλογισμοῖς τὸ μὲν συνημμένον ὡμολογῆσθαι πάντως, τὴν δὲ πρόσληψιν ἀμφιβάλλεσθαι. καὶ εὖ γε ἀμφότερα· εἰ γὰρ ἀμφιβάλλοιτο τὸ συνημμένον, ἀμφιβάλλεται καὶ τὸ ὑποθετικοὺς

p. 40b17 Ὅτι μὲν οὖν. ἐπειδὴ δέδεικται ὅτι οἱ ἐν τοῖς τρισὶ σχήμασι συλλογισμοὶ ὑπὸ τὸ πρῶτον σχῆμα ἀνάγονται καὶ τοὺς τοῦ πρώτου καθόλου δύο συλλο γισμοὺς, δείξομεν νῦν ὅτι καὶ πᾶς [κατηγορικὸς] συλλογισμὸς

οὕτως ἔχει, εἰ πρότερον δείξωμεν ὅτι πᾶς κατηγορικὸς συλλογισμὸς ὑπὸ τὰ τρία σχήματα ἀνάγεται, οὐ μόνον δὲ πᾶς κατηγορικὸς συλλογισμὸς οὕτως ἔχει ἀλλὰ καὶ πᾶς ὑποθετικός, οὗ μέρος ὁ δι’ ἀδυνάτου· πᾶς μὲν γὰρ δι’ ἀδυνάτου ὑποθετικός, οὐ πᾶς δὲ ὑποθετικὸς δι’ ἀδυνάτου, ὥσπερ καὶ πᾶς μὲν κατηγορικὸς ἐπ’ εὐθείας, οὐ πᾶς δ’ ἐπ’ εὐθείας κατηγορικός· ἐπ’ εὐθείας γὰρ ἀλλ’ οὐ κατηγορικὸς ὅδε· ἀριθμὸς ἢ ἄρτιος ἢ περιττός ἐστιν· ἀλλὰ μὴν οὐκ ἄρτιος· περιττὸς ἄρα.

p. 40b33 Τὸ δὲ Γ κατὰ μηδενός. ἵνα ᾖ τὸ πρῶτον σχῆμα· τὸ Α κατὰ τοῦ Γ, τὸ Γ κατὰ τοῦ Δ.

p. 40b34 Μηδ’ ἄλλο κατ’ ἐκείνου. ἵνα ᾖ τὸ τρίτον σχῆμα· τὸ Α καὶ Δ κατὰ τοῦ Γ. τὸ δὲ δεύτερον παρῆκεν ὡς διὰ τῶν ἄκρων εἰσφερόμενον.

p. 40b34 Μηδὲ κατὰ τοῦ Α ἕτερον. πάλιν τὸ πρῶτον σχῆμα· τὸ Δ κατὰ τοῦ Α, τὸ Α κατὰ τοῦ Γ.

p. 40b37 Ἐὰν μὲν οὖν ληφθῇ τὸ Α κατ’ ἄλλου ἢ ἄλλο κατὰ τοῦ Α. ὅτι οὐ δεῖ πρὸς μόνον τὸν μείζονα ὅρον συνῆφθαι τὰς προτάσεις.

p. 40b38 Ἢ κατὰ τοῦ Γ ἕτερον. ἵνα ᾖ τὸ τρίτον σχῆμα· τὸ Α 〈καὶ Δ〉 κατὰ τοῦ Γ. πάλιν δὲ μόνῳ τῷ μείζονι συνημμέναι εἰσὶν αἱ προτάσεις.

p. 40b40 Οὐδ’ ὅταν. ὅτι [οὐ] δεῖ ἀμφοτέρων τῶν ἄκρων τοῦ συμπεράσματος ἀπηρτῆσθαι τὰς προτάσεις.

p. 41a18 Ὁ γὰρ αὐτὸς λόγος. ὅτι πᾶς σύνθετος κατηγορικὸς ὑφ’ ἓν τῶν τριῶν σχημάτων ἀνάγεται· δύο γὰρ αὐτοῦ αἱ κύριαι προτάσεις· αἱ δ’ ἄλλαι προσυλλογισμὸν ποιοῦσιν.

p. 41a21 〈Ὅτι μὲν οὖν οἱ δεικτικοί.〉 ὅτι τοὺς ἐπ’ εὐθείας δεικτικοὺς καλεῖ, τοὺς δὲ δι’ ἀδυνάτου κύκλῳ, ἐπειδὴ οἱ μὲν ἐπ’ εὐθείας σύντομοι ὡς αὐτόθεν τὸ προκείμενον δεικνύντες (καὶ γὰρ ἡ εὐθεῖα ἐλαχίστη πασῶν τῶν τὰ αὐτὰ πέρατα ἐχουσῶν, ὅθεν καὶ τὸ εὐθέως ἀπὸ τῆς εὐθείας εἴρηται), οἱ δὲ δι’ ἀδυνάτου πολλὴν ὁδὸν βαδίζουσι τὰ ἀντικείμενα ἀναιροῦντες, ἵνα τὰ προκείμενα εἰσαγάγωσιν, ὅθεν καὶ κύκλον ἐν τῇ συνηθείᾳ φαμὲν ἐπὶ τῶν μακρᾶς ὑποθέσεως δεομένων.

p. 41a24 Τὸ μὲν ψεῦδος περαίνοντες συλλογίζονται. ὅτι ὁ Ἀριστοτέλης τὸν μὲν κατηγορικὸν καὶ συλλογισμὸν ἁπλῶς καλεῖ, τὸν δ’ ὑποθετικὸν συλλογισμὸν τὸ

ὡς οὐδὲ τὸν νεκρὸν ἄνθρωπον μόνον. τὸ ἀδύνατον οὖν, φησίν, τὸ έν τῷ ὑποθετικῷ συλλογισμῷ κατηγορικὸς συλλογισμὸς δείκνυσιν, οἷον ὁ αὐτὸς ἀριθμὸς ἄρτιος ἅμα καὶ περιττός, εἰ ἡ διάμετρος τῇ πλευρᾷ σύμμετρος. τὸ δὲ προκείμενον ὁ ὑποθετικὸς συλλογισμὸς δείκνυσιν· ἐπεὶ γὰρ ἡ διάμετρος τῇ πλευρᾷ σύμμετρος ἤ ἀσύμμετρος καὶ οὐκ ἔστιν σύμμετρος διά τι λῆμμα κατηγορικὸν, ἀσύμμετρον ἄρα. διὸ καὶ ὑποθετικὸς λέγεται ὁ δι’ἀδυνάτου καίπερ καὶ κατηγορικῷ συλλογισμῷ χρώμενος, ἐπειδὴ λῆμμά ἐστιν ὁ κατηγορικός, τό δέ προκείμενον ὁ ὑποθετικὸς δείκνυσιν.

p. 41a30 Ὅτι ἀντίφασιν καλεῖ τὸ ἀντικείμενον μόριον τῷ προκειμένῳ εἰς ἀπόδειξιν.

p. 41a37 Ὡσαύτως δέ. ὅτι οὐ μόνοι τῶν ὑποθετικῶν οἱ δι’ ἀδυνάτου είς τὰ τρία σχήματα ἀνάγονται ἀλλὰ καὶ καθόλου πάντες οἱ ὑποθετικοί· καὶ γὰρ οἱ ἐπ’ εὐθείας ὑποθετικοί· τὰ γὰρ ἀμφιβαλλόμενα ἐν τοῖς ὑποθετικοῖς διὰ κατηγορικοῦ συλλόγισμοῦ δεικνύουσιν, ἵνα μὴ ἐπ’ ἄπειρον προέλθωσιν δι’ὑποθέσεως ἀεὶ δεικνύντες τὰς προπαραλαμβανομένας ὑποθέσεις.

p. 41a39 Ὅτι τὸ παρὰ τοῖς Στωικοῖς λεγόμενον πρόσληψιν ὁ Ἀριστοτέλης μετάληψιν καλεῖ νῦν διὰ τὸ μεταλαμβάνεσθαι ἀπὸ ἀμφιβόλου εἰς ὁμολογούμενον· οὐκέτι γὰρ μετὰ τοῦ εἰ λέγεται ἀλλὰ μετὰ τοῦ ἀλλά. κατὰ πρόσληψιν δὲ καλεῖ ὁ Ἀριστοτέλης  τὴν πρότασιν τὴν ἰσοδυναμοῦσαν συλλογισμῷ τὴν δύο ὅρους ἐνεργείᾳ ἔχουσαν καὶ ἕνα  [δὲ] δυνάμει· καθ’ οὗ ὁ ἄνθρωπος, κατὰ τούτου ζῷον.

Ὅτι δόγματα Ἀριστοτέλους τὸ ἐν τοῖς ὑποθετικοῖς τὸ συννημένον ὡμολογῆσθαι καὶ   τὸ τὴν πρόσληψιν πάντως κατασκευάζεσθαι, καὶ ἄμφω ταῦτα ἐδείξαμεν ἀληθῆ ἐν τῇ θεωρίᾳ.

p. 41a40 Ὅτι οὐ μόνον οἱ ὑποθετικοὶ οἱ μικτοὶ ἐκ κατηγορικοῦ συλλογισμοῦ καὶ ὑποθετικοῦ εἰς τὰ τρία σχήματα ἀνάγονται διὰ μέσου τοῦ κατηγορικοῦ ἀλλὰ καὶ οἱ δι’  ὅλου ὑποθετικοί· εἰ ἄνθρωπος, καὶ ζῷον· εἰ ζῷον, ἔμψυχον· εἰ ἄνθρωπος ἄρα, ἔμψυχον.    καὶ οἱ κατὰ πρόσληψιν δὲ συλλογισμοὶ 

εἰς τὰ τρία σχήματα ἀνάγονται· καθ’ οὗ τὸ Α, καὶ τὸ Β· τρίτον γάρ ἐστιν σχῆμα. καὶ οὐδὲ διὰ μέσου ἄλλου εἰς τὰ τρία σχήματα τελοῦσιν οἱ δ’ ὅλου ὑποθετικοὶ καὶ οἱ κατὰ πρόσληψιν, καθάπερ πάντες οἱ μικτοὶ ὑποθετικοὶ, ἀλλὰ διὰ τὴν πλοκὴν τὴν οἰκείαν. πᾶσα ἄρα κατασκευὴ ὑπὸ τὰ τρία σχήματα  ἀνάγεται· τοῦτο δὲ ἦν τὸ προκείμενον.

ΠΕΡΙ ΥΠΟΘΕΤΙΚΩΝ ΣΥΛΛΟΓΙΣΜΩΝ ΕΚ ΤΟΥ ΜΟΝΟΒΙΒΛΟΥ ΑΜΜΩΝΙΟΥ.

Ἐπειδὴ τοὺς μὲν κατηγορικοὺς συλλογισμοὺς ἀνελλειπῶς ὁ Ἀριστοτέλης ἐλεπτούργησε, τοὺς ἁπλοῦς πάντας, τοὺς μικτοὺς πάντας, τὰ σχήματα πάντα, τοὺς τρόπους  πάντας, τῆς δὲ τῶν ὑποθετικῶν τεχνολογίας οὐ πάνυ φαίνεται φροντίσας (μόνον γάρ  φησιν περὶ αὐτῶν ὅτι οἱ δ’ ἀδυνάτου μέρος τῶν ἐξ ὑποθέσεως καὶ ὅτι καὶ οἱ δ’  ἀδυνάτου καὶ οἱ ἐπ’εὐθείας ὑποθετικοὶ εἰς τὰ τρία σχήματα ἀνάγονται τῷ δεῖσθαι  κατηγορικοῦ συλλογισμοῦ ἤ τὸ ψεύδος κατασκευάζοντος ἤ τὴν πρόσληψιν) καὶ ἡμῖν   παρακελεύεται ἐν τῷ πέρατι τοῦ δευτέρου τμήματος τοῦ βιβλίου τοῦτου διελεῖν τοὺς ὑποθετικοὺς λέγων ‟δεῖ δ’ ἐπισκέψασθαι καὶ διελεῖν ποσαχῶς οἱ ἐξ ὑποθέσεως”,φέρε  τὸ προσταχθὲν ποιήσωμεν, καὶ ὀκτὼ ταῦτα περὶ τῶν ὑποθετικῶν ζητήσωμεν ᾱ διὰ 

μετάληψιν αὐτὴν καλεῖ διὰ τὸ μεταλαμβάνεσθαι ἀπὸ ἀμφιβολίας εἰς ἐνέργειαν· οὐκέτι γὰρ μετὰ ἐνδοιαστικοῦ συνδέσμου λέγεται. καὶ ἄμεινον ὁ Ἀριστοτέλης· οὐ γὰρ ἄλλη παρὰ τὰ προκείμενα προστίθεται, ὥσπερ ἐφεξῆς αὐτὸς καλεῖ κατὰ πρόσληψιν πρότασιν καθ’ οὗ ὁ ἄνθρωπος, κατὰ τούτου καὶ ζῷον’· προστίθεται γὰρ ‘ἄνθρωπος δὲ κατὰ Σωκράτους’. ὃ δ’ ἡμεῖς λέγομεν συμπέρασμα, ἐκεῖνοι ἐπιφορὰν καλοῦσι. τοὺς δ’ ὑποθετικοὺς συλλογισμοὺς ἀναποδείκτους καλοῦσι καὶ θέματα. γ̄. τὴν ὁμοιότητα καὶ τὴν ἀνομοιότητα τῶν κατηγορικῶν συλλογισμῶν καὶ τῶν ὑποθετικῶν. ὃ τοίνυν ἐν τοῖς κατηγορικοῖς αἱ δύο προτάσεις, τοῦτο ἐν τοῖς ὑποθετικοῖς τὸ συνημμένον ἢ διεζευγμένον καὶ ἡ πρόσληψις· ὃ δ’ ἐκεῖ ἡ ἐλάττων, τοῦτο νῦν τὸ ἡγούμενον· καὶ ὃ ἡ μείζων, τοῦτο τὸ ἑπόμενον καὶ ἡ πρόσληψις· καὶ ὃ ἐν τοῖς κατηγορικοῖς ὁ μέσος ὅρος, τοῦτο νῦν ὁ σύνδεσμος ὁ ‛εἰ’ τυχὸν ἢ ὁ ‛ἤ ’ καὶ ἁπλῶς ἡ σχέσις· ποτὲ γὰρ καὶ μετοχὴ συνδεῖ, οἷον ἡλίου ὑπὲρ γῆν ὄντος ἡμέρα ἐστίν. διαφέρουσι δέ, ὅτι ἐν μὲν τοῖς κατηγορικοῖς ἄμφω αἱ προτάσεις ὁμολογούμεναι ἦσαν, καὶ ὅτι τρίτον παρὰ ταύτας τὸ συμπέρασμα κατασκευάζεται, νῦν δὲ μία μόνον σαφής, καὶ ἡ ἑτέρα δι’ αὐτῆς κατασκευάζεται. δ̄. πόσα τὰ εἴδη τῶν ὑποθετικῶν συλλογισμῶν; εἰσὶ τοίνυν οὗτοι οἱ ὑπογεγραμμένοι. πρῶτος ὁ ἐξ ἀκολουθίας τῇ θέσει τοῦ ἡγουμένου τὸ ἑπόμενον τιθείς· εἰ ἄνθρωπος, καὶ ζῷον· τὸ δὲ πρῶτον· καὶ τὸ δεύτερον. δεύτερος ὁ ἐξ ἀκολουθίας τῇ ἀναιρέσει τοῦ ἑπομένου τὸ ἡγούμενον ἀναιρῶν· εἰ ἄνθρωπος, καὶ ζῷον· ἀλλὰ μὴν οὐ ζῷον· οὐδὲ ἄνθρωπος. εἰ μὴ ζῷον, οὐδὲ ἄνθρωπος· ἀλλὰ μὴν ἄνθρωπος· ζῷον ἄρα. οὗτος δὲ καὶ σὺν ἀντιθέσει ἀντιστροφὴ λέγεται. τρίτος ὁ ἐκ διαστάσεως καὶ ἀποφατικῆς συμπλοκῆς τῇ θέσει ἀναιρῶν· οὐχὶ καὶ ἄνθρωπος καὶ ἵππος τὸ αὐτό· ἀλλὰ μὴν ἄνθρωπος· οὐκ ἄρα ἵππος. τέταρτος ὁ ἐκ διαστάσεως τῇ θέσει ἀναιρῶν· ἤτοι ἡμέρα ἐστὶν ἢ νύξ· ἀλλὰ μὴν ἡμέρα ἐστίν· οὐκ ἄρα νύξ.

πέμπτος ὁ ἐκ διαστάσεως τῇ ἀναιρέσει τιθείς· ἤτοι ἡμέρα ἐστὶν ἢ νύξ· ἀλλὰ μὴν ἡμέρα οὐκ ἔστιν· νὺξ ἄρα ἐστίν. πέντε δὲ μόνοι εἰσὶν δι’ αἰτίαν τοιαύτην, ὅτι δύο μὲν ὗλαι ἕνα συλλογισμὸν ποιοῦσιν· εἴτε γὰρ μὴ ἀντίκεινται αἱ προτάσεις, εἴτε ἐμμέσως ἀντίκεινται, ὁ τρίτος συλλογισμὸς γίνεται· μία δὲ ὕλη, τὰ ἄμεσα ἀντικείμενα, δύο ποιεῖ συλλογισμοὺς, τὸν τέταρτον καὶ τὸν πέμπτον.

διὸ καὶ ὑποθετικὸς λέγεται καίπερ καὶ κατηγορικὸν συλλογισμὸν ἔχων μέρος, ὡς τοῦ προκειμένου διὰ τοῦ πέμπτου τρόπου τῶν ὑποθετικῶν δεικνυμένου, τοῦ δὲ κατηγορικοῦ λήμματος ὄντος. οἷον ἡ διάμετρος τοῦ τετραγώνου τῇ πλευρᾷ ἢ σύμμετρος ἢ ἀσύμμετρος· ἀλλὰ μὴν οὐ σύμμετρος, ὡς δείξω· διὰ τὸν πέμπτον ἄρα τῶν ὑποθετικῶν ἀσύμμετρός ἐστιν, ὅπερ προέκειτο δεῖξαι. οὐ σύμμετρος δὲ ἡ διάμετρος τῇ πλευρᾷ διὰ ταῦτα· εἰ σύμμετρος ἡ διάμετρος τῇ πλευρᾷ, ὁ αὐτὸς ἀριθμὸς καὶ ἄρτιος καὶ περιττός, ὡς δείξω· τὸ δὲ δεύτερον οὐκ ἔστιν· διὰ τὸν δεύτερον ἄρα τῶν ὑποθετικῶν οὐδὲ τὸ πρῶτόν ἐστιν. ὅτι δέ, εἰ σύμμετρος ἡ διάμετρος τῇ πλευρᾷ, ὁ αὐτὸς ἄρτιος γίνεται καὶ περιττός, τὸ γεωμετρικὸν θεώρημα δείκνυσι διὰ κατηγορικοῦ συλλογισμοῦ. μέρος ἄρα οἱ δι’ ἀδυνάτου τῶν ἐξ ὑποθέσεως, εἰ πᾶς μὲν δι’ ἀδυνάτου ὑποθετικός, οὐ πᾶς δ’ ὑποθετικὸς δι’ ἀδυνάτου· οὐ γὰρ δὴ καὶ οἱ πέντε τρόποι ἐπ’ εὐθείας ὄντες. λέγεται δ’ ὁ δι’ ἀδυνάτου καὶ κύκλῳ ὡς μὴ τὸ προκείμενον αὐτόθεν δεικνύς· ὁ γὰρ τοῦ προκειμένου συλλογισμὸς ἐπ’ εὐθείας λέγεται, ἐπειδὴ καὶ ἡ εὐθεῖα ἐλαχίστη τῶν τὰ αὐτὰ πέρατα ἐχουσῶν.

ΠΕΡΙ ΤΩΝ ΚΑΤΑ ΠΡΟΣΛΗΨΙΝ ΣΥΛΛΟΓΙΣΜΩΝ.

Οὗτοι τοίνυν τῶν μὲν κατηγορικῶν ἔχουσι τὸ ἐν πᾶσι τοῖς σχήμασιν εἶναι· ἐν μὲν τῷ πρώτῳ ὃ τῷ Γ παντί, τούτῳ τὸ Α παντί· ἐν δὲ τῷ δευτέρῳ ὃ κατὰ τοῦ Β παντός, τοῦτο καὶ κατὰ τοῦ Γ παντός· ἐν δὲ τῷ τρίτῳ καθ’ οὗ τὸ Α παντός, κατὰ τούτου καὶ τὸ Β· ἀλλὰ συνάγεται νῦν καὶ ἐν δευτέρῳ καταφατικὸν καὶ ἐν τρίτῳ καθόλου, καὶ ἐκ δύο ἀποφατικῶν ἐν πᾶσι, καὶ τῷ ὑπάρχειν ἡ ἀνυπαρξία συνάγεται. τῶν δὲ ὑποθετικῶν ἔχουσι τὸ συνῆφθαι τὰς προτάσεις καὶ τὸ τὴν ἑτέραν διὰ τῆς ἑτέρας κατασκευάζεσθαι· ἀλλ’ οὔτε δι’ ὅλου ὑποθετικοί εἰσιν, οὔτε ὑπὸ τοὺς πέντε τρόπους ἀνάγονται.

Οἱ κατὰ πρόσληψιν κατηγορικοί εἰσιν ὡς γινόμενοι κατὰ τὰ τρία σχήματα. οὐκ εἰσὶν κατηγορικοὶ ὡς μὴ σώζοντες τὰ ἴδια