Aristotle: Analytica Posteriora (Posterior Analytics)

λέγων τὸν ὁρισμόν. Ὥσπερ γὰρ ἐν τοῖς συμπεράσμασι τοῖς ἄνευ τῶν μέσων, ἐάν τις εἴπῃ ὅτι τούτων ὄντων ἀνάγκη τοδὶ εἶναι, ἐνδέχεται ἐρωτῆσαι διὰ τί, οὕτως καὶ ἐν τοῖς διαιρετικοῖς ὅροις. Τί ἐστιν ἄνθρωπος; ζῷον θνητόν, ὑπόπουν, δίπουν, ἄπτερον. Διὰ τί; παρ᾿ ἑκάστην πρόσθεσιν· ἐρεῖ γάρ, καὶ δείξει τῇ διαιρέσει, ὡς οἴεται, ὅτι πᾶν ἢ θνητὸν ἢ ἀθάνατον. Ὁ δὲ τοιοῦτος λόγος ἅπας οὐκ ἔστιν ὁρισμός. Ὥστ᾿ εἰ καὶ ἀπεδείκνυτο τῇ διαιρέσει, ἀλλ᾿ ὅ γ᾿ ὁρισμὸς οὐ συλλογισμὸς γίνεται.

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

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