Analytica priora

Ἐν ποίῳ δὲ σχήματι ἔστιν ἐξ ἀντικειμένων προτάσεων συλλογίσασθαι καὶ ἐν ποίῳ οὐκ ἔστιν, ὧδ’ ἔσται φανερόν. λέγω δʼ ἀντικειμένας εἶναι προτάσεις κατὰ μὲν τὴν λέξιν τέτταρας, οἷον τὸ παντὶ τῷ οὐδενί, καὶ τὸ παντὶ τῷ οὐ παντί, καὶ τὸ τινὶ τῷ οὐδενί, καὶ τὸ τινὶ τῷ οὐ τινί, κατʼ ἀλήθειαν δὲ τρεῖς· τό γὰρ τινὶ τῷ οὐ τινὶ κατὰ τὴν λέξιν ἀντίκειται μόνον. τούτων δʼ ἐναντίας μὲν τὰς καθόλου, τὸ παντὶ τῷ μηδενὶ ὑπάρχειν, οἷον τὸ πᾶσαν ἐπιστήμην εἶναι σπουδαίαν τῷ· μηδεμίαν εἶναι σπουδαίαν, τὰς δʼ ἄλλας ἀντικειμένας.

Ἐν μὲν οὖν τῷ πρώτῳ σχήματι οὐκ ἔστιν ἐξ ἀντικειμένων προτάσεων συλλογισμός, οὔτε καταφατικὸς οὔτε ἀποφατικός, καταφατικός μὲν ὅτι ἀμφοτέρας δεῖ καταφατικὰς εἶναι τὰς προτάσεις, αἱ δʼ ἀντικείμεναι φάσις καὶ ἀπόφασις, στερητικός δὲ ὅτι αἱ μὲν ἀντικείμεναι τὸ αὐτὸ τοῦ αὐτοῦ κατηγοροῦσι καὶ ἀπαρνοῦνται, τὸ δʼ ἐν τῷ πρώτῳ μέσον οὐ λέγεται κατʼ ἀμφοῖν, ἀλλʼ ἐκείνου μὲν ἄλλο ἀπαρνεῖται, αὐτὸ δὲ ἄλλου κατηγορεῖται· αὗται δʼ οὐκ ἀντίκεινται.

Ἐν δὲ τῷ μέσῳ σχήματι καὶ ἐκ τῶν ἀντικειμένων καὶ ἐκ τῶν ἐναντίων ἐνδέχεται γίγνεσθαι συλλογισμόν. ἔστω γὰρ [*](64a) ἀγαθὸν μὲν ἐφʼ οὗ Α, ἐπιστήμη δὲ ἐφʼ οὗ Β καὶ Γ. εἰ δὴ πᾶσαν ἐπιστήμην σπουδαίαν ἔλαβε καὶ μηδεμίαν, τὸ Α τῷ Β παντὶ ὑπάρχει καὶ τῷ οὐδενί, ὥστε τὸ Β τῷ Γ οὐδενί· οὐδεμία ἄρα ἐπιστήμη ἐπιστήμη ἐστίν. ὁμοίως δὲ καὶ εἰ πᾶσαν λαβὼν σπουδαίαν τὴν ἰατρικὴν μὴ σπουδαίαν ἔλαβε· τῷ μὲν γὰρ Β παντὶ τὸ Α, τῷ δὲ Γ οὐδενί, ὥστε ἡ τὶς ἐπιστήμη οὐκ ἔσται ἐπιστήμη. καὶ εἰ τῷ μὲν Γ παντὶ τὸ Α, τῷ δὲ Β μηδενί, ἔστι δὲ τὸ μὲν Β ἐπιστήμη, τὸ δὲ Γ ἰατρική, τὸ δὲ ὑπόληψις· οὐδεμίαν γὰρ ἐπιστήμην ὑπόληψιν λαβὼν εἴληφε τινὰ εἶναι ὑπόληψιν. διαφέρει δὲ τοῦ πάλαι τῷ ἐπὶ τῶν ὅρων ἀντιστρέφεσθαι· πρότερον μὲν γὰρ πρὸς τῷ Β, νῦν δὲ πρὸς τῷ Γ τὸ καταφατικόν. καὶ ἂν ᾖ δὲ μὴ καθόλου ἡ ἑτέρα πρότασις, ὡσαύτως· ἀεὶ γὰρ τὸ μέσον ἐστὶν

Ἐν δὲ τῷ τρίτῳ σχήματι καταφατικός μὲν συλλογισμὸς οὐδέποτʼ ἔσται ἐξ ἀντικειμένων προτάσεων διὰ τὴν εἰρημέντην αἰτίαν καὶ ἐπὶ τοῦ πρώτου σχήματος, ἀποφατικὸς δʼ ἔσται, καὶ καθόλου καὶ μὴ καθόλου τῶν ὅρων ὄντων. ἔστω γὰρ ἐπιστήμη ἐφʼ οὗ τὸ Β καὶ Γ, ἰατρικὴ δʼ ἐφʼ οὗ Α. εἰ οὖν λάβοι πᾶσαν ἰατρικὴν ἐπιστήμην καὶ μηδεμίαν ἰατρικὴν ἐπιστήμην, τὸ Β παντὶ τῷ Α εἴληφε καὶ τὸ οὐδενί, ὥστʼ ἔσται τις ἐπιστήμη οὐκ ἐπιστήμη. ὁμοίως δὲ καὶ ἂν μὴ καθόλου ληφθῇ ἡ Β Α πρότασις· εἰ γάρ ἐστί τις ἰατρικὴ ἐπιστήμη καὶ πάλιν μηδεμία ἰατρικὴ ἐπιστήμη, συμβαίνει ἐπιστήμην τινὰ μὴ εἶναι ἐπιστήμην. εἰσὶ δὲ καθόλου μὲν τῶν ὅρων λαμβανομένων ἐναντίαι αἱ προτάσεις, ἐὰν δʼ ἐν μέρει ἅτερος, ἀντικείμεναι.

Δεῖ δὲ κατανοεῖν ὅτι ἐνδέχεται μὲν οὕτω τὰ ἀντικείμενα λαμβάνειν ὥσπερ εἴπομεν πᾶσαν ἐπιστήμην σπουδαίαν εἶναι καὶ πάλιν μηδεμίαν, ἢ τινὰ μὴ ὅπερ οὐκ εἴωθε λανθάνειν. ἔστι δὲ διʼ ἄλλων ἐρωτημάτων συλλογίσασθαι θάτερον, ἢ ὡς ἐν τοῖς Τοπικοῖς ἐλέχθη λαβεῖν. ἐπεὶ δὲ τῶν καταφάσεων αἱ ἀντιθέσεις τρεῖς, ἑξαχῶς συμβαίνει τὰ ἀντικείμενα λαμβάνειν, ἢ παντὶ καὶ μηδενί, ἢ παντὶ καὶ μὴ παντί, ἢ τινὶ καὶ μηδενί, καὶ τοῦτο ἀντιστρέψοι ἐπὶ τῶν ὅρων, οἷον τὸ Α παντὶ τῷ Β, τῷ δὲ Γ μηδενί, ἢ τῷ [*](64b) Γ παντί, τῷ δὲ Β μηδενί, ἢ τῷ μὲν παντί, τῷ δὲ μὴ παντί, καὶ πάλιν τοῦτο ἀντιστρέψαι κατὰ τοὺς ὅρους. ὁμοίως δὲ καὶ ἐπὶ τοῦ τρίτου σχήματος. ὥστε φανερὸν ὁσαχῶς τε καὶ ἐν ποίοις σχήμασιν ἐνδέχεται διὰ τῶν ἀντικειμένων προτάσεων γενέσθαι συλλογισμόν.

