Page 32a21

Ὅτι δὲ τοῦτ᾿ ἔστι τὸ ἐνδεχόμενον, φανερὸν ἔκ τε τῶν καταφάσεων καὶ τῶν ἀποφάσεων τῶν ἀντικειμένων. Ὅτι τὸ ἐνδεχόμενον τοιοῦτόν ἐστιν, ὁποῖον αὐτὸς ὡρίσατο, δείκνυσι. γνωριμώτερον δ’ ἔσται τὸ λεγόμενον, ἄν τὸ ὑπ’ αὐτοῦ μετ’ ὀλίγον λεγόμενόν τε καὶ δεικνύμενον προλάβωμεν ἤδη· φανερώτερον γὰρ ἡμῖν τὸ λεγόμενον ἔσται δι’ αὐτοῦ. ἔστι δέ, ὃ δείξει, τοῦτο· ὧν ἀντιφάσεων τὰ ἕτερα μόρια ἀλλήλοις ἕπεται, τούτων τῶν ἀντιφάσεων καὶ τὰ λοιπὰ μόρια ἀνάγκη ἕπεσθαι ἀλλήλοις, ἐπεὶ κατὰ παντὸς τὸ ἕτερον μόριον τῆς ἀντιφάσεως, ὡς καὶ ἐνταῦθα προσέθηκεν. ἔστωσαν γὰρ λόγου χάριν δύο τινὲς καταφάσεις, ἥ τε Α καὶ ἡ Β, κἂ ἔστωσαν ἀντιφατικαὶ ἀποφάσεις αὐτῶν τῆς μὲν Α ἡ Γ τῆς δὲ Β ἡ Δ, καὶ ἑπέσθω τῇ Α καταφάσει ἡ Β κατάφασις ἅμα οὖσα αὐτῇ ἀληθής· ἀκολουθήσει δὴ καὶ τῇ Γ ἀποφάσει ἡ Δ ἀπόφασις καὶ ἅμα αὐτῇ ἀληθὴς ἔσται. εἰλήφθω γάρ τι, ἐφ’ οὗ ἀληθής ἐστι ἡ Γ ἀπόφασις· ἔστω τοῦτο τὸ Ε· λέγω, ὅτι ἐπὶ τούτου ἀληθής ἐστι καὶ ἡ Δ ἀπόφασις. εἰ γὰρ μὴ εἴη αὐτή, ἡ κατάφασις αὐτῆς ἀληθὴς ἔσται ἡ Β· εἰ δὲ αὕτη, καὶ ἡ Α κατάφασις· ἔκειντο γὰρ ἀκολουθεῖν ἀλλήλαις καὶ ἅμα εἶναι ἀληθεῖς. ἐφ’ οὗ ἄρα ἡ Γ ἀπόφασις ἀληθής, ἔσται ἐπὶ τούτου καὶ ἡ κατάφασις αὐτῆς ἡ Α ἀληθής· καὶ ἅμα ἄρα ἐπὶ τοῦ αὐτοῦ ἡ ἀντίφασις ἀληθής, ὅπερ ἀδύνατον. ἀκολουθήσει ἄρα τῷ E ἡ Δ ἀπόφασις· ἠκολούθει δὲ καὶ ἡ Γ ἀπόφασις. καθόλου ἄρα ὑγιὲς τὸ ὧν ἀντιφάσεων θάτερα μέρη συναληθεύεται ἀλλήλοις, τὸ] τούτων καὶ τὰ ἕτερα πάλιν ἀλλήλοις συναληθεύε- σθαί τε καὶ ἀκολουθεῖν. τούτου δεικνυμένου γνώριμον τὸ λεγόμενον ὑπ’ αὐτοῦ· εἰ γὰρ τὸ οὐκ ἐνδέχεται ὑπάρχειν καὶ ἀδύνατον ὑπάρχειν καὶ ἀνάγκη μὴ ὑπάρχειν ἤτοι ταὐτά ἐστιν ἢ ἀκολουθεῖ ἀλλήλοις, ὡς πάντες ἄν φαῖεν καὶ ἐν τῷ Περὶ ἑρμηνείας δέδεικται καὶ γὰρ εἰ μὴ ταὐτὰ πάντη, ὅτι τὸ μὲν ἀπόφασις τὰ δὲ καταφάσεις, ἀλλ’ ἐφ’ οὗ τὸ ἓν ἐξ αὐτῶν ἀληθές, καὶ τὰ ὤα), δῆλον τοίνυν, ὡς καὶ αἱ τούτων ἀντιφάσεις ἀκολουθοῦσιν ἀλλήλαις. ἔστι δὲ τοῦ μὲν οὐκ ἐνδέχεται ὑπάρχειν ὄντος ἀποφατικοῦ κατάφασις τὸ ἐνδέχεται ὑπάρχειν, τῶνδέ ἀδύνατον ὑπάρχειν καὶ ἀνάγκη μὴ ὑπάρχειν καταφάσεων, αἳ εἵποντο τῇ οὐκ ἐνδέχεται ὑπάρχειν <ἀποφάσεις> τό τε οὐκ ἀδύνατον ὑπάρχειν καὶ οὺκ ἀνάγκη μὴ ὑπάρχειν. ἀκολουθήσουσιν ἄρα καὶ ταῦτα ἀλλήλοις, καὶ ἔσται τὸ ‘ἐνδέχεται εἶναι᾿ καὶ ‘οὐκ ἀδύνατον εἶναι’ καὶ ‘οὐκ ἀνάγκη μὴ εἶναι᾿ ἅμα ἀληθῆ. τὸ |ἄρα ἐνδεχόμενον εἶναι οὐκ ἀδύνατον ἔσται εἶναι οὐδ’ ἀναγκαῖον 51v μὴ εἶναι. οὐκ ὄντι ἄρα αὐτῷ ἀναγκαίῳ, ἀλλὰ μηδὲ ὑπάρχοντι, ὑποτεθέντι δὲ] ὑπάρχειν, ἐπεὶ οὐκ ἀδύνατόν ἐστιν, οὐδὲν ἀδύνατον ἀκολουθήσει· τοῦτο γὰρ ἀληθές, διότι ἀδυνάτῳ ἀδύνατον ἀκολουθεῖ, ὡς προελθὼν ὀλίγον ἐρεῖ τε καὶ δείξει.