Aristotle: Analytica Priora (Prior Analytics)

καὶ προτάσεις. Εἰ οὖν ἀληθές, ᾧ τὸ Β ὑπάρχει, τὸ Α παντί, ᾧ δὲ τὸ Γ, τὸ Β, ᾧ τὸ Γ, ἀνάγκη τὸ Α ὑπάρχειν καὶ οὐχ οἷόν τε τοῦτο ψεῦδος εἶναι· ἅμα γὰρ ὑπάρξει ταὐτὸ καὶ οὐχ ὑπάρξει. Τὸ οὖν Α ὥσπερ ἓν κεῖται, δύο προτάσεις συλληφθεῖσαι. Ὁμοίως δὲ καὶ ἐπὶ τῶν στερητικῶν ἔχει· οὐ γὰρ ἔστιν ἐξ ἀληθῶν δεῖξαι ψεῦδος.

Ἐκ ψευδῶν δ᾿ ἀληθὲς ἔστι συλλογίσασθαι καὶ ἀμφοτέρων τῶν προτάσεων ψευδῶν οὐσῶν καὶ τῆς μιᾶς, ταύτης δ᾿ οὐχ ὁποτέρας ἔτυχεν ἀλλὰ τῆς δευτέρας, ἐάνπερ ὅλην λαμβάνῃ ψευδῆ· μὴ ὅλης δὲ λαμβανομένης ἔστιν ὁποτερασοῦν. Ἔστω γὰρ τὸ Α ὅλῳ τῷ Γ ὑπάρχον, τῶν δὲ Β μηδενί, μηδὲ τὸ Β τῷ Γ. Ἐνδέχεται δὲ τοῦτο, οἷον λίθῳ οὐδενὶ ζῷον, οὐδὲ λίθος οὐδενὶ ἀνθρώπῳ. Ἐὰν οὖν ληφθῇ τὸ Α παντὶ τῷ Β καὶ τὸ Β παντὶ τῷ Γ, τὸ Α παντὶ τῷ Γ ὑπάρξει, ὥστ᾿ ἐξ ἀμφοῖν ψευδῶν ἀληθὲς τὸ συμπέρασμα· πᾶς γὰρ ἄνθρωπος ζῷον. Ὡσαύτως δὲ καὶ τὸ στερητικόν. Ἔστι γὰρ τῷ Γ μήτε τὸ Α ὑπάρχειν μηδενὶ μήτε τὸ Β, τὸ μέντοι Α τῷ Β παντί, οἷον ἐὰν τῶν αὐτῶν ὅρων ληφθέντων μέσον τεθῇ ὁ ἄνθρωπος· λίθῳ γὰρ οὔτε ζῷον οὔτε ἄνθρωπος οὐδενὶ ὑπάρχει, ἀνθρώπῳ δὲ παντὶ ζῷον. Ὤστ᾿ ἐὰν ᾧ μὲν ὑπάρχει, λάβῃ μηδενὶ ὑπάρχειν, ᾧ δὲ μὴ ὑπάρχει, παντὶ ὑπάρχειν, ἐκ ψευδῶν ἀμφοῖν ἀληθὲς ἔσται τὸ συμπέρασμα. Ὁμοίως δὲ δειχθήσεται καὶ ἐὰν ἐπί τι ψευδὴς ἑκατέρα ληφθῇ. Ἐὰν δ᾿ ἡ ἑτέρα τεθῇ ψευδής, τῆς μὲν πρώτης ὅλης ψευδοῦς οὔσης, οἷον τῆς Α Β, οὐκ ἔσται τὸ συμπέρασμα ἀληθές, τῆς δὲ Β Γ ἔσται. Λέγω δ᾿ ὅλην ψευδῆ τὴν ἐναντίαν, οἷον εἰ μηδενὶ ὑπάρχον παντὶ εἴληπται ἢ εἰ παντὶ μηδενὶ ὑπάρχειν. Ἔστω γὰρ τὸ Α τῷ Β μηδενὶ ὑπάρχον, τὸ δὲ Β τῷ Γ παντί. Ἂν δὴ τὴν μὲν Β Γ πρότασιν λάβω ἀληθῆ, τὴν δὲ τὸ Α Β ψευδῆ ὅλην, καὶ παντὶ ὑπάρχειν τῷ Β τὸ Α, ἀδύνατον τὸ συμπέρασμα ἀληθὲς εἶναι· οὐδενὶ γὰρ ὑπῆρχε τῶν