Φανερὸν δὲ καὶ ὅτι ἐκ ψευδῶν μὲν ἔστιν ἀληθὲς συλλογίσασθαι, καθάπερ εἴρηται πρότερον, ἐκ δὲ τῶν ἀντικειμένων

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

Εἰ οὖν τις ἀδήλου ὄντος ὅτι τὸ ὑπάρχει τῷ Γ, ὁμοίως δὲ καὶ ὅτι τῷ Β, αἰτοῖτο τῷ Β ὑπάρχειν τὸ Α, οὔπω δῆλον εἰ τὸ ἐν ἀρχῇ αἰτεῖται, ἀλλʼ ὅτι οὐκ ἀποδείκνυσι, δῆλον· οὐ γὰρ ἀρχὴ ἀποδείξεως τὸ ὁμοίως ἄδηλον. εἰ μέντοι τὸ Β πρὸς τὸ Γ οὕτως ἔχει ὥστε ταὐτὸν εἶναι, ἢ δῆλον ὅτι ἀντιστρέφουσιν, ἢ ἐνυπάρχει θάτερον θατέρῳ, τὸ ἐν ἀρχῇ αἰτεῖται. καὶ γὰρ ἄν ὅτι τῷ Β τὸ Α ὑπάρχει διʼ ἐκείνων δεικνύοι, εἰ ἀντιστρέφοι (νῦν δὲ τοῦτο κωλύει, ἀλλʼ οὐχ ὁ τρόπος). εἰ δὲ τοῦτο ποιοῖ, τὸ εἰρημένον ἄν ποιοῖ καὶ ἀντιστρέφοι διὰ τριῶν. ὡσαύτως δὲ κἄν εἰ τὸ Β τῷ Γ λαμβάνοι ὑπάρχειν, ὁμοίως ἄδηλον ὂν καὶ εἰ τὸ Α, οὔπω τὸ ἐξ ἀρχῆς, ἀλλʼ οὐκ ἀποδείκνυσιν. ἐὰν δὲ ταὐτὸν ᾖ τὸ Α καὶ Β ἢ τῷ ἀντιστρέφειν ἢ τῷ ἕπεσθαι τῷ Β τὸ Α, τὸ ἐξ ἀρχῆς αἰτεῖται διὰ τὴν αὐτὴν αἰτίαν· τὸ γὰρ ἐξ ἀρχῆς τί δύναται, εἴρηται ἡμῖν, ὅτι τὸ διʼ αὑτοῦ δεικνύναι τὸ μὴ διʼ αὐτοῦ δῆλον.

Εἰ οὖν ἐστι τὸ ἐν ἀρχῇ αἰτεῖσθαι τὸ διʼ αὐτοῦ δεικνύναι τὸ μὴ διʼ αὐτοῦ δῆλον, τοῦτο δʼ ἐστὶ τὸ μὴ δεικνύναι, ὅταν ὁμοίως ἀδήλων ὄντων τοῦ δεικνυμένου καὶ διʼ οὗ δείκνυσιν ἢ τῷ ταὐτὰ τῷ αὐτῷ ἢ τῷ ταὐτὸν τοῖς αὐτοῖς ὑπάρχειν, ἐν μὲν τῷ μέσῳ σχήματι καὶ τρίτῳ ἀμφοτέρως ἄν ἐνδέχοιτο τὸ ἐν ἀρχῇ αἰτεῖσθαι, ἐν δὲ κατηγορικῷ συλλογισμῷ ἔν τε τῷ τρίτῳ καὶ τῷ πρώτῳ. ὅταν δʼ ἀποφατικῶς, ὅταν τὰ αὐτὰ ἀπὸ τοῦ αὐτοῦ· καὶ οὐχ ὁμοίως ἀμφότεραι αἱ προτάσεις (ὡσαύτως δὲ καὶ ἐν τῷ μέσῳ), διὰ τὸ μὴ ἀντιστρέφειν

Τὸ δὲ μὴ παρὰ τοῦτο συμβαίνειν τὸ ψεῦδος, ὃ πολλάκις ἐν τοῖς λόγοις εἰώθαμεν λέγειν, πρῶτον μέν ἐστιν ἐν τοῖς εἰς τὸ ἀδύνατον συλλογισμοῖς, ὅταν πρὸς ἀντίφασιν ᾗ [*](65b)τούτου ὃ ἐδείκνυτο τῇ εἰς τὸ ἀδύνατον. οὔτε γὰρ μὴ ἀντιφήσας ἐρεῖ τὸ οὐ παρὰ τοῦτο, ἀλλʼ ὅτι ψεῦδός τι ἐτέθη τῶν πρότερον, οὔτʼ ἐν τῇ δεικνυούσῃ· οὐ γὰρ τίθησι ὃ ἀντίφησιν. ἔτι δʼ ὅταν ἀναιρεθῇ τι δεικτικῶς διὰ τῶν Β Γ, οὐκ ἔστιν εἰπεῖν ὡς οὐ παρὰ τό κείμενον γεγένηται ὁ συλλογισμός. τὸ γὰρ μὴ παρὰ τοῦτο γίνεσθαι τότε λέγομεν, ὅταν ἀναιρεθέντος τούτου μηδὲν ἧττον περαίνηται ὁ συλλογισμός, ὅπερ οὐκ ἔστιν ἐν τοῖς δεικτικοῖς· ἀναιρεθείσης γὰρ τῆς θέσεως οὐδʼ ὁ πρὸς ταύτην ἔσται συλλογισμός. φανερὸν οὖν ὅτι ἐν τοῖς εἰς τὸ ἀδύνατον λέγεται τὸ μὴ παρὰ τοῦτο, καὶ ὅταν οὕτως ἔχῃ πρὸς τὸ ἀδύνατον ἡ ἐξ ἀρχῆς ὑπόθεσις ὥστε καὶ οὔσης καὶ μὴ οὔσης ταύτης οὐδὲν ἧττον συμβαίνειν τὸ ἀδύνατον.

