Aristotle: Analytica Posteriora (Posterior Analytics)

τετρυπημένην ἑωρῶμεν καὶ τὸ φῶς διιόν, δῆλον ἂν ἦν καὶ διὰ τί καίει, τῷ ὁρᾶν μὲν χωρὶς ἐφ᾿ ἑκάστης, νοῆσαι δ᾿ ἅμα ὅτι ἐπὶ πασῶν οὕτως.

Τὰς δ᾿ αὐτὰς ἀρχὰς ἁπάντων εἶναι τῶν συλλογισμῶν ἀδύνατον, πρῶτον μὲν λογικῶς θεωροῦσιν. Οἱ μὲν γὰρ ἀληθεῖς εἰσὶ τῶν συλλογισμῶν, οἱ δὲ ψευδεῖς. Καὶ γὰρ ἔστιν ἀληθὲς ἐκ ψευδῶν συλλογίσασθαι, ἀλλ᾿ ἅπαξ τοῦτο γίνεται, οἷον εἰ τὸ Α κατὰ τοῦ Γ ἀληθές, τὸ δὲ μέσον τὸ Β ψεῦδος· οὔτε γὰρ τὸ Α τῷ Β ὑπάρχει οὔτε τὸ Β τῷ Γ. Ἀλλ᾿ ἐὰν τούτων μέσα λαμβάνηται τῶν προτάσεων, ψευδεῖς ἔσονται διὰ τὸ πᾶν συμπέρασμα ψεῦδος ἐκ ψευδῶν εἶναι, τὰ δ᾿ ἀληθῆ ἐξ ἀληθῶν, ἕτερα δὲ τὰ ψευδῆ καὶ τἀληθῆ. θῆ. Εἶτα οὐδὲ τὰ ψευδῆ ἐκ τῶν αὐτῶν ἑαυτοῖς· ἔστι γὰρ ψευδῆ ἀλλήλοις καὶ ἐναντία καὶ ἀδύνατα ἅμα εἶναι, οἷον τὸ τὴν δικαιοσύνην εἶναι ἀδικίαν ἢ δειλίαν, καὶ τὸν ἄνθρωπον ἵππον ἢ βοῦν, ἢ τὸ ἴσον μεῖζον ἢ ἔλαττον. Ἐκ δὲ τῶν κειμένων ὧδε· οὐδὲ γὰρ τῶν ἀληθῶν αἱ αὐταὶ ἀρχαὶ πάντων. Ἕτεραι γὰρ πολλῶν τῷ γένει αἱ ἀρχαί, καὶ οὐδ᾿ ἐφαρμόττουσαι, οἷον αἱ μονάδες ταῖς στιγμαῖς οὐκ ἐφαρμόττουσιν· αἱ μὲν γὰρ οὐκ ἔχουσι θέσιν, αἱ δὲ ἔχουσιν. Ἀνάγκη δέ γε ἢ εἰς μέσα ἁρμόττειν ἢ ἄνωθεν ἢ κάτωθεν, ἢ τοὺς μὲν εἴσω ἔχειν τοὺς δ᾿ ἔξω τῶν ὅρων. Ἀλλ᾿ οὐδὲ τῶν κοινῶν ἀρχῶν οἷόν τ᾿ εἶναί τινας, ἐξ ὧν ἅπαντα δειχθήσεται· λέγω δὲ κοινὰς οἷον τὸ πᾶν φάναι ἢ ἀποφάναι. Τὰ γὰρ γένη τῶν ὄντων ἕτερα, καὶ τὰ μὲν τοῖς ποσοῖς τὰ δὲ τοῖς ποιοῖς ὑπάρχει μόνοις, μεθ᾿ ὧν δείκνυται διὰ τῶν κοινῶν. Ἔτι αἱ ἀρχαὶ οὐ πολλῷ ἐλάττους τῶν συμπερασμάτων· ἀρχαὶ μὲν γὰρ αἱ προτάσεις, αἱ δὲ προτάσεις ἢ προσλαμβανομένου ὅρου ἢ ἐμβαλλομένου εἰσίν. Ἔτι τὰ συμπεράσματα ἄπειρα, οἱ δ᾿