Aristotle: Analytica Priora (Prior Analytics)

δὲ Β εἰλήφθω παντὶ ἢ τινὶ τῷ Γ. Οὐκοῦν ἀνάγκη τὸ Α μηδενὶ ἢ μὴ παντὶ τῷ Γ ὑπάρχειν. Τοῦτο δ᾿ ἀδύνατον. Ἔστω γὰρ ἀληθές, καὶ φανερὸν ὅτι παντὶ ὑπάρχει τῷ Γ τὸ Α, ὥστ᾿ εἰ τοῦτο ψεῦδος, ἀνάγκη τὸ Α τινὶ τῷ Β ὑπάρχειν. Ἐὰν δὲ πρὸς τὸ Α ληφθῇ ἡ ἑτέρα πρότασις, οὐκ ἔσται συλλογισμός. Οὐδ᾿ ὅταν τὸ ἐναντίον τῷ συμπεράσματι ὑποτεθῇ, οἷον τὸ τινὶ μὴ ὑπάρχειν. Φανερὸν οὖν ὅτι τὸ ἀντικείμενον ὑποθετέον. Πάλιν ὑποκείσθω τὸ Α τινὶ τῷ Β ὑπάρχειν, εἰλήφθω δὲ τὸ Γ παντὶ τῷ Α. Ἀνάγκη οὖν τὸ Γ τινὶ τῷ Β ὑπάρχειν. Τοῦτο δ᾿ ἔστω ἀδύνατον, ὥστε ψεῦδος τὸ ὑποτεθέν. Εἰ δ᾿ οὕτως, ἀληθὲς τὸ μηδενὶ ὑπάρχειν. Ὁμοίως δὲ καὶ εἰ στερητικὸν ἐλήφθη τὸ Γ Α. Εἰ δ᾿ ἡ πρὸς τῷ Β εἴληπται πρότασις, οὐκ ἔσται συλλογισμός. Ἐὰν δὲ τὸ ἐναντίον ὑποτεθῇ, συλλογισμὸς μὲν ἔσται καὶ τὸ ἀδύνατον, οὐ δείκνυται δὲ τὸ προτεθέν. Ὑποκείσθω γὰρ παντὶ τῷ Β τὸ Α ὑπάρχειν, καὶ τὸ Γ τῷ Α εἰλήφθω παντί. Οὐκοῦν ἀνάγκη τὸ Γ παντὶ τῷ Β ὑπάρχειν. Τοῦτο δ᾿ ἀδύνατον, ὥστε ψεῦδος τὸ παντὶ τῷ Β τὸ Α ὑπάρχειν. Ἀλλ᾿ οὔπω γε ἀναγκαῖον, εἰ μὴ παντί, μηδενὶ ὑπάρχειν. Ὁμοίως δὲ καὶ εἰ πρὸς τῷ Β ληφθείη ἡ ἑτέρα πρότασις· συλλογισμὸς μὲν γὰρ ἔσται καὶ τὸ ἀδύνατον, οὐκ ἀναιρεῖται δ᾿ ἡ ὑπόθεσις, ὥστε τὸ ἀντικείμενον ὑποθετέον. Πρὸς δὲ τὸ μὴ παντὶ δεῖξαι ὑπάρχον τῷ Β τὸ Α, ὑποθετέον παντὶ ὑπάρχειν· εἰ γὰρ τὸ Α παντὶ τῷ Β καὶ τὸ Γ παντὶ τῷ Α, τὸ Γ παντὶ τῷ Β, ὥστ᾿ εἰ τοῦτο ἀδύνατον, ψεῦδος τὸ ὑποτεθέν. Ὁμοίως δὲ καὶ εἰ πρὸς τῷ Β ἐλήφθη ἡ ἑτέρα πρότασις. Καὶ εἰ στερητικὸν ἦν τὸ Γ Α, ὡσαύτως· καὶ γὰρ οὕτω γίνεται συλλογισμός. Ἐὰν δὲ πρὸς τῷ Β ᾖ τὸ στερητικόν, οὐδὲν δείκνυται. Ἐὰν δὲ μὴ παντὶ ἀλλὰ τινὶ ὑπάρχειν ὑποτεθῇ οὐ δείκνυται ὅτι οὐ παντὶ ἀλλ᾿ ὅτι οὐδενί. Εἰ γὰρ τὸ Α τινὶ τῷ Β, τὸ δὲ Γ παντὶ τῷ Α, τινὶ τῷ Β τὸ Γ ὑπάρξει.