Ὁ μὲν οὖν φανερώτατος τρόπος ἐστὶ τοῦ μὴ παρά τὴν θέσιν εἶναι τὸ ψεῦδος, ὅταν ἀπὸ τῆς ὑποθέσεως ἀσύναπτος ᾖ ἀπὸ τῶν μέσων πρός τὸ ἀδύνατον ὁ συλλογισμός, ὅπερ εἴρηται καὶ ἐν τοῖς ὀπικοῖς. τὸ γὰρ τὸ ἀναίτιον ὡς αἴτιον τιθέναι τοῦτό ἐστιν, οἷον εἰ βουλόμενος δεῖξαι ὅτι ἀσύμμετρος ἡ διάμετρος, ἐπιχειροίη τὸν Ζήνωνος λόγον, ὡς οὐκ ἔστι κινεῖσθαι, καὶ εἰς τοῦτο ἀπάγοι τὸ ἀδύνατον· οὐδαμῶς γὰρ οὐδαμῇ συνεχές ἐστι τὸ ψεῦδος τῇ φάσει τῇ ἐξ ἀρχῆς. ἄλλος δὲ τρόπος, εἰ συνεχὲς μὲν εἴη τὸ ἀδύνατον τῇ ὑποθέσει, μὴ μέντοι διʼ ἐκείνην συμβαίνοι. τοῦτο γὰρ ἐγχωρεῖ γενέσθαι καὶ ἐπὶ τὸ ἄνω καὶ ἐπὶ τὸ κάτω λαμβάνοντι τὸ συνεχές, οἷον εἰ τὸ Α τῷ Β κεῖται ὑπάρχον, τὸ δὲ Β τῷ Γ, τὸ δὲ Γ τῷ Δ, τοῦτο δʼ εἴη ψεῦδος, τὸ τὸ Β τῷ Δ ὑπάρχειν. εἰ γὰρ ἀφαιρεθέντος τοῦ Α μηδὲν ἧττον ὑπάρχοι τὸ Β τῷ Γ καὶ τὸ τῷ Δ, οὐκ ἄν εἴη τὸ ψεῦδος διὰ τὴν ἐξ ἀρχῆς ὑπόθεσιν. ἢ πάλιν εἴ τις ἐπὶ τὸ ἄνω λαμβάνοι τὸ συνεχές, οἷον εἰ τὸ μὲν Α τῷ Β, τῷ δὲ

Φανερὸν οὖν ὅτι τοῦ ἀδυνάτου μὴ πρὸς τοὺς ἐξ ἀρχῆς [*](66a) ὅρους ὄντος οὐ παρὰ τὴν θέσιν συμβαίνει τὸ ψεῦδος. ἢ οὐδʼ οὕτως ἀεὶ διὰ τὴν ὑπόθεσιν ἔσται τὸ ψεῦδος; καὶ γὰρ εἰ μὴ τῷ Β ἀλλὰ τῷ Κ ἐτέθη τὸ Α ὑπάρχειν, τὸ δὲ Κ τῷ Γ καὶ τοῦτο τῷ Δ, καὶ οὕτω μένει τὸ ἀδύνατον (ὁμοίως δὲ καὶ ἐπὶ τὸ ἄνω λαμβάνοντι τοὺς ὅρους), ὥστʼ ἐπεὶ καὶ ὄντος καὶ μὴ ὄντος τούτου συμβαίνει τὸ ἀδύνατον, οὐκ ἄν εἴη παρὰ τὴν θέσιν. ἢ τὸ μὴ ὄντος τούτου μηδὲν ἧττον γίνεσθαι τὸ ψεῦδος οὐχ οὕτω ληπτέον ὥστʼ ἄλλου τιθεμένου συμβαίνειν τὸ ἀδύνατον, ἀλλʼ ὅταν ἀφαιρεθέντος τούτου διὰ τῶν λοιπῶν προτάσεων ταὐτὸ περαίντηται ἀδύνατον, ἐπεὶ ταὐτό γε ψεῦδος συμβαίνειν διὰ πλειόνων ὑποθέσεων οὐδὲν ἴσως ἄτοπον, οἶον τὰς παραλλήλους συμπίπτειν καὶ εἰ μείων ἐστὶν ἡ ἐντὸς τῆς ἐκτὸς καὶ εἰ τὸ τρίγωνον ἔχει πλείους ὀρθὰς δυεῖν;

Ὁ δὲ ψευδὴς λόγος γίνεται παρὰ τὸ πρῶτον ψεῦδος. ἢ γὰρ ἐκ τῶν δύο προτάσεων ἢ ἐκ πλειόνων πᾶς ἐστι συλλογισμός. εἰ μὲν οὖν ἐκ τῶν δύο, τούτων ἀνάγκη τὴν ἑτέραν ἢ καὶ ἀμφοτέρας εἶναι ψευδεῖς· ἐξ ἀληθῶν γὰρ οὐκ ἦν ψευδὴς συλλογισμός. εἰ δʼ ἐκ πλειόνων, οἷον τὸ μὲν Γ διὰ τῶν Α Β, ταῦτα δὲ διὰ τῶν Δ Ε Ζ Η, τούτων τι ἔσται τῶν ἐπάνω ψεῦδος, καὶ παρὰ τοῦτο ὁ λόγος· τὸ γὰρ Α καὶ Β διʼ ἐκείνων περαίνονται. ὥστε παρʼ ἐκείνων τι συμβαίνει τὸ συμπέρασμα καὶ τὸ ψεῦδος.

Πρὸς δὲ τὸ μὴ κατασυλλογίζεσθαι παρατηρητέον, ὅταν ἄνευ τῶν συμτπερασμάτων ἐρωτᾷ τὸν λόγον, ὅπως μὴ δοθῇ δὶς ταὐτὸν ἐν ταῖς προτάσεσιν, ἐπειδήπερ ἴσμεν ὅτι ἄνευ μέσου συλλογισμός οὐ γίνεται, μέσον δʼ ἐστὶ τὸ πλεονάκις λεγόμενον. ὡς δὲ δεῖ πρὸς ἕκαστον σιυμπέρασμα τηρεῖν τὸ μέσον, φανερόν ἐκ τοῦ εἰδέναι ποῖον ἐν ἑκάστῳ σχήματι δείκνυται. τοῦτο δʼ ἡμᾶς οὐ λήσεται διὰ τὸ εἰδέναι πῶς ὑπέχομεν τὸν λόγον.

Χρὴ δʼ ὅπερ φυλάττεσθαι παραγγέλλομεν ἀποκρινομένους, αὐτοὺς ἐπιχειροῦντας πειρᾶσθαι λανθάνειν. τοῦτο δʼ ἔσται πρῶτον, ἐὰν τὰ συμπεράσματα μὴ προσυλλογίζωνται ἀλλʼ εἰλημμένων τῶν ἀναγκαίων ἄδηλα ᾖ, ἔτι δὲ ἂν μὴ τὰ σύνεγγυς ἐρωτᾷ, ἀλλʼ ὅτι μάλιστα ἄμεσα. οἶον ἔστω δέον συμπεραίνεσθαι τὸ Α κατὰ τοῦ Ζ· μέσα Β Γ Δ Ε. δεῖ οὖν ἐρωτᾶν εἰ τὸ τῷ Β, καὶ πάλιν μὴ εἰ τὸ Β τῷ Γ, ἀλλ᾿ εἰ τὸ Δ τῷ Ε, κἄπειτα εἰ τὸ Β τῷ Γ, καὶ οὕτω [*](66b) τὰ λοιπά. κἂν διʼ ἑνὸς μέσου γίνηται ὁ συλλογισμός, ἀπὸ τοῦ μέσου ἄρχεσθαι· μάλιστα γὰρ ἂν οὕτω λανθάνοι τόν ἀποκρινόμενον.

Ἐπεὶ δʼ ἔχομεν πότε καὶ πῶς ἐχόντων τῶν ὅρων γίνεται συλλογισμός, φανερὸν καὶ πότʼ ἔσται καὶ πότʼ οὐκ ἔσται ἔλεγχος. πάντων μὲν γὰρ σιυγχωρουμένων, ἢ ἐναλλὰξ τιθεμένων τῶν ἀποκρίσεων, οἷον τῆς μὲν ἀποφατικῆς τῆς δὲ καταφατικῆς, ἐγχωρεῖ γίνεσθαι ἔλεγχον. ἦν γὰρ συλλογισμὸς καὶ οὕτω καὶ ἐκείνως ἐχόντων τῶν ὅρων, ὥστʼ εἰ τὸ κείμενον ἐναντίον τῷ συμπεράσματι, ἀνάγκη γίνεσθαι ἔλεγχον· ὁ γὰρ ἔλεγχος ἀντιφάσεως συλλογισμός. εἰ δὲ μηδὲν συγχωροῖτο, ἀδύνατον γενέσθαι ἔλεγχον· οὐ γὰρ ἦν συλλογισμὸς πάντων τῶν ὅρων στερητικῶν ὄντων, ὥστʼ οὐδʼ ἔλεγχος· εἰ μὲν γὰρ ἔλεγχος, ἀνάγκη συλλογισμόν ναι, συλλογισμοῦ δʼ ὄντος οὐκ ἀνάγκη ἔλεγχον. ὡσαύτως δὲ καὶ εἰ μηδὲν τεθείη κατὰ τὴν ἀπόκρισιν ἐν ὅλῳ· ὁ γὰρ αὐτὸς ἔσται διορισμός ἐλέγχου καὶ συλλογισμοῦ.

Σμβαίνει δʼ ἐνίοτε, καθάπερ ἐν τῇ θέσει τῶν ὅρων ἀπατώμεθα, καὶ κατὰ τὴν ὑπόληψιν γίνεσθαι τὴν ἀπάτην,

Ἐπὶ δὲ τοῦ πρότερον λεχθέντος, εἰ μὴ ἐκ τῆς αὐτῆς συστοιχίας τὸ μέσον, καθʼ ἑκάτερον μὲν τῶν μέσων ἀμφοτέρας τὰς προτάσεις οὐκ ἐγχωρεῖ ὑπολαμβάνειν, οἷον τὸ Α τῷ μὲν Β παντί, τῷ δὲ Γ μηδενί, ταῦτα δʼ ἀμφότερα παντὶ τῷ Δ. συμβαίνει γὰρ ἢ ἀπλῶς ἢ ἐπί τι ἐναντίαν λαμβάνεσθαι τὴν πρώτην πρότασιν. εἰ γὰρ ᾧ τὸ Β ὑπάρχει, παντὶ τὸ ὑπολαμβάνει ὑπάρχειν, τὸ δὲ Β τῷ Δ οἶδε, καὶ ὅτι τῷ Δ τὸ Α οἶδεν. 67a ὥστʼ εἰ πάλιν, ᾧ τὸ Γ, μηδενὶ οἴεται τὸ ὑπάρχειν, ὧ τὸ Β τινὶ ὑπάρχει, τούτῳ οὐκ οἴεται τὸ Α ὑπάρχειν. τὸ δὲ παντὶ οἰόμενον ᾧ τὸ Β, πάλιν τινὶ μὴ οἴεσθαι ᾧ τὸ Β, ἢ ἁπλῶς ἢ ἐπί τι ἐναντίον ἐστίν.

Οὕτω μὲν οὖν οὐκ ἐνδέχεται ὑπολαβεῖν, καθʼ ἑκάτερον δὲ τὴν μίαν ἢ κατὰ θάτερον ἀμφοτέρας οὐδὲν κωλύει, οἷον τὸ Α παντὶ τῷ Β καὶ τὸ Β τῷ Δ, καὶ πάλιν τὸ Α μηδενὶ τῷ Γ. ὁμοία γὰρ ἡ τοιαύτη ἀπάτη καὶ ὡς ἀπατώμεθα περὶ τὰς ἐν μέρει, οἷον εἰ ὧ τὸ Β, παντὶ τὸ Α ὑπάρχει, τὸ δὲ Β τῷ Γ παντί, τὸ Α παντὶ τῷ Γ ὑπάρξει. εἰ οὖν τις οἶδεν ὅτι τὸ Α, ᾧ τὸ Β, ὑπάρχει

Τῇ μὲν οὖν καθόλου θεωροῦμεν τὰ ἐν μέρει, τῇ δʼ οἰκείᾳ οὐκ ἴσμεν, ὥστʼ ἐνδέχεται καὶ ἀπατᾶσθαι περὶ αὐτά, πλὴν οὐκ ἐναντίως, ἀλλʼ ἔχειν μὲν τὴν καθόλου, ἀπατᾶσθαι δὲ τὴν κατὰ μέρος. ὁμοίως οὖν καὶ ἐπὶ τῶν· προειρημένων· οὐ γὰρ ἐναντία ἡ κατὰ τὸ μέσον ἀπάτη τῇ κατὰ τὸν συλλογισμὸν ἐπιστήμῃ, οὐδʼ ἡ καθʼ ἑκάτερον τῶν μέσων ὑπόληψις. οὐδὲν δὲ κωλύει εἰδότα καὶ ὅτι τὸ ὅλῳ τῷ Β ὑπάρχει καὶ πάλιν τοῦτο τῷ Γ, οἰηθῆναι μὴ ὑπάρχειν τὸ Α τῷ Γ, οἷον ὅτι πᾶσα ἡμίονος ἄτοκος καὶ αὕτη ἡμίονος οἴεσθαι κύειν ταύτην· οὐ γὰρ ἐπίσταται ὅτι τὸ Α τῷ Γ μὴ συνθεωρῶν τὸ καθʼ ἑκάτερον. ὥστε δῆλον ὅτι καὶ εἰ τὸ μὲν οἶδε τὸ δὲ μὴ οἶδεν, ἀπατηθήσεται· ὅπερ ἔχουσιν αἱ καθόλου πρὸς τὰς κατὰ μέρος ἐπιστήμας. οὐδὲν γὰρ τῶν αἰσθητῶν [*](67b) ἔξω τῆς αἰσθήσεως γενόμενον ἴσμεν, οὐδʼ ἂν ᾐσθημένοι τυγχάνωμεν, εἰ μὴ ὡς τῷ καθόλου καὶ τῷ ἔχειν τὴν οἰκείαν ἐπιστήμην, ἀλλʼ οὐχ ὡς τῷ ἐνεργεῖν. τὸ γὰρ ἐπίτασθαι λέγεται τριχῶς, ἢ ὡς τῇ καθόλου ἢ ὡς τῇ οἰκείᾳ ἢ ὡς τῷ ἐνεργεῖν, ὥστε καὶ τὸ ἠπατῆσθαι τοσαυταχῶς. οὐδὲν οὖν κωλύει καὶ εἰδέναι καὶ ἠπατῆσθαι περὶ ταὐτό, πλὴν οὐκ

Ὁ δʼ ὑπολαμβάνων τὸ ἀγαθῷ εἶναι κακῷ εἶναι, τὸ αὐτὸ ὑπολήφεται ἀγαθῷ εἶναι καὶ κακῷ. ἔστω γὰρ τὸ μὲν ἀγαθῷ εἶναι ἐφʼ οὗ Α, τὸ δὲ κακῷ εἶναι ἐφʼ οὗ Β, πάλιν δὲ τὸ ἀγαθῷ εἶναι ἐφʼ οὗ Γ. ἐπεὶ οὖν ταὐτὸν ὑπολαμβάνει τὸ Β καὶ τὸ Γ, καὶ εἶναι τὸ Γ τὸ Β ὑπολήψεται, καὶ πάλιν τὸ τὸ Α εἶναι ὡσαύτως, ὥστε καὶ τὸ Γ τὸ Α ὥσπερ γὰρ εἰ ἦν ἀληθές, καθʼ οὗ τὸ Γ, τὸ Β, καὶ καθʼ οὗ τὸ Β, τὸ Α, καὶ κατὰ τοῦ Γ τὸ ἀληθὲς ἦν, οὕτω καὶ ἐπὶ τοῦ ὑπολαμβάνειν. ὁμοίως δὲ καὶ ἐπὶ τοῦ εἶναι· ταὐτοῦ γὰρ ὄντος τοῦ Γ καὶ Β, καὶ πάλιν τοῦ Β καὶ Α, καὶ τὸ Γ τῷ Α ταὐτὸν ἦν· ὥστε καὶ ἐπὶ τοῦ δοξάζειν ὁμοίως. ἆῤ οὖν τοῦτο μὲν ἀναγκαῖον, εἴ τις δώσει τὸ πρῶτον; ἀλλʼ ἴσως ἐκεῖνο ψεῦδος, τὸ ὑπολαβεῖν τινὰ κακῷ εἶναι τὸ ἀγαθῷ εἶναι, εἰ μὴ κατὰ συμβεβηκός· πολλαχῶς γὰρ ἐγχωρεῖ τοῦθʼ ὑπολαμβάνειν. ἐπισκεπτέον δὲ τοῦτο βέλτιον.

Ὅταν δʼ ἀντιστρέφῃ τὰ ἄκρα, ἀνάγκη καὶ τὸ μέσον ἀντιστρέφειν πρὸς ἄμφω. εἰ γὰρ τὸ Α κατὰ τοῦ Γ διὰ τοῦ Β ὑπάρχει, εἰ ἀντιστρέφει καὶ ὑπάρχει, ὧ τὸ Α, παντὶ τὸ Γ, καὶ τὸ Β τῷ ἀντιστρέψει καὶ ὑπάρξει, ὧ τὸ Α, παντὶ τὸ Β διὰ μέσου τοῦ Γ· καὶ τὸ Γ τῷ Β ἀντιστρέψει διὰ μέσου τοῦ Α. καὶ ἐπὶ τοῦ μὴ ὑπάρχειν ὡσαύτως, οἷον εἰ τὸ Β τῷ Γ ὑπάρχει, τῷ δὲ Β τὸ οὐχ ὑπάρχει, οὐδὲ τὸ τῷ Γ οὐχ ὑπάρξει. εἰ δὴ τὸ Β τῷ ἀντιστρέφει, καὶ τὸ Γ τῷ Α ἀντιστρέψει. ἔστω γὰρ τὸ Β μὴ ὑπάρχον· τῷ Α· οὐδʼ ἄρα τὸ Γ· παντὶ γὰρ τῷ Γ τὸ Β ὑπῆρχει καὶ εἰ τῷ Β τὸ Γ ἀντιστρέφει, καὶ τὸ Α ἀντιστρέψει· καθʼ οὗ γὰρ ἅπαντος τὸ Β, καὶ τὸ Γ. καί εἰ τὸ Γ καὶ πρὸς τὸ ἀντιστρέφει, καὶ τὸ Β ἀντιστρέφει. ὧ γὰρ τὸ Β,

Πάλιν εἰ τὸ καὶ τὸ Β ἀντιστρέφει, καὶ τὸ Γ καὶ τὸ Δ ὡσαύτως, ἀπόντι δʼ ἀνάγκη τὸ ἢ τὸ Γ ὑπάρχειν, καὶ τὸ Β καὶ Δ οὕτως ἔξει ὥστε παντὶ θάτερον ὑπάρχειν. ἐπεὶ γὰρ ᾧ τὸ Α, τὸ Β, καὶ ᾧ τὸ Γ, τὸ Δ, παντὶ δὲ τὸ ἢ τὸ Γ καὶ οὐχ ἅμα, φανερὸν ὅτι καὶ τὸ Β ἢ τὸ Δ παντὶ καὶ οὐχ ἅμα οἷον--- γεγονέναι· δύο γάρ συλλογισμοὶ σύγκεινται. πάλιν εἰ παντὶ μὲν τὸ Α ἢ τὸ Β καὶ τὸ Γ ἢ τὸ Δ, ἅμα δὲ μὴ ὑπάρχει, εἰ ἀντιστρέφει τὸ καὶ τὸ Γ, καὶ τὸ Β καὶ τὸ Δ ἀντιστρέφει. εἰ γὰρ τινὶ μὴ ὑπάρχει τὸ Β, ᾧ τὸ Δ, δῆλον ὅτι τὸ Α ὑπάρχει. εἰ δὲ τὸ Α, καὶ τὸ Γ· ἀντιστρέφει γάρ. ὥστε ἅμα τὸ Γ καὶ τὸ Δ. τοῦτο δʼ ἀδύνατον. οἶον εἰ τὸ ἀγένητον ἄφθαρτον καὶ τὸ ἄφθαρτον ἀγένητον, ἀνάγκη τὸ γένομενον φθαρτὸν καὶ τὸ φθαρτόν γεγονέναι.

Ὅταν δὲ τὸ Α ὅλῳ τῷ Β καὶ τῷ Γ ὑπάρχῃ καὶ μηδενὸς ἄλλου κατηγορῆται, ὑπάρχῃ δὲ καὶ τὸ Β παντὶ τῷ Γ, ἀνάγκη τὸ καὶ Β ἀντιστρέφειν· ἐπεὶ γὰρ κατὰ μόνων τῶν Β Γ λέγεται τὸ Α, κατηγορεῖται δὲ τὸ Β καὶ αὐτὸ αὑτοῦ καὶ τοῦ Γ, φανερὸν ὅτι καθʼ ὧν τὸ Α, καὶ τὸ Β λεχθήσεται πάντων πλὴν αὐτοῦ τοῦ Α. πάλιν ὅταν τὸ Α καὶ τὸ Β ὅλῳ τῷ Γ ὑπάρχῃ, ἀντιστρέφῃ δὲ τὸ Γ τῷ Β, ἀνάγκη τὸ Α παντὶ τῷ Β ὑπάρχειν· ἐπεὶ γὰρ παντὶ τῷ Γ τὸ Α, τὸ δὲ Γ τῷ Β διὰ τὸ ἀντιστρέφειν, καὶ τὸ παντὶ τῷ Β.

Ὅταν δὲ δυοῖν ὄντοιν τὸ Α τοῦ Β αἱρετώτερον ᾖ, ὄντων ἀντικειμένων, καὶ τὸ Δ τοῦ Γ ὡσαύτως, εἰ αἱρετώτερα τὰ Α Γ γῶν Β Δ, τὸ Α τοῦ Δ αἱρετώτερον. ὁμοίως γὰρ διωκτὸν τὸ Α καὶ φευκτὸν τὸ Β (ἀντικείμενα γάρ), καὶ τὸ Γ τῷ Δ (καὶ γὰρ ταῦτα ἀντίκειται). εἰ οὖν τὸ Α τῷ Δ ὁμοίως αἱρετόν, καὶ τὸ Β τῷ Γ φευκτόν· ἑκάτερον

Πῶς μὲν οὖν ἔχουσιν οἱ ὅροι κατὰ τὰς ἀντιστροφὰς καὶ τὸ αἱρετώτεροι ἢ φευκτότεροι εἶναι, φανερόν· ὅτι δʼ οὐ μόνον οἱ διαλεκτικοὶ καὶ ἀποδεικτικοὶ συλλογισμοὶ διὰ τῶν προειρημένων γίνονται σχημάτων, ἀλλὰ καὶ οἱ ῥητορικοὶ καὶ ἀπλῶς ἡτισοῦν πίστις καὶ ἡ καθʼ ὁποιανοῦν μέθοδον, νῦν ἄν εἴη λεκτέον. ἅπαντα γὰρ πιστεύομεν ἢ διὰ συλλογισμοῦ ἢ ἐξ ἐπαγωγῆς.

Ἐπαγωγὴ μὲν οὖν ἐστι καὶ ὁ ἐξ ἐπαγωγῆς συλλογισμὸς τὸ διὰ τοῦ ἑτέρου θάτερον ἄκρον τῷ μέσῳ συλλογίσασθαι, οἷον εἰ τῶν Α Γ μέσον τὸ Β, διὰ τοῦ Γ θεῖξαι τὸ Α τῷ Β ὑπάρχον· οὕτω γὰρ ποιούμεθα τὰς ἐπαγωγάς. οἷον ἔστω τὸ Α μακρόβιον, τὸ δʼ ἐφʼ ᾧ Β τὸ χολὴν μὴ ἔχον, ἐφʼ δὲ Γ τὸ καθʼ ἕκαστον μακρόβιον, οἶον ἄνθρωπος καὶ

Ἔστι δʼ ὁ τοιοῦτος συλλογισμός τῆς πρώτης καὶ ἀμέσου προτάσεως· ὧν μὲν γὰρ ἔστι μέσον, διὰ τοῦ μέσου ὁ συλλογισμός, ὧν δὲ μὴ ἔστι, διʼ ἐπαγωγῆς. καὶ τρόπον τινὰ ἀντίκειται ἡ ἐπαγωγὴ τῷ συλλογισμῷ· ὁ μὲν γὰρ διὰ τοῦ μέσου τὸ ἄκρον τῷ τρίτῳ δείκνυσιν, ἡ δὲ διὰ τοῦ τρίτου τὸ ἄκρον τῷ μέσῳ. φύσει μὲν οὖν πρότερος καὶ γνωριμώτερος ὁ διὰ τοῦ μέσου συλλογισμός, ἡμῖν δʼ ἐναργέστερος ὁ διὰ τῆς ἐπαγωγῆς.

Παράδειγμα δʼ ἐστὶν ὅταν τῷ μέσῳ τὸ ἄκρον ὑπάρχον δειχθῇ διὰ τοῦ ὁμοίου τῷ τρίτῳ. δεῖ δὲ καὶ τὸ μέσον τῷ τρίτῳ καὶ τὸ πρῶτον τῷ ὁμοίῳ γνώριμον εἶναι ὑπάρχον. οἷον ἔστω τὸ κακόν, τὸ δὲ Β πρὸς ὁμόρους ἀναιρεῖσθαι 69a πόλεμον, ἐφʼ ᾧ δὲ Γ τὸ Ἀθηναίους πρὸς Θηβαίους, τὸ δʼ ἐφʼ ᾧ Δ Θηβαίους πρὸς Φωκεῖς. ἐὰν οὖν βουλώμεθα δέξαι ὅτι τὸ Θηβαίοις πολεμεῖν κακόν ἐστι, ληπτέον ὅτι τὸ πρὸς τοὺς ὁμόρους πολεμεῖν κακόν. τούτου δὲ πίστις ἐκ τῶν ὁμοίων, οἷον ὅτι Θηβαίοις ὁ πρὸς Φωκεῖς. ἐπεὶ οὖν τὸ πρὸς τοὺς ὁμόρους κακόν, τὸ δὲ πρὸς Θηβαίους πρὸς ὁμόρους ἐστί, φανερὸν ὅτι τὸ πρὸς Θηβαίους πολεμεῖν κακόν. ὅτι μὲν οὖν τὸ Β τῷ Γ καὶ τῷ Δ ὑπάρχει, φανερόν (ἄμφω γάρ ἐστι πρός τοὺς ὁμόρους ἀναιρεῖσθαι πόλεμον), καὶ ὅτι τὸ Α τῷ Δ (Θηβαίοις γὰρ οὐ συνήνεγκεν ὁ πρὸς Φωκεῖς πόλεμος)· ὅτι δὲ τὸ Α τῷ Β ὑπάρχει, διὰ τοῦ Δ δειχθήσεται. τὸν αὐτὸν δὲ τρόπον κἂν εἰ διὰ πλειόνων τῶν ὁμοίων ἡ πίστις γένοιτο τοῦ μέσου πρὸς τὸ ἄκρον. φανερὸν οὖν ὅτι τὸ παράδειγμά

Ἀπαγωγὴ δʼ ἐστὶν ὅταν τῷ μὲν μέσῳ τὸ πρῶτον δῆλον ᾖ ὑπάρχον, τῷ δʼ ἐσχάτῳ τὸ μέσον ἄδηλον μέν, ὁμοίως δὲ πιστὸν ἢ μᾶλλον τοῦ συμπεράσματος· ἔτι ἂν ὀλίγα ᾖ τὰ μέσα τοῦ ἐσχάτουυ καὶ τοῦ μέσου· πάντως γὰρ ἐγγύτερον εἶναι συμβαίνει τῆς ἐπιστήμης. οἷον ἔστω τὸ τὸ διδακτόν, ἐφʼ οὗ Β ἐπιστήμη, τὸ Γ δικαιοσύνη. ἡ μὲν οὖν ἐπιστήμη ὅτι διδακτόν, φανερόν· ἡ δʼ ἀρετὴ εἰ ἐπιστήμη, ἄδηλον. εἰ οὖν ὁμοίως ἢ μᾶλλον πιστὸν τὸ Β Γ τοῦ Α Γ, ἀπαγωγή ἐστιν· ἐγγύτερον γὰρ τοῦ ἐπίστασθαι διὰ τὸ προσειληφέναι τὴν Α Β ἐπιστήμην, πρότερον οὐκ ἔχοντας. ἢ πάλιν εἰ ὀλίγα τὰ μέσα τῶν Β Γ· καὶ γὰρ οὕτως ἐγγύτερον τοῦ εἰδέναι. οἶον εἰ τὸ Δ εἴη τετραγωνίζεσθαι, τὸ δʼ ἐφʼ ᾧ εὐθύγραμμον, τὸ δʼ ἐφʼ ᾧ Ζ κύκλος· εἰ τοῦ Ε Ζ ἓν μόνον εἴη μέσον, τὸ μετὰ μηνίσκων ἴσον γίνεσθαι εὐθυγράμμῳ τὸν κύκλον, ἐγγὺς ἂν εἴη τοῦ εἰδέναι. ὅταν δὲ μήτε πιστότερον ᾖ τὸ Β Γ τοῦ Α Γ μήτʼ ὀλίγα τὰ μέσα, οὐ λέγω ἀπαγωγήν. οὐδʼ ὅταν ἄμεσον τὸ Β Γ· ἐπιστήμη γὰρ τὸ τοιοῦτον.

Ἔνστασις δʼ ἐστὶ πρότασις προτάσει ἐναντία. διαφέρει δὲ τῆς προτάσεως, ὅτι τὴν μὲν ἔνστασιν ἐνδέχεται εἶναι ἐπὶ μέρους, τὴν δὲ πρότασιν ἢ ὅλως οὐκ ἐνδέχεται ἢ οὐκ ἐν τοῖς καθόλου συλλογισμοῖς. φέρεται δὲ ἡ ἔνστασις διχῶς καὶ 69b διὰ δύο σχημάτων, διχῶς μὲν ὅτι ἢ καθόλου ἢ ἐν μέρει πᾶσα ἔνστασις, ἐκ δύο δὲ σχημάτων ὅτι ἀντικείμεναι φέρονται τῇ προτάσει, τὰ δʼ ἀντικείμενα ἐν τῷ πρώτῳ καὶ τῷ τρίτῳ σχήματι περαίνονται μόνοις. ὅταν γὰρ ἀξιώσῃ παντὶ ὑπάρχειν, ἐνιστάμεθα ἢ ὅτι οὐδενὶ ἢ ὅτι τινὶ οὐχ ὑπάρχει· τούτων δὲ τὸ μὲν μηδενὶ ἐκ τοῦ πρώτου σχήματος, τὸ δὲ τινὶ μὴ ἐκ τοῦ ἐσχάτου. οἷον ἔστω τὸ Α μίαν εἶναι ἐπιστήμην,

Ἁπλῶς γὰρ ἐν πᾶσι καθόλου μὲν ἐνιστάμενον ἀνάγκη πρὸς τὸ καθόλου τῶν προτεινομένων τὴν ἀντίφασιν εἰπεῖν, οἷον εἰ μὴ τὴν αὐτὴν ἀξιοῖ τῶν ἐναντίων, πάντων εἰπόντα τῶν ἀντικειμένων μίαν. οὕτω δʼ ἀνάγκη τὸ πρῶτον εἶναι σχῆμα· μέσον γὰρ γίνεται τὸ καθάλου πρός τὸ ἐξ ἀρχῆς. ἐν μέρει δέ, πρὸς ὅ ἐστι καθόλου καθʼ οὗ λέγεται ἡ πρότασις, οἷον γνωστοῦ καὶ ἀγνώστου μὴ τὴν αὐτήν· τὰ γὰρ ἐναντία καθόλου πρὸς ταῦτα. καὶ γίνεται τὸ τρίτον σχῆμα· μέσον γὰρ τὸ ἐν μέρει λαμβανόμενον, οἷον τὸ γνωστὸν καὶ τὸ ἄγνωστον. ἐξ ὧν γὰρ ἔστι συλλογίσασθαι τοὐναντίον, ἐκ τούτων καὶ τὰς ἐνστάσεις ἐπιχειροῦμεν λέγειν. διὸ καὶ ἐκ μόνων τούτων τῶν σχημάτων φέρομεν· ἐν μόνοις γὰρ οἱ ἀντικείμενοι συλλογισμοί· διὰ γὰρ τοῦ μέσου οὐκ ἦν καταφατικῶς. ἔτι δὲ κἂν λόγου δέοιτο πλείονος ἡ διὰ τοῦ μέσου σχήματος, οἷον· εἰ μὴ δοίη τὸ τῷ Β ὑπάρχειν διὰ τό μὴ ἀκολουθεῖν αὐτῷ τὸ Γ. τοῦτο γὰρ διʼ ἄλλων προτάσεων δῆλον· οὐ δεῖ δὲ εἰς ἄλλα ἐκτρέπεσθαι τὴν ἔνστασιν, ἀλλʼ εὐθὺς φανερὰν ἔχειν τὴν ἑτέραν πρότασιν. διὸ καὶ τὸ σημεῖον ἐκ μόνου τούτου τοῦ σχήματος οὐκ ἔστιν.

Ἐπισκεπτέον δὲ καὶ περὶ τῶν ἄλλων ἐνστάσεων, οἶον

Ἐνθύμημα δὲ ἐστὶ συλλογισμὸς ἐξ εἰκότων ἢ σημείων, εἰκὸς δὲ καὶ σημεῖον οὐ ταὐτόν ἐστιν, ἀλλὰ τὸ μὲν εἰκός ἐστι πρότασις ἔνδοξος· ὃ γὰρ ὡς ἐπὶ τὸ πολὺ ἴσασιν οὕτω γινόμενον ἢ μὴ γινόμενον ἢ ὂν ἢ μὴ ὄν, τοῦτʼ ἐστὶν εἰκός, οἷον τὸ μισεῖν τοὺς φθονοῦντας ἢ τὸ φιλεῖν τοὺς ἐρωμένους. σημεῖον δὲ βούλεται εἶναι πρότασις ἀποδεικτικὴ ἢ ἀναγκαία ἢ ἔνδοξος· οὗ γὰρ ὄντος ἔστιν ἢ οὗ γενομένου πρότερον ἢ ὕστερον γέγονε τὸ πρᾶγμα, τοῦτο σημεῖόν ἐστι τοῦ γεγονέναι ἢ εἶναι. ἐνθύμημα ---σημείων λαμβάνεται δὲ τὸ σημεῖον τριχῶς, ὁσαχῶς καὶ τὸ μέσον ἐν τοῖς σχήμασιν· ἢ γὰρ ὡς ἐν τῷ πρώτῳ ἢ ὡς ἐν τῷ μέσῳ ἢ ὡς ἐν τῷ τρίτῳ, οἷον τὸ μὲν δεῖξαι κύουσαν διὰ τὸ γάλα ἔχειν ἐκ τοῦ πρώτου σχήματος· μέσον γὰρ τὸ γάλα ἔχειν. ἐφʼ ᾦ τὸ Α κύειν, τὸ Β γάλα ἔχειν, γυνὴ ἐφʼ ᾧ Γ. τὸ δʼ ὅτι οἱ σοφοὶ σπουδαῖοι, Πιττακὸς γὰρ σπουδαῖος, διὰ τοῦ ἐσχάτου. ἐφʼ ᾧ Α τὸ σπουδαῖον, ἐφʼ ᾧ Β οἱ σοφοί, ἐφʼ Γ Πιττακός. ἀληθὲς δὴ καὶ τὸ Α καὶ τὸ Β τοῦ Γ κατηγορῆσαι· πλὴν τὸ μὲν οὐ λέγουσι διὰ τὸ εἰδέναι, τὸ δὲ λαμβάνουσιν. τὸ δὲ κύειν, ὅτι ὠχρά, διὰ τοῦ μέσου σχήματος βούλεται εἶναι· ἐπεὶ γὰρ ἕπεται ταῖς κυούσαις τὸ ὠχρόν, ἀκολουθεῖ δὲ καὶ ταύτῃ, δεδεῖχθαι οἴονται ὅτι κύει. τὸ ὠχρὸν ἐφʼ οὗ τὸ Α, τὸ κύειν ἐφʼ οὗ Β, γυνὴ ἐφʼ οὗ Γ.

Ἐὰν μὲν οὖν ἡ μία λεχθῇ πρότασις, σημεῖον γίνεx ται μόνον, ἐὰν δὲ καὶ ἡ ἑτέρα προσληφθῇ, συλλογισμός, οἷον ὅτι Πιττακὸς ἐλευθέριος· οἱ γὰρ φιλότιμοι ἐλευθέριοι, Πιττακὸς δὲ φιλότιμος. ἢ πάλιν ὅτι οἱ σοφοὶ ἀγαθοί Πιττακὸς γὰρ ἀγαθός, ἀλλὰ καὶ σοφός. οὕτω μὲν οὖν γίνονται συλλογισμοί, πλὴν ὁ μὲν διὰ τοῦ πρώτου σχήματος ἄλυτος, ἂν ἀληθὴς ᾖ (καθόλου γάρ ἐστιν), ὁ δὲ διὰ τοῦ ἐσχάτου

Ἢ δὴ οὕτω διαιρετέον τὸ σημεῖον, τούτων δὲ τὸ μέσον τεκμήριον ληπτέον (τὸ γὰρ τεκμήριον τὸ εἰδέναι ποιοῦν φασὶν εἶναι, τοιοῦτο δὲ μάλιστα τὸ μέσον), ἢ τὰ μὲν ἐκ τῶν ἄκρων σημεῖον λεκτέον, τὰ δʼ ἐκ τοῦ μέσου τεκμήριον· ἔνδοξότατον γὰρ καὶ μάλιστα ἀληθὲς τὸ διὰ τοῦ πρώτου σχήματος.

Τὸ δὲ φυσιογνωμονεῖν δυνατόν ἐστιν, εἴ τις δίδωσιν ἅμα μεταβάλλειν τὸ σῶμα καὶ τὴν ψυχὴν ὅσα φυσικά ἐστι παθήματα· μαθὼν γὰρ ἴσως μουσικὴν μεταβέβληκέ τι τὴν φυχήν, ἀλλʼ οὐ τῶν φύσει ἡμῖν ἐστὶ τοῦτο τὸ πάθος, ἀλλ᾿ οἷον ὀργαὶ καὶ ἐπιθυμίαι τῶν φύσει κινήσεων. εἰ δὴ τοῦτό τε δοθείη καὶ ἓν ἑνός σημεῖον εἶναι, καὶ δυναίμεθα λαμβάνειν τὸ ἴδιον ἑκάστου γένους πάθος καὶ σημεῖον, δυντησόμεθα φυσιογνωμονεῖν. εἰ γάρ ἐστιν ἰδίᾳ τινὶ γένει ὑπάρχον ἀτόμῳ πάθος, οἷον τοῖς λέουσιν ἀνδρεία, ἀνάγκη καὶ σημεῖον εἶναί τι· συμπάσχειν γὰρ ἀλλήλοις ὑπόκειται. καὶ ἔστω τοῦτο τὸ μεγάλα τὰ ἀκρωτήρια ἔχειν· ὃ καὶ ἄλλοις ὑπάρχειν γένεσι μὴ ὅλοις ἐνδέχεται. τὸ γὰρ σημεῖον οὕτως ἴδιόν ἐστιν, ὅτι ὅλου γένους ἴδιόν ἐστι πάθος, καὶ οὐ μόνου ἴδιον, ὥσπερ εἰώθαμεν λέγειν. ὑπάρξει δὴ καὶ ἐν ἄλλῳ γένει τοῦτο, καὶ ἔσται ἀνδρεῖος ὁ ἄνθρωπος καὶ ἄλλο τι ζῷον. ἕξει ἄρα τὸ σημεῖον· ἓν γὰρ ἑνὸς ἦν. εἰ τοίνυν ταῦτʼ ἐστί, καὶ δυντησόμεθα τοιαῦτα σημεῖα συλλέξαι ἐπὶ τούτων τῶν ζῴων ἃ μόνον ἓν πάθος ἔχει τι ἴδιον, ἕκαστον δʼ ἔχει σημεῖον, ἐπείπερ ἓν ἔχειν ἀνάγκη, δυνησόμεθα φυσιογνωμονεῖν. εἰ δὲ δύο ἔχει ἴδια ὅλον τὸ γένος, οἷον ὁ λέων ἀνδρεῖον

Ἔστι δὴ τὸ φυσιογνωμονεῖν τῷ ἐν τῷ πρώτῳ σχῆματι τὸ μέσον τῷ μὲν πρώτῳ ἄκρῳ ἀντιστρέφειν, τοῦ δὲ τρίτου ὑπερτείνειν καὶ μὴ ἀντιστρέφειν, οἷον ἀνδρεία τὸ Α, τὰ ἀκρωτήρια μεγάλα ἐφʼ οὗ Β, τὸ δὲ Γ λέων. ᾧ δὴ τὸ Γ, τὸ Β παντί, ἀλλὰ καὶ ἄλλοις. ᾧ δὲ τὸ Β, τὸ παντὶ καὶ οὐ πλείοσιν, ἀλλʼ ἀντιστρέφει· εἰ δὲ μή, οὐκ ἔσται ἓν ἑνὸς σημεῖον.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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