Καὶ αἱ ἀκολουθήσεις δὲ κατὰ λόγον γίγνονται οὕτω τιθεμένοις· τῷ μὲν γὰρ δυνατῷ εἶναι τὸ ἐνδέχεσθαι εἶναι, καὶ τοῦτο ἐκείνῳ ἀντιστρέφει, καὶ τὸ μὴ ἀδύνατον εἶναι καὶ τὸ μὴ ἀναγκαῖον εἶναι· τῷ δὲ δυνατῷ μὴ εἶναι καὶ ἐνδεχομένῳ μὴ εἶναι τό τε μὴ ἀναγκαῖον μὴ εἶναι καὶ οὐκ ἀδύνατον μὴ εἶναι, τῷ δὲ μὴ δυνατῷ εἶναι καὶ μὴ ἐνδεχομένῳ εἶναι τὸ ἀναγκαῖον μὴ εἶναι καὶ τὸ ἀδύνατον εἶναι, τῷ δὲ μὴ δυνατῷ μὴ εἶναι καὶ μὴ ἐνδεχομένῳ μὴ εἶναι τὸ ἀναγκαῖον εἶναι καὶ τὸ ἀδύνατον μὴ εἶναι. θεωρείσθω δὲ ἐκ τῆς ὑπογραφῆς ὡς λέγομεν·

δυνατὸν εἶναι οὐ δυνατὸν εἶναι

ἐνδεχόμενον εἶναι οὐκ ἐνδεχόμενον εἶναι

οὐκ ἀδύνατον εἶναι ἀδύνατον εἶναι

οὐκ ἀναγκαῖον εἶναι ἀναγκαῖον εἶναι

δυνατὸν μὴ εἶναι οὐ δυνατὸν μὴ εἶναι

δυνατὸν μὴ εἶναι οὐ δυνατὸν μὴ εἶναι

ἐνδεχόμενον μὴ εἶναι οὐκ ἐνδεχόμενον μὴ εἶναι

οὐκ ἀδύνατον μὴ εἶναι ἀδύνατον μὴ εἶναι

οὐκ ἀναγκαῖον μὴ εἶναι ἀναγκαῖον εἶναι.

Τὸ μὲν οὖν ἀδύνατον καὶ οὐκ ἀδύνατον τῷ ἐνδεχομένῳ καὶ δυνατῷ καὶ οὐκ ἐνδεχομένῳ καὶ μὴ δυνατῷ ἀκολουθεῖ μὲν ἀντιφατικῶς, ἀντεστραμμένως δέ· τῷ μὲν γὰρ δυνατῷ εἶναι ἡ ἀπόφασις τοῦ ἀδυνάτου, τῇ δὲ ἀποφάσει ἡ κατάφασις· τῷ γὰρ οὐ δυνατῷ εἶναι τὸ ἀδύνατον εἶναι· κατάφασις γὰρ τὸ ἀδύνατον εἶναι, τὸ δὲ οὐκ ἀδύνατον ἀπόφασις.

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

