Aristotle: Analytica Priora (Prior Analytics)

ὅρους ἀεὶ θετέον κατὰ τὰς κλήσεις τῶν ὀνομάτων, οἷον ἄνθρωπος ἢ ἀγαθόν ἢ ἐναντία, οὐκ ἀνθρώπου ἢ ἀγαθοῦ ἢ ἐναντίων, τὰς δὲ προτάσεις ληπτέον κατὰ τὰς ἑκάστου πτώσεις· ἢ γὰρ ὅτι τούτῳ, οἷον τὸ ἴσον, ἢ ὅτι τούτου, οἷον τὸ διπλάσιον, ἢ ὅτι τοῦτο, οἷον τὸ τύπτον ἢ ὁρῶν, ἢ ὅτι οὗτος, οἷον ὁ ἄνθρωπος ζῷον, ἢ εἴ πως ἄλλως πίπτει τοὔνομα κατὰ τὴν πρότασιν.

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

Τὸ δ᾿ ἐπαναδιπλούμενον ἐν ταῖς προτάσεσι πρὸς τῷ πρώτῳ ἄκρῳ θετέον, οὐ πρὸς τῷ μέσῳ. Λέγω δ᾿ οἷον εἰ γένοιτο συλλογισμὸς ὅτι τῆς δικαιοσύνης ἐστὶν ἐπιστήμη ὅτι ἀγαθόν, τὸ ὅτι ἀγαθόν ἢ ᾗ ἀγαθόν πρὸς τῷ πρώτῳ θετέον. Ἔστω γὰρ τὸ Α ἐπιστήμη ὅτι ἀγαθόν, ἐφ᾿ ᾧ δὲ Β ἀγαθόν, ἐφ᾿ ᾧ δὲ Γ δικαιοσύνη. Τὸ δὴ Α ἀληθὲς τοῦ Β κατηγορῆσαι· τοῦ γὰρ ἀγαθοῦ ἐστὶν ἐπιστήμη ὅτι ἀγαθόν. Ἀλλὰ καὶ τὸ Β τοῦ Γ· ἡ γὰρ δικαιοσύνη ὅπερ ἀγαθόν. Οὕτω μὲν οὖν γίνεται ἀνάλυσις. Εἰ δὲ πρὸς τῷ Β τεθείη τὸ ὅτι ἀγαθόν, οὐκ ἔσται· τὸ μὲν γὰρ Α κατὰ τοῦ Β ἀληθὲς ἔσται, τὸ δὲ Β κατὰ τοῦ Γ οὐκ ἀληθὲς ἔσται· τὸ γὰρ ἀγαθὸν ὅτι ἀγαθὸν κατηγορεῖν τῆς δικαιοσύνης ψεῦδος καὶ οὐ συνετόν. Ὁμοίως δὲ καὶ εἰ τὸ ὑγιεινὸν δειχθείη ὅτι ἔστιν ἐπιστητὸν ᾗ ἀγαθόν, ἢ τραγέλαφος δοξαστὸν ᾗ μὴ ὄν, ἢ ὁ ἄνθρωπος φθαρτὸν ᾗ αἰσθητόν· ἐν ἅπασι γὰρ τοῖς ἐπικατηγορουμένοις πρὸς τῷ ἄκρῳ τὴν ἐπαναδίπλωσιν θετέον.

Οὐχ ἡ αὐτὴ δὲ θέσις τῶν ὅρων, ὅταν ἁπλῶς τι συλλογισθῇ καὶ ὅταν τόδε τι ἢ πῇ ἢ πῶς, λέγω δ᾿ οἷον ὅταν τἀγαθὸν ἐπιστητὸν δειχθῇ καὶ ὅταν ἐπιστητόν τι ὅτι ἀγαθόν· ἀλλ᾿ εἰ μὲν ἁπλῶς ἐπιστητὸν δέδεικται, μέσον θετέον τὸ ὄν,