Analytica priora

ἐκ τῶν εἰρημένων· πῶς δʼ ἀνάξομεν τοὺς συλλογισμούς εἰς [*](47a) τὰ προειρημένα σχήματα, λεκτέον ἂν εἴη μετὰ ταῦτα· λοιπὸν γάρ ἔτι τοῦτο τῆς σκέψεως. εἰ γάρ τήν τε γένεσιν τῶν συλλογισμῶν θεωροῖμεν καὶ τοῦ εὑρίσκειν ἔχοιμεν δύναμιν, ἔτι δὲ τοὺς γεγενημένους ἀναλύοιμεν εἰς τὰ προειρημένα σχήματα, τέλος αν ἔχοι ἡ ἐξ ἀρχῆς πρόθεσις. συμβήσεται δʼ ἅμα καὶ τὰ πρότερον εἰρημένα ἐπιβεβαιοῦσθαι καὶ φανερώτερα εἶναι ὅτι οὕτως ἔχει, διὰ τῶν νῦν λεχθησομένων· δεῖ γὰρ πᾶν τὸ ἀληθές αὐτὸ ἑαυτῷ ὁμολογούμενον εἶναι πάντῃ.

Πρῶτον μὲν οὖν δεῖ πειρᾶσθαι τὰς δύο προτάσεις ἐκλαμβάνειν τοῦ συλλογισμοῦ (ῥᾷον γὰρ εἰς τὰ μείζω διελεῖν ἢ τὰ ἐλάττω, μείω δὲ τὰ συγκείμενα ἢ ἐξ ὧν),

Ἀπατώμεθα δʼ ἐν τοῖς τοιούτοις διὰ τὸ ἀναγκαῖόν τι συμβαίνειν ἐκ τῶν κειμένων, ὅτι καὶ ὁ συλλογισμὸς ἀναγκαῖόν ἐστιν. ἐπὶ πλέον δὲ τὸ ἀναγκαῖον ἢ ὁ συλλογισμός· ὁ μὲν γὰρ συλλογισμὸς πᾶς ἀναγκαῖον, τὸ δʼ ἀναγκαῖον οὐ πᾶν συλλογισμός. ὥστʼ οὐκ εἴ τι συμβαίνει τεθέντων τινῶν, πειρατέον ἀνάγειν εὐθύς, ἀλλὰ πρῶτον ληπτέον τὰς δύο προτάσεις, εἶθʼ οὕτω διαιρετέον εἰς τοὺς ὅρους, μέσον δὲ θετέον τῶν ὅρων τὸν ἐν ἀμφοτέραις ταῖς προτάσεσι λεγόμενον· ἀνάγκη γὰρ τὸ μέσον ἐν ἀμ- φοτέραις ὑπάρχειν ἐν ἅπασι τοῖς σχήμασιν.

Ἐὰν μὲν οὖν κατηγορῇ καὶ κατηγορῆται τὸ μέσον, ἢ αὐτὸ μὲν κατηγορῇ, [*](47b) ἄλλο δʼ ἐκείνου ἀπαρνῆται, τὸ πρῶτον ἔσται σχῆμα·

