Τούτων δὲ διωρισμένων σκεπτέον ὅπως ἔχουσιν αἱ ἀποφάσεις καὶ καταφάσεις πρὸς ἀλλήλας αἱ τοῦ δυνατὸν εἶναι καὶ μὴ δυνατόν, καὶ ἐνδεχόμενον καὶ μὴ ἐνδεχόμενον, καὶ περὶ τοῦ ἀδυνάτου τε καὶ ἀναγκαίου· ἔχει γὰρ ἀπορίας τινάς. εἰ γὰρ τῶν συμπλεκομένων αὗται ἀλλήλαις ἀντίκεινται αἱ ἀντιφάσεις, ὅσαι κατὰ τὸ εἶναι καὶ μὴ εἶναι τάττονται, οἷον [21b] τοῦ εἶναι ἄνθρωπον ἀπόφασις τὸ μὴ εἶναι ἄνθρωπον, οὐ τὸ εἶναι μὴ ἄνθρωπον, καὶ τοῦ εἶναι λευκὸν ἄνθρωπον τὸ μὴ εἶναι λευκὸν ἄνθρωπον, ἀλλ» οὐ τὸ εἶναι μὴ λευκὸν ἄνθρωπον, – εἰ γὰρκατὰ παντὸς ἡ κατάφασις ἢ ἡ ἀπόφασις, τὸ ξύλον ἔσται ἀληθὲς εἰπεῖν εἶναι μὴ λευκὸν ἄνθρωπον· εἰ δὲ οὕτως, καὶ ὅσοις τὸ εἶναι μὴ προστίθεται, τὸ αὐτὸ ποιήσει τὸ ἀντὶ τοῦ εἶναι λεγόμενον, οἷον τοῦ ἄνθρωπος βαδίζει οὐ τὸ οὐκ ἄνθρωπος βαδίζει ἀπόφασις, ἀλλὰ τὸ οὐ βαδίζει ἄνθρωπος· οὐδὲν γὰρ διαφέρει εἰπεῖν ἄνθρωπον βαδίζειν ἢ ἄνθρωπον βαδίζοντα εἶναι· – ὥστε εἰ οὕτω πανταχοῦ, καὶ τοῦ δυνατὸν εἶναι ἀπόφασις τὸ δυνατὸν μὴ εἶναι, ἀλλ» οὐ τὸ μὴ δυνατὸν εἶναι. δοκεῖ δὲ τὸ αὐτὸ δύνασθαι καὶ εἶναι καὶ μὴ εἶναι· πᾶν γὰρ τὸ δυνατὸν τέμνεσθαι ἢ βαδίζειν καὶ μὴ βαδίζειν καὶ μὴ τέμνεσθαι δυνατόν· λόγος δ» ὅτι ἅπαν τὸ οὕτω δυνατὸν οὐκ ἀεὶ ἐνεργεῖ, ὥστε ὑπάρξει αὐτῷ καὶ ἡ ἀπόφασις· δύναται γὰρ καὶ μὴ βαδίζειν τὸ βαδιστικὸν καὶ μὴ ὁρᾶσθαι τὸ ὁρατόν. ἀλλὰ μὴν ἀδύνατον κατὰ τοῦ αὐτοῦ ἀληθεύεσθαι τὰς ἀντικειμένας φάσεις· οὐκ ἄρα αὕτη ἀπόφασις· συμβαίνει γὰρ ἐκ τούτων ἢ τὸ αὐτὸ φάναι καὶ ἀποφάναι ἅμα κατὰ τοῦ αὐτοῦ, ἢ μὴ κατὰ τὸ εἶναι καὶ μὴ εἶναι τὰ προστιθέμενα γίγνεσθαι φάσεις καὶ ἀποφάσεις. εἰ οὖν ἐκεῖνο ἀδύνατον, τοῦτ» ἂν εἴη αἱρετόν. ἔστιν ἄρα ἀπόφασις τοῦ δυνατὸν εἶναι τὸ μὴ δυνατὸν εἶναι. ὁ δ» αὐτὸς λόγος καὶ περὶ τοῦ ἐνδεχόμενον εἶναι· καὶ γὰρ τούτου ἀπόφασις τὸ μὴ ἐνδεχόμενον εἶναι. καὶ ἐπὶ τῶν ἄλλων δὲ ὁμοιοτρόπως, οἷον ἀναγκαίου τε καὶ ἀδυνάτου. γίγνεται γάρ, ὥσπερ ἐπ» ἐκείνων τὸ εἶναι καὶ μὴ εἶναι προσθέσεις, τὰ δ» ὑποκείμενα πράγματα τὸ μὲν λευκὸν τὸ δὲ ἄνθρωπος, οὕτως ἐνταῦθα τὸ μὲν εἶναι ὡς ὑποκείμενον γίγνεται, τὸ δὲ δύνασθαι καὶ ἐνδέχεσθαι προσθέσεις διορίζουσαι, ὥσπερ ἐπ» ἐκείνων τὸ εἶναι καὶ μὴ εἶναι τὸ ἀληθές, ὁμοίως αὗται ἐπὶ τοῦ εἶναι δυνατὸν καὶ εἶναι οὐ δυνατόν.
Τοῦ δὲ δυνατὸν μὴ εἶναι ἀπόφασις τὸ οὐ δυνατὸν μὴ εἶναι. διὸ καὶ ἀκολουθεῖν ἂν δόξαιεν ἀλλήλαις αἱ δυνατὸν εἶναι – δυνατὸν μὴ εἶναι· τὸ γὰρ αὐτὸ δυνατὸν εἶναι καὶ μὴ εἶναι· οὐ γὰρ ἀντιφάσεις ἀλλήλων αἱ τοιαῦται. ἀλλὰ τὸ δυνατὸν εἶναι καὶ [22a] μὴ δυνατὸν εἶναι οὐδέποτε ἅμα· ἀντίκεινται γάρ. οὐδέ γε τὸ δυνατὸν μὴ εἶναι καὶ οὐ δυνατὸν μὴ εἶναι οὐδέποτε ἅμα. ὁμοίως δὲ καὶ τοῦ ἀναγκαῖον εἶναι ἀπόφασις οὐ τὸ ἀναγκαῖον μὴ εἶναι, ἀλλὰ τὸ μὴ ἀναγκαῖον εἶναι· τοῦ δὲ ἀναγκαῖον μὴ εἶναι τὸ μὴ ἀναγκαῖον μὴ εἶναι. καὶ τοῦ ἀδύνατον εἶναι οὐ τὸ ἀδύνατον μὴ εἶναι, ἀλλὰ τὸ μὴ ἀδύνατον εἶναι· τοῦ δὲ ἀδύνατον μὴ εἶναι τὸ οὐκ ἀδύνατον μὴ εἶναι. – καὶ καθόλου δέ, ὥσπερ εἴρηται, τὸ μὲν εἶναι καὶ μὴ εἶναι δεῖ τιθέναι ὡς τὰ ὑποκείμενα, κατάφασιν δὲ καὶ ἀπόφασιν ταῦτα ποιοῦντα πρὸς τὸ εἶναι καὶ μὴ εἶναι συνάπτειν. καὶ ταύτας οἴεσθαι χρὴ εἶναι τὰς ἀντικειμένας φάσεις, δυνατόν – οὐ δυνατόν, ἐνδεχόμενον – οὐκ ἐνδεχόμενον, ἀδύνατον – οὐκ ἀδύνατον, ἀναγκαῖον – οὐκ ἀναγκαῖον, ἀληθές – οὐκ ἀληθές.
А следствия устанавливаются следующим образом: нечто может быть контингентным, и это противоположно тому; существование чего-то не невозможно, но и не необходимо. И наоборот, то, что возможно не существовать, также возможно не существовать и условно; может быть и не-нужное, и не-возможное. Для чего-то, что не возможно и не контингентно, необходимое не существует, а невозможное существует. Точно так же для чего-то, что не может не существовать и не может не существовать, необходимое должно существовать, а невозможное не может не существовать. Давайте рассмотрим это в общих чертах, как мы говорим:
