Analytica priora

Πᾶσα διδασκαλία καὶ πᾶσα μάθησις διανοητικὴ ἐκ προϋπαρχούσης γίνεται γνώσεως. φανερόν δὲ τοῦτο θεωροῦσιν ἐπὶ πασῶν· αἵ τε γὰρ μαθηματικαὶ τῶν ἐπιστημῶν διὰ τούτου τοῦ τρόπου παραγίνονται καὶ τῶν ἄλλων ἑκάστη τεχνῶν. ὁμοίως δὲ καὶ περὶ τοὺς λόγους οἵ τε διὰ συλλογισμῶν καὶ οἱ διʼ ἐπαγωγῆς· ἀμφότεροι γὰρ διὰ προγινωσκομένων ποιοῦνται τὴν διδασκαλίαν, οἱ μὲν λαμβάνοντες ὡς παρὰ ξυνιέντων, οἱ δὲ δεικνύντες τὸ καθόλου διὰ τοῦ δῆλον εἶναι τὸ καθʼ ἕκαστον. ὡς δʼ αὔτως καὶ οἱ ῥητορικοὶ συμπείθουσιν· ἢ γὰρ διὰ παραδειγμάτων, ὅ ἐστιν ἐπαγωγή, ἢ διʼ ἐνθυμημάτων, ὅπερ ἐστὶ συλλογισμός. διχῶς δʼ ἀναγκαῖον προγινώσκειν· τὰ μὲν γάρ, ὅτι ἔστι, προϋπολαμβάνειν ἀναγκαῖον, τὰ δέ, τί τὸ λεγόμενόν ἐστι, ξυνιέναι δεῖ, τὰ δʼ ἄμφω, οἷον ὅτι μὲν ἅπαν ἢ φῆσαι ἢ ἀποφῆσαι ἀληθές, ὅτι ἔστι, τὸ δὲ τρίγωνον, ὅτι τοδὶ σημαίνει, τὴν δὲ μονάδα ἄμφω, καὶ τί σημαίνει καὶ ὅτι ἔστιν· οὐ γὰρ ὁμοίως τούτων ἕκαστον δῆλον ἡμῖν.

Ἔστι δὲ γνωρίζειν τὰ μὲν πρότερον γνωρίσαντα, τῶν δὲ καὶ ἅμα λαμβάνοντα τὴν γνῶσιν, οἷον ὅσα τυγχάνει ὄντα ὑπὸ τὸ καθόλου οὗ ἔχει τὴν γνῶσιν. ὅτι μὲν γὰρ πᾶν τρίγωνον ἔχει δυσὶν ὀρθαῖς ἴσας, προῄδει· ὅτι δὲ τόδε τὸ ἐν τῷ ἡμικυκλίῳ τρίγωνόν ἐστιν, ἅμα ἐπαγόμενος ἐγνώρισεν. (ἐνίων γὰρ τοῦτον τόν τρόπον ἡ μάθησίς ἐστι, καὶ οὐ διὰ τοῦ μέσου τὸ ἔσχατον γνωρίζεται, ὅσα ἤδη τῶν καθʼ ἕκαστα τυγχάνει ὄντα καὶ μὴ καθʼ ὑποκειμένου τινός.) πρίν δʼ ἐπαχθῆναι ἢ λαβεῖν συλλογισμόν τρόπον μέν τινα ἴσως φατέον ἐπίστασθαι, τρόπον δʼ ἄλλον οὔ. ὅ γὰρ μὴ ἤδει εἰ ἔστιν ἀπλῶς, τοῦτο πῶς ἤδει ὅτι δύο ὀρθὰς ἔχει ἀπλῶς; ἀλλὰ δῆλον ὡς ὡδὶ μὲν ἐπίσταται, ὅτι καθόλου ἐπίσταται, ἁπλῶς δʼ οὐκ ἐπίσταται. εἰ δὲ μή, τὸ ἐν τῷ Μένωνι ἀπόρημα συμβήσεται· ἢ γὰρ οὐδὲν μαθήσεται ἢ ἃ οἶδεν. οὐ γὰρ δή, ὥς γέ τινες ἐγχειροῦσι λύειν, λεκτέον. ἆρʼ οἶδας ἅπασαν δυάδα ὅτι