Πολλάκις μὲν οὖν ἀπατᾶσθαι συμβαίνει περὶ τοὺς συλλογισμοὺς διὰ τὸ ἀναγκαῖον, ὥσπερ εἴρητας πρότερον, ἐνίοτεδὲ παρὰ τὴν ὁμοιότητα τῆς τῶν ὅρων θέσεως· ὅπερ οὐ χρὴ λανθάνειν ἡμᾶς. οἷον εἰ τὸ Α κατὰ τοῦ Β λέγεται καὶ τὸ Β κατὰ τοῦ δόξειε γὰρ ἂν οὕτως ἐχόντων τῶν ὅρων εἶναι συλλογισμός, οὐ γίνεται δʼ οὔτʼ ἀναγκαῖον οὐδὲν οὔτε συλλογισμός. ἔστω γὰρ ἐφʼ ᾧ Α τὸ ἀεὶ εἶναι, ἐφʼ ᾧ δὲ Β διανοητὸς Ἀριστομένης, τὸ δʼ ἐφ᾿ ᾧ Γ Ἀριστομένης. ἀληθὲς δὴ τὸ. τῷ Β ὑπάρχειν· ἀεὶ γάρ ἐστι διανοητὸς Ἀριστομένης. ἀλλὰ καὶ τὸ Β τῷ Γ ὁ γὰρ Ἀριστομένης ἐστὶ διανοητός Ἀριστομένης. τὸ δʼ τῷ Γ οὐχ ὑπάρχει· φθαρτὸς γάρ ἐστιν ὁ Ἀριστομένης. οὐ γὰρ ἐγίνετο συλλογισμὸς οὕτως ἐχόντων τῶν ὅρων, ἀλλʼ ἔδει καθόλου τὴν Α Β ληφθῆναι πρότασιν. τοῦτο δὲ ψεῦδος, τὸ ἀξιοῦν πάντα τὸν διανοητὸν Ἀριστομένην ἀεὶ εἶναι, φθαρτοῦ ὄντος Ἀριστομένους. πάλιν ἔστω τὸ μὲν ἐφʼ ᾧ Γ Μίκκαλος τὸ δʼ ἐφʼ ᾧ Β μουσικὸς Μίκκαλος, ἐφʼ ᾧ δὲ τὸ Α τὸ φθείρεσθαι αὔριον. ἀληθές δὴ τὸ τοῦ Γ κατηγορεῖν· ὁ γὰρ Μίκκαλός ἐστι μουσικὸς Μίκκαλος ἀλλὰ καὶ τὸ Α τοῦ Β· φθείροιτο γὰρ ἂν αὔριον μουσικὸς Μίκκαλος. τὸ δέ γε Α τοῦ Γ ψεῦδος. τοῦτο δὴ ταὐτόν ἐστι τῷ πρότερον· οὐ γὰρ ἀληθὲς καθόλου, Μίκκαλος μουσικὸς ὅτι φθείρεται αὔριον· τούτου δὲ μὴ ληφθέντος οὐκ ἦν συλλογισμός.

Αὕτη μὲν οὖν ἡ ἀπάτη γίνεται ἐν τῷ παρὰ μικρόν· ὡς γὰρ οὐδὲν διαφέρον εἰπεῖν τόδε τῷδε ὑπάρχειν ἢ τόδε

τῷδε παντὶ ὑπάρχειν, συγχωροῦμεν. πολλάκις δὲ διαψεύδεσθαι συμπεσεῖται παρὰ τὸ μὴ καλῶς ἐκτίθεσθαι τοὺς [*](48a) κατὰ τὴν πρότασιν ὅρους, οἷον εἰ τὸ μὲν εἴη ὑγίεια, τὸ δʼ ἐφʼ ᾧ Β νόσος, ἐφʼ δὲ Γ ἄνθρωπος. ἀληθὲς γὰρ εἰπεῖν ὅτι τὸ οὐδενὶ τῷ ἐνδέχεται ὑπάρχειν (οὐδεμιᾷ γὰρ νόσῳ ὑγίεια ὑπάρχει), καὶ πάλιν ὅτι τὸ Β παντὶ τῷ Γ ὑπάρχει (πᾶς γὰρ ἄνθρωπος δεκτικὸς νόσου). δόξειεν ἂν οὖν συμβαίνειν μηδενὶ ἀνθρώπῳ ἐνδέχεσθαι ὑγίειαν ὑπάρχειν. τούτου δʼ αἴτιον τὸ μὴ καλῶς ἐκκεῖσθαι τοὺς ὅρους κατὰ τὴν λέξιν, ἐπεὶ μεταληφθέντων τῶν κατὰ τὰς ἕξεις οὐκ ἔσται συλλογισμός, οἷον ἀντὶ μὲν τῆς ὑγιείας εἰ τεθείη τὸ ὑγιαῖνον, ἀντὶ δὲ τῆς νόσου τὸ νοσοῦν. οὐ γὰρ ἀληθὲς εἰπεῖν ὡς οὐκ ἐνδέχεται τῷ νοσοῦντι τὸ ὑγιαίνειν ὑπάρξαι. τούτου δὲ μὴ ληφθέντος οὐ γίνεται συλλογισμός, εἰ μὴ τοῦ ἐνδέχεσθαι· τοῦτο δʼ οὐκ ἀδύνατον· ἐνδέχεται γὰρ μηδενὶ ἀνθρώπῳ ὑπάρχειν ὑγίειαν. πάλιν ἐπὶ τοῦ μέσου σχήματος ὁμοίως ἔσται τὸ ψεῦδος· τὴν γὰρ ὑγίειαν νόσῳ μὲν οὐδεμιᾷ ἀνθρώπῳ δὲ παντὶ ἐνδέχεται ὑπάρχειν, ὥστʼ οὐδενὶ ἀνθρώπῳ νόσον. ἐν δὲ τῷ τρίτῳ σχήματι κατὰ τὸ ἐνδέχεσθαι συμβαίνει τὸ ψεῦδος, καὶ γὰρ ὑγίειαν καὶ νόσον καὶ ἐπιστήνην καὶ ἄγνοιαν καὶ ὅλως τὰ ἐναντία τῷ αὐτῷ ἐνδέχεται ὑπάρχειν, ἀλλήλοις δʼ ἀδύνατον. τοῦτο δʼ ἀνομολογούμενον τοῖς προειρημένοις· ὅτε γὰρ τῷ αὐτῷ πλείω ἐνεδέχετο ὑπάρχειν, ἐνεδέχετο καὶ ἀλλήλοις.

