Aristotle: Analytica Priora (Prior Analytics)

ἀντιστρέψει· καὶ τὸ μὲν Α καὶ Δ ἐνδέχεται τῳ αὐτῷ, τὸ δὲ Β καὶ οὐκ ἐνδέχεται. Πρῶτον μὲν οὖν ὅτι τῷ Β ἕπεται τὸ Δ, ἐνθένδε φανερόν. Ἐπεὶ γὰρ παντὶ τῶν Γ Δ θάτερον ἐξ ἀνάγκης, ᾧ δὲ τὸ Β, οὐκ ἐνδέχεται τὸ Γ διὰ τὸ συνεπιφέρειν τὸ Α, τὸ δὲ Α καὶ Β μὴ ἐνδέχεσθαι τῷ αὐτῷ, φανερὸν ὅτι τὸ Δ ἀκολουθήσει. Πάλιν ἐπεὶ τῷ Α τὸ Γ οὐκ ἀντιστρέφει, παντὶ δὲ τὸ Γ ἢ τὸ Δ, ἐνδέχεται τὸ Α καὶ τὸ Δ τῷ αὐτῷ ὑπάρχειν. Τὸ δέ γε Β καὶ τὸ Γ οὐκ ἐνδέχεται διὰ τὸ συνακολουθεῖν τῷ Γ τὸ Α· συμβαίνει γάρ τι ἀδύνατον. Φανερὸν οὖν ὅτι οὐδὲ τῷ Δ τὸ Β ἀντιστρέφει, ἐπείπερ ἐγχωρεῖ ἅμα τὸ Δ καὶ τὸ Α ὑπάρχειν.

Συμβαίνει δ᾿ ἐνίοτε καὶ ἐν τῇ τοιαύτῃ τάξει τῶν ὅρων ἀπατᾶσθαι διὰ τὸ μὴ τὰ ἀντικείμενα λαμβάνειν ὀρθῶς, ὧν ἀνάγκη παντὶ θάτερον ὑπάρχειν, οἷον εἰ τὸ Α καὶ τὸ Β μὴ ἐνδέχεται ἅμα τῷ αὐτῷ, ἀνάγκη δ᾿ ὑπάρχειν, ᾧ μὴ θάτερον, θάτερον· καὶ πάλιν τὸ Γ καὶ τὸ Δ ὡσαύτως, ᾧ δὲ τὸ Γ, παντὶ ἕπεται τὸ Α. Συμβήσεται γὰρ ᾧ τὸ Δ, τὸ Β ὑπάρχειν ἐξ ἀνάγκης, ὅπερ ἐστὶ ψεῦδος. Εἰλήφθω γὰρ ἀπόφασις τῶν Α Β ἡ ἐφ᾿ ᾧ Ζ, καὶ πάλιν τῶν Γ Δ ἡ ἐφ᾿ ᾧ Θ. Ἀνάγκη δὴ παντὶ ἢ τὸ Α ἢ τὸ Ζ· ἢ γὰρ τὴν φάσιν ἢ τὴν ἀπόφασιν. Καὶ πάλιν ἢ τὸ Γ ἢ τὸ Θ· φάσις γὰρ καὶ ἀπόφασις. Καὶ ᾧ τὸ Γ, παντὶ τὸ Α ὑπόκειται. Ὥστε ᾧ τὸ Ζ, παντὶ τὸ Θ. Πάλιν ἐπεὶ τῶν Ζ Β παντὶ θάτερον καὶ τῶν Θ Δ ὡσαύτως, ἀκολουθεῖ δὲ τῷ Ζ τὸ Θ, καὶ τῷ Δ ἀκολουθήσει τὸ Β· τοῦτο γὰρ ἴσμεν. Εἰ ἄρα τῷ Γ τὸ Α, καὶ τῷ Δ τὸ Β. Τοῦτο δὲ ψεῦδος· ἀνάπαλιν γὰρ ἦν ἐν τοῖς οὕτως ἔχουσιν ἡ ἀκολούθησις. Οὐ γὰρ ἴσως ἀνάγκη παντὶ τὸ Α ἢ τὸ Ζ, οὐδὲ τὸ Ζ ἢ τὸ Β· οὐ γάρ ἐστιν ἀπόφασις τοῦ Α τὸ Ζ. Τοῦ γὰρ ἀγαθοῦ τὸ οὐκ ἀγαθὸν ἀπόφασις· οὐ ταὐτὸ δ᾿ ἐστὶ τὸ οὐκ ἀγαθὸν τῷ οὔτ᾿ ἀγαθὸν οὔτ᾿ οὐκ ἀγαθόν. Ὁμοίως δὲ καὶ ἐπὶ τῶν Γ Δ· αἱ γὰρ ἀποφάσεις αἱ εἰλημμέναι δύο εἰσίν.