Book 9

εἰ δέ ἐστι τὸ εἰρημένον τὸ δυνατὸν ἢ ἀκολουθεῖ, φανερὸν ὅτι οὐκ ἐνδέχεται ἀληθὲς εἶναι τὸ εἰπεῖν ὅτι δυνατὸν μὲν τοδί, οὐκ ἔσται δέ, ὥστε τὰ ἀδύνατα εἶναι ταύτῃ διαφεύγειν· λέγω δὲ οἷον εἴ τις φαίη δυνατὸν τὴν διάμετρον μετρηθῆναι οὐ μέντοι μετρηθήσεσθαι—ὁ μὴ λογιζόμενος τὸ ἀδύνατον εἶναι—ὅτι οὐθὲν κωλύει δυνατόν τι ὂν εἶναι ἢ γενέσθαι μὴ εἶναι μηδʼ ἔσεσθαι. ἀλλʼ ἐκεῖνο ἀνάγκη ἐκ τῶν κειμένων, εἰ καὶ ὑποθοίμεθα εἶναι ἢ γεγονέναι ὃ οὐκ ἔστι μὲν δυνατὸν δέ, ὅτι οὐθὲν ἔσται ἀδύνατον· συμβήσεται δέ γε, τὸ γὰρ μετρεῖσθαι ἀδύνατον. οὐ γὰρ δή ἐστι ταὐτὸ τὸ ψεῦδος καὶ τὸ ἀδύνατον· τὸ γάρ σε ἑστάναι νῦν ψεῦδος μέν, οὐκ ἀδύνατον δέ. ἅμα δὲ δῆλον καὶ ὅτι, εἰ τοῦ Α ὄντος ἀνάγκη τὸ Β εἶναι, καὶ δυνατοῦ ὄντος εἶναι τοῦ Α καὶ τὸ Β ἀνάγκη εἶναι δυνατόν· εἰ γὰρ μὴ ἀνάγκη δυνατὸν εἶναι, οὐθὲν κωλύει μὴ εἶναι δυνατὸν εἶναι. ἔστω δὴ τὸ Α δυνατόν. οὐκοῦν ὅτε τὸ Α δυνατὸν εἴη εἶναι, εἰ τεθείη τὸ Α, οὐθὲν ἀδύνατον εἶναι συνέβαινεν· τὸ δέ γε Β ἀνάγκη εἶναι. ἀλλʼ ἦν ἀδύνατον. ἔστω δὴ ἀδύνατον. εἰ δὴ ἀδύνατον εἶναι τὸ Β, ἀνάγκη καὶ τὸ Α εἶναι. ἀλλʼ ἦν ἄρα τὸ πρῶτον ἀδύνατον· καὶ τὸ δεύτερον ἄρα. ἂν ἄρα ᾖ τὸ Α δυνατόν, καὶ τὸ Β ἔσται δυνατόν, εἴπερ οὕτως εἶχον ὥστε τοῦ Α ὄντος ἀνάγκη εἶναι τὸ Β. ἐὰν δὴ οὕτως ἐχόντων τῶν Α Β μὴ ᾖ δυνατὸν τὸ Β οὕτως, οὐδὲ τὰ Α Β ἕξει ὡς ἐτέθη· καὶ εἰ τοῦ Α δυνατοῦ ὄντος ἀνάγκη τὸ Β δυνατὸν εἶναι, εἰ ἔστι τὸ Α ἀνάγκη εἶναι καὶ τὸ Β. τὸ γὰρ δυνατὸν εἶναι ἐξ ἀνάγκης τὸ Β εἶναι, εἰ τὸ Α δυνατόν, τοῦτο σημαίνει, ἐὰν ᾖ τὸ Α καὶ ὅτε καὶ ὡς ἦν δυνατὸν εἶναι, κἀκεῖνο τότε καὶ οὕτως εἶναι ἀναγκαῖον.