Φανερὸν οὖν ὅτι ἐν ἅπασι τούτοις ἡ ἀπάτη γίνεται παρὰ τὴν τῶν ὅρων ἔκθεσιν· μεταληφθέντων γὰρ τῶν κατὰ τὰς ἕξεις οὐδὲν γίνεται ψεῦδος. δῆλον οὖν ὅτι κατὰ τὰς τοιαύτας προτάσεις ἀεὶ τὸ κατὰ τὴν ἕξιν ἀντὶ τῆς ἕξεως μεταληπτέον καὶ θετέον ὅρον.

Οὐ δεῖ δὲ τοὺς ὅρους ἀεὶ ζητεῖν ὀνόματι ἐκτίθεσθαι· πολλάκις γὰρ ἔσονται λόγοι οἷς οὐ κεῖται ὄνομα· διὸ χαλεπὸν ἀνάγειν τοὺς τοιούτους συλλογισμούς. ἐνίοτε δὲ καὶ ἀπατᾶσθαι συμβήσεται διὰ τὴν τοιαύτην ζήτησιν, οἷον ὅτι τῶν

Τὸ δὲ ὑπάρχειν τὸ πρῶτον τῷ μέσῳ καὶ τοῦτο τῷ ἄκρῳ οὐ δεῖ λαμβάνειν ὡς αἰεὶ κατηγορηθησομένων ἀλλήλων [*](48b)ἢ ὁμοίως τό τε πρῶτον τοῦ μέσου καὶ τοῦτο τοῦ ἐσχάτου. καὶ ἐπὶ τοῦ μὴ ὑπάρχειν δʼ ὡσαύτως. ἀλλʼ ὁσαχῶς τὸ εἶναι λέγεται καὶ τὸ ἀληθὲς εἰπεῖν αὐτὸ τοῦτο, τοσαυταχῶς οἴεσθαι χρὴ σημαίνειν καὶ τὸ ὑπάρχειν. οἷον ὅτι τῶν ἐναντίων ἔστι μία ἐπιστήμη. ἔστω γὰρ τὸ τὸ μίανεἶναι ἐπιστήμην, τὰ ἐναντία ἀλλήλοις ἐφʼ οὗ . βτὸ δὴ τῷ Β ὑπάρχει οὐχ ὥστε τὰ ἐναντία τὸ μίαν εἶναι αὐτῶν ἐπιστήμην, ἀλλʼ ὅτι ἀληθές εἰπεῖν κατʼ αὐτῶν μίαν εἶναι αὐτῶν ἐπιστήμην.

