Aristotle: De Interpretatione (On Interpretation)

τὸ αὐτὸ εἶναι δοκεῖ δυνατὸν τέμνεσθαι καὶ μὴ τέμνεσθαι καὶ εἶναι καὶ μὴ εἶναι, ὥστε ἔσται τὸ ἀναγκαῖον εἶναι ἐνδεχόμενον μὴ εἶναι· τοῦτο δὲ ψεῦδος. Φανερὸν δὴ ὅτι οὐ πᾶν τὸ δυνατὸν ἢ εἶναι ἢ βαδίζειν καὶ τὰ ἀντικείμενα δύναται, ἀλλ᾿ ἔστιν ἐφ᾿ ὧν οὐκ ἀληθές, πρῶτον μὲν ἐπὶ τῶν μὴ κατὰ λόγον δυνατῶν, οἷον τὸ πῦρ θερμαντικὸν καὶ ἔχει δύναμιν ἄλογον. Αἱ μὲν οὖν μετὰ λόγου δυνάμεις αἱ αὐταὶ πλειόνων καὶ τῶν ἐναντίων, αἱ δ᾿ ἄλογοι οὐ πᾶσαι, ἀλλ᾿ ὥσπερ εἴρηται, τὸ πῦρ οὐ δυνατὸν θερμαίνειν καὶ μή, οὐδ᾿ ὅσα ἅλλα ἐνεργεῖ ἀεί. Ἔνια μέντοι δύναται καὶ τῶν κατὰ τὰς ἀλόγους δυνάμεις ἅμα τὰ ἀντικείμενα δέξασθαι. Ἀλλὰ τοῦτο μὲν τούτου χάριν εἴρηται, ὅτι οὐ πᾶσα δύναμις τῶν ἀντικειμένων, οὐδ᾿ ὅσαι λέγονται κατὰ τὸ αὐτὸ εἶδος. Ἔνιαι δὲ δυνάμεις ὁμώνυμοί εἰσιν. Τὸ γὰρ δυνατὸν οὐχ ἁπλῶς λέγεται, ἀλλὰ τὸ μὲν ὅτι ἀληθὲς ὡς ἐνεργείᾳ ὄν, οἷον δυνατὸν βαδίζειν ὅτι βαδίζει, καὶ ὅλως δυνατὸν εἶναι ὅτι ἤδη ἔστι κατ᾿ ἐνέργειαν ὃ λέγεται εἶναι δυνατόν, τὸ δὲ ὅτι ἐνεργήσειεν ἄν, οἷον δυνατὸν εἶναι βαδίζειν ὅτι βαδίσειεν ἄν. Καὶ αὕτη μὲν ἐπὶ τοῖς κινητοῖς ἐστὶ μόνοις ἡ δύναμις, ἐκείνη δὲ καὶ ἐπὶ τοῖς ἀκινήτοις. Ἅμφω δὲ ἀληθὲς εἰπεῖν τὸ μὴ ἀδύνατον εἶναι βαδίζειν ἢ εἶναι, καὶ τὸ βαδίζον ἤδη καὶ ἐνεργοῦν καὶ τὸ βαδιστικόν. Τὸ μὲν οὖν οὕτω δυνατὸν οὐκ ἀληθὲς κατὰ τοῦ ἀναγκαίου ἁπλῶς εἰπεῖν, θάτερον δὲ ἀληθές. Ὥστε ἐπεὶ τῷ ἐν μέρει τὸ καθόλου ἕπεται, τῷ ἐξ ἀνάγκης ὄντι ἕπεται τὸ δύνασθαι εἶναι, οὐ μέντοι πᾶν. Καὶ ἔστι δὴ ἀρχὴ ἴσως τὸ ἀναγκαῖον καὶ μὴ ἀναγκαῖον πάντων ἢ εἶναι ἢ μὴ εἶναι, καὶ τἆλλα ὡς τούτοις ἀκολουθοῦντα ἐπισκοπεῖν δεῖ.

Φανερὸν δὴ ἐκ τῶν εἰρημένων ὅτι τὸ ἐξ ἀνάγκης ὂν κατ᾿ ἐνέργειάν ἐστιν, ὥστε εἰ πρότερα τὰ ἀΐδια, καὶ ἡ ἐνέργεια δυνάμεως προτέρα. Καὶ τὰ μὲν ἄνευ δυνάμεως ἐνέργειαί εἰσιν, οἷον αἱ πρῶται οὐσίαι, τὰ δὲ μετὰ δυνάμεως, ἃ τῇ μὲν