Analytica priora
Aristotle
Aristotle. Aristotelis Opera, Volume 1. Bekker, Immanuel, editor. Oxford: Oxford University Press, 1837.
Πάλιν δὲ σκεπτέον τί τούτων λέγεται καλῶς καὶ τί οὐ καλῶς, καὶ τί ἐστιν ὁ ὁρισμός, καὶ τοῦ τί ἐστιν ἆρά πως ἔστιν ἀπόδειξις καὶ ὁρισμὸς ἢ οὐδαμῶς. Ἐπεὶ δ᾿ ἐστίν, ὡς ἔφαμεν, ταὐτὸν τὸ εἰδέναι τί ἐστι καὶ τὸ εἰδέναι τὸ αἴτιον τοῦ τί ἐστι· λόγος δὲ τούτου, ὅτι ἔστι τι τὸ αἴτιον· καὶ τοὔτο ἢ τὸ αὐτὸ ἢ ἄλλο, κἂν ᾖ ἄλλο, ἢ ἀποδεικτὸν ἢ ἀναπόδεικτον· εἰ τοίνυν ἐστὶν ἄλλο καὶ ἐνδέχεται ἀποδεῖξαι, ἀνάγκη μέσον εἶναι τὸ αἴτιον καὶ ἐν τῷ σχήματι τῷ πρώτῳ δείκνυσθαι· καθόλου τε γὰρ καὶ κατηγορικὸν τὸ δεικνύμενον.
Οὗτος μὲν οὖν ὁ τρόπος ὅτι οὐκ ἂν εἴη ἀπόδειξις, εἴρηται πρότερον· ἀλλ᾿ ἔστι λογικὸς συλλογισμὸς τοῦ τί ἐστιν. Ὃν δὲ τρόπον ἐνδέχεται, λέγωμεν, εἰπόντες πάλιν ἐξ ἀρχῆς. Ὥσπερ γὰρ τὸ διότι ζητοῦμεν ἔχοντες τὸ ὅτι, ἐνίοτε δὲ καὶ ἅμα δῆλα γίνεται, ἀλλ᾿ οὔτι πρότερόν γε τὸ διότι δυνατὸν γνωρίσαι τοῦ ὅτι, δῆλον ὅτι ὁμοίως καὶ τὸ τί ἦν εἶναι οὐκ ἄνευ τοῦ ὅτι ἐστίν· ἀδύνατον γὰρ εἰδέναι τί ἐστιν, ἀγνοοῦντας εἰ ἔστιν. Τὸ δ᾿ εἰ ἔστιν ὁτὲ μὲν κατὰ συμβεβηκὸς ἔχομεν, ὁτὲ δ᾿ ἔχοντές τι αὐτοῦ τοῦ πράγματος, οἷον βροντήν, ὅτι ψόφος τις νεφῶν, καὶ ἔκλειψιν, ὅτι στέρησίς τις φωτός, καὶ ἄνθρωπον, ὅτι ζῷόν τι, καὶ ψυχήν, ὅτι αὐτὸ αὑτὸ κινοῦν. Ὅσα μὲν οὖν κατὰ συμβεβηκὸς οἴδαμεν ὅτι ἔστιν, ἀναγκαῖον μηδαμῶς ἔχειν πρὸς τὸ τί ἐστιν· οὐδὲ γὰρ ὅτι ἔστιν ἴσμεν· τὸ δὲ ζητεῖν τί ἐστι μὴ ἔχοντας ὅτι ἔστι, μηδὲν ζητεῖν ἐστίν. Καθ᾿ ὅσων δ᾿ ἔχομέν τι, ῥᾷον. Ὥστε ὡς ἔχομεν ὅτι ἔστιν, οὕτως ἔχομεν καὶ πρὸς τὸ τί ἐστιν. Ὧν οὖν ἔχομέν τι τοῦ τί ἐστιν, ἔστω πρῶτον μὲν ὧδε· ἔκλειψις ἐφ᾿ οὗ τὸ Α, σελήνη ἐφ᾿ οὗ Γ, ἀντίφραξις γῆς ἐφ᾿ οὗ Β. Τὸ μὲν οὖν πότερον ἐκλείπει ἢ οὔ, τὸ Β ζητεῖν ἐστίν, ἆρ᾿ ἔστιν ἢ οὔ. Τοῦτο δ᾿ οὐδὲν διαφέρει ζητεῖν ἢ εἰ ἔστι λόγος αὐτοῦ. Καὶ ἐὰν ᾖ τοῦτο, κἀκεῖνό φαμεν εἶναι. Ἢ ποτέρας τῆς ἀντιφάσεώς ἐστιν ὁ λόγος, πότερον τοῦ ἔχειν δύο ὀρθὰς ἢ τοῦ μὴ ἔχειν. Ὅταν δ᾿ εὕρωμεν, ἅμα τὸ ὅτι καὶ τὸ διότι ἴσμεν, ἂν διὰ μέσων ᾖ. Εἰ δὲ μή, τὸ ὅτι, τὸ διότι δ᾿ οὔ. Σελήνη Γ, ἔκλειψις Α, τὸ πασσελήνου σκιὰν μὴ δύνασθαι ποιεῖν μηδενὸς ἡμῶν μεταξὺ ὄντος φανεροῦ, ἐφ᾿ οὗ
Ὡς μὲν τοίνυν λαμβάνεται τὸ τί ἐστι καὶ γίνεται γνώριμον, εἴρηται, ὥστε συλλογισμὸς μὲν τοῦ τί ἐστιν οὐ γίνεται οὐδ᾿ ἀπόδειξις, δῆλον μέντοι διὰ συλλογισμοῦ καὶ δι᾿ ἀποδείξεως· ὥστ᾿ οὔτ᾿ ἄνευ ἀποδείξεως ἔστι γνῶναι τὸ τί ἐστιν, οὗ ἐστιν αἴτιον ἄλλο, οὔτ᾿ ἔστιν ἀπόδειξις αὐτοῦ, ὥσπερ καὶ ἐν τοῖς διαπορήμασιν εἴπομεν.
Ἔστι δὲ τῶν μὲν ἕτερόν τι αἴτιον, τῶν δ᾿ οὐκ ἔστιν. Ὥστε δῆλον ὅτι καὶ τῶν τί ἐστι τὰ μὲν ἄμεσα καὶ ἀρχαί εἰσιν, ἃ καὶ εἶναι καὶ τί ἐστιν ὑποθέσθαι δεῖ ἢ ἄλλον τρόπον φανερὰ ποιῆσαι. Ὅπερ ὁ ἀριθμητικὸς ποιεῖ· καὶ γὰρ τί ἐστι τὴν μονάδα ὑποτίθεται, καὶ ὅτι ἔστιν. Τῶν δ᾿ ἐχόντων μέσον, καὶ ὧν ἐστί τι ἕτερον αἴτιον τῆς οὐσίας, ἔστι δι᾿ ἀποδείξεως, ὥσπερ εἴπομεν, δηλῶσαι, μὴ τὸ τί ἐστιν ἀποδεικνύντας.
Ὁρισμὸς δ᾿ ἐπειδὴ λέγεται εἶναι λόγος τοῦ τί ἐστι, φανερὸν ὅτι ὁ μέν τις ἔσται λόγος τοῦ τί σημαίνει τὸ ὄνομα ἢ
Εἷς μὲν δὴ ὅρος ἐστὶν ὅρου ὁ εἰρημένος, ἄλλος δ᾿ ἐστὶν ὅρος λόγος ὁ δηλῶν διὰ τί ἐστιν. Ὥστε ὁ μὲν πρότερος σημαίνει μέν, δείκνυσι δ᾿ οὔ, ὁ δ᾿ ὕστερος φανερὸν ὅτι ἔσται οἷον ἀπόδειξις τοῦ τί ἐστι, τῇ θέσει διαφέρων τῆς ἀποδείξεως. Διαφέρει γὰρ εἰπεῖν διὰ τί βροντᾷ καὶ τί ἐστι βροντή· ἐρεῖ γὰρ οὕτω μὲν διότι ἀποσβέννυται τὸ πῦρ ἐν τοῖς νέφεσι· τί δ᾿ ἐστὶ βροντή; ψόφος ἀποσβεννυμένου πυρὸς ἐν νέφεσιν. Ὥστε ὁ αὐτὸς λόγος ἄλλον τρόπον λέγεται, καὶ ὡδὶ μὲν ἀπόδειξις συνεχής, ὡδὶ δὲ ὁρισμός. Ἔτι ἐστὶν ὅρος βροντῆς ψόφος ἐν νέφεσι· τοῦτο δ᾿ ἐστὶ τῆς τοῦ τί ἐστιν ἀποδείξεως συμπέρασμα. Ὁ δὲ τῶν ἀμέσων ὁρισμὸς θέσις ἐστὶ τοῦ τί ἐστιν ἀναπόδεικτος.
Ἔστιν ἄρα ὁρισμὸς εἷς μὲν λόγος τοῦ τί ἐστιν ἀναπόδεικτος, εἷς δὲ συλλογισμὸς τοῦ τί ἐστι, πτώσει διαφέρων τῆς ἀποδείξεως, τρίτος δὲ τῆς τοῦ τί ἐστιν ἀποδείξεως συμπέρασμα. Φανερὸν οὖν ἐκ τῶν εἰρημένων καὶ πῶς ἔστι τοῦ τί ἐστιν ἀπόδειξις καὶ πῶς οὐκ ἔστι, καὶ τίνων ἔστι καὶ τίνων οὐκ ἔστιν, ἔτι δ᾿ ὁρισμὸς ποσαχῶς τε λέγεται καὶ πῶς τὸ τί ἐστι δείκνυσι καὶ πῶς οὔ, καὶ τίνων ἐστὶ καὶ τίνων οὔ, ἔτι δὲ πρὸς ἀπόδειξιν πῶς ἔχει, καὶ πῶς ἐνδέχεται τοῦ αὐτοῦ εἶναι καὶ πῶς οὐκ ἐνδέχεται.
Ἐπεὶ δὲ ἐπίστασθαι οἰόμεθα ὅταν εἰδῶμεν τὴν αἰτίαν, αἰτίαι δὲ τέτταρες, μία μὲν τὸ τί ἦν εἶναι, μία δὲ τὸ τίνων
Ἐνδέχεται δὲ τὸ αὐτὸ καὶ ἕνεκά τινος εἶναι καὶ ἐξ ἀνάγκης, οἷον διὰ τοῦ λαμπτῆρος τὸ φῶς· καὶ γὰρ ἐξ ἀνάγκης διέρχεται τὸ μικρομερέστερον διὰ τῶν μειζόνων πόρων, εἴπερ φῶς γίνεται τῷ διιέναι, καὶ ἕνεκά τινος, ὅπως μὴ πταίωμεν. Ἂρ᾿ οὖν εἰ εἶναι ἐνδέχεται, καὶ γίνεσθαι ἐνδέχεται; ὥσπερ εἰ βροντᾷ ἀποσβεννυμένου τε τοῦ πυρὸς ἀνάγκη σίζειν καὶ ψοφεῖν, καὶ εἰ ὡς οἱ Πυθαγόρειοί φασιν ἀπειλῆς ἕνεκα τοῖς ἐν τῷ ταρτάρῳ, ὅπως φοβῶνται. Πλεῖστα δὲ τοιαῦτ᾿ ἐστί, καὶ μάλιστα ἐν τοῖς κατὰ φύσιν συνισταμένοις καὶ συνεστῶσιν· ἡ μὲν γὰρ ἕνεκά του ποιεῖ φύσις, ἡ δ᾿ ἐξ ἀνάγκης. Ἡ δ᾿ ἀνάγκη διττή· ἡ μὲν γὰρ κατὰ φύσιν καὶ τὴν ὁρμήν, ἡ δὲ βίᾳ ἡ παρὰ τὴν ὁρμήν, ὥσπερ λίθος ἐξ ἀνάγκης καὶ ἄνω καὶ κάτω φέρεται, ἀλλ᾿ οὐ διὰ τὴν αὐτὴν ἀνάγκην. Ἐν δὲ τοῖς ἀπὸ διανοίας τὰ μὲν οὐδέποτε ἀπὸ τοῦ αὐτομάτου ὑπάρχει, οἷον οἰκία ἢ ἀνδριάς, οὐδ᾿ ἐξ ἀνάγκης, ἀλλ᾿ ἕνεκά του, τὰ δὲ καὶ ἀπὸ τύχης, οἷον ὑγίεια καὶ