Συμβαίνει δʼ ὁτὲ μὲν ἐπὶ τοῦ μέσου τὸ πρῶτον λέγεσθαι, τὸ δὲ μέσον ἐπὶ τοῦ τρίτου μὴ λέγεσθαι, οἷον εἰ ἡ σοφία ἐστὶν ἐπιστήμη, τοῦ δʼ ἀγαθοῦ ἐστὶν ἡ σοφία, συμπέρασμα ὅτι τοῦ ἀγαθοῦ ἔστιν ἐπιστήμη· τὸ μὲν δὴ ἀγαθὸν οὐκ ἔστιν ἐπιστήμη, ἡ δὲ σοφία ἐστὶν ἐπιστήμη. ὁτὲ δὲ τὸ μὲν μέσον ἐπὶ τοῦ τρίτου λέγεται, τὸ δὲ πρῶτον ἐπὶ τοῦ μέσου οὐ λέγεται, οἷον εἰ τοῦ ποιοῦ παντὸς ἔστιν ἐπιστήμη ἢ ἐναντίου, τὸ δʼ ἀγαθὸν καὶ ἐναντίον καὶ ποιόν, συμπέρασμα μὲν ὅτι τοῦ ἀγαθοῦ ἔστιν ἐπιστήμη, οὐκ ἔστι δὲ τὸ ἀγαθὸν ἐπιστήμη οὐδὲ τὸ ποιὸν οὐδὲ τὸ ἐναντίον, ἀλλὰ τὸ ἀγαθὸν ταῦτα. ἔστι δὲ μήτε τὸ πρῶτον κατὰ τοῦ μέσου μήτε τοῦτο κατὰ τοῦ τρίτου, τοῦ πρώτου κατὰ τοῦ τρίτου ὁτὲ μὲν λεγομένου ὁτὲ δὲ μὴ λεγομένου. οἷον εἰ οὗ ἐπιστήμη ἔστιν, ἕστι τούτου γένος, τοῦ δʼ ἀγαθοῦ ἔστιν ἐπιστήμη, συμπέρασμα ὅτι τοῦ ἀγαθοῦ ἔστι γένος· κατηγορεῖται δʼ οὐδὲν κατʼ οὐδενός. εἰ δʼ οὗ ἔστιν ἐπιστήμη, γένος ἐστὶ τοῦτο, τοῦ δʼ ἀγαθοῦ ἔστιν ἐπιστήμη, συμπέρασμα

Τὸν αὐτὸν δὴ τρόπον καὶ ἐπὶ τοῦ μὴ ὑπάρχειν ληπτέον. οὐ γὰρ ἀεὶ σημαίνει τὸ μὴ ὑπάρχειν τόδε τῷδε μὴ εἶναι τόδε τόδε, ἀλλʼ ἐνίοτε τὸ μὴ εἶναι τόδε τοῦδε ἢ τόδε τῷδε, οἷον ὅτι οὐκ ἔστι κινήσεως κίνησις ἢ γενέσεως γένεσις, ἡδονῆς δʼ ἔστιν· οὐκ ἄρα ἡ ἡδονὴ γένεσις. ἢ πάλιν ὅτι γέλωτος μὲν ἔστι σημεῖον, σημείου δʼ οὐκ ἕστι σημεῖον, ὥστʼ οὐ σημεῖον ὁ γέλως. ὁμοίως δὲ κἀν τοῖς ἄλλοις ἐν ὅσοις ἀναιρεῖται τὸ πρόβλημα τῷ λέγεσθαί πως πρὸς αὐτὸ τὸ γένος. πάλιν ὅτι ὁ καιρὸς οὐκ ἔστι χρόνος δέων· θεῷ γὰρ καιρὸς μὲν ἔστι, χρόνος δʼ οὐκ ἔστι δέων διὰ τὸ μηδὲν εἶναι θεῷ ὠφέλιμον. ὅρους μὲν γὰρ θετέον καιρὸν καὶ χρόνον δέοντα καὶ θεόν, τὴν δὲ πρότασιν λτηπτέον κατὰ τὴν τοῦ ὀνόματος πτῶσιν. ἁπλῶς γὰρ τοῦτο λέγομεν κατὰ πάντων, ὅτι τοὺς μὲν ὅρους ἀεὶ θετέον κατὰ τὰς κλήσεις τῶν ὀνομάτων, οἷον ἄνθρωπος ἢ ἀγαθόν ἢ ἐναντία, οὐκ ἀνθρώπου ἢ ἀγαθοῦ ἢ ἐναντίων, τὰς δὲ προτάσεις [*](49a) ληπτέον κατὰ τὰς ἑκάστου πτώσεις· ἢ γὰρ ὅτι τούτῳ, οἷον τὸ ἴσον, ἢ ὅτι τούτου, οἷον τὸ διπλάσιον, ἢ ὅτι τοῦτο, οἷον τὸ τύπτον ἢ ὁρῶν, ἢ ὅτι οὗτος, οἷον ὁ ἄνθρωπος ζῶον, ἢ εἴ πως ἄλλως πίπτει τοὔνομα κατὰ τὴν πρότασιν.

Τὸ δʼ ὑπάρχειν τόδε τῷδε καὶ τὸ ἀληθεύεσθαι τόδε κατὰ τοῦδε τοσαυταχῶς ληπτέον ὁσαχῶς αἱ κατηγορίαι διῄρηνται, καὶ ταύτας ἢ πῇ ἢ ἁπλῶς, ἔτι ἢ ἀπλᾶς ἢ συμπεπλεγμένας· ὁμοίως δὲ καὶ τὸ μὴ ὑπάρχειν. ἐπισκεπτέον δὲ ταῦτα καὶ διοριστέον βέλτιον.

Τὸ δʼ ἐπαναδιπλούμενον ἐν ταῖς προτάσεσι πρὸς τῷ πρώτῳ ἄκρῳ θετέον, οὐ πρὸς τῷ μέσῳ. λέγω δʼ οἷον εἰ γένοιτο συλλογισμός ὅτι τῆς δικαιοσύνης ἔστιν ἐπιστήμη ὅτι ἀγαθόν, τὸ ὅτι ἀγαθόν ἢ ἀγαθόν πρὸς τῷ πρώτῳ θετέον. ἔστω γὰρ τὸ Α ἐπιστήμη ὅτι ἀγαθόν, ἐφʼ δὲ Β ἀγαθόν, ἐφʼ ᾧ δὲ Γ δικαιοσύνη. τὸ δὴ ἀληθὲς τοῦ Β κατηγορῆσαι· τοῦ γὰρ ἀγαθοῦ ἔστιν ἐπιστήμη ὅτι ἀγαθόν. ἀλλὰ καὶ τὸ Β τοῦ Γ· ἡ γὰρ δικαιοσύνη ὅπερ ἀγαθόν. οὕτω μὲν οὖν γίνεται

Οὐχ ἡ αὐτὴ δὲ θέσις τῶν ὅρων ὅταν ἁπλῶς τι συλλογισθῇ καὶ ὅταν τόδε τι ἢ πῇ ἢ πώς, λέγω δʼ οἷον ὅταν τἀγαθὸν ἐπιστητὸν δειχθῇ καὶ ὅταν ἐπιστητὸν ὅτι ἀγαθόν· ἀλλʼ εἰ μὲν ἁπλῶς ἐπιστητὸν δέδεικται, μέσον θετέον τὸ ὄν, εἰ δʼ ὅτι ἀγαθόν, τὸ τὶ ὄν. ἔστω γὰρ τὸ μὲν Α ἐπιστήμη ὅτι τὶ ὄν, ἐφʼ δὲ Β ὄν τι, τὸ δʼ ἐφ᾿ ᾧ Γ ἀγαθόν. ἀληθὲς δὴ τὸ Α τοῦ Β κατηγορεῖν· ἦν γὰρ ἐπιστήμη τοῦ τινὸς ὄντος ὅτι τὶ ὄν. ἀλλὰ καὶ τὸ Β τοὐ Γ· τὸ γὰρ ἐφʼ ᾧ Γ ὄν τι. ὥστε καὶ τὸ τοῦ ἔσται ἄρα ἐπιστήμη τἀγαθοῦ ὅτι ἀγαθόν· ἦν γὰρ τὸ τὶ ὂν τῆς ἰδίου σημεῖον οὐσίας. εἰ δὲ τὸ ὂν μέσον ἐτέθη καὶ πρὸς τῷ ἄκρῳ τὸ ὂν ἁπλῶς καὶ μὴ τὸ τὶ ὂν ἐλέχθη, οὐκ ἂν ἦν συλλογισμός ὅτι ἔστιν ἐπιστήμη τἀγαθοῦ ὅτι ἀγαθόν, ἀλλʼ ὅτι ὄν, οἷον ἐφʼ ᾧ τὸ Α ἐπιστήμη [*](49b) ὅτι ὄν, ἐφʼ ᾧ Β ὄν, ἐφʼ ᾧ Γ ἀγαθόν. φανερὸν οὖν ὅτι ἐν τοῖς ἐν μέρει συλλογισμοῖς οὕτως ληπτέον τοὺς ὅρους.