[9,4] CHAPITRE IV. Εἰ δέ ἐστι τὸ εἰρημένον τὸ δυνατὸν ἢ ἀκολουθεῖ, φανερὸν ὅτι οὐκ ἐνδέχεται ἀληθὲς εἶναι τὸ εἰπεῖν ὅτι δυνατὸν μὲν (5) τοδί, οὐκ ἔσται δέ, ὥστε τὰ ἀδύνατα εἶναι ταύτῃ διαφεύγειν· λέγω δὲ οἷον εἴ τις φαίη δυνατὸν τὴν διάμετρον μετρηθῆναι οὐ μέντοι μετρηθήσεσθαι - ὁ μὴ λογιζόμενος τὸ ἀδύνατον εἶναι - ὅτι οὐθὲν κωλύει δυνατόν τι ὂν εἶναι ἢ γενέσθαι μὴ εἶναι μηδ' ἔσεσθαι. Ἀλλ' ἐκεῖνο ἀνάγκη ἐκ (10) τῶν κειμένων, εἰ καὶ ὑποθοίμεθα εἶναι ἢ γεγονέναι ὃ οὐκ ἔστι μὲν δυνατὸν δέ, ὅτι οὐθὲν ἔσται ἀδύνατον· συμβήσεται δέ γε, τὸ γὰρ μετρεῖσθαι ἀδύνατον. Οὐ γὰρ δή ἐστι ταὐτὸ τὸ ψεῦδος καὶ τὸ ἀδύνατον· τὸ γάρ σε ἑστάναι νῦν ψεῦδος μέν, οὐκ ἀδύνατον δέ. Ἅμα δὲ δῆλον καὶ ὅτι, εἰ (15) τοῦ Α ὄντος ἀνάγκη τὸ Β εἶναι, καὶ δυνατοῦ ὄντος εἶναι τοῦ Α καὶ τὸ Β ἀνάγκη εἶναι δυνατόν· εἰ γὰρ μὴ ἀνάγκη δυνατὸν εἶναι, οὐθὲν κωλύει μὴ εἶναι δυνατὸν εἶναι. Ἔστω δὴ τὸ Α δυνατόν. Οὐκοῦν ὅτε τὸ Α δυνατὸν εἴη εἶναι, εἰ τεθείη τὸ Α, οὐθὲν ἀδύνατον εἶναι συνέβαινεν· τὸ δέ γε Β (20) ἀνάγκη εἶναι. Ἀλλ' ἦν ἀδύνατον. Ἔστω δὴ ἀδύνατον. Εἰ δὴ ἀδύνατον ἀνάγκη εἶναι τὸ Β, ἀνάγκη καὶ τὸ Α εἶναι. Ἀλλ' ἦν ἄρα τὸ πρῶτον ἀδύνατον· καὶ τὸ δεύτερον ἄρα. Ἂν ἄρα ᾖ τὸ Α δυνατόν, καὶ τὸ Β ἔσται δυνατόν, εἴπερ οὕτως εἶχον ὥστε τοῦ Α ὄντος ἀνάγκη εἶναι τὸ Β. Ἐὰν δὴ οὕτως ἐχόντων (25) τῶν Α Β μὴ ᾖ δυνατὸν τὸ Β οὕτως, οὐδὲ τὰ Α Β ἕξει ὡς ἐτέθη· καὶ εἰ τοῦ Α δυνατοῦ ὄντος ἀνάγκη τὸ Β δυνατὸν εἶναι, εἰ ἔστι τὸ Α ἀνάγκη εἶναι καὶ τὸ Β. Τὸ γὰρ δυνατὸν εἶναι ἐξ ἀνάγκης τὸ Β εἶναι, εἰ τὸ Α δυνατόν, τοῦτο σημαίνει, ἐὰν ᾖ τὸ Α καὶ ὅτε καὶ ὡς ἦν δυνατὸν (35) εἶναι, κἀκεῖνο τότε καὶ οὕτως εἶναι ἀναγκαῖον.

[9,4] CHAPITRE IV. 94 Si le possible est, comme nous l'avons dit, ce qui passe à l'acte, évidemment il n'est pas vrai de dire : Telle chose est possible, mais elle ne sera pas. Autrement le caractère de l'impossible nous échappe. Dire par exemple : Le rapport de la diagonale au côté du carré peut être mesuré, mais il ne sera pas mesuré, ce n'est pas tenir compte de l'impossibilité. Rien n'empêche, prétendra-t-on, qu'il n'y ait pour une chose qui n'est pas ou ne sera pas, possibilité d'être ou d'avoir été. Mais admettre cette proposition, supposer que ce qui n'est pas, mais est possible, est réellement ou a été, c'est admettre qu'il n'y a rien d'impossible. Or, il y a des choses impossibles : il est impossible de mesurer le rapport de la diagonale au côté du carré. Il n'y a pas identité entre le faux etl'impossible : il est faux que tu sois debout maintenant, mais cela n'est pas impossible. Il est évident d'ailleurs que si A existant entraîne nécessairement l'existence de B, A pouvant exister, nécessairement B peut exister aussi. Car si l'existence de B n'est pas nécessairement possible, rien n'empêche que son existence ne soit pas possible. Soit donc A possible : dans le cas de la possibilité de l'existence de A, admettre que A existe n'entraîne aucune impossibilité. Or, dans ce cas B existe nécessairement. 95 Mais nous avons admis que B pourrait être impossible. Soit donc B impossible. Si B est impossible, nécessairement A l'est aussi. Mais tout à l'heure A était possible. Donc B est possible. Donc A étant possible, nécessairement B est possible, s'il y a entre A et B un rapport tel, que, A existant, B nécessairement existe. Donc si A et B sont dans ce cas, admettre qu'alors B n'est pas possible, c'est admettre que A et B ne sont pas eux-mêmes entre eux comme on l'avait admis. Et si, A étant possible, B est nécessairement possible, l'existence de A entraîne nécessairement celle de B. En effet, B est nécessairement possible lorsque A est possible, signifie : Lorsque A existe, dans quelque circonstance, de quelque façon qu'il puisse exister, alors B aussi existe, et il est nécessaire qu'il existe, et au même titre que A.