Analytica priora

Ἃ μὲν οὖν ζητοῦμεν καὶ ἃ εὑρόντες ἴσμεν, ταῦτα καὶ τοσαῦτά ἐστιν. Ζητοῦμεν δέ, ὅταν μὲν ζητῶμεν τὸ ὅτι ἢ τὸ εἰ ἔστιν ἁπλῶς, ἆρ᾿ ἔστι μέσον αὐτοῦ ἢ οὐκ ἔστιν· ὅταν δὲ γνόντες ἢ τὸ ὅτι ἢ εἰ ἔστιν ἢ τὸ ἐπὶ μέρους ἢ τὸ ἁπλῶς, πάλιν τὸ διὰ τί ζητῶμεν ἢ τὸ τί ἐστι, τότε ζητοῦμεν τί τὸ μέσον. Λέγω δὲ τὸ ὅτι ἢ εἰ ἔστιν ἐπὶ μέρους καὶ ἁπλῶς, ἐπὶ μέρους μέν, ἆρ᾿ ἐκλείπει ἡ σελήνη ἢ αὔξεται; εἰ γὰρ ἔστι τι ἢ μὴ ἔστι τι, ἐν τοῖς τοιούτοις ζητοῦμεν· ἁπλῶς δ᾿, εἰ ἔστιν ἢ μὴ σελήνη ἢ νύξ. Συμβαίνει ἄρα ἐν ἁπάσαις ταῖς ζητήσεσι ζητεῖν ἢ εἰ ἔστι μέσον ἢ τί ἐστι τὸ μέσον. Τὸ μὲν γὰρ αἴτιον τὸ μέσον, ἐν ἅπασι δὲ τοῦτο ζητεῖται. Ἆρ᾿ ἐκλείπει; ἆρ᾿ ἔστι τι αἴτιον ἢ οὔ; μετὰ ταῦτα γνόντες ὅτι

Ὅτι δ᾿ ἐστὶ τοῦ μέσου ἡ ζήτησις, δηλοῖ ὅσων τὸ μέσον αἰσθητόν. Ζητοῦμεν γὰρ μὴ ᾐσθημένοι, οἷον τῆς ἐκλείψεως, εἰ ἔστιν ἢ μή. Εἰ δ᾿ ἦμεν ἐπὶ τῆς σελήνης, οὐκ ἂν ἐζητοῦμεν οὔτ᾿ εἰ γίνεται οὔτε διὰ τί, ἀλλ᾿ ἅμα δῆλον ἦν ἄν. Ἐκ γὰρ τοῦ αἴσθεσθαι καὶ τὸ καθόλου ἐγένετο ἂν ἡμῖν εἰδέναι. Ἡ μὲν γὰρ αἴσθησις ὅτι νῦν ἀντιφράττει· καὶ γὰρ δῆλον ὅτι νῦν ἐκλείπει· ἐκ δὲ τούτου τὸ καθόλου ἂν ἐγένετο.

Ὥσπερ οὖν λέγομεν, τὸ τί ἐστιν εἰδέναι ταὐτό ἐστι καὶ διὰ τί ἐστιν. Τοῦτο δ᾿ ἢ ἁπλῶς καὶ μὴ τῶν ὑπαρχόντων τι, ἢ τῶν ὑπαρχόντων, οἷον ὅτι δύο ὀρθαί, ἢ ὅτι μεῖζον ἢ ἔλαττον.

Ὅτι μὲν οὖν πάντα τὰ ζητούμενα μέσου ζήτησίς ἐστι, δῆλον· πῶς δὲ τὸ τί ἐστι δείκνυται, καὶ τίς ὁ τρόπος τῆς ἀναγωγῆς, καὶ τί ἐστιν ὁρισμὸς καὶ τίνων, εἴπωμεν, διαπορήσαντες