Ἐπίστασθαι δὲ οἰόμεθʼ ἕκαστον ἁπλῶς, ἀλλὰ μὴ τὸν σοφιστικὸν τρόπον τὸν κατὰ συμβεβηκός, ὅταν τήν τʼ αἰτίαν οἰώμεθα γινώσκειν διʼ ἥν τὸ πρᾶγμά ἐστιν, ὅτι ἐκείνου αἰτία ἐστί, καὶ μὴ ἐνδέχεσθαι τοῦτʼ ἄλλως ἔχειν. δῆλον τοίνυν ὅτι τοιοῦτόν τι τὸ ἐπίστασθαί ἐστι· καὶ γὰρ οἱ μὴ ἐπιστάμενοι καὶ οἱ ἐπιστάμενοι οἱ μὲν οἴονται αὐτοὶ οὕτως ἔχειν, οἱ δʼ ἐπιστάμενοι καὶ ἔχουσιν, ὥστε οὗ ἀπλῶς ἔστιν ἐπιστήμη, τοῦτʼ ἀδύνατον ἄλλως ἔχειν.

Εἰ μὲν οὖν καὶ ἕτερος ἔστι τοῦ ἐπίστασθαι τρόπος, ὕστερον ἐροῦμεν, φαμὲν δὲ καὶ διʼ ἀποδείξεως εἰδέναι. ἀπόδειξιν δὲ λέγω συλλογισμὸν ἐπιστημονικόν· ἐπιστημονικὸν δὲ λέγω καθʼ ὅν τῷ ἔχειν αὐτὸν ἐπιστάμεθα. εἰ τοίνυν ἐστὶ τὸ ἐπίστασθαι οἷον ἔθεμεν, ἀνάγκη καὶ τὴν ἀποδεικτικὴν ἐπιστήμην ἐξ ἀληθῶν τʼ εἶναι καὶ πρώτων καὶ ἀμέσων καὶ γνωριμωτέρων καὶ προτέρων καὶ αἰτίων τοῦ συμπεράσματος· οὕτω γὰρ ἔσονται καὶ αἱ ἀρχαὶ οἰκεῖαι τοῦ δεικνυμένου. συλλογισμὸς μὲν γὰρ ἔσται καὶ ἄνευ τούτων, ἀπόδειξις δʼ οὐκ ἔσται· οὐ γὰρ ποιήσει ἐπιστήμην. ἀληθῆ μὲν οὖν δεῖ εἶναι, ὅτι οὐκ ἔστι τὸ μὴ ὄν ἐπίστασθαι, οἷον ὅτι ἡ διάμετρος σύμμετρος. ἐκ πρώτων δʼ ἀναποδείκτων, ὅτι οὐκ ἐπιστήσεται μὴ ἔχων ἀπόδειξιν αὐτῶν· τὸ γὰρ ἐπίστασθαι ὧν ἀπόδειξις ἔστι μὴ κατὰ συμβεβηκός, τὸ ἔχειν ἀπόδειξίν ἐστιν. αἴτιά τε καὶ γνωριμώτερα δεῖ εἶναι καὶ πρότερα, αἴτια μὲν ὅτι τότε ἐπιστάμεθα ὅταν τὴν αἰτίαν εἰδῶμεν, καὶ πρότερα, εἴπερ αἴτια, καὶ προγινωσκόμενα οὐ μόνον τὸν ἕτερον τρόπον τῷ ξυνιέναι, ἀλλὰ καὶ τῷ εἰδέναι ὅτι ἔστιν. πρότερα δʼ ἐστὶ καὶ γνωριμώτερα διχῶς·

Ἀμέσου δʼ ἀρχῆς συλλογιστικῆς θέσιν μὲν λέγω ἣν μὴ ἔστι δεῖξαι, μηδʼ ἀνάγκη ἔχειν τὸν μαθησόμενόν τι· ἣν δʼ ἀνάγκη ἔχειν τὸν ὁτιοῦν μαθησόμενον, ἀξίωμα· ἔστι γὰρ ἔνια τοιαῦτα· τοῦτο γὰρ μάλιστʼ ἐπὶ τοῖς τοιούτοις εἰώθαμεν ὄνομα λέγειν. θέσεως δʼ ἡ μὲν ὁποτερονοῦν τῶν μορίων τῆς ἀντιφάσεως λαμβάνουσα, οἷον λέγω τὸ εἶναί τι ἢ τὸ μὴ εἶναί τι, ὑπόθεσις, ἡ δʼ ἄνευ τούτου ὁρισμός. ὁ γὰρ ὁρισμός θέσις μέν ἐστι· τίθεται γὰρ ὁ ἀριθμητικός μονάδα τὸ ἀδιαίρετον εἶναι κατὰ τὸ ποσόν· ὑπόθεσις δʼ οὐκ ἔστι· τὸ γὰρ τί ἐστι μονὰς καὶ τὸ εἶναι μονάδα οὐ ταὐτόν.

Ἐπεὶ δὲ δεῖ πιστεύειν τε καὶ εἰδέναι τὸ πρᾶγμα τῷ τοιοῦτον ἔχειν συλλογισμὸν ὃν καλοῦμεν ἀπόδειξιν, ἔστι δʼ οὗτος τῷ ταδὶ εἶναι ἐξ ὧν ὁ συλλογισμός, ἀνάγκη μὴ μόνον προγινώσκειν τὰ πρῶτα, ἢ πάντα ἢ ἔνια, ἀλλὰ καὶ μᾶλλον· αἰεὶ γὰρ διʼ ὃ ὑπάρχει ἕκαστον, ἐκείνῳ μᾶλλον ὑπάρχει, οἷον διʼ ὃ φιλοῦμεν, ἐκεῖνο φίλον μᾶλλον. ὥστʼ εἴπερ ἴσμεν διὰ τὰ πρῶτα καὶ πιστεύομεν, κἀκεῖνα ἴσμεν τε καὶ πιστεύομεν μᾶλλον, ὅτι διʼ ἐκεῖνα καὶ τὰ ὕστερα. οὐχ οἷόν

Ἐνίοις μὲν οὖν διὰ τὸ δεῖν τὰ πρῶτα ἐπίστασθαι οὐ δοκεῖ ἐπιστήμτη εἶναι, τοῖς δʼ εἶναι μέν, πάντων μέντοι ἀπόδειξις εἶναι· ὧν οὐδέτερον οὔτʼ ἀληθὲς οὔτʼ ἀναγκαῖον. οἱ μὲν γὰρ ὑποθέμενοι μὴ εἶναι ὅλως ἐπίστασθαι, οὗτοι εἰς ἄπειρον ἀξιοῦσιν ἀνάγεσθαι ὡς οὐκ ἂν ἐπισταμένους τὰ ὕστερα διὰ τὰ πρότερα, ὧν μὴ ἔστι πρῶτα, ὀρθῶς λέγοντες· ἀδύνατον γὰρ τὰ ἄπειρα διελθεῖν. εἴ τε ἵσταται καὶ εἰσὶν ἀρχαί, ταύτας ἀγνώστους εἶναι ἀποδείξεώς γε μὴ οὔσης αὐτῶν, ὅπερ φασὶν εἶναι τὸ ἐπίστασθαι μόνον· εἰ δὲ μὴ ἔστι τὰ πρῶτα εὐδέναι, οὐδὲ τὰ ἐκ τούτων εἶναι ἐπίστασθαι ἁπλῶς οὐδὲ κυρίως, ἀλλʼ ἐξ ὑποθέσεως, εἰ ἐκεῖνα ἔστιν. οἱ δὲ περὶ μὲν τοῦ ἐπίστασθαι ὁμολογοῦσι· διʼ ἀποδείξεως γὰρ εἶναι μόνον· ἀλλὰ πάντων εἶναι ἀπόδειξιν οὐδὲν κωλύειν· ἐνδέχεσθαι γὰρ κύκλῳ γίνεσθαι τὴν ἀπόδειξιν καὶ ἐξ ἀλλήλων.

Ἡμεῖς δέ φαμεν οὔτε πᾶσαν ἐπιστήμτην ἀποδεικτικὴν εἶναι, ἀλλὰ τὴν τῶν ἀμέσων ἀναπόδεικτον (καὶ τοῦθʼ ὅτι ἀναγκαῖον, φανερόν· εἰ γὰρ ἀνάγκη μὲν ἐπίστασθαι τὰ πρότερα καὶ ἐξ ὧν ἡ ἀπόδειξις, ἶσταται δέ ποτε τὰ ἄμεσα, ταῦτʼ ἀναπόδεικτα ἀνάγκη εἶναι)ταῦτά τʼ οὖν οὕτω λεγομεν, καὶ οὐ μόνον ἐπιστήμτην ἀλλὰ καὶ ἀρχὴν ἐπιστήμης εἶναί τινά φαμεν, τοὺς ὅρους γνωρίζομεν. κύκλῳ τε ὅτι ἀδύνατον ἀποδείκνυσθαι ἀπλῶς, δῇλον,

Οὐ μὴν ἀλλʼ οὐδὲ τοῦτο δυνατόν, πλὴν ἐπὶ τούτων ὅσα ἀλλήλοις ἕπεται, ὥσπερ τὰ ἴδια. ἑνὸς μὲν οὖν κειμένου δέδεικται ὅτι οὐδέποτʼ ἀνάγκη τι εἶναι ἕτερον (λέγω δʼ ἑνός, ὅτι οὔτε ὅρου ἑνὸς οὔτε θέσεως μιᾶς τεθείσης), ἐκ δύο δὲ θέσεων πρώτων καὶ ἐλαχίστων ἐνδέχεται, εἴπερ καὶ συλλογίσασθαι. ἐὰν μὲν οὖν τό τε Α τῷ Β καὶ τῷ Γ ἕπηται, καὶ ταῦτʼ ἀλλήλοις καὶ τῷ Α, οὕτω μὲν ἐνδέχεται ἐξ ἀλλήλων δεικνύναι πάντα τὰ αἰτηθέντα ἐν τῷ πρώτῳ σχήματι, ὡς δέδεικται ἐν τοῖς περὶ συλλογισμοῦ, δέδεικται δὲ καὶ ὅτι ἐν τοῖς ἄλλοις σχήμασιν ἢ οὐ γίνεται συλλογισμὸς ἢ οὐ περὶ τῶν ληφθέντων. τὰ δὲ μὴ ἀντικατηγορούμενα οὐδαμῶς ἔστι δεῖξαι κύκλῳ, ὥστʼ ἐπειδὴ ὀλίγα τοιαῦτα ἐν ταῖς ἀποδείξεσι, φανερὸν ὅτι κενόν τε καὶ ἀδύνατὸν

Ἐπεὶ δʼ ἀδύνατον ἄλλως ἔχειν οὗ ἔστιν ἐπιστήμη ἀπλῶς, ἀναγκαῖον ἂν εἴη τὸ ἐπιστητὸν τὸ κατὰ τὴν ἀποδεικτικὴν ἐπιστήμην· ἀποδεικτικὴ δʼ ἐστὶν ἣν ἔχομεν τῷ ἔχειν ἀπόδειξιν. ἐξ ἀναγκαίων ἄρα συλλογισμός ἐστιν ἡ ἀπόδειξις. ληπτέον ἄρα ἐκ τίνων καὶ ποίων αἱ ἀποδείξεις εἰσίν. πρῶτον δὲ διορίσωμεν τί λέγομεν τὸ κατὰ παντὸς καὶ τί τὸ καθʼ αὑτὸ καὶ τί τὸ καθόλου.

Κατὰ παντὸς μὲν οὖν τοῦτο λέγω ὃ ἂν ᾖ μὴ ἐπὶ τινὸς μὲν τινὸς δὲ μή, μηδὲ ποτὲ μὲν ποτὲ δὲ μή, οἷον εἰ κατὰ παντὸς ἀνθρώπου ζῷον, εἰ ἀληθὲς τόνδʼ εἰπεῖν ἄνθρωπον, ἀληθὲς καὶ ζῷον, καὶ εἰ νῦν θάτερον, καὶ θάτερον, καὶ εἰ ἐν πάσῃ γραμμῇ στιγμή, ὡσαύτως. σημεῖον δέ· καὶ γὰρ τὰς ἐνστάσεις οὕτω φέρομεν ὡς κατὰ παντὸς ἐρωτώμενοι, ἢ εἰ ἐπί τινι μή, ἢ εἴ ποτε μή.

Καθʼ αὐτὰ δʼ ὅσα ὑπάρχει τε ἐν τῷ τί ἐστιν, οἷον τριγώνῳ γραμμὴ καὶ γραμμῇ στιγμή (ἡ γὰρ οὐσία αὐτῶν ἐκ τούτων ἐστί, καὶ ἐν τῷ λόγῳ τῷ λέγοντι τί ἐστιν ἐνυπάρχει), καὶ ὅσοις τῶν ὑπαρχόντων αὐτοῖς αὐτὰ ἐν τῷ λόγῳ ἐνυπάρχουσι τῷ τί ἐστι δηλοῦντι, οἷον τὸ εὐθὺ ὑπάρχει γραμμῇ καὶ τὸ περιφερές, καὶ τὸ περιττὸν καὶ ἄρτιον ἀριθμῷ, καὶ τὸ πρῶτον καὶ σύνθετον, καὶ ἰσόπλευρον καὶ ἑτερόμηκες· καὶ πᾶσι τούτοις ἐνυπάρχουσιν ἐν τῷ [*](73b) λόγῳ τῷ τί ἐστι λέγοντι ἔνθα μὲν γραμμὴ ἔνθα δʼ ἀριθμός. ὁμοίως δὲ καὶ ἐπὶ τῶν ἄλλων τὰ τοιαῦθʼ ἑκάστοις καθʼ αὑτὰ λέγω, ὅσα δὲ μηδετέρως ὑπάρχει, συμβεβηκότα, οἷον τὸ μουσικὸν ἢ λευκὸν τῷ ζῴῳ. ἔτι ὅ μὴ καθʼ ὑποκειμένου λέγεται ἄλλου τινός, οἷον τὸ βαδίζον ἕτερόν τι ὂν βαδίζον ἐστὶ καὶ τὸ λευκὸν 〈λευκόν〉, ἡ δʼ οὐσία, καὶ ὅσα τόδε τι σημαίνει, οὐχ ἕτερόν τι ὄντα ἐστὶν ὅπερ ἐστίν. τὰ μὲν δὴ μὴ καθʼ ὑποκειμένου καθʼ αὐτὰ λέγω, τὰ δὲ καθʼ ὑποκειμένου συμβεβηκότα. ἔτι δʼ ἄλλον τρόπον τὸ μὲν διʼ αὑτὸ ὑπάρχον ἑκάστῳ καθʼ αὑτό, τὸ δὲ μὴ διʼ αὐτὸ συμβεβηκός, οἷον εἰ βαδίζοντος ἤστραψε, συμβεβηκός· οὐ γὰρ διὰ τὸ βαδίζειν

Τὸ μὲν οὖν κατὰ παντὸς καὶ καθʼ αὑτὸ διωρίσθω τὸν τρόπον τοῦτον· καθόλου δὲ λέγω ὃ ἂν κατὰ παντός τε ὑπάρχῃ καὶ καθʼ αὑτὸ καὶ ᾗ αὐτό. φανερόν ἄρα ὅτι ὅσα καθόλου, ἐξ ἀνάγκης ὑπάρχει τοῖς πράγμασιν. τὸ καθʼ αὑτὸ δὲ καὶ ᾗ αὐτὸ ταὐτόν, οἷον καθʼ αὐτὴν τῇ γραμμῇ ὑπάρχει στιγμὴ καὶ τὸ εὐθύ (καὶ γὰρ ᾗ γραμμή), καὶ τῷ τριγώνῳ ᾗ τρίγωνον δύο ὀρθαί (καὶ γὰρ καθʼ αὑτὸ τὸ τρίγωνον δύο ὀρθαῖς ἴσον). τὸ καθόλου δὲ ὑπάρχει τότε, ὅταν ἐπὶ τοῦ τυχόντος καὶ πρώτου δεικνύηται. οἷον τὸ δύο ὀρθὰς ἔχειν οὔτε τῷ σχήματί ἐστι καθόλου (καίτοι ἔστι δεῖξαι κατὰ σχήματος ὅτι δύο ὀρθὰς ἔχει, ἀλλʼ οὐ τοῦ τυχόντος σχήματος, οὐδὲ χρῆται τῷ τυχόντι σχήματι δεικνύς· τὸ γὰρ τετράγωνον σχῆμα μέν, οὐκ ἔχει δὲ δύο ὀρθαῖς ἴσας)— τὸ δʼ ἰσοσκελὲς ἔχει μὲν τὸ τυχὸν δύο ὀρθαῖς ἴσας, ἀλλʼ οὐ πρῶτον, ἀλλὰ τὸ τρίγωνον πρότερον. ὃ τοίνυν τὸ τυχὸν πρῶτον δείκνυται δύο ὀρθὰς ἔχον ἢ ὁτιοῦν ἄλλο, τούτῳ πρώτῳ [*](74a) ὑπάρχει καθόλου, καὶ ἡ ἀπόδειξις καθʼ αὑτὸ τούτου καθόλου ἐστί, τῶν δʼ ἄλλων τρόπον τινὰ οὐ καθʼ αὑτό, οὐδὲ τοῦ ἰσοσκελοῦς οὐκ ἔστι καθόλου ἀλλʼ ἐπὶ πλέον.

Δεῖ δὲ μὴ λανθάνειν ὅτι πολλάκις συμβαίνει διαμαρτάνειν καὶ μὴ ὑπάρχειν τὸ δεικνύμενον πρῶτον καθόλου, ᾗ δοκεῖ δείκνυσθαι καθόλου πρῶτον. ἀπατώμεθα δὲ ταύτην τὴν ἀπάτην, ὅταν ἢ μηδὲν ᾖ λαβεῖν ἀνώτερον παρὰ τὸ καθʼ

Πότ᾿ οὖν οὐκ οἶδε καθόλου, καὶ πότʼ οἶδεν ἀπλῶς; δῆλον δὴ ὅτι εἰ ταὐτὸν ἦν τριγώνῳ εἶναι καὶ ἰσοπλεύρῳ ἢ ἑκάστῳ ἢ πᾶσιν. εἰ δὲ μὴ ταὐτὸν ἀλλʼ ἕτερον, ὑπάρχει δʼ ᾗ τρίγωνον, οὐκ οἶδεν. πότερον δʼ ᾗ τρίγωνον ἢ ᾗ ἰσοσκελὲς ὑπάρχει; καὶ πότε κατὰ τοῦθʼ ὑπάρχει πρῶτον; καὶ καθόλου τίνος ἡ ἀπόδειξις; δῆλον ὅτι ὅταν ἀφαιρουμένων ὑπάρχῃ πρώτῳ. οἷον τῷ ἰσοσκελεῖ χαλκῷ τριγώνῳ

Εἰ οὖν ἐστιν ἡ ἀποδεικτικὴ ἐπιστήμη ἐξ ἀναγκαίων ἀρχῶν (ὃ γὰρ ἐπίσταται, οὐ δυνατὸν ἄλλως ἔχειν), τὰ δὲ καθ᾿ αὑτὰ ὑπάρχοντα ἀναγκαῖα τοῖς πράγμασιν (τὰ μὲν γὰρ ἐν τῷ τί ἐστιν ὑπάρχει· τοῖς δʼ αὐτὰ ἐν τῷ τί ἐστιν ὑπάρχει κατηγορουμένοις αὐτῶν, ὧν θάτερον τῶν ἀντικειμένων ἀνάγκη ὑπάρχειν), φανερόν ὅτι ἐκ τοιούτων τινῶν ἂν εἴη ὁ ἀποδεικτικὸς συλλογισμός· ἅπαν γὰρ ἢ οὕτως ὑπάρχει ἢ κατὰ συμβεβηκός, τὰ δὲ συμβεβηκότα οὐκ ἀναγκαῖα.

Ἣ δὴ οὕτω λεκτέον, ἢ ἀρχὴν θεμένοις ὅτι ἡ ἀπόδειξις ἀναγκαίων ἐστί, καὶ εἰ ἀποδέδεικται, οὐχ οἷόν τʼ ἄλλως ἔχειν· ἐξ ἀναγκαίων ἄρα δεῖ εἶναι τὸν συλλογισμόν. ἐξ ἀληθῶν μὲν γὰρ ἔστι καὶ μὴ ἀποδεικνύντα συλλογίσασθαι, ἐξ ἀναγκαίων δʼ οὐκ ἔστιν ἀλλʼ ἢ ἀποδεικνύντα· τοῦτο γὰρ ἤδη ἀποδείξεως ἐστιν. σημεῖον δʼ ὅτι ἡ ἀπόδειξις ἐξ ἀναγκαίων, ὅτι καὶ τὰς ἐνστάσεις οὕτω φέρομεν πρὸς τοὺς οἰομένους ἀποδεικνύναι ὅτι οὐκ ἀνάγκη, ἂν οἰώμεθα ἢ ὅλως ἐνδέχεσθαι ἄλλως ἢ ἕνεκά γε τοῦ λόγου. δῆλον δʼ ἐκ τούτων καὶ ὅτι εὐήθεις οἱ λαμβάνειν οἰόμενοι καλῶς τὰς ἀρχάς, ἐὰν ἔνδοξος ᾖ ἡ πρότασις καὶ ἀληθής, οἶον οἱ σοφισταὶ ὅτι τὸ ἐπίστασθαι τὸ ἐπιστήμην ἔχειν. οὐ γὰρ τὸ ἔνδοξον ἡμῖν ἀρχή ἐστιν, ἀλλὰ τὸ πρῶτον τοῦ γένους περὶ ὃ δείκνυται· καὶ τἀληθὲς οὐ πᾶν οἰκεῖον. ὅτι δʼ ἐξ ἀναγκαίων εἶναι δεῖ τὸν συλλογισμόν, φανερόν καὶ ἐκ τῶνδε. εἰ γὰρ ὁ μὴ ἔχων λόγον τοῦ διὰ τί οὔσης ἀποδείξεως οὐκ ἐπιστήμων, εἴη δʼ ἂν ὥστε τὸ Α κατὰ τοῦ Γ ἐξ ἀνάγκης ὑπάρχειν, τὸ δὲ Β τὸ μέσον, διʼ οὗ ἀπεδείχθη, μὴ ἐξ ἀνάγκης, οὐκ οἶδε διότι. οὐ γάρ ἐστι τοῦτο διὰ τὸ μέσον· τὸ μὲν γὰρ ἐνδέχεται μὴ εἶναι, τὸ δὲ συμπέρασμα ἀναγκαῖον. ἔτι εἴ τις μὴ οἶδε νῦν ἔχων τὸν λόγον καὶ σῳζόμενος, σῳζομένου τοῦ πράγματος, μὴ ἐπιλελησμένος, οὐδὲ πρότερον ᾔδει. φθαρείη δʼ ἂν τὸ μέσον, εἰ μὴ

Ὅταν μὲν οὖν τὸ συμπέρασμα ἐξ ἀνάγκης ᾖ, οὐδὲν κωλύει [*](75a) τὸ μέσον μὴ ἀναγκαῖον εἶναι διʼ οὗ ἐδείχθη (ἔστι γὰρ τὸ ἀναγκαῖον· καὶ μὴ ἐξ ἀναγκαίων συλλογίσασθαι, ὥσπερ καὶ ἀληθὲς μὴ ἐξ ἀληθῶν)· ὅταν δὲ τὸ μέσον ἐξ ἀνάγκης, καὶ τὸ συμπέρασμα ἐξ ἀνάγκης, ὥσπερ καὶ ἐξ ἀληθῶν ἀληθὲς ἀεί (ἔστω γὰρ τὸ Α κατὰ τοῦ Β ἐξ ἀνάγκης, καὶ τοῦτο κατὰ τοῦ Γ· ἀναγκαῖον τοίνυν καὶ τὸ Α τῷ Γ ὑπάρχειν)· ὅταν δὲ μὴ ἀναγκαῖον ᾖ τὸ συμπέρασμα, οὐδὲ τὸ μέσον ἀναγκαῖον οἷόν τʼ εἶναι (ἔστω γὰρ τὸ τῷ Γ μὴ ἐξ ἀνάγκης ὑπάρχειν, τῷ δὲ Β, καὶ τοῦτο τῷ Γ ἐξ ἀνάγκης· καὶ τὸ Α ἄρα τῷ Γ ἐξ ἀνάγκης ὑπάρξει· ἀλλʼ οὐχ ὑπέκειτο).

Ἐπεὶ τοίνυν εἰ ἐπίσταται ἀποδεικτικῶς, δεῖ ἐξ ἀνάγκης ὑπάρχειν, δῆλον ὅτι καὶ διὰ μέσου ἀναγκαίου δεῖ ἔχειν τὴν ἀπόδειξιν· ἢ οὐκ ἐπιστήσεται οὔτε διότι οὔτε ὅτι ἀνάγκη ἐκεῖνο εἶναι, ἀλλʼ ἢ οἰήσεται οὐκ εἰδώς, ἐὰν ὑπολάβῃ ὡς ἀναγκαῖον τὸ μὴ ἀναγκαῖον, ἢ οὐδʼ οἰήσεται, ὁμοίως ἐάν τε τὸ ὅτι εἰδῇ διὰ μέσων ἐάν τε τὸ διότι καὶ διʼ ἀμέσων.

Τῶν δὲ συμβεβηκότων μὴ καθʼ αὑτά, ὃν τρόπον διωρίσθη τὰ καθʼ αὑτά, οὐκ ἔστιν ἐπιστήμη ἀποδεικτική. οὐ γὰρ ἔστιν ἐξ ἀνάγκης δέξαι τὸ συμπέρασμα· τὸ συμβεβηκὸς γὰρ ἐνδέχεται μὴ ὑπάρχειν· περὶ τοῦ τοιούτου γὰρ λέγω συμβεβτηκότος. καίτοι ἀπορήσειεν ἄν τις ἴσως τίνος ἕνεκα ταῦτα δεῖ ἐρωτᾶν περὶ τούτων, εἰ μὴ ἀνάγκη τὸ συμπέρασμα εἶναι· οὐδὲν γὰρ διαφέρει εἴ τις ἐρόμενος τὰ τυχόντα εἶτα εἴπειεν τὸ συμπέρασμα. δεῖ δʼ ἐρωτᾶν οὐχ ὡς ἀναγκαῖον εἶναι διὰ τὰ ἠρωτημένα, ἀλλʼ ὅτι λέγειν ἀνάγκη τῷ ἐκεῖνα λέγοντι, καὶ ἀληθῶς λέγειν, ἐὰν ἀληθῶς ᾖ ὑπάρχοντα.

Ἐπεὶ δʼ ἐξ ἀνάγκης ὑπάρχει περὶ ἕκαστον γένος ὅσα καθʼ αὑτὰ ὑπάρχει καὶ ᾗ ἕκαστον, φανερὸν ὅτι περὶ τῶν καθʼ αὑτὰ ὑπαρχόντων αἱ ἐπιστημονικαὶ ἀποδείξεις καὶ ἐκ

Οὐκ ἄρα ἔστιν ἐξ ἄλλου γένους μεταβάντα δεῖξαι, οἷον τὸ γεωμετρικὸν ἀριθμητικῇ. τρία γάρ ἐστι τὰ ἐν ταῖς ἀποδείξεσιν, ἓν μὲν τὸ ἀποδεικνύμενον, τὸ συμπέρασμα (τοῦτο δʼ ἐστὶ τὸ ὑπάρχον γένει τινὶ καθʼ αὑτό), ἓν δὲ τὰ ἀξιώματα (ἀξιώματα δʼ ἐστὶν ἐξ ὧν)· τρίτον τὸ γένος τὸ ὑποκείμενον, [*](75b) οὗ τὰ πάθη καὶ τὰ καθʼ αὑτὰ συμβεβηκότα δηλοῖ ἡ ἀπόδειξις. ἐξ ὧν μὲν οὖν ἡ ἀπόδειξις, ἐνδέχεται τὰ αὐτὰ εἶναι· ὧν δὲ τὸ γένος ἕτερον, ὥσπερ ἀριθμητικῆς καὶ γεωμετρίας, οὐκ ἔστι τὴν ἀριθμητικὴν ἀπόδειξιν ἐφαρμόσαι ἐπὶ τὰ τοῖς μεγέθεσι συμβεβηκότα, εἰ μὴ τὰ μεγέθη ἀριθμοί εἰσι· τοῦτο δʼ ὡς ἐνδέχεται ἐπί τινων, ὕστερον λεχθήσεται. ἡ δʼ ἀριθμητικὴ ἀπόδειξις ἀεὶ ἔχει τὸ γένος περὶ ὃ ἡ ἀπόδειξις, καὶ αἰ ἄλλαι ὁμοίως. ὥστʼ ἢ ἀπλῶς ἀνάγκη τὸ αὐτὸ εἶναι γένος ἢ πῇ, εἰ μέλλει ἡ ἀπόδειξις μεταβαίνειν. ἄλλως δʼ ὅτι ἀδύνατον, δῆλον· ἐκ γὰρ τοῦ αὐτοῦ γένους ἀνάγκη τὰ ἄκρα καὶ τὰ μέσα εἶναι. εἰ γὰρ μὴ καθʼ αὑτά, συμβεβηκότα ἔσται. διὰ τοῦτο τῇ γεωμετρίᾳ οὐκ ἔστι δεῖξαι ὅτι τῶν ἐναντίων μία ἐπιστήμη, ἀλλʼ οὐδʼ ὅτι οἱ δύο κύβοι κύβος· οὐδʼ ἄλλῃ ἐπιστήμῃ τὸ ἑτέρας, ἀλλʼ ἢ ὅσα οὕτως ἔχει πρὸς ἄλληλα ὥστʼ εἶναι θάτερον ὑπὸ θάτερον, οἷον τὰ ὀπτικὰ πρός γεωμετρίαν καὶ τὰ ἁρμονικὰ πρὸς ἀριθμητικήν. οὐδʼ εἴ τι ὑπάρχει ταῖς γραμμαῖς μὴ ἧ γραμμαὶ καὶ ἐκ τῶν ἀρχῶν τῶν ἰδίων, οἷον εἰ καλλίστη τῶν γραμμῶν ἡ εὐθεῖα ἢ εἰ ἐναντίως ἔχει τῇ περιφερεῖ· οὐ γὰρ ἧ τὸ ἴδιον γένος αὐτῶν, ὑπάρχει, ἀλλʼ ᾗ κοινόν τι.