Analytica priora
Aristotle
Aristotle. Aristotelis Opera, Volume 1. Bekker, Immanuel, editor. Oxford: Oxford University Press, 1837.
Ἐπεὶ δ᾿ ἔχομεν πότε καὶ πῶς ἐχόντων τῶν ὅρων γίνεται συλλογισμός, φανερὸν καὶ πότ᾿ ἔσται καὶ πότ᾿ οὐκ ἔσται ἔλεγχος. Πάντων μὲν γὰρ συγχωρουμένων, ἢ ἐναλλὰξ τιθεμένων τῶν ἀποκρίσεων, οἷον τῆς μὲν ἀποφατικῆς τῆς δὲ καταφατικῆς, ἐγχωρεῖ γίνεσθαι ἔλεγχον. Ἦν γὰρ συλλογισμὸς καὶ οὕτω καὶ ἐκείνως ἐχόντων τῶν ὅρων, ὥστ᾿ εἰ τὸ κείμενον ᾖ ἐναντίον τῷ συμπεράσματι, ἀνάγκη γίνεσθαι ἔλεγχον· ὁ γὰρ ἔλεγχος ἀντιφάσεως συλλογισμός. Εἰ δὲ μηδὲν συγχωροῖτο, ἀδύνατον γίνεσθαι ἔλεγχον· οὐ γὰρ ἦν συλλογισμὸς πάντων τῶν ὅρων στερητικῶν ὄντων, ὥστ᾿ οὐδ᾿
Συμβαίνει δ᾿ ἐνίοτε, καθάπερ ἐν τῇ θέσει τῶν ὅρων ἀπατώμεθα, καὶ κατὰ τὴν ὑπόληψιν γίνεσθαι τὴν ἀπάτην, οἷον εἰ ἐνδέχεται τὸ αὐτὸ πλείοσι πρώτως ὑπάρχειν, καὶ τὸ μὲν λεληθέναι τινὰ καὶ οἴεσθαι μηδενὶ ὑπάρχειν, τὸ δὲ εἰδέναι. Ἔστω γὰρ τὸ Α τῷ Β καὶ τῷ Γ καθ᾿ αὑτὰ ὑπάρχον, καὶ ταῦτα παντὶ τῷ Δ ὡσαύτως. Εἰ δὴ τῷ μὲν Β τὸ Α παντὶ οἴεται ὑπάρχειν, καὶ τοῦτο τῷ Δ, τῷ δὲ Γ τὸ Α μηδενί, καὶ τοῦτο τῷ Δ παντί, τοῦ αὐτοῦ κατὰ ταὐτὸν ἕξει ἐπιστήμην καὶ ἄγνοιαν. Πάλιν εἴ τις ἀπατηθείη περὶ τὰ ἐκ τῆς αὐτῆς συστοιχίας, οἷον εἰ τὸ Α ὑπάρχει τῷ Β, τοῦτο δὲ τῷ Γ καὶ τὸ Γ τῷ Δ, ὑπολαμβάνοι δὲ τὸ Α παντὶ τῷ Β ὑπάρχειν καὶ πάλιν μηδενὶ τῷ Γ· ἅμα γὰρ εἴσεταί τε καὶ οὐχ ὑπολήψεται ὑπάρχειν. Ἆρ᾿ οὖν οὐδὲν ἄλλο ἀξιοῖ ἐκ τούτων ἢ ὃ ἐπίσταται, τοῦτο μὴ ὑπολαμβάνειν; ἐπίσταται γάρ πως ὅτι τὸ Α τῷ Γ ὑπάρχει διὰ τοῦ Β, ὡς τῇ καθόλου τὸ κατὰ μέρος, ὥστε ὅ πως ἐπίσταται, τοῦτο ὅλως ἀξιοῖ μὴ ὑπολαμβάνειν· ὅπερ ἀδύνατον. Ἐπὶ δὲ τοῦ πρότερον λεχθέντος, εἰ μὴ ἐκ τῆς αὐτῆς συστοιχίας τὸ μέσον, καθ᾿ ἑκάτερον μὲν τῶν μέσων ἀμφοτέρας τὰς προτάσεις οὐκ ἐγχωρεῖ ὑπολαμβάνειν, οἷον τὸ Α τῷ μὲν Β παντί, τῷ δὲ Γ μηδενί, ταῦτα δ᾿ ἀμφότερα παντὶ τῷ Δ. Συμβαίνει γὰρ ἢ ἁπλῶς ἢ ἐπί τι ἐναντίαν λαμβάνεσθαι τὴν πρώτην πρότασιν. Εἰ γὰρ ᾧ τὸ Β ὑπάρχει, παντὶ τὸ Α ὑπολαμβάνει ὑπάρχειν, τὸ δὲ Β τῷ Δ οἶδε, καὶ ὅτι τῷ Δ τὸ Α οἶδεν. Ὤστ᾿ εἰ πάλιν, ᾧ τὸ Γ, μηδενὶ οἴεται τὸ Α ὑπάρχειν, ᾧ τὸ Β τινὶ ὑπάρχει, τούτῳ οὐκ οἴεται τὸ Α ὑπάρχειν. Τὸ δὲ παντὶ οἰόμενον ᾧ τὸ Β, πάλιν τινὶ μὴ οἴεσθαι ᾧ τὸ Β, ἢ ἁπλῶς ἢ ἐπί τι ἐναντίον
Τῇ μὲν οὖν καθόλου θεωροῦμεν τὰ ἐν μέρει, τῇ δ᾿ οἰκείᾳ οὐκ ἴσμεν, ὥστ᾿ ἐνδέχεται καὶ ἀπατᾶσθαι περὶ αὐτά, πλὴν οὐκ ἐναντίως, ἀλλ᾿ ἔχειν μὲν τὴν καθόλου, ἀπατᾶσθαι δὲ τῇ κατὰ μέρος. Ὁμοίως οὖν καὶ ἐπὶ τῶν προειρημένων· οὐ γὰρ ἐναντία ἡ κατὰ τὸ μέσον ἀπάτη τῇ κατὰ τὸν συλλογισμὸν ἐπιστήμῃ, οὐδ᾿ ἡ καθ᾿ ἑκάτερον τῶν μέσων ὑπόληψις. Οὐδὲν δὲ κωλύει εἰδότα καὶ ὅτι τὸ Α ὅλῳ τῷ Β ὑπάρχει καὶ πάλιν τοῦτο τῷ Γ, οἰηθῆναι μὴ ὑπάρχειν τὸ Α τῷ Γ, οἷον ὅτι πᾶσα ἡμίονος ἄτοκος καὶ αὕτη ἡμίονος οἴεσθαι κύειν ταύτην·
Ὁ δ᾿ ὑπολαμβάνων τὸ ἀγαθῷ εἶναι κακῷ εἶναι, τὸ αὐτὸ ὑπολήψεται ἀγαθῷ εἶναι καὶ κακῷ. Ἔστω γὰρ τὸ μὲν ἀγαθῷ εἶναι ἐφ᾿ οὗ Α, τὸ δὲ κακῷ εἶναι ἐφ᾿ οὗ Β, πάλιν δὲ τὸ ἀγαθῷ εἶναι ἐφ᾿ οὗ Γ. Ἐπεὶ οὖν ταὐτὸν ὑπολαμβάνει τὸ Β καὶ τὸ Γ, καὶ εἶναι τὸ Γ τὸ Β ὑπολήψεται, καὶ πάλιν τὸ Β τὸ Α εἶναι ὡσαύτως, ὥστε καὶ τὸ Γ τὸ Α. Ὥσπερ γὰρ εἰ ἦν ἀληθές, καθ᾿ οὗ τὸ Γ, τὸ Β, καὶ καθ᾿ οὗ τὸ Β, τὸ Α, καὶ κατὰ τοῦ Γ τὸ Α ἀληθὲς ἦν, οὕτω καὶ ἐπὶ τοῦ ὑπολαμβάνειν. Ὁμοίως δὲ καὶ ἐπὶ τοῦ εἶναι· ταὐτοῦ γὰρ ὄντος τοῦ Γ καὶ Β, καὶ πάλιν τοῦ Β καὶ Α, καὶ τὸ Γ τῷ Α ταὐτὸν ἦν. Ὥστε καὶ ἐπὶ τοῦ δοξάζειν ὁμοίως. Ἆρ᾿ οὖν τοῦτο μὲν ἀναγκαῖον, εἴ τις δώσει τὸ πρῶτον; ἀλλ᾿ ἴσως ἐκεῖνο ψεῦδος, τὸ ὑπολαβεῖν τινὰ κακῷ εἶναι τὸ ἀγαθῷ εἶναι, εἰ μὴ κατὰ συμβεβηκός· πολλαχῶς γὰρ ἐγχωρεῖ τοῦθ᾿ ὑπολαμβάνειν. Ἐπισκεπτέον δὲ τοῦτο βέλτιον.
Ὅταν δ ἀντιστρέφῃ τὰ ἄκρα, ἀνάγκη καὶ τὸ μέσον ἀντιστρέφειν
Πῶς μὲν οὖν ἔχουσιν οἱ ὅροι κατὰ τὰς ἀντιστροφὰς καὶ τὸ αἱρετώτερον ἢ φευκτότερον εἶναι, φανερόν· ὅτι δ᾿ οὐ μόνον οἱ διαλεκτικοὶ καὶ ἀποδεικτικοὶ συλλογισμοὶ διὰ τῶν προειρημένων γίνονται σχημάτων, ἀλλὰ καὶ οἱ ῥητορικοὶ καὶ
Ἐπαγωγὴ μὲν οὖν ἐστὶ καὶ ὁ ἐξ ἐπαγωγῆς συλλογισμὸς τὸ διὰ τοῦ ἑτέρου θάτερον ἄκρον τῷ μέσῳ συλλογίσασθαι, οἷον εἰ τῶν Α Γ μέσον τὸ Β, διὰ τοῦ Γ δεῖξαι τὸ Α τῷ Β ὑπάρχειν· οὕτω γὰρ ποιούμεθα τὰς ἐπαγωγάς. Οἷον ἔστω τὸ Α μακρόβιον, τὸ δ᾿ ἐφ᾿ ᾧ Β τὸ χολὴν μὴ ἔχον, ἐφ᾿ ᾧ δὲ Γ τὸ καθ᾿ ἕκαστον μακρόβιον, οἷον ἄνθρωπος καὶ ἵππος καὶ ἡμίονος. Τῷ δὴ Γ ὅλῳ ὑπάρχει τὸ Α· πᾶν γὰρ τὸ ἄχολον μακρόβιον. Ἀλλὰ καὶ τὸ Β, τὸ μὴ ἔχειν χολήν, παντὶ ὑπάρχει τῷ Γ. Εἰ οὖν ἀντιστρέφει τὸ Γ τῷ Β καὶ μὴ ὑπερτείνει τὸ μέσον, ἀνάγκη τὸ Α τῷ Β ὑπάρχειν. Δέδεικται γὰρ πρότερον ὅτι ἂν δύο ἄττα τῷ αὐτῷ ὑπάρχῃ καὶ πρὸς θάτερον αὐτῶν ἀντιστρέφῃ τὸ ἄκρον, ὅτι τῷ ἀντιστρέφοντι καὶ θάτερον ὑπάρξει τῶν κατηγορουμένων. Δεῖ δὲ νοεῖν τὸ Γ τὸ ἐξ ἁπάντων τῶν καθ᾿ ἕκαστον συγκείμενον· ἡ γὰρ ἐπαγωγὴ διὰ πάντων.
Ἔστι δ᾿ ὁ τοιοῦτος συλλογισμὸς τῆς πρώτης καὶ ἀμέσου προτάσεως· ὧν μὲν γὰρ ἔστι μέσον, διὰ τοῦ μέσου ὁ συλλογισμός, ὧν δὲ μή ἐστι, δι᾿ ἐπαγωγῆς. Καὶ τρόπον τινὰ ἀντίκειται ἡ ἐπαγωγὴ τῷ συλλογισμῷ· ὁ μὲν γὰρ διὰ τοῦ μέσου τὸ ἄκρον τῷ τρίτῳ δείκνυσιν, ἡ δὲ διὰ τοῦ τρίτου τὸ ἄκρον τῷ μέσῳ. Φύσει μὲν οὖν πρότερος καὶ γνωριμώτερος ὁ διὰ τοῦ μέσου συλλογισμός, ἡμῖν δ᾿ ἐναργέστερος ὁ διὰ τῆς ἐπαγωγῆς.
Παράδειγμα δ᾿ ἐστὶν ὅταν τᾷ μέσῳ τὸ ἄκρον ὑπάρχον δειχθῇ διὰ τοῦ ὁμοίου τῷ τρίτῳ. Δεῖ δὲ καὶ τὸ μέσον τῷ τρίτῳ καὶ τὸ πρῶτον τῷ ὁμοίῳ γνώριμον εἶναι ὑπάρχον. Οἷον ἔστω τὸ Α κακόν, τὸ δὲ Β πρὸς ὁμόρους ἀναιρεῖσθαι πόλεμον, ἐφ᾿ ᾧ δὲ Γ τὸ Ἀθηναίους πρὸς Θηβαίους, τὸ δ᾿ ἐφ᾿ ᾧ Δ Θηβαίους πρὸς Φωκεῖς. Ἐὰν οὖν βουλώμεθα δεῖξαι ὅτι
Ἀπαγωγὴ δ᾿ ἐστὶν ὅταν τῷ μὲν μέσῳ τὸ πρῶτον δῆλον ᾖ ὑπάρχον, τῷ δ᾿ ἐσχάτῳ τὸ μέσον ἄδηλον μέν, ὁμοίως δὲ πιστὸν ἢ μᾶλλον τοῦ συμπεράσματος, ἔτι ἂν ὀλίγα ᾖ τὰ μέσα τοῦ ἐσχάτου καὶ τοῦ μέσου· πάντως γὰρ ἐγγύτερον εἶναι συμβαίνει τῆς ἐπιστήμης. Οἷον ἔστω τὸ Α τὸ διδακτόν, ἐφ᾿ οὗ Β ἐπιστήμη, τὸ Γ δικαιοσύνη. Ἡ μὲν οὖν ἐπιστήμη ὅτι διδακτόν, φανερόν· ἡ δ᾿ ἀρετὴ εἰ ἐπιστήμη, ἄδηλον. Εἰ οὖν ὁμοίως ἢ μᾶλλον πιστὸν τὸ Β Γ τοῦ Α Γ, ἀπαγωγή ἐστιν· ἐγγύτερον γὰρ τοῦ ἐπίστασθαι διὰ τὸ προσειληφέναι τὴν Α Γ ἐπιστήμην πρότερον οὐκ ἔχοντας. Ἤ πάλιν εἰ ὀλίγα τὰ μέσα τῶν Β Γ· καὶ γὰρ οὕτως ἐγγύτερον τοῦ εἰδέναι. Οἷον εἰ τὸ Δ εἴη τετραγωνίζεσθαι, τὸ δ᾿ ἐφ᾿ ᾧ Ε εὐθύγραμμον, τὸ δ᾿ ἐφ᾿ ᾧ Ζ κύκλος· εἰ τοῦ Ε Ζ ἓν μόνον εἴη μέσον, τὸ μετὰ μηνίσκων ἴσον γίνεσθαι εὐθυγράμμῳ τὸν
Ἔνστασις δ᾿ ἐστὶ πρότασις προτάσει ἐναντία. Διαφέρει δὲ τῆς προτάσεως, ὅτι τὴν μὲν ἔνστασιν ἐνδέχεται εἶναι ἐπὶ μέρους, τὴν δὲ πρότασιν ἢ ὅλως οὐκ ἐνδέχεται ἢ οὐκ ἐν τοῖς καθόλου συλλογισμοῖς. Φέρεται δὲ ἡ ἔνστασις διχῶς καὶ διὰ δύο σχημάτων, διχῶς μὲν ὅτι ἢ καθόλου ἢ ἐν μέρει πᾶσα ἔνστασις, ἐκ δύο δὲ σχημάτων ὅτι ἀντικείμεναι φέρονται τῇ προτάσει, τὰ δ᾿ ἀντικείμενα ἐν τῷ πρώτῳ καὶ τῷ τρίτῳ σχήματι περαίνονται μόνοις. Ὅταν γὰρ ἀξιώσῃ παντὶ ὑπάρχειν, ἐνιστάμεθα ὅτι οὐδενὶ ἢ ὅτι τινὶ οὐχ ὑπάρχει· τούτων δὲ τὸ μὲν μηδενὶ ἐκ τοῦ πρώτου σχήματος, τὸ δὲ τινὶ μὴ ἐκ τοῦ ἐσχάτου. Οἷον ἔστω τὸ Α μίαν εἶναι ἐπιστήμην, ἐφ᾿ ᾧ τὸ Β ἐναντία. Προτείναντος δὴ μίαν εἶναι τῶν ἐναντίων ἐπιστήμην, ἢ ὅτι ὅλως οὐχ ἡ αὐτὴ τῶν ἀντικειμένων ἐνίσταται, τὰ δ᾿ ἐναντία ἀντικείμενα, ὥστε γίνεται τὸ πρῶτον σχῆμα, ἢ ὅτι τοῦ γνωστοῦ καὶ ἀγνώστου οὐ μία· τοῦτο δὲ τὸ τρίτον· κατὰ γὰρ τοῦ Γ, τοῦ γνωστοῦ καὶ ἀγνώστου, τὸ μὲν ἐναντία εἶναι ἀληθές, τὸ δὲ μίαν αὐτῶν ἐπιστήμην εἶναι ψεῦδος. Πάλιν ἐπὶ τῆς στερητικῆς προτάσεως ὡσαύτως. Ἀξιοῦντος γὰρ μὴ εἶναι μίαν τῶν ἐναντίων, ἢ ὅτι πάντων τῶν ἀντικειμένων ἢ ὅτι τινῶν ἐναντίων ἡ αὐτὴ λέγομεν, οἷον ὑγιεινοῦ καὶ νοσώδους· τὸ μὲν οὖν πάντων ἐκ τοῦ πρώτου, τὸ δὲ τινῶν ἐκ τοῦ τρίτου σχήματος. Ἁπλῶς γὰρ ἐν πᾶσι καθόλου μὲν ἐνιστάμενον ἀνάγκη πρὸς τὸ καθόλου τῶν προτεινομένων τὴν ἀντίφασιν εἰπεῖν, οἷον εἰ μὴ τὴν αὐτὴν ἀξιοῖ τῶν ἐναντίων πάντων, εἰπόντα τῶν ἀντικειμένων μίαν. Οὕτω δ᾿ ἀνάγκη τὸ πρῶτον εἶναι σχῆμα· μέσον γὰρ γίνεται
Ἐπισκεπτέον δὲ καὶ περὶ τῶν ἄλλων ἐνστάσεων, οἷον περὶ τῶν ἐκ τοῦ ἐναντίου καὶ τοῦ ὁμοίου καὶ τοῦ κατὰ δόξαν, καὶ εἰ τὴν ἐν μέρει ἐκ τοῦ πρώτου ἢ τὴν στερητικὴν ἐκ τοῦ μέσου δυνατὸν λαβεῖν.
Εἰκὸς δὲ καὶ σημεῖον οὐ ταὐτόν ἐστιν, ἀλλὰ τὸ μὲν εἰκός ἐστι πρότασις ἔνδοξος· ὃ γὰρ ὡς ἐπὶ τὸ πολὺ ἴσασιν οὕτω γινόμενον ἢ μὴ γινόμενον ἢ ὂν ἢ μὴ ὄν, τοῦτ᾿ ἐστὶν εἰκός, οἷον τὸ μισεῖν τοὺς φθονοῦντας ἢ τὸ φιλεῖν τοὺς ἐρωμένους. Σημεῖον δὲ βούλεται εἶναι πρότασις ἀποδεικτικὴ ἀναγκαία ἢ ἔνδοξος· οὗ γὰρ ὄντος ἔστιν ἢ οὗ γενομένου πρότερον ἢ ὕστερον γέγονε τὸ πρᾶγμα, τοῦτο σημεῖόν ἐστι τοῦ γεγονέναι ἢ εἶναι. Ἐνθύμημα μὲν οὖν ἐστὶ συλλογισμὸς ἐξ εἰκότων ἢ σημείων, λαμβάνεται δὲ τὸ σημεῖον τριχῶς, ὁσαχῶς καὶ τὸ μέσον ἐν τοῖς σχήμασιν· ἢ γὰρ ὡς ἐν τῷ πρώτῳ ἢ ὡς ἐν τῷ μέσῳ ἢ ὡς ἐν τῷ τρίτῳ, οἷον τὸ μὲν δεῖξαι κύουσαν
Ἢ δὴ οὕτω διαιρετέον τὸ σημεῖον, τούτων δὲ τὸ μέσον τεκμήριον ληπτέον (τὸ γὰρ τεκμήριον τὸ εἰδέναι ποιοῦν φασὶν εἶναι, τοιοῦτο δὲ μάλιστα τὸ μέσον), ἢ τὰ μὲν ἐκ τῶν ἄκρων σημεῖα λεκτέον, τὸ δ᾿ ἐκ τοῦ μέσου τεκμήριον·
Τὸ δὲ φυσιογνωμονεῖν δυνατόν ἐστιν, εἴ τις δίδωσιν ἅμα μεταβάλλειν τὸ σῶμα καὶ τὴν ψυχήν, ὅσα φυσικά ἐστι παθήματα· μαθὼν γὰρ ἴσως μουσικὴν μεταβέβληκέ τι τὴν ψυχήν, ἀλλ᾿ οὐ τῶν φύσει ἡμῖν ἐστὶ τοῦτο τὸ πάθος, ἀλλ᾿ οἷον ὀργαὶ καὶ ἐπιθυμίαι τῶν φύσει κινήσεων. Εἰ δὴ τοῦτό τε δοθείη καὶ ἓν ἑνὸς σημεῖον εἶναι, καὶ δυναίμεθα λαμβάνειν τὸ ἴδιον ἑκάστου γένους πάθος καὶ σημεῖον, δυνησόμεθα φυσιογνωμονεῖν. Εἰ γάρ ἐστιν ἰδίᾳ τινὶ γένει ὑπάρχον ἀτόμῳ πάθος, οἷον τοῖς λέουσιν ἀνδρεία, ἀνάγκη καὶ σημεῖον εἶναί τι· συμπάσχειν γὰρ ἀλλήλοις ὑπόκειται. Καὶ ἔστω τοῦτο τὸ μεγάλα τὰ ἀκρωτήρια ἔχειν· ὃ καὶ ἄλλοις ὑπάρχειν γένεσι μὴ ὅλοις ἐνδέχεται. Τὸ γὰρ σημεῖον οὕτως ἴδιόν ἐστιν, ὅτι ὅλου γένους ἴδιόν ἐστι τὸ πάθος, καὶ οὐ μόνου ἴδιον, ὥσπερ εἰώθαμεν λέγειν. Ὑπάρξει δὴ καὶ ἐν ἄλλῳ γένει ταὐτό, καὶ ἔσται ἀνδρεῖος ὁ ἄνθρωπος καὶ ἄλλο τι ζῷον. Ἔξει ἄρα τὸ σημεῖον· ἓν γὰρ ἑνὸς ἦν. Εἰ τοίνυν ταῦτ᾿ ἐστί, καὶ δυνησόμεθα τοιαῦτα σημεῖα συλλέξαι ἐπὶ τούτων τῶν ζῴων ἃ μόνον ἓν πάθος ἔχει τι ἴδιον, ἕκαστον δ᾿ ἔχει σημεῖον, ἐπείπερ ἓν ἔχειν ἀνάγκη, δυνησόμεθα φυσιογνωμονεῖν. Εἰ δὲ δύο ἔχει ἴδια ὅλον τὸ γένος, οἷον ὁ λέων ἀνδρεῖον καὶ μεταδοτικόν, πῶς γνωσόμεθα πότερον ποτέρου σημεῖον τῶν ἰδίᾳ ἀκολουθούντων σημείων; ἢ εἰ ἄλλῳ μὴ ὅλῳ τινὶ ἄμφω, καὶ ἐν οἷς μὴ ὅλοις ἑκάτερον, ὅταν τὸ μὲν ἔχῃ τὸ δὲ μή· εἰ γὰρ ἀνδρεῖος μὲν ἐλευθέριος δὲ μή, ἔχει δὲ τῶν δύο τοδί, δῆλον ὅτι καὶ ἐπὶ τοῦ λέοντος τοῦτο σημεῖον τῆς ἀνδρείας. Ἔστι δὴ τὸ φυσιογνωμονεῖν τῶν ἐν τῷ πρώτῳ σχήματι τὸ μέσον τῷ μὲν πρώτῳ ἄκρῳ ἀντιστρέφειν, τοῦ δὲ τρίτου ὑπερτείνειν καὶ μὴ ἀντιστρέφειν, οἷον ἀνδρεία τὸ
ΠΑΣΑ διδασκαλία καὶ πᾶσα μάθησις διανοητικὴ ἐκ προϋπαρχούσης γίνεται γνώσεως. Φανερὸν δὲ τοῦτο θεωροῦσιν ἐπὶ πασῶν· αἵ τε γὰρ μαθηματικαὶ τῶν ἐπιστημῶν διὰ τούτου τοῦ τρόπου παραγίνονται καὶ τῶν ἄλλων ἑκάστη τεχνῶν. Ὁμοίως δὲ καὶ περὶ τοὺς λόγους οἵ τε διὰ συλλογισμῶν καὶ οἱ δι᾿ ἐπαγωγῆς· ἀμφότεροι γὰρ διὰ προγινωσκομένων ποιοῦνται τὴν διδασκαλίαν, οἱ μὲν λαμβάνοντες ὡς παρὰ ξυνιέντων, οἱ δὲ δεικνύντες τὸ καθόλου διὰ τοῦ δῆλον εἶναι τὸ καθ᾿ ἕκαστον. Ὡς δ᾿ αὕτως καὶ οἱ ῥητορικοὶ συμπείθουσιν· ἢ γὰρ διὰ παραδειγμάτων, ὅ ἐστιν ἐπαγωγή, ἢ δι᾿ ἐνθυμημάτων, ὅπερ ἐστὶ συλλογισμός. Διχῶς δ᾿ ἀναγκαῖον προγινώσκειν· τὰ μὲν γάρ, ὅτι ἔστι, προϋπολαμβάνειν ἀναγκαῖον, τὰ δέ, τί τὸ λεγόμενόν ἐστι, ξυνιέναι δεῖ, τὰ δ᾿ ἄμφω, οἷον ὅτι μὲν ἅπαν ἢ φῆσαι ἢ ἀποφῆσαι ἀληθές, ὅτι ἔστι, τὸ δὲ τρίγωνον, ὅτι τοδὶ σημαίνει, τὴν δὲ μονάδα ἄμφω, καὶ τί σημαίνει καὶ ὅτι ἔστιν· οὐ γὰρ ὁμοίως τούτων ἕκαστον δῆλον ἡμῖν. Ἔστι δὲ γνωρίζειν τὰ μὲν πρότερον γνωρίζοντα, τῶν δὲ καὶ ἅμα λαμβάνοντα τὴν γνῶσιν, οἷον ὅσα τυγχάνει ὄντα ὑπὸ τὸ καθόλου, ὧν ἔχει τὴν γνῶσιν. Ὅτι μὲν γὰρ πᾶν τρίγωνον ἔχει δυσὶν ὀρθαῖς ἴσας, προῄδει· ὅτι δὲ τόδε τὸ ἐν τῷ ἡμικυκλίῳ τρίγωνόν ἐστιν, ἅμα ἐπαγόμενος ἐγνώρισεν. Ἐνίων γὰρ τοῦτον τὸν τρόπον ἡ μάθησίς ἐστι, καὶ οὐ διὰ τοῦ μέσου τὸ ἔσχατον γνωρίζεται, ὅσα ἤδη τῶν καθ᾿ ἕκαστα τυγχάνει ὄντα καὶ μὴ καθ᾿ ὑποκειμένου τινός. Πρὶν δ᾿ ἐπαχθῆναι ἢ λαβεῖν συλλογισμὸν τρόπον μέν τινα ἴσως
Ἐπίστασθαι δὲ οἰόμεθ᾿ ἕκαστον ἁπλῶς, ἀλλὰ μὴ τὸν σοφιστικὸν τρόπον τὸν κατὰ συμβεβηκός, ὅταν τήν τ᾿ αἰτίαν οἰώμεθα γινώσκειν δι᾿ ἣν τὸ πρᾶγμά ἐστιν, ὅτι ἐκείνου αἰτία ἐστί, καὶ μὴ ἐνδέχεσθαι τοῦτ᾿ ἄλλως ἔχειν. Δῆλον τοίνυν ὅτι τοιοῦτόν τι τὸ ἐπίστασθαί ἐστι· καὶ γὰρ οἱ μὴ ἐπιστάμενοι καὶ οἱ ἐπιστάμενοι οἱ μὲν οἴονται αὐτοὶ οὕτως ἔχειν, οἱ δ᾿ ἐπιστάμενοι καὶ ἔχουσιν, ὥστε οὗ ἁπλῶς ἐστὶν ἐπιστήμη, τοῦτ᾿ ἀδύνατον ἄλλως ἔχειν. Εἰ μὲν οὖν καὶ ἕτερός ἐστι τοῦ ἐπίστασθαι τρόπος, ὕστερον ἐροῦμεν, φαμὲν δὲ καὶ δι᾿ ἀποδείξεως εἰδέναι. Ἀπόδειξιν δὲ λέγω συλλογισμὸν ἐπιστημονικόν. Ἐπιστημονικὸν δὲ λέγω καθ᾿ ὃν τῷ ἔχειν αὐτὸν ἐπιστάμεθα. Εἰ τοίνυν ἐστὶ τὸ ἐπίστασθαι οἷον ἔθεμεν, ἀνάγκη καὶ τὴν ἀποδεικτικὴν ἐπιστήμην ἐξ ἀληθῶν τ᾿ εἶναι καὶ πρώτων καὶ ἀμέσων καὶ γνωριμωτέρων καὶ προτέρων καὶ αἰτίων τοῦ συμπεράσματος· οὕτω γὰρ ἔσονται καὶ
Ἐπεὶ δὲ δεῖ πιστεύειν τε καὶ εἰδέναι τὸ πρᾶγμα τῷ τοιοῦτον ἔχειν συλλογισμὸν ὃν καλοῦμεν ἀπόδειξιν, ἔστι δ᾿ οὗτος τῷ τάδ᾿ εἶναι ἐξ ὧν ὁ συλλογισμός, ἀνάγκη μὴ μόνον προγινώσκειν τὰ πρῶτα, ἢ πάντα ἢ ἔνια, ἀλλὰ καὶ μᾶλλον· ἀεὶ γὰρ δι᾿ ὃ ὑπάρχει ἕκαστον, ἐκεῖνο μᾶλλον ὑπάρχει, οἷον δι᾿ ὃ φιλοῦμεν, ἐκεῖνο φίλον μᾶλλον. Ὤστ᾿ εἴπερ ἴσμεν διὰ τὰ πρῶτα καὶ πιστεύομεν, κἀκεῖνα ἴσμεν τε καὶ πιστεύομεν μᾶλλον, ὅτι δι᾿ ἐκεῖνα καὶ τὰ ὕστερον. Οὐχ οἷόν τε δὲ πιστεύειν μᾶλλον ὧν οἶδεν, ἃ μὴ τυγχάνει μήτε εἰδὼς μήτε βέλτιον διακείμενος ἢ εἰ ἐτύγχανεν εἰδώς. Συμβήσεται δὲ τοῦτο, εἰ μή τις προγνώσεται τῶν δι᾿ ἀπόδειξιν πιστευόντων· μᾶλλον γὰρ ἀνάγκη πιστεύειν ταῖς ἀρχαῖς ἢ πάσαις ἢ τισὶ τοῦ συμπεράσματος. Τὸν δὲ μέλλοντα ἕξειν τὴν ἐπιστήμην τὴν δι᾿ ἀποδείξεως οὐ μόνον δεῖ τὰς ἀρχὰς μᾶλλον γνωρίζειν καὶ μᾶλλον αὐταῖς πιστεύειν ἢ τῷ δεικνυμένῳ, ἀλλὰ μηδ᾿ ἄλλο αὐτῷ πιστότερον εἶναι μηδὲ γνωριμώτερον τῶν ἀντικειμένων ταῖς ἀρχαῖς, ἐξ ὧν ἔσται συλλογισμὸς ὁ τῆς ἐναντίας ἀπάτης, εἴπερ δεῖ τὸν ἐπιστάμενον ἁπλῶς ἀμετάπειστον εἶναι.
Ἐνίοις μὲν οὖν διὰ τὸ δεῖν τὰ πρῶτα ἐπίστασθαι οὐ δοκεῖ ἐπιστήμη εἶναι, τοῖς δ᾿ εἶναι μέν, πάντων μέντοι ἀποδείξεις εἶναι· ὧν οὐδέτερον οὔτ᾿ ἀληθὲς οὔτ᾿ ἀναγκαῖον. Οἱ μὲν γὰρ ὑποθέμενοι μὴ εἶναι ὅλως ἐπίστασθαι, οὗτοι εἰς ἄπειρον ἀξιοῦσιν ἀνάγεσθαι ὡς οὐκ ἂν ἐπισταμένους τὰ ὕστερα διὰ τὰ πρότερα, ὧν μή ἐστι πρῶτα, ὀρθῶς λέγοντες· ἀδύνατον
Ἐπεὶ δ᾿ ἀδύνατον ἄλλως ἔχειν οὗ ἐστὶν ἐπιστήμη ἁπλῶς, ἀναγκαῖον ἂν εἴη τὸ ἐπιστητὸν τὸ κατὰ τὴν ἀποδεικτικὴν ἐπιστήμην. Ἀποδεικτικὴ δ᾿ ἐστὶν ἣν ἔχομεν τῷ ἔχειν ἀπόδειξιν· ἐξ ἀναγκαίων ἄρα συλλογισμός ἐστιν ἡ ἀπόδειξις. Ληπτέον ἄρα ἐκ τίνων καὶ ποίων αἱ ἀποδείξεις εἰσίν. Πρῶτον δὲ διορίσωμεν τί λέγομεν τὸ κατὰ παντὸς καὶ τί τὸ καθ᾿ αὑτὸ καὶ τί τὸ καθόλου.
Κατὰ παντὸς μὲν οὖν τοῦτο λέγω ὃ ἂν ᾖ μὴ ἐπὶ τινὸς μὲν τινὸς δὲ μή, μηδὲ ποτὲ μὲν ποτὲ δὲ μή, οἷον εἰ κατὰ παντὸς ἀνθρώπου ζῷον, εἰ ἀληθὲς τόνδ᾿ εἰπεῖν ἄνθρωπον, ἀληθὲς καὶ ζῷον, καὶ εἰ νῦν θάτερον, καὶ θάτερον, καὶ εἰ ἐν πάσῃ γραμμῇ
Τὸ μὲν οὖν κατὰ παντὸς καὶ καθ᾿ αὑτὸ διωρίσθω τὸν τρόπον τοῦτον· καθόλου δὲ λέγω ὃ ἂν κατὰ παντός τε ὑπάρχῃ καὶ καθ᾿ αὑτὸ καὶ ᾗ αὐτό. Φανερὸν ἄρα ὅτι ὅσα καθόλου, ἐξ ἀνάγκης ὑπάρχει τοῖς πράγμασιν. Τὸ καθ᾿ αὑτὸ δὲ καὶ ᾗ αὐτὸ ταὐτόν, οἷον καθ᾿ αὑτὴν τῇ γραμμῇ ὑπάρχει στιγμὴ καὶ τὸ εὐθύ· καὶ γὰρ ᾗ γραμμή. Καὶ τῷ τριγώνῳ ᾗ τρίγωνον δύο ὀρθαί· καὶ γὰρ καθ᾿ αὑτὸ τὸ τρίγωνον δύο ὀρθαῖς ἴσον. Τὸ καθόλου δὲ ὑπάρχει τότε, ὅταν ἐπὶ τοῦ τυχόντος καὶ πρώτου δεικνύηται. Οἷον τὸ δύο ὀρθὰς ἔχειν οὔτε τῷ σχήματί ἐστι καθόλου· καίτοι ἔστι δεῖξαι κατὰ σχήματος ὅτι δύο ὀρθὰς ἔχει, ἀλλ᾿ οὐ τοῦ τυχόντος σχήματος· οὐδὲ χρῆται τῷ τυχόντι σχήματι ὁ δεικνύς· τὸ γὰρ τετράγωνον σχῆμα μέν, οὐκ ἔχει δὲ δύο ὀρθαῖς ἴσας. Τὸ δ᾿ ἰσοσκελὲς ἔχει μὲν τὸ τυχὸν δύο ὀρθαῖς ἴσας, ἀλλ᾿ οὐ πρῶτον, ἀλλὰ τὸ τρίγωνον πρότερον. Ὃ τοίνυν τὸ τυχὸν πρῶτον δείκνυται δύο ὀρθὰς ἔχον ἢ ὁτιοῦν ἄλλο, τούτῳ πρώτῳ ὑπάρχει καθόλου, καὶ ἡ ἀπόδειξις καθ᾿ αὑτὸ τούτου καθόλου ἐστί, τῶν δ᾿ ἄλλων τρόπον τινὰ οὐ καθ᾿ αὑτό· οὐδὲ τοῦ ἰσοσκελοῦς οὐκ ἔστι καθόλου ἀλλ᾿ ἐπὶ πλέον.
Δεῖ δὲ μὴ λανθάνειν ὅτι πολλάκις συμβαίνει διαμαρτάνειν καὶ μὴ ὑπάρχειν τὸ δεικνύμενον πρῶτον καθόλου, ᾗ δοκεῖ δείκνυσθαι καθόλου πρῶτον. Ἀπατώμεθα δὲ ταύτην τὴν ἀπάτην, ὅταν ἢ μηδὲν ᾖ λαβεῖν ἀνώτερον παρὰ τὸ καθ᾿ ἕκαστον ἢ τὰ καθ᾿ ἕκαστα, ἢ ᾖ μέν. Ἀλλ᾿ ἀνώνυμον ᾖ ἐπὶ διαφόροις εἴδει πράγμασιν, ἢ τυγχάνῃ ὂν ὡς ἐν μέρει ὅλον ἐφ᾿ ᾧ δείκνυται· τοῖς γὰρ ἐν μέρει ὑπάρξει μὲν ἡ ἀπόδειξις, καὶ ἔσται κατὰ παντός, ἀλλ᾿ ὅμως οὐκ ἔσται τούτου πρώτου καθόλου ἡ ἀπόδειξις. Λέγω δὲ τούτου πρώτου, ᾗ τοῦτο, ἀπόδειξιν, ὅταν ᾖ πρώτου καθόλου. Εἰ οὖν τις δείξειεν ὅτι αἱ ὀρθαὶ οὐ συμπίπτουσι, δόξειεν ἂν τούτου εἶναι ἡ ἀπόδειξις διὰ τὸ ἐπὶ πασῶν εἶναι τῶν ὀρθῶν. Οὐκ ἔστι δέ, εἴπερ μὴ
Εἰ οὖν ἐστὶν ἡ ἀποδεικτικὴ ἐπιστήμη ἐξ ἀναγκαίων ἀρχῶν (ὃ γὰρ ἐπίσταται, οὐ δυνατὸν ἄλλως ἔχειν), τὰ δὲ καθ᾿ αὑτὰ ὑπάρχοντα ἀναγκαῖα τοῖς πράγμασιν (ἃ μὲν γὰρ ἐν τῷ τί
Ἢ δὴ οὕτω λεκτέον, ἢ ἀρχὴν θεμένοις ὅτι ἡ ἀπόδειξις ἀναγκαῖόν ἐστι, καὶ εἰ ἀποδέδεικται, οὐχ οἷόν τ᾿ ἄλλως ἔχειν· ἐξ ἀναγκαίων ἄρα δεῖ εἶναι τὸν συλλογισμόν. Ἐξ ἀληθῶν μὲν γὰρ ἔστι καὶ μὴ ἀποδεικνύντα συλλογίσασθαι, ἐξ ἀναγκαίων δ᾿ οὐκ ἔστιν ἀλλ᾿ ἢ ἀποδεικνύντα· τοῦτο γὰρ ἤδη ἀποδείξεώς ἐστιν. Σημεῖον δ᾿ ὅτι ἡ ἀπόδειξις ἐξ ἀναγκαίων, ὅτι καὶ τὰς ἐνστάσεις οὕτω φέρομεν πρὸς τοὺς οἰομένους ἀποδεικνύναι, ὅτι οὐκ ἀνάγκη, ἂν οἰώμεθα ἢ ὅλως ἐνδέχεσθαι ἄλλως ἢ ἕνεκά γε τοῦ λόγου. Δῆλον δ᾿ ἐκ τούτων καὶ ὅτι εὐήθεις οἱ λαμβάνειν οἰόμενοι καλῶς τὰς ἀρχάς, ἐὰν ἔνδοξος ᾖ ἡ πρότασις καὶ ἀληθής, οἷον οἱ σοφισταὶ ὅτι τὸ ἐπίστασθαι τὸ ἐπιστήμην ἔχειν. Οὐ γὰρ τὸ ἔνδοξον ἢ μὴ ἀρχή ἐστιν, ἀλλὰ τὸ πρῶτον τοῦ γένους περὶ ὃ δείκνυται· καὶ τἀληθὲς οὐ πᾶν οἰκεῖον. Ὅτι δ᾿ ἐξ ἀναγκαίων εἶναι δεῖ τὸν συλλογισμόν, φανερὸν καὶ ἐκ τῶνδε. Εἰ γὰρ ὁ μὴ ἔχων λόγον τοῦ διὰ τί οὔσης ἀποδείξεως οὐκ ἐπιστήμων, εἴη δ᾿ ἂν ὥστε τὸ Α κατὰ τοῦ Γ ἐξ ἀνάγκης ὑπάρχειν, τὸ δὲ Β τὸ μέσον, δι᾿ οὗ ἀπεδείχθη, μὴ ἐξ ἀνάγκης, οὐκ οἶδε διότι. Οὐ γάρ ἐστι τοῦτο διὰ τὸ μέσον· τὸ μὲν γὰρ ἐνδέχεται μὴ εἶναι, τὸ δὲ συμπέρασμα ἀναγκαῖον. Ἔτι εἴ τις μὴ οἶδε νῦν ἔχων τὸν λόγον καὶ σωζόμενος, σωζομένου τοῦ πράγματος, μὴ ἐπιλελησμένος, οὐδὲ πρότερον ᾔδει. Φθαρείη δ᾿ ἂν τὸ μέσον, εἰ μὴ ἀναγκαῖον. Ὥστε ἕξει μὲν τὸν λόγον σωζόμενος σωζομένου τοῦ πράγματος, οὐκ οἶδε δέ. Οὐδ᾿ ἄρα πρότερον ᾔδει. Εἰ δὲ μὴ ἔφθαρται, ἐνδέχεται δὲ φθαρῆναι, τὸ συμβαῖνον ἂν εἴη δυνατὸν καὶ ἐνδεχόμενον. Ἀλλ᾿ ἔστιν ἀδύνατον οὕτως ἔχοντα εἰδέναι.
Ὅταν μὲν οὖν τὸ συμπέρασμα ἐξ ἀνάγκης ᾖ, οὐδὲν κωλύει τὸ μέσον μὴ ἀναγκαῖον εἶναι, δι᾿ οὗ ἐδείχθη· ἔστι γὰρ τὸ ἀναγκαῖον καὶ μὴ ἐξ ἀναγκαίου συλλογίσασθαι, ὥσπερ καὶ ἀληθὲς μὴ ἐξ ἀληθῶν. Ὅταν δὲ τὸ μέσον ἐξ ἀνάγκης, καὶ τὸ συμπέρασμα ἐξ ἀνάγκης, ὥσπερ καὶ ἐξ ἀληθῶν ἀληθὲς ἀεί. Ἔστω γὰρ τὸ Α κατὰ τοῦ Β ἐξ ἀνάγκης, καὶ τοῦτο κατὰ τοῦ Γ· ἀναγκαῖον τοίνυν καὶ τὸ Α τῷ Γ ὑπάρχειν. Ὅταν δὲ μὴ ἀναγκαῖον ᾖ τὸ συμπέρασμα, οὐδὲ τὸ μέσον ἀναγκαῖον οἷόν τ᾿ εἶναι. Ἔστω γὰρ τὸ Α τῷ Γ μὴ ἐξ ἀνάγκης ὑπάρχειν, τῷ δὲ Β, καὶ τοῦτο τῷ Γ ἐξ ἀνάγκης· καὶ τὸ Α ἄρα τῷ Γ ἐξ ἀνάγκης ὑπάρξει. Ἀλλ᾿ οὐχ ὑπέκειτο. Ἐπεὶ τοίνυν εἰ ἐπίσταται ἀποδεικτικῶς, δεῖ ἐξ ἀνάγκης ὑπάρχειν, δῆλον ὅτι καὶ διὰ μέσου ἀναγκαίου δεῖ ἔχειν τὴν ἀπόδειξιν· ἢ οὐκ ἐπιστήσεται οὔτε διότι οὔτε ὅτι ἀνάγκη ἐκεῖνο εἶναι, ἀλλ᾿ ἢ οἰήσεται οὐκ εἰδώς, ἐὰν ὑπολάβῃ ὡς ἀναγκαῖον τὸ μὴ ἀναγκαῖον, ἢ οὐδ᾿ οἰήσεται ὁμοίως, ἐάν τε τὸ ὅτι εἰδῇ διὰ μέσων ἐάν τε τὸ διότι καὶ δι᾿ ἀμέσων.
Τῶν δὲ συμβεβηκότων μὴ καθ᾿ αὑτά, ὃν τρόπον διωρίσθη τὰ καθ᾿ αὑτά, οὐκ ἔστιν ἐπιστήμη ἀποδεικτική. Οὐ γὰρ ἔστιν ἐξ ἀνάγκης δεῖξαι τὸ συμπέρασμα· τὸ συμβεβηκὸς γὰρ ἐνδέχεται μὴ ὑπάρχειν· περὶ τοιούτου γὰρ λέγω συμβεβηκότος. Καίτοι ἀπορήσειεν ἄν τις ἴσως τίνος ἕνεκα ταῦτα δεῖ ἐρωτᾶν περὶ τούτων, εἰ μὴ ἀνάγκη τὸ συμπέρασμα εἶναι· οὐδὲν γὰρ διαφέρει εἴ τις ἐρόμενος τὰ τυχόντα εἶτα εἴπειεν τὸ συμπέρασμα. Δεῖ δ᾿ ἐρωτᾶν οὐχ ὡς ἀναγκαῖον εἶναι διὰ τὰ ἠρωτημένα, ἀλλ᾿ ὅτι λέγειν ἀνάγκη τῷ ἐκεῖνα λέγοντι, καὶ ἀληθῶς λέγειν, ἐὰν ἀληθῶς ᾖ ὑπάρχοντα.
Ἐπεὶ δ᾿ ἐξ ἀνάγκης ὑπάρχει περὶ ἕκαστον γένος ὅσα καθ᾿ αὑτὰ ὑπάρχει, καὶ ᾗ ἕκαστον, φανερὸν ὅτι περὶ τῶν καθ᾿ αὑτὰ ὑπαρχόντων αἱ ἐπιστημονικαὶ ἀποδείξεις καὶ ἐκ τῶν τοιούτων εἰσίν. Τὰ μὲν γὰρ συμβεβηκότα οὐκ ἀναγκαῖα,