Ὄτι μὲν οὖν οὐκ ἔστιν ὁρισμὸς ἅπαντος οὗπερ καὶ ἀπόδειξις, δῆλον. Τί δ᾿, οὗ ὁρισμός, ἆρα παντὸς ἀπόδειξίς ἐστιν ἢ οὔ; εἷς μὲν δὴ λόγος καὶ περὶ τούτου ὁ αὐτός. Τοῦ γὰρ ἑνός, ᾗ ἕν, μία ἐπιστήμη. Ὤστ᾿ εἴπερ τὸ ἐπίστασθαι τὸ ἀποδεικτὸν ἐστὶ τὸ τὴν ἀπόδειξιν ἔχειν, συμβήσεταί τι ἀδύνατον· ὁ γὰρ τὸν ὁρισμὸν ἔχων ἄνευ τῆς ἀποδείξεως ἐπιστήσεται. Ἔτι αἱ ἀρχαὶ τῶν ἀποδείξεων ὁρισμοί, ὧν ὅτι οὐκ ἔσονται ἀποδείξεις δέδεικται πρότερον. Ἢ ἔσονται αἱ ἀρχαὶ ἀποδεικταὶ καὶ τῶν ἀρχῶν ἀρχαί, καὶ τοῦτ᾿ εἰς

Ἀλλ᾿ ἆρα, εἰ μὴ παντὸς τοῦ αὐτοῦ, ἀλλά τινος τοῦ αὐτοῦ ἐστὶν ὁρισμὸς καὶ ἀπόδειξις; ἢ ἀδύνατον; οὐ γάρ ἐστιν ἀπόδειξις οὗ ὁρισμός. Ὁρισμὸς μὲν γὰρ τοῦ τί ἐστι καὶ οὐσίας· αἱ δ᾿ ἀποδείξεις φαίνονται πᾶσαι ὑποτιθέμεναι καὶ λαμβάνουσαι τὸ τί ἐστιν, οἷον αἱ μαθηματικαὶ τί μονὰς καὶ τί τὸ περιττόν, καὶ αἱ ἄλλαι ὁμοίως. Ἔτι πᾶσα ἀπόδειξις τὶ κατά τινος δείκνυσιν, οἷον ὅτι ἔστιν ἢ οὐκ ἔστιν· ἐν δὲ τῷ ὁρισμῷ οὐδὲν ἕτερον ἑτέρου κατηγορεῖται, οἷον οὔτε τὸ ζῷον κατὰ τοῦ δίποδος οὔτε τοῦτο κατὰ τοῦ ζῴου, οὐδὲ δὴ κατὰ τοῦ ἐπιπέδου τὸ σχῆμα· οὐ γάρ ἐστι τὸ ἐπίπεδον σχῆμα, οὐδὲ τὸ σχῆμα ἐπίπεδον. Ἔτι ἕτερον τὸ τί ἐστι καὶ ὅτι ἐστὶ δεῖξαι. Ὁ μὲν οὖν ὁρισμὸς τί ἐστι δηλοῖ, ἡ δὲ ἀπόδειξις ὅτι ἢ ἔστι τόδε κατὰ τοῦδε ἢ οὐκ ἔστιν. Ἑτέρου δὲ ἑτέρα ἀπόδειξις, ἐὰν μὴ ὡς μέρος ᾖ τι τῆς ὅλης. Τοῦτο δὲ λέγῳ, ὅτι δέδεικται τὸ ἰσοσκελὲς δύο ὀρθαῖς, εἰ πᾶν τρίγωνον δέδεικται· μέρος γάρ, τὸ δ᾿ ὅλον. Ταῦτα δὲ πρὸς ἄλληλα οὐκ ἔχει οὕτως, τὸ ὅτι ἔστι καὶ τί ἐστιν· οὐ γάρ ἐστι θατέρου θάτερον μέρος.

Φανερὸν ἄρα ὅτι οὔτε οὗ ὁρισμός, τούτου παντὸς ἀπόδειξις, οὔτε οὗ ἀπόδειξις, τούτου παντὸς ὁρισμός· ὥστε ὅλως τοῦ αὐτοῦ οὐδενὸς ἐνδέχεται ἄμφω ἔχειν. Ὥστε δῆλον ὡς οὐδὲ ὁρισμὸς καὶ ἀπόδειξις οὔτε τὸ αὐτὸ ἂν εἴη οὔτε θάτερον ἐν θατέρῳ· καὶ γὰρ ἂν τὰ ὑποκείμενα ὁμοίως εἶχεν.

Ταῦτα μὲν οὖν μέχρι τούτου διηπορήσθω· τοῦ δὲ τί ἐστι πότερον ἔστι συλλογισμὸς καὶ ἀπόδειξις ἢ οὐκ ἔστι, καθάπερ νῦν ὁ λόγος ὑπέθετο; ὁ μὲν γὰρ συλλογισμὸς τὶ κατά τινος δείκνυσι διὰ τοῦ μέσου· τὸ δὲ τί ἐστιν ἴδιόν τε, καὶ ἐν τῷ τί ἐστι κατηγορεῖται. Ταῦτα δ᾿ ἀνάγκη ἀντιστρέφειν. Εἰ γὰρ τὸ Α τοῦ Γ ἴδιον, δῆλον ὅτι καὶ τοῦ Β καὶ τοῦτο

Δεῖ δ᾿ ἐν ταῖς δυσὶ προτάσεσι καὶ τοῖς πρώτοις καὶ ἀμέσοις σκοπεῖν· μάλιστα γὰρ φανερὸν τὸ λεγόμενον γίνεται. Οἱ μὲν οὖν διὰ τοῦ ἀντιστρέφειν δεικνύντες τί ἐστι ψυχὴ ἢ τί ἐστιν ἄνθρωπος ἢ ἄλλο ὁτιοῦν τῶν ὄντων, τὸ ἐξ ἀρχῆς αἰτοῦνται, οἷον εἴ τις ἀξιώσειε ψυχὴν εἶναι τὸ αὐτὸ αὑτῷ αἴτιον τοῦ ζῆν, τοῦτο δ᾿ ἀριθμὸν αὐτὸν αὑτὸν κινοῦντα· ἀνάγκη γὰρ αἰτῆσαι τὴν ψυχὴν ὅπερ ἀριθμὸν εἶναι αὐτὸν αὑτὸν κινοῦντα, οὕτως ὡς τὸ αὐτὸ ὄν. Οὐ γὰρ εἰ ἀκολουθεῖ τὸ Α τῷ Β καὶ τοῦτο τῷ Γ, ἔσται τῷ Γ τὸ Α τὸ τί ἦν εἶναι, ἀλλ᾿ ἀληθὲς ἦν εἰπεῖν ἔσται μόνον. Οὐδ᾿ εἰ ἔστι τὸ Α ὅπερ τι καὶ κατὰ τοῦ Β κατηγορεῖται παντός. Καὶ γὰρ τὸ ζῴῳ εἶναι κατηγορεῖται κατὰ τοῦ ἀνθρώπῳ εἶναι· ἀληθὲς γὰρ πᾶν τὸ ἀνθρώπῳ εἶναι ζῴῳ εἶναι, ὥσπερ καὶ πάντα ἄνθρωπον ζῷον, ἀλλ᾿ οὐχ οὕτως ὥστε ἓν εἶναι. Ἐὰν μὲν

Ἀλλὰ μὴν οὐδ᾿ ἡ διὰ τῶν διαιρέσεων ὁδὸς συλλογίζεται, καθάπερ ἐν τῇ ἀναλύσει τῇ περὶ τὰ σχήματα εἴρηται. Οὐδαμοῦ γὰρ ἀνάγκη γίνεται τὸ πρᾶγμα ἐκεῖνο εἶναι τωνδὶ ὄντων, ἀλλ᾿ ὥσπερ οὐδ᾿ ὁ ἐπάγων ἀποδείκνυσιν. Οὐ γὰρ δεῖ τὸ συμπέρασμα ἐρωτᾶν, οὐδὲ τῷ δοῦναι εἶναι· ἀλλ᾿ ἀνάγκη εἶναι ἐκείνων ὄντων, κἂν μὴ φῇ ὁ ἀποκρινόμενος. Ἂρ᾿ ὁ ἄνθρωπος ζῷον ἢ ἄψυχον; εἶτ᾿ ἔλαβε ζῷον, οὐ συλλελόγισται. Πάλιν ἅπαν ζῷον ἢ πεζὸν ἢ ἔνυδρον· ἔλαβε πεζόν. Καὶ τὸ εἶναι τὸν ἄνθρωπον, τὸ ὅλον, ζῷον πεζόν, οὐκ ἀνάγκη ἐκ τῶν εἰρημένων, ἀλλὰ λαμβάνει καὶ τοῦτο. Διαφέρει δ᾿ οὐδὲν ἐπὶ πολλῶν ἢ ὀλίγων οὕτω ποιεῖν· τὸ αὐτὸ γάρ ἐστιν. Ἀσυλλόγιστος μὲν οὖν καὶ ἡ χρῆσις γίνεται τοῖς οὕτω μετιοῦσι καὶ τῶν ἐνδεχομένων συλλογισθῆναι. Τί γὰρ κωλύει τοῦτο ἀληθὲς μὲν τὸ πᾶν εἶναι κατὰ τοῦ ἀνθρώπου, μὴ μέντοι τὸ τί ἐστι μηδὲ τὸ τί ἦν εἶναι δηλοῦν; ἔτι τί κωλύει ἢ προσθεῖναί τι ἢ ἀφελεῖν ἢ ὑπερβεβηκέναι τῆς οὐσίας;

Ταῦτα μὲν οὖν παρίεται μέν, ἐνδέχεται δὲ λῦσαι τῷ λαμβάνειν ἐν τῷ τί ἐστι πάντα, καὶ τὸ ἐφεξῆς τῇ διαιρέσει ποιεῖν, αἰτούμενον τὸ πρῶτον, καὶ μηδὲν παραλείπειν. Τοῦτο δ᾿ ἀναγκαῖον, εἰ ἅπαν εἰς τὴν διαίρεσιν ἐμπίπτει καὶ μηδὲν ἐλλείπει· τοῦτο δ᾿ ἀναγκαῖον, ἄτομον γὰρ ἤδη δεῖ εἶναι. Ἀλλὰ συλλογισμὸς ὅμως οὐκ ἔνεστιν, ἀλλ᾿ εἴπερ, ἄλλον τρόπον γνωρίζειν ποιεῖ. Καὶ τοῦτο μὲν οὐδὲν ἄτοπον· οὐδὲ γὰρ ὁ ἐπάγων ἴσως ἀποδείκνυσιν, ἀλλ᾿ ὅμως δηλοῖ τι. Συλλογισμὸν δ᾿ οὐ λέγει ὁ ἐκ τῆς διαιρέσεως

Ἀλλ᾿ ἆρα ἔστι καὶ ἀποδεῖξαι τὸ τί ἐστι κατ᾿ οὐσίαν, ἐξ ὑποθέσεως δέ, λαβόντα τὸ μὲν τί ἦν εἶναι τὸ ἐκ τῶν ἐν τῷ τί ἐστιν ἰδίων, ταδὶ δὲ ἐν τῷ τί ἐστι μόνα, καὶ ἴδιον τὸ πᾶν; τοῦτο γάρ ἐστι τὸ εἶναι ἐκείνῳ. Ἢ πάλιν εἴληφε τὸ τί ἦν εἶναι καὶ ἐν τούτῳ; ἀνάγκη γὰρ διὰ τοῦ μέσου δεῖξαι. Ἔτι ὥσπερ οὐδ᾿ ἐν συλλογισμῷ λαμβάνεται τί ἐστι τὸ συλλελογίσθαι (ἀεὶ γὰρ ὅλη ἢ μέρος ἡ πρότασις, ἐξ ὧν ὁ συλλογισμός), οὕτως οὐδὲ τὸ τί ἦν εἶναι δεῖ ἐνεῖναι ἐν τῷ συλλογισμῷ, ἀλλὰ χωρὶς τοῦτο τῶν κειμένων εἶναι, καὶ πρὸς τὸν ἀμφισβητοῦντα εἰ συλλελόγισται ἢ μὴ τοῦτο, ἀπαντᾶν ὅτι· τοῦτο γὰρ ἦν συλλογισμός. Καὶ πρὸς τὸν ὅτι οὐ τὸ τί ἦν εἶναι συλλελόγισται, ὅτι ναί· τοῦτο γὰρ ἔκειτο ἡμῖν τὸ τί ἦν εἶναι. Ὥστε ἀνάγκη καὶ ἄνευ τοῦ τί συλλογισμὸς ἢ τοῦ τί ἦν εἶναι συλλελογίσθαί τι.

Κἂν ἐξ ὑποθέσεως δὲ δεικνύῃ, οἷον εἰ τῷ κακῷ ἐστὶ τὸ διαιρετῷ εἶναι, τῷ δ᾿ ἐναντίῳ τὸ τῷ ἐναντίῳ εἶναι, ὅσοις ἔστι τι ἐναντίον· τὸ δ᾿ ἀγαθὸν τῷ κακῷ ἐναντίον καὶ τὸ ἀδιαίρετον τῷ διαιρετῷ· ἔστιν ἄρα τὸ ἀγαθῷ εἶναι τὸ ἀδιαιρέτῳ εἶναι. Καὶ γὰρ ἐνταῦθα λαβὼν τὸ τί ἦν εἶναι δείκνυσι· λαμβάνει δ᾿ εἰς τὸ δεῖξαι τὸ τί ἦν εἶναι. Ἕτερον μέντοι ἔστω· καὶ γὰρ ἐν ταῖς ἀποδείξεσιν, ὅτι ἐστὶ τόδε κατὰ

Πῶς οὖν δὴ ὁ ὁριζόμενος δείξει τὴν οὐσίαν ἢ τὸ τί ἐστιν; οὔτε γὰρ ὡς ἀποδεικνὺς ἐξ ὁμολογουμένων εἶναι δῆλον ποιήσει ὅτι ἀνάγκη ἐκείνων ὄντων ἕτερόν τι εἶναι, ἀπόδειξις γὰρ τοῦτο, οὔθ᾿ ὡς ὁ ἐπάγων διὰ τῶν καθ᾿ ἕκαστα δήλων ὄντων, ὅτι πᾶν οὕτως τῷ μηδὲν ἄλλως· οὐ γὰρ τί ἐστι δείκνυσιν, ἀλλ᾿ ὅτι ἢ ἔστιν ἢ οὐκ ἔστιν. Τίς οὖν ἄλλος τρόπος λοιπός; οὐ γὰρ δὴ δείξει γε τῇ αἰσθήσει ἢ τῷ δακτύλῳ.

Ἔτι πῶς δείξει τὸ τί ἐστιν; ἀνάγκη γὰρ τὸν εἰδότα τὸ τί ἐστιν ἄνθρωπος ἢ ἄλλο ὁτιοῦν, εἰδέναι καὶ ὅτι ἔστιν· τὸ γὰρ μὴ ὂν οὐδεὶς οἶδεν ὅ τι ἐστίν, ἀλλὰ τί μὲν σημαίνει ὁ λόγος ἢ τὸ ὄνομα, ὅταν εἴπω τραγέλαφος, τί δ᾿ ἔστι τραγέλαφος, ἀδύνατον εἰδέναι. Ἀλλὰ μὴν εἰ δείξει τί ἐστι καὶ ὅτι ἔστι, πῶς τῷ αὐτῷ λόγῳ δείξει; ὅ τε γὰρ ὁρισμὸς ἕν τι δηλοῖ καὶ ἡ ἀπόδειξις· τὸ δὲ τί ἐστιν ἄνθρωπος καὶ τὸ εἶναι ἄνθρωπον ἄλλο.

Εἶτα καὶ δι᾿ ἀποδείξεώς φαμεν ἀναγκαῖον εἶναι δείκνυσθαι ἅπαν ὅτι ἔστιν, εἰ μὴ οὐσία εἴη. Τὸ δ᾿ εἶναι οὐκ οὐσία οὐδενί· οὐ γὰρ γένος τὸ ὄν. Ἀπόδειξις ἄρ᾿ ἔσται ὅτι ἔστιν. Ὅπερ καὶ νῦν ποιοῦσιν αἱ ἐπιστῆμαι. Τί μὲν γὰρ σημαίνει τὸ τρίγωνον, ἔλαβεν ὁ γεωμέτρης, ὅτι δ᾿ ἔστι, δείκνυσιν. Τί οὖν δείξει ὁ ὁριζόμενος τί ἐστιν; ἢ τὸ τρίγωνον; εἰδὼς ἄρα τις ὁρισμῷ τί ἐστιν, εἰ ἔστιν οὐκ εἴσεται. Ἀλλ᾿ ἀδύνατον.

Φανερὸν δὲ καὶ κατὰ τοὺς νῦν τρόπους τῶν ὅρων ὡς οὐ δεικνύουσιν οἱ ὁριζόμενοι ὅτι ἔστιν. Εἰ γὰρ καὶ ἔστιν ἐκ τοῦ μέσου τὸ ἴσον, ἀλλὰ διὰ τί ἐστι τὸ ὁρισθέν; καὶ διὰ τί τοῦτ᾿ ἔστι κύκλος; εἴη γὰρ ἂν καὶ ὀρειχάλκου φάναι εἶναι αὐτόν. Οὔτε γὰρ ὅτι δυνατὸν εἶναι τὸ λεγόμενον προσδηλοῦσιν οἱ ὅροι, οὔτε ὅτι ἐκεῖνο οὗ φασὶν εἶναι ὁρισμοί. Ἀλλ᾿ ἀεὶ ἔξεστι λέγειν τὸ διὰ τί.

Εἰ ἄρα ὁ ὁριζόμενος δείκνυσιν ἢ τί ἐστιν ἢ τί σημαίνει τοὔνομα, εἰ μή ἐστι μηδαμῶς τοῦ τί ἐστιν, εἴη ἂν ὁ ὁρισμὸς λόγος ὀνόματι τὸ αὐτὸ σημαίνων. Ἀλλ᾿ ἄτοπον. Πρῶτον μὲν γὰρ καὶ μὴ οὐσιῶν ἂν εἴη καὶ τῶν μὴ ὄντων· σημαίνειν γὰρ ἔστι καὶ τὰ μὴ ὄντα. Ἔτι πάντες οἱ λόγοι ὁρισμοὶ ἂν εἶεν· εἴη γὰρ ἂν ὄνομα θέσθαι ὁποιῳοῦν λόγῳ, ὥστε ὅρους ἂν διαλεγοίμεθα πάντες καὶ ἡ Ἰλιὰς ὁρισμὸς ἂν εἴη. Ἔτι οὐδεμία ἐπιστήμη ἀποδείξειεν ἂν ὅτι τοῦτο τοὔνομα τουτὶ δηλοῖ· οὐδ᾿ οἱ ὁρισμοὶ τοίνυν τοῦτο προσδηλοῦσιν.

Ἐκ μὲν τοίνυν τούτων οὔτε ὁρισμὸς καὶ συλλογισμὸς φαίνεται ταὐτὸν ὄν, οὔτε ταὐτοῦ συλλογισμὸς καὶ ὁρισμός· πρὸς δὲ τούτοις, ὅτι οὔτε ὁ ὁρισμὸς οὐδὲν οὔτε ἀποδείκνυσιν οὔτε δείκνυσιν, οὔτε τὸ τί ἐστιν οὔθ᾿ ὁρισμῷ οὔτ᾿ ἀποδείξει ἔστι γνῶναι.

Πάλιν δὲ σκεπτέον τί τούτων λέγεται καλῶς καὶ τί οὐ καλῶς, καὶ τί ἐστιν ὁ ὁρισμός, καὶ τοῦ τί ἐστιν ἆρά πως ἔστιν ἀπόδειξις καὶ ὁρισμὸς ἢ οὐδαμῶς. Ἐπεὶ δ᾿ ἐστίν, ὡς ἔφαμεν, ταὐτὸν τὸ εἰδέναι τί ἐστι καὶ τὸ εἰδέναι τὸ αἴτιον τοῦ τί ἐστι· λόγος δὲ τούτου, ὅτι ἔστι τι τὸ αἴτιον· καὶ τοὔτο ἢ τὸ αὐτὸ ἢ ἄλλο, κἂν ᾖ ἄλλο, ἢ ἀποδεικτὸν ἢ ἀναπόδεικτον· εἰ τοίνυν ἐστὶν ἄλλο καὶ ἐνδέχεται ἀποδεῖξαι, ἀνάγκη μέσον εἶναι τὸ αἴτιον καὶ ἐν τῷ σχήματι τῷ πρώτῳ δείκνυσθαι· καθόλου τε γὰρ καὶ κατηγορικὸν τὸ δεικνύμενον.

Οὗτος μὲν οὖν ὁ τρόπος ὅτι οὐκ ἂν εἴη ἀπόδειξις, εἴρηται πρότερον· ἀλλ᾿ ἔστι λογικὸς συλλογισμὸς τοῦ τί ἐστιν. Ὃν δὲ τρόπον ἐνδέχεται, λέγωμεν, εἰπόντες πάλιν ἐξ ἀρχῆς. Ὥσπερ γὰρ τὸ διότι ζητοῦμεν ἔχοντες τὸ ὅτι, ἐνίοτε δὲ καὶ ἅμα δῆλα γίνεται, ἀλλ᾿ οὔτι πρότερόν γε τὸ διότι δυνατὸν γνωρίσαι τοῦ ὅτι, δῆλον ὅτι ὁμοίως καὶ τὸ τί ἦν εἶναι οὐκ ἄνευ τοῦ ὅτι ἐστίν· ἀδύνατον γὰρ εἰδέναι τί ἐστιν, ἀγνοοῦντας εἰ ἔστιν. Τὸ δ᾿ εἰ ἔστιν ὁτὲ μὲν κατὰ συμβεβηκὸς ἔχομεν, ὁτὲ δ᾿ ἔχοντές τι αὐτοῦ τοῦ πράγματος, οἷον βροντήν, ὅτι ψόφος τις νεφῶν, καὶ ἔκλειψιν, ὅτι στέρησίς τις φωτός, καὶ ἄνθρωπον, ὅτι ζῷόν τι, καὶ ψυχήν, ὅτι αὐτὸ αὑτὸ κινοῦν. Ὅσα μὲν οὖν κατὰ συμβεβηκὸς οἴδαμεν ὅτι ἔστιν, ἀναγκαῖον μηδαμῶς ἔχειν πρὸς τὸ τί ἐστιν· οὐδὲ γὰρ ὅτι ἔστιν ἴσμεν· τὸ δὲ ζητεῖν τί ἐστι μὴ ἔχοντας ὅτι ἔστι, μηδὲν ζητεῖν ἐστίν. Καθ᾿ ὅσων δ᾿ ἔχομέν τι, ῥᾷον. Ὥστε ὡς ἔχομεν ὅτι ἔστιν, οὕτως ἔχομεν καὶ πρὸς τὸ τί ἐστιν. Ὧν οὖν ἔχομέν τι τοῦ τί ἐστιν, ἔστω πρῶτον μὲν ὧδε· ἔκλειψις ἐφ᾿ οὗ τὸ Α, σελήνη ἐφ᾿ οὗ Γ, ἀντίφραξις γῆς ἐφ᾿ οὗ Β. Τὸ μὲν οὖν πότερον ἐκλείπει ἢ οὔ, τὸ Β ζητεῖν ἐστίν, ἆρ᾿ ἔστιν ἢ οὔ. Τοῦτο δ᾿ οὐδὲν διαφέρει ζητεῖν ἢ εἰ ἔστι λόγος αὐτοῦ. Καὶ ἐὰν ᾖ τοῦτο, κἀκεῖνό φαμεν εἶναι. Ἢ ποτέρας τῆς ἀντιφάσεώς ἐστιν ὁ λόγος, πότερον τοῦ ἔχειν δύο ὀρθὰς ἢ τοῦ μὴ ἔχειν. Ὅταν δ᾿ εὕρωμεν, ἅμα τὸ ὅτι καὶ τὸ διότι ἴσμεν, ἂν διὰ μέσων ᾖ. Εἰ δὲ μή, τὸ ὅτι, τὸ διότι δ᾿ οὔ. Σελήνη Γ, ἔκλειψις Α, τὸ πασσελήνου σκιὰν μὴ δύνασθαι ποιεῖν μηδενὸς ἡμῶν μεταξὺ ὄντος φανεροῦ, ἐφ᾿ οὗ

Ὡς μὲν τοίνυν λαμβάνεται τὸ τί ἐστι καὶ γίνεται γνώριμον, εἴρηται, ὥστε συλλογισμὸς μὲν τοῦ τί ἐστιν οὐ γίνεται οὐδ᾿ ἀπόδειξις, δῆλον μέντοι διὰ συλλογισμοῦ καὶ δι᾿ ἀποδείξεως· ὥστ᾿ οὔτ᾿ ἄνευ ἀποδείξεως ἔστι γνῶναι τὸ τί ἐστιν, οὗ ἐστιν αἴτιον ἄλλο, οὔτ᾿ ἔστιν ἀπόδειξις αὐτοῦ, ὥσπερ καὶ ἐν τοῖς διαπορήμασιν εἴπομεν.