Aπορήσειε δ» ἄν τις εἰ τῷ ἀναγκαῖον εἶναι τὸ δυνατὸν εἶναι ἕπεται. εἴ τε γὰρ μὴ ἕπεται, ἡ ἀντίφασις ἀκολουθήσει, τὸ μὴ δυνατὸν εἶναι· καὶ εἴ τις ταύτην μὴ φήσειεν εἶναι ἀντίφασιν, ἀνάγκη λέγειν τὸ δυνατὸν μὴ εἶναι· ἅπερ ἄμφω ψευδῆ κατὰ τοῦ ἀναγκαῖον εἶναι. ἀλλὰ μὴν πάλιν τὸ αὐτὸ εἶναι δοκεῖ δυνατὸν τέμνεσθαι καὶ μὴ τέμνεσθαι, καὶ εἶναι καὶ μὴ εἶναι, ὥστε ἔσται τὸ ἀναγκαῖον εἶναι ἐνδεχόμενον μὴ εἶναι· τοῦτο δὲ ψεῦδος. φανερὸν δὴ ὅτι οὐ πᾶν τὸ δυνατὸν ἢ εἶναι ἢ βαδίζειν καὶ τὰ ἀντικείμενα δύναται, ἀλλ» ἔστιν ἐφ» ὧν οὐκ ἀληθές· πρῶτον μὲν ἐπὶ τῶν μὴ κατὰ λόγον δυνατῶν, οἷον τὸ πῦρ θερμαντικὸν καὶ ἔχει δύναμιν ἄλογον, – αἱ μὲν οὖν μετὰ λόγου [23a] δυνάμεις αἱ αὐταὶ πλειόνων καὶ τῶν ἐναντίων, αἱ δ» ἄλογοι οὐ πᾶσαι, ἀλλ» ὥσπερ εἴρηται, τὸ πῦρ οὐ δυνατὸν θερμαίνειν καὶ μή, οὐδ» ὅσα ἄλλα ἐνεργεῖ ἀεί· ἔνια μέντοι δύναται καὶ τῶν κατὰ τὰς ἀλόγους δυνάμεις ἅμα τὰ ἀντικείμενα· ἀλλὰ τοῦτο μὲν τούτου χάριν εἴρηται, ὅτι οὐ πᾶσα δύναμις τῶν ἀντικειμένων, οὐδ» ὅσαι λέγονται κατὰ τὸ αὐτὸ εἶδος, – ἔνιαι δὲ δυνάμεις ὁμώνυμοί εἰσιν· τὸ γὰρ δυνατὸν οὐχ ἁπλῶς λέγεται, ἀλλὰ τὸ μὲν ὅτι ἀληθὲς ὡς ἐνεργείᾳ ὄν, οἷον δυνατὸν βαδίζειν ὅτι βαδίζει, καὶ ὅλως δυνατὸν εἶναι ὅτι ἤδη ἔστι κατ» ἐνέργειαν ὃ λέγεται δυνατόν, τὸ δὲ ὅτι ἐνεργήσειεν ἄν, οἷον δυνατὸν βαδίζειν ὅτι βαδίσειεν ἄν. καὶ αὕτη μὲν ἐπὶ τοῖς κινητοῖς ἐστὶ μόνοις ἡ δύναμις, ἐκείνη δὲ καὶ ἐπὶ τοῖς ἀκινήτοις· ἄμφω δὲ ἀληθὲς εἰπεῖν τὸ μὴ ἀδύνατον εἶναι βαδίζειν ἢ εἶναι, καὶ τὸ βαδίζον ἤδη καὶ ἐνεργοῦν καὶ τὸ βαδιστικόν. τὸ μὲν οὖν οὕτω δυνατὸν οὐκ ἀληθὲς κατὰ τοῦ ἀναγκαίου ἁπλῶς εἰπεῖν, θάτερον δὲ ἀληθές. ὥστε, ἐπεὶ τῷ ἐν μέρει τὸ καθόλου ἕπεται, τῷ ἐξ ἀνάγκης ὄντι ἕπεται τὸ δύνασθαι εἶναι, οὐ μέντοι πᾶν. καὶ ἔστι δὴ ἀρχὴ ἴσως τὸ ἀναγκαῖον καὶ μὴ ἀναγκαῖον πάντων ἢ εἶναι ἢ μὴ εἶναι, καὶ τὰ ἄλλα ὡς τούτοις ἀκολουθοῦντα ἐπισκοπεῖν δεῖ. Φανερὸν δὴ ἐκ τῶν εἰρημένων ὅτι τὸ ἐξ ἀνάγκης ὂν κατ» ἐνέργειάν ἐστιν, ὥστε εἰ πρότερα τὰ ἀίδια, καὶ ἐνέργεια δυνάμεως προτέρα. καὶ τὰ μὲν ἄνευ δυνάμεως ἐνέργειαί εἰσιν, οἷον αἱ πρῶται οὐσίαι, τὰ δὲ μετὰ δυνάμεως, ἃ τῇ μὲν φύσει πρότερα, τῷ χρόνῳ δὲ ὕστερα, τὰ δὲ οὐδέποτε ἐνέργειαί εἰσιν ἀλλὰ δυνάμεις μόνον.