Aristotle: Analytica Priora (Prior Analytics)

μηδενὶ ἢ μὴ παντὶ ἐξ ἀνάγκης ὑπάρχειν· εἰ γὰρ μηδενὶ ἢ μὴ παντὶ ἐξ ἀνάγκης, ἐνδέχεσθαί φαμεν καὶ μηδενὶ καὶ μὴ παντὶ ὑπάρχειν. Ἐνδεχέσθω γὰρ τὸ Α παντὶ τῷ Β, τὸ δὲ Β παντὶ τῷ Γ κείσθω ὑπάρχειν. Ἐπεὶ οὖν ὑπὸ τὸ Β ἐστὶ τὸ Γ, τῷ δὲ Β παντὶ ἐνδέχεται τὸ Α, φανερὸν ὅτι καὶ τῷ Γ παντὶ ἐνδέχεται. Γίνεται δὴ τέλειος συλλογισμός. Ὁμοίως δὲ καὶ στερητικῆς οὔσης τῆς Α Β προτάσεως, τῆς δὲ Β Γ καταφατικῆς, καὶ τῆς μὲν ἐνδέχεσθαι τῆς δ᾿ ὑπάρχειν λαμβανούσης, τέλειος συλλογισμὸς ὅτι τὸ Α ἐνδέχεται μηδενὶ τῷ Γ ὑπάρχειν.

Ὅτι μὲν οὖν τοῦ ὑπάρχειν τιθεμένου πρὸς τὸ ἔλαττον ἄκρον τέλειοι γίνονται συλλογισμοί, φανερόν· ὅτι δ᾿ ἐναντίως ἔχοντος ἔσονται συλλογισμοί, διὰ τοῦ ἀδυνάτου δεικτέον. Ἅμα δ᾿ ἔσται δῆλον καὶ ὅτι ἀτελεῖς· ἡ γὰρ δεῖξις οὐκ ἐκ τῶν εἰλημμένων προτάσεων. Πρῶτον δὲ λεκτέον ὅτι εἰ τοῦ Α ὄντος ἀνάγκη τὸ Β εἶναι, καὶ δυνατοῦ ὄντος τοῦ Α δυνατὸν ἔσται τὸ Β ἐξ ἀνάγκης. Ἔστω γὰρ οὕτως ἐχόντων τὸ μὲν ἐφ᾿ ᾧ τὸ Α δυνατόν, τὸ δ᾿ ἐφ᾿ ᾧ τὸ Β ἀδύνατον. Εἰ οὖν τὸ μὲν δυνατόν, ὅτε δυνατὸν εἶναι, γένοιτ᾿ ἄν, τὸ δ᾿ ἀδύνατον, ὅτ᾿ ἀδύνατον, οὐκ ἂν γένοιτο, ἅμα δ᾿ εἰ τὸ Α δυνατὸν καὶ τὸ Β ἀδύνατον, ἐνδέχοιτ᾿ ἂν τὸ Α γενέσθαι ἄνευ τοῦ Β, εἰ δὲ γενέσθαι, καὶ εἶναι· τὸ γὰρ γεγονός, ὅτε γέγονεν, ἔστιν. Δεῖ δὲ λαμβάνειν μὴ μόνον ἐν τῇ γενέσει τὸ ἀδύνατον καὶ δυνατόν, ἀλλὰ καὶ ἐν τῷ ἀληθεύεσθαι καὶ ἐν τῷ ὑπάρχειν, καὶ ὁσαχῶς ἄλλως λέγεται τὸ δυνατόν· ἐν ἅπασι γὰρ ὁμοίως ἕξει. Ἔτι τὸ ὄντος τοῦ Α τὸ Β εἶναι, οὐχ ὡς ἑνός τινος ὄντος τοῦ Α τὸ Β ἔσται δεῖ ὑπολαβεῖν· οὐ γάρ ἐστιν οὐδὲν ἐξ ἀνάγκης ἑνός τινος ὄντος, ἀλλὰ δυοῖν ἐλαχίστοιν, οἷον ὅταν αἱ προτάσεις οὕτως ἔχωσιν ὡς ἐλέχθη κατὰ τὸν συλλογισμόν. Εἰ γὰρ τὸ Γ κατὰ τοῦ Δ, τὸ δὲ Δ κατὰ τοῦ Ζ, καὶ τὸ Γ κατὰ τοῦ Ζ ἐξ ἀνάγκης. Καὶ εἰ δυνατὸν