Aristotle, Metaphysics

[1012β] [1] ὥστ᾽ εἴπερ ἀδύνατα ἐκεῖνα, καὶ ταῦτα ἀδύνατον εἶναι. ἔτι δὲ φανερῶς ἀντιφάσεις εἰσὶν ἃς οὐχ οἷόν τε ἅμα ἀληθεῖς εἶναι—οὐδὲ δὴ ψευδεῖς πάσας: καίτοι δόξειέ γ᾽ ἂν μᾶλλον ἐνδέχεσθαι ἐκ τῶν εἰρημένων. [5] ἀλλὰ πρὸς πάντας τοὺς τοιούτους λόγους αἰτεῖσθαι δεῖ, καθάπερ ἐλέχθη καὶ ἐν τοῖς ἐπάνω λόγοις, οὐχὶ εἶναί τι ἢ μὴ εἶναι ἀλλὰ σημαίνειν τι, ὥστε ἐξ ὁρισμοῦ διαλεκτέον λαβόντας τί σημαίνει τὸ ψεῦδος ἢ τὸ ἀληθές. εἰ δὲ μηθὲν ἄλλο τὸ ἀληθὲς φάναι ἢ ὃ ἀποφάναι ψεῦδός ἐστιν, ἀδύνατον [10] πάντα ψευδῆ εἶναι: ἀνάγκη γὰρ τῆς ἀντιφάσεως θάτερον εἶναι μόριον ἀληθές. ἔτι εἰ πᾶν ἢ φάναι ἢ ἀποφάναι ἀναγκαῖον, ἀδύνατον ἀμφότερα ψευδῆ εἶναι: θάτερον γὰρ μόριον τῆς ἀντιφάσεως ψεῦδός ἐστιν. συμβαίνει δὴ καὶ τὸ θρυλούμενον πᾶσι τοῖς τοιούτοις λόγοις, αὐτοὺς [15] ἑαυτοὺς ἀναιρεῖν. ὁ μὲν γὰρ πάντα ἀληθῆ λέγων καὶ τὸν ἐναντίον αὑτοῦ λόγον ἀληθῆ ποιεῖ, ὥστε τὸν ἑαυτοῦ οὐκ ἀληθῆ （ὁ γὰρ ἐναντίος οὔ φησιν αὐτὸν ἀληθῆ）, ὁ δὲ πάντα ψευδῆ καὶ αὐτὸς αὑτόν. ἐὰν δ᾽ ἐξαιρῶνται ὁ μὲν τὸν ἐναντίον ὡς οὐκ ἀληθὴς μόνος ἐστίν, ὁ δὲ τὸν αὑτοῦ ὡς οὐ ψευδής, [20] οὐδὲν ἧττον ἀπείρους συμβαίνει αὐτοῖς αἰτεῖσθαι λόγους ἀληθεῖς καὶ ψευδεῖς: ὁ γὰρ λέγων τὸν ἀληθῆ λόγον ἀληθῆ ἀληθής, τοῦτο δ᾽ εἰς ἄπειρον βαδιεῖται.

φανερὸν δ᾽ ὅτι οὐδ᾽ οἱ πάντα ἠρεμεῖν λέγοντες ἀληθῆ λέγουσιν οὐδ᾽ οἱ πάντα κινεῖσθαι. εἰ μὲν γὰρ ἠρεμεῖ πάντα, ἀεὶ ταὐτὰ ἀληθῆ καὶ [25] ψευδῆ ἔσται, φαίνεται δὲ τοῦτο μεταβάλλον （ὁ γὰρ λέγων ποτὲ αὐτὸς οὐκ ἦν καὶ πάλιν οὐκ ἔσται）: εἰ δὲ πάντα κινεῖται, οὐθὲν ἔσται ἀληθές: πάντα ἄρα ψευδῆ: ἀλλὰ δέδεικται ὅτι ἀδύνατον. ἔτι ἀνάγκη τὸ ὂν μεταβάλλειν: ἔκ τινος γὰρ εἴς τι ἡ μεταβολή. ἀλλὰ μὴν οὐδὲ πάντα ἠρεμεῖ [30] ἢ κινεῖται ποτέ, ἀεὶ δ᾽ οὐθέν: ἔστι γάρ τι ὃ ἀεὶ κινεῖ τὰ κινούμενα, καὶ τὸ πρῶτον κινοῦν ἀκίνητον αὐτό.