Aristotle: Analytica Priora (Prior Analytics)

ἐὰν μὴ εὐθὺς ἡ πρότασις τοιαύτη ληφθῇ, οἷον πᾶν ζῷον λευκὸν εἶναι καὶ μὴ λευκόν, τὸν δ᾿ ἄνθρωπον ζῷον. Ἀλλ᾿ ἢ προσλαβεῖν δεῖ τὴν ἀντίφασιν, οἷον ὅτι πᾶσα ἐπιστήμη ὑπόληψις καὶ οὐχ ὑπόληψις, εἶτα λαβεῖν ὅτι ἡ ἰατρικὴ ἐπιστήμη μέν ἐστιν, οὐδεμία δ᾿ ὑπόληψις, ὥσπερ οἱ ἔλεγχοι γίνονται, ἢ ἐκ δύο συλλογισμῶν. Ὥστε δ᾿ εἶναι ἐναντία κατ᾿ ἀλήθειαν τὰ εἰλημμένα, οὐκ ἔστιν ἄλλον τρόπον ἢ τοῦτον, καθάπερ εἴρηται πρότερον.

Τὸ δ᾿ ἐν ἀρχῇ αἰτεῖσθαι καὶ λαμβάνειν ἔστι μέν, ὡς ἐν γένει λαβεῖν, ἐν τῷ μὴ ἀποδεικνύναι τὸ προκείμενον, τοῦτο δ᾿ ἐπισυμβαίνει πολλαχῶς· καὶ γὰρ εἰ ὅλως μὴ συλλογίζεται, καὶ εἰ δι᾿ ἀγνωστοτέρων ἢ ὁμοίως ἀγνώστων, καὶ εἰ διὰ τῶν ὑστέρων τὸ πρότερον· ἡ γὰρ ἀπόδειξις ἐκ πιστοτέρων τε καὶ προτέρων ἐστίν. Τούτων μὲν οὖν οὐδέν ἐστι τὸ αἰτεῖσθαι τὸ ἐξ ἀρχῆς· ἀλλ᾿ ἐπεὶ τὰ μὲν δι᾿ αὑτῶν πέφυκε γνωρίζεσθαι τὰ δὲ δι᾿ ἄλλων (αἱ μὲν γὰρ ἀρχαὶ δι᾿ αὑτῶν, τὰ δ᾿ ὑπὸ τὰς ἀρχὰς δι᾿ ἄλλων), ὅταν τὸ μὴ δι᾿ αὑτοῦ γνωστὸν δι᾿ αὑτοῦ τις ἐπιχειρῇ δεικνύναι, τότ᾿ αἰτεῖται τὸ ἐξ ἀρχῆς. Τοῦτο δ᾿ ἔστι μὲν οὕτω ποιεῖν ὥστ᾿ εὐθὺς ἀξιῶσαι τὸ προκείμενον, ἐνδέχεται δὲ καὶ μεταβάντας ἐπ᾿ ἄλλα ἄττα τῶν πεφυκότων δι᾿ ἐκείνου δείκνυσθαι διὰ τούτων ἀποδεικνύναι τὸ ἐξ ἀρχῆς, οἷον εἰ τὸ Α δεικνύοιτο διὰ τοῦ Β, τὸ δὲ Β διὰ τοῦ Γ, τὸ δὲ Γ πεφυκὸς εἴη δείκνυσθαι διὰ τοῦ Α· συμβαίνει γὰρ αὐτὸ δι᾿ αὑτοῦ τὸ Α δεικνύναι τοὺς οὕτω συλλογιζομένους. Ὅπερ ποιοῦσιν οἱ τὰς παραλλήλους οἰόμενοι γράφειν· λανθάνουσι γὰρ αὐτοὶ ἑαυτοὺς τοιαῦτα λαμβάνοντες, ἃ οὐχ οἷόν τε ἀποδεῖξαι μὴ οὐσῶν τῶν παραλλήλων. Ὥστε συμβαίνει τοῖς οὕτω συλλογιζομένοις ἕκαστον εἶναι λέγειν, εἰ ἔστιν ἕκαστον· οὕτω δ᾿ ἅπαν ἔσται δι᾿ αὑτοῦ γνωστόν· ὅπερ ἀδύνατον.

Εἰ οὖν τις ἀδήλου ὄντος ὅτι τὸ Α ὑπάρχει τῷ Γ, ὁμοίως