Analytica Posteriora (Posterior Analytics)
Πῶς μὲν οὖν τὸ τί ἐστιν εἰς τοὺς ὅρους ἀποδίδοται, καὶ τίνα τρόπον ἀπόδειξις ἢ ὁρισμὸς ἔστιν αὐτοῦ ἢ οὐκ ἔστιν, εἴρηται πρότερον· πῶς δὲ δεῖ θηρεύειν τὰ ἐν τῷ τί ἐστι κατηγορούμενα, νῦν λέγωμεν.
Τῶν δὴ ὑπαρχόντων ἀεὶ ἑκάστῳ ἔνια ἐπεκτείνει ἐπὶ πλέον, οὐ μέντοι ἔξω τοῦ γένους. Λέγω δὲ ἐπὶ πλέον ὑπάρχειν, ὅσα ὑπάρχει μὲν ἑκάστῳ καθόλου οὐ μὴν ἀλλὰ καὶ ἄλλῳ. Οἷον ἔστι τι ὃ πάσῃ τριάδι ὑπάρχει, ἀλλὰ καὶ μὴ τριάδι, ὥσπερ τὸ ὂν ὑπάρχει τῇ τριάδι, ἀλλὰ καὶ μὴ ἀριθμῷ. Ἀλλὰ καὶ τὸ περιττὸν ὑπάρχει τε πάσῃ τριάδι καὶ ἐπὶ πλέον ὑπάρχει· καὶ γὰρ τῇ πεντάδι ὑπάρχει. Ἀλλ᾿ οὐκ ἔξω τοῦ γένους· ἡ μὲν γὰρ πεντὰς ἀριθμός, οὐδὲν δὲ ἔξω ἀριθμοῦ περιττόν. Τὰ δὴ τοιαῦτα ληπτέον μέχρι τούτου, ἕως τοσαῦτα ληφθῇ πρῶτον, ὧν ἕκαστον μὲν ἐπὶ πλεῖον ὑπάρξει, ἅπαντα δὲ μὴ ἐπὶ πλέον· ταύτην γὰρ ἀνάγκη οὐσίαν εἶναι τοῦ πράγματος. Οἶον τριάδι ὑπάρχει πάσῃ ἀριθμός, τὸ περιττόν, τὸ πρῶτον ἀμφοτέρως, καὶ ὡς μὴ μετρεῖσθαι ἀριθμῷ καὶ ὡς μὴ συγκεῖσθαι ἐξ ἀριθμῶν. Τοῦτο τοίνυν ἤδη ἐστὶν ἡ τριάς, ἀριθμὸς περιττὸς πρῶτος καὶ ὡδὶ πρῶτος. Τούτων γὰρ ἕκαστον, τὰ μὲν καὶ τοῖς περιττοῖς πᾶσιν ὑπάρχει, τὸ δὲ τελευταῖον καὶ τῇ δυάδι, πάντα δὲ οὐδενί. Ἐπεὶ δὲ δεδήλωται ἡμῖν ἐν τοῖς ἄνω ὅτι ἀναγκαῖα μέν ἐστι τὰ ἐν τῷ τί ἐστι κατηγορούμενα, τὰ καθόλου δὲ ἀναγκαῖα, τῇ δὲ τριάδι καὶ ἐφ᾿ οὗ ἄλλου οὕτω λαμβάνεται ἐν τῷ τί ἐστι τὰ λαμβανόμενα, οὕτως ἐξ ἀνάγκης μὲν ἂν εἴη τριὰς ταῦτα. Ὅτι δ᾿ οὐσία, ἐκ τῶνδε δῆλον. Ἀνάγκη γάρ, εἰ μὴ τοῦτο ἦν τριάδι εἶναι, οἷον γένος τι εἶναι τοῦτο, ἢ ὠνομασμένον ἢ ἀνώνυμον. Ἔσται τοίνυν ἐπὶ πλεῖον ἢ τῇ τριάδι ὑπάρχον. Ὑποκείσθω γὰρ τοιοῦτον εἶναι τὸ γένος, ὥστε ὑπάρχειν κατὰ δύναμιν ἐπὶ πλεῖον. Εἰ τοίνυν μηδενὶ ὑπάρχει ἄλλῳ ἢ ταῖς ἀτόμοις τριάσι, τοῦτ᾿ ἂν εἴη τὸ τριάδι εἶναι. Ὑποκείσθω γὰρ καὶ τοῦτο, ἡ οὐσία ἡ ἑκάστου εἶναι ἡ ἐπὶ ταῖς ἀτόμοις ἔσχατος τοιαύτη κατηγορία. Ὥστε ὁμοίως καὶ ἄλλῳ ὁτῳοῦν τῶν οὕτω δειχθέντων τὸ αὐτῷ εἶναι ἔσται.
Χρὴ δέ, ὅταν ὅλον τι πραγματεύηταί τις, διελεῖν τὸ γένος εἰς τὰ ἄτομα τῷ εἴδει τὰ πρῶτα, οἷον ἀριθμὸν εἰς τριάδα καὶ δυάδα, εἶθ᾿ οὕτως ἐκείνων ὁρισμοὺς πειρᾶσθαι λαμβάνειν, οἷον εὐθείας γραμμῆς καὶ κύκλου καὶ ὀρθῆς γωνίας, μετὰ δὲ τοῦτο λαβόντα τί τὸ γένος, οἷον πότερον τῶν ποσῶν ἢ τῶν ποιῶν, τὰ ἴδια πάθη θεωρεῖν διὰ τῶν κοινῶν πρώτων. Τοῖς γὰρ συντιθεμένοις ἐκ τῶν ἀτόμων τὰ συμβαίνοντα ἐκ τῶν ὁρισμῶν ἔσται δῆλα, διὰ τὸ ἀρχὴν εἶναι πάντων τὸν ὁρισμὸν καὶ τὸ ἁπλοῦν καὶ τοῖς ἁπλοῖς καθ᾿ αὑτὰ ὑπάρχειν τὰ συμβαίνοντα μόνοις, τοῖς δ᾿ ἄλλοις κατ᾿ ἐκεῖνα. Αἱ δὲ διαιρέσεις αἱ κατὰ τὰς διαφορὰς χρήσιμαί εἰσιν εἰς τὸ οὕτω μετιέναι. Ὡς μέντοι δεικνύουσιν, εἴρηται ἐν τοῖς πρότερον. Χρήσιμοι δ᾿ ἂν εἶεν ὧδε μόνον πρὸς τὸ συλλογίζεσθαι τὸ τί ἐστιν. Καίτοι δόξειέν γ᾿ ἂν οὐδέν, ἀλλ᾿ εὐθὺς λαμβάνειν ἅπαντα, ὥσπερ ἂν εἰ ἐξ ἀρχῆς ἐλάμβανέ τις ἄνευ τῆς διαιρέσεως. Διαφέρει δέ τι τὸ πρῶτον καὶ ὕστερον τῶν κατηγορουμένων κατηγορεῖσθαι, οἷον εἰπεῖν ζῷον ἥμερον δίπουν ἢ δίπουν ζῷον ἥμερον. Εἰ γὰρ ἅπαν ἐκ δύο ἐστί, καὶ ἕν τι τὸ ζῷον ἥμερον, καὶ πάλιν ἐκ τούτου καὶ τῆς διαφορᾶς ὁ ἄνθρωπος ἢ ὅ τι δήποτ᾿ ἐστὶ τὸ ἓν γινόμενον, ἀναγκαῖον διελόμενον αἰτεῖσθαι. Ἔτι πρὸς τὸ μηδὲν παραλιπεῖν ἐν τῷ τί ἐστιν οὕτω μόνως ἐνδέχεται. Ὅταν γὰρ τὸ πρῶτον ληφθῇ γένος, ἂν μὲν τῶν κάτωθέν τινα διαιρέσεων λαμβάνῃ, οὐκ ἐμπεσεῖται ἅπαν εἰς τοῦτο, οἷον οὐ πᾶν ζῷον ἢ ὁλόπτερον ἢ σχιζόπτερον, ἀλλὰ πτηνὸν ζῷον ἅπαν· τούτου γὰρ διαφορὰ αὕτη. Πρώτη δὲ διαφορά ἐστι ζῴου, εἰς ἣν ἅπαν ζῷον ἐμπίπτει. Ὁμοίως δὲ καὶ τῶν ἄλλων ἑκάστου, καὶ τῶν ἔξω γενῶν καὶ τῶν ὑπ᾿ αὐτό, οἷον ὄρνιθος, εἰς ἣν ἅπας ὄρνις, καὶ ἰχθύος, εἰς ἣν ἅπας ἰχθύς. Οὕτω μὲν οὖν βαδίζοντι ἔστιν εἰδέναι ὅτι οὐδὲν παραλέλειπται· ἄλλως δὲ καὶ παραλιπεῖν ἀναγκαῖον καὶ μὴ εἰδέναι. Οὐδὲν δὲ δεῖ τὸν ὁριζόμενον καὶ διαιρούμενον ἅπαντα εἰδέναι τὰ ὄντα. Καί τοι ἀδύνατόν φασί τινες εἶναι τὰς διαφορὰς εἰδέναι τὰς πρὸς ἕκαστον μὴ εἰδότα ἕκαστον· ἄνευ δὲ τῶν διαφορῶν οὐκ εἶναι ἕκαστον εἰδέναι· οὗ γὰρ μὴ διαφέρει, ταὐτὸν εἶναι τούτῳ, οὗ δὲ διαφέρει, ἕτερον τούτου. Πρῶτον μὲν οὖν τοῦτο ψεῦδος· οὐ γὰρ κατὰ πᾶσαν διαφορὰν ἕτερον· πολλαὶ γὰρ διαφοραὶ ὑπάρχουσι τοῖς αὐτοῖς τῷ εἴδει, ἀλλ᾿ οὐ κατ᾿ οὐσίαν οὐδὲ καθ᾿ αὑτά. Εἶτα ὅταν λάβῃ τἀντικείμενα καὶ τὴν διαφορὰν καὶ ὅτι πᾶν ἐμπίπτει ἐνταῦθα ἢ ἐνταῦθα, καὶ λάβῃ ἐν θατέρῳ τὸ ζητούμενον εἶναι, καὶ τοῦτο γινώσκῃ, οὐδὲν διαφέρει εἰδέναι ἢ μὴ εἰδέναι ἐφ᾿ ὅσων κατηγοροῦνται ἄλλων αἱ διαφοραί. Φανερὸν γὰρ ὅτι ἂν οὕτω βαδίζων ἔλθῃ εἰς ταῦτα ὧν μηκέτι ἐστὶ διαφορά, ἕξει τὸν λόγον τῆς οὐσίας. Τὸ δ᾿ ἅπαν ἐμπίπτειν εἰς τὴν διαίρεσιν, ἂν ᾖ ἀντικείμενα ὧν μή ἐστι μεταξύ, οὐκ αἴτημα· ἀνάγκη γὰρ ἅπαν ἐν θατέρῳ αὐτῶν εἶναι, εἴπερ ἐκείνου διαφορὰ ἔσται.
Εἰς δὲ τὸ κατασκευάζειν ὅρον διὰ τῶν διαιρέσεων τριῶν δεῖ στοχάζεσθαι, τοῦ λαβεῖν τὰ κατηγορούμενα ἐν τῷ τί ἐστι, καὶ ταῦτα τάξαι τί πρῶτον ἢ δεύτερον, καὶ ὅτι ταῦτα πάντα. Ἔστι δὲ τούτων ἓν πρῶτον διὰ τοῦ δύνασθαι, ὥσπερ πρὸς συμβεβηκὸς συλλογίσασθαι ὅτι ὑπάρχει, καὶ διὰ τοῦ γένους κατασκευάσαι. Τὸ δὲ τάξαι ὡς δεῖ ἔσται, ἐὰν τὸ πρῶτον λάβῃ. Τοῦτο δ᾿ ἔσται, ἐὰν ληφθῇ ὃ πᾶσιν ἀκολουθεῖ, ἐκείνῳ δὲ μὴ πάντα· ἀνάγκη γὰρ εἶναί τι τοιοῦτον. Ληφθέντος δὲ τούτου ἤδη ἐπὶ τῶν κάτω ὁ αὐτὸς τρόπος· δεύτερον γὰρ τὸ τῶν ἄλλων πρῶτον ἔσται, καὶ τρίτον τὸ τῶν ἐχομένων· ἀφαιρεθέντος γὰρ τοῦ ἄνωθεν τὸ ἐχόμενον τῶν ἄλλων πρῶτον ἔσται. Ὁμοίως δὲ καὶ ἐπὶ τῶν ἄλλων. Ὅτι δ᾿ ἅπαντα ταῦτα, φανερὸν ἐκ τοῦ λαβεῖν τό τε πρῶτον κατὰ διαίρεσιν, ὅτι ἅπαν ἢ τόδε ἢ τόδε ζῷον, ὑπάρχει δὲ τόδε, καὶ πάλιν τούτου ὅλου τὴν διαφοράν· τοῦ δὲ τελευταίου μηκέτι εἶναι διαφοράν, ἢ καὶ εὐθὺς μετὰ τῆς τελευταίας διαφορᾶς τοῦ συνόλου μὴ διαφέρειν εἴδει τοῦτο. Δῆλον γὰρ ὅτι οὔτε πλεῖον πρόσκειται· πάντα γὰρ ἐν τῷ τί ἐστιν εἴληπται τούτων· οὔτε ἀπολείπει οὐδέν· ἢ γὰρ γένος ἢ διαφορὰ ἂν εἴη. Γένος μὲν οὖν τό τε πρῶτον, καὶ μετὰ τῶν διαφορῶν τοῦτο προσλαμβανόμενον. Αἱ διαφοραὶ δὲ πᾶσαι ἔχονται· οὐ γὰρ ἔτι ἐστὶν ὑστέρα· εἴδει γὰρ ἂν διέφερε τὸ τελευταῖον, τοῦτο δ᾿ εἴρηται μὴ διαφέρειν.
Ζητεῖν δὲ δεῖ ἐπιβλέποντα ἐπὶ τὰ ὅμοια καὶ ἀδιάφορα, πρῶτον τί ἅπαντα ταὐτὸν ἔχουσιν, εἶτα πάλιν ἐφ᾿ ἑτέροις, ἃ ἐν ταὐτῷ μὲν γένει ἐκείνοις, εἰσὶ δὲ αὐτοῖς μὲν ταὐτὰ τῷ εἴδει, ἐκείνων δ᾿ ἕτερα. Ὅταν δ᾿ ἐπὶ τούτων ληφθῇ τι πάντα ταὐτόν, καὶ ἐπὶ τῶν ἄλλων ὁμοίως, ἐπὶ τῶν εἰλημμένων πάλιν σκοπεῖν εἰ ταὐτόν, ἕως ἂν εἰς ἕνα ἔλθῃ λόγον· οὗτος γὰρ ἔσται τοῦ πράγματος ὁρισμός. Ἐὰν δὲ μὴ βαδίζῃ εἰς ἕνα ἀλλ᾿ εἰς δύο ἢ πλείω, δῆλον ὅτι οὐκ ἂν εἴη ἕν τι εἶναι τὸ ζητούμενον, ἀλλὰ πλείω. Οἷον λέγω, εἰ τί ἐστι μεγαλοψυχία ζητοῖμεν, σκεπτέον ἐπί τινων μεγαλοψύχων, οὓς ἴσμεν, τί ἔχουσιν ἓν πάντες ᾗ τοιοῦτοι. Οἷον εἰ Ἀλκιβιάδης μεγαλόψυχος ἢ ὁ Ἀχιλλεὺς καὶ ὁ Αἴας, τί ἓν ἅπαντες; τὸ μὴ ἀνέχεσθαι ὑβριζόμενοι· ὁ μὲν γὰρ ἐπολέμησεν, ὁ δ᾿ ἐμήνισεν, ὁ δ᾿ ἀπέκτεινεν ἑαυτόν. Πάλιν ἐφ᾿ ἑτέρων, οἷον Λυσάνδρου ἢ Σωκράτους. Εἰ δὴ τὸ ἀδιάφοροι εἶναι εὐτυχοῦντες καὶ ἀτυχοῦντες, ταῦτα δύο λαβὼν σκοπῶ τί τὸ αὐτὸ ἔχουσιν ἥ τε ἀπάθεια ἡ περὶ τὰς τύχας καὶ ἡ μὴ ὑπομονὴ ἀτιμαζομένων. Εἰ δὲ μηδέν, δύο εἴδη ἂν εἴη τῆς μεγαλοψυχίας.
Αἰεὶ δ᾿ ἐστὶ πᾶς ὅρος καθόλου· οὐ γάρ τινι ὀφθαλμῷ λέγει τὸ ὑγιεινὸν ὁ ἰατρός, ἀλλ᾿ ἢ παντὶ ἢ εἴδει ἀφορίσας. Ῥᾷόν τε τὸ καθ᾿ ἕκαστον ὁρίσασθαι ἢ τὸ καθόλου, διὸ δεῖ ἀπὸ τῶν καθ᾿ ἕκαστα ἐπὶ τὰ καθόλου μεταβαίνειν· καὶ γὰρ αἱ ὁμωνυμίαι λανθάνουσι μᾶλλον ἐν τοῖς καθόλου ἢ ἐν τοῖς ἀδιαφόροις. Ὥσπερ δὲ ἐν ταῖς ἀποδείξεσι δεῖ τό γε συλλογίσασθαι ὑπάρχειν, οὕτω καὶ ἐν τοῖς ὅροις τὸ σαφές. Τοῦτο δ᾿ ἔσται, ἐὰν διὰ τῶν καθ᾿ ἕκαστον εἰρημένων ᾖ τὸ ἐν ἑκάστῳ γένει ὁρίζεσθαι χωρίς, οἷον τὸ ὅμοιον μὴ πᾶν ἀλλὰ τὸ ἐν χρώμασι καὶ σχήμασι, καὶ ὀξὺ τὸ ἐν φωνῇ, καὶ οὕτως ἐπὶ τὸ κοινὸν βαδίζειν, εὐλαβούμενον μὴ ὁμωνυμίᾳ ἐντύχῃ. Εἰ δὲ μὴ διαλέγεσθαι δεῖ μεταφοραῖς, δῆλον ὅτι οὐδ᾿ ὁρίζεσθαι οὔτε μεταφοραῖς οὔτε ὅσα λέγεται μεταφοραῖς· διαλέγεσθαι γὰρ ἀνάγκη ἔσται μεταφοραῖς.