Aristotle: De Interpretatione (On Interpretation)

ἑτέροις, ὅτι ἐναντίως τὸ ἀδύνατον τῷ ἀναγκαίῳ ἀποδίδοται, τὸ αὐτὸ δυνάμενον. Εἰ γὰρ ἀδύνατον εἶναι, ἀναγκαῖον τοῦτο οὐκ εἶναι ἀλλὰ μὴ εἶναι· εἰ δὲ ἀδύνατον μὴ εἶναι, τοῦτο ἀνάγκη εἶναι· ὥστε εἰ ἐκεῖνα ὁμοίως τῷ δυνατῷ καὶ μή, ταῦτα ἐξ ἐναντίας, ἐπεὶ οὐ σημαίνει γε ταὐτὸν τό τε ἀνάγκαῖον καὶ τὸ ἀδύνατον, ἀλλ᾿ ὥσπερ εἴρηται, ἀντεστραμμένως. Ἣ ἀδύνατον οὕτως κεῖσθαι τὰς τοῦ ἀναγκαίου ἀντιφάσεις; τὸ μὲν γὰρ ἀναγκαῖον εἶναι δυνατὸν εἶναι· εἰ γὰρ μή, ἡ ἀπόφασις ἀκολουθήσει· ἀνάγκη γὰρ ἢ φάναι ἢ ἀποφάναι· ὥστ᾿ εἰ μὴ δυνατὸν εἶναι, ἀδύνατον εἶναι· ἀδύνατον ἄρα εἶναι τὸ ἀναγκαῖον εἶναι, ὅπερ ἄτοπον. Ἀλλὰ μὴν τῷ γε δυνατὸν εἶναι τὸ οὐκ ἀδύνατον εἶναι ἀκολουθεῖ, τούτῳ δὲ τὸ μὴ ἀναγκαῖον εἶναι· ὥστε συμβαίνει τὸ ἀναγκαῖον εἶναι μὴ ἀναγκαῖον εἶναι, ὅπερ ἄτοπον. Ἀλλὰ μὴν οὐδὲ τὸ ἀναγκαῖον εἶναι ἀκολουθεῖ τῷ δυνατὸν εἶναι, οὐδὲ τὸ ἀναγκαῖον μὴ εἶναι· τῷ μὲν γὰρ ἄμφω ἐνδέχεται συμβαίνειν, τούτων δὲ ὁπότερον ἂν ἀληθὲς ᾖ, οὐκέτι ἔσται ἐκεῖνα ἀληθῆ. Ἄμα γὰρ δυνατὸν εἶναι καὶ μὴ εἶναι· εἰ δ᾿ ἀνάγκη εἶναι ἢ μὴ εἶναι, οὐκ ἔσται δυνατὸν ἄμφω. Λείπεται τοίνυν τὸ οὐκ ἀναγκαῖον μὴ εἶναι ἀκολουθεῖν τῷ δυνατὸν εἶναι. Τοῦτο γὰρ ἀληθὲς καὶ κατὰ τοῦ ἀναγκαῖον εἶναι. Καὶ γὰρ αὕτη γίνεται ἀντίφασις τῇ ἑπομένῃ τῷ οὐ δυνατὸν εἶναι· ἐκείνῳ γὰρ ἀκολουθεῖ τὸ ἀδύνατον εἶναι καὶ ἀναγκαῖον μὴ εἶναι, οὗ ἡ ἀπόφασις τὸ οὐκ ἀναγκαῖον μὴ εἶναι. Ἀκολουθοῦσί τε ἄρα καὶ αὗται αἱ ἀντιφάσεις κατὰ τὸν εἰρημένον τρόπον, καὶ οὐδὲν ἀδύνατον συμβαίνει τιθεμένων οὕτως.

Ἀπορήσειε δ᾿ ἄν τις εἰ τῷ ἀναγκαῖον εἶναι τὸ δυνατὸν εἶναι ἕπεται. Εἴ τε γὰρ μὴ ἕπεται, ἡ ἀντίφασις ἀκολουθήσει, τὸ μὴ δυνατὸν εἶναι· καὶ εἴ τις ταύτην μὴ φήσειεν εἶναι ἀντίφασιν, ἀνάγκη λέγειν τὸ δυνατὸν μὴ εἶναι· ἅπερ ἄμφω ψευδῆ κατὰ τοῦ ἀναγκαῖον εἶναι. Ἁλλὰ μὴν πάλιν