Aristotle: Analytica Posteriora (Posterior Analytics)

ὅροι πεπερασμένοι. Ἔτι αἱ ἀρχαὶ αἱ μὲν ἐξ ἀνάγκης, αἱ δ᾿ ἐνδεχόμεναι.

Οὕτω μὲν οὖν σκοπουμένοις ἀδύνατον τὰς αὐτὰς εἶναι πεπερασμένας, ἀπείρων ὄντων τῶν συμπερασμάτων. Εἰ δ᾿ ἄλλως πως λέγοι τις, οἷον ὅτι αἱδὶ μὲν γεωμετρίας αἱδὶ δὲ λογισμῶν αἱδὶ δὲ ἰατρικῆς, τί ἂν εἴη τὸ λεγόμενον ἄλλο πλὴν ὅτι εἰσὶν ἀρχαὶ τῶν ἐπιστημῶν; τὸ δὲ τὰς αὐτὰς φάναι γελοῖον, ὅτι αὐταὶ αὑταῖς αἱ αὐταί· πάντα γὰρ οὕτω γίνεται ταὐτά. Ἀλλὰ μὴν οὐδὲ τὸ ἐξ ἁπάντων δείκνυσθαι ὁτιοῦν, τοῦτ᾿ ἐστὶ τὸ ζητεῖν ἁπάντων εἶναι τὰς αὐτὰς ἀρχάς· λίαν γὰρ εὔηθες. Οὔτε γὰρ ἐν τοῖς φανεροῖς μαθήμασι τοῦτο γίνεται, οὔτ᾿ ἐν τῇ ἀναλύσει δυνατόν· αἱ γὰρ ἄμεσοι προτάσεις ἀρχαί, ἕτερον δὲ συμπέρασμα προσληφθείσης γίνεται προτάσεως ἀμέσου. Εἰ δὲ λέγοι τις τὰς πρώτας ἀμέσους προτάσεις ταύτας εἶναι ἀρχάς, μία ἐν ἑκάστω γένει ἐστίν. Εἰ δὲ μήτ᾿ ἐξ ἁπασῶν ὡς δέον δείκνυσθαι ὁτιοῦν μήθ᾿ οὕτως ἑτέρας ὥσθ᾿ ἑκάστης ἐπιστήμης εἶναι ἑτέρας, λείπεται εἰ συγγενεῖς αἱ ἀρχαὶ πάντων, ἀλλ᾿ ἐκ τωνδὶ μὲν ταδί, ἐκ δὲ τωνδὶ ταδί. Φανερὸν δὲ καὶ τοῦθ᾿ ὅτι οὐκ ἐνδέχεται· δέδεικται γὰρ ὅτι ἄλλαι ἀρχαὶ τῷ γένει εἰσὶν αἱ τῶν διαφόρων τῷ γένει. Αἱ γὰρ ἀρχαὶ διτταί, ἐξ ὧν τε καὶ περὶ ὅ· αἱ μὲν οὖν ἐξ ὧν κοιναί, αἱ δὲ περὶ ὃ ἴδιαι, οἷον ἀριθμός, μέγεθος.

Τὸ δ᾿ ἐπιστητὸν καὶ ἐπιστήμη διαφέρει τοῦ δοξαστοῦ καὶ δόξης, ὅτι ἡ μὲν ἐπιστήμη καθόλου καὶ δι᾿ ἀναγκαίων, τὸ δ᾿ ἀναγκαῖον οὐκ ἐνδέχεται ἄλλως ἔχειν. Ἔστι δέ τινα ἀληθῆ μὲν καὶ ὄντα, ἐνδεχόμενα δὲ καὶ ἄλλως ἔχειν. Δῆλον οὖν ὅτι περὶ μὲν ταῦτα ἐπιστήμη οὐκ ἔστιν· εἴη γὰρ ἂν ἀδύνατα