Book 13

πάντων δὲ πρῶτον καλῶς ἔχει διορίσασθαι τίς ἀριθμοῦ διαφορά, καὶ μονάδος, εἰ ἔστιν. ἀνάγκη δʼ ἢ κατὰ τὸ ποσὸν ἢ κατὰ τὸ ποιὸν διαφέρειν· τούτων δʼ οὐδέτερον φαίνεται ἐνδέχεσθαι ὑπάρχειν. ἀλλʼ ᾗ ἀριθμός, κατὰ τὸ ποσόν. εἰ δὲ δὴ καὶ αἱ μονάδες τῷ ποσῷ διέφερον, κἂν ἀριθμὸς ἀριθμοῦ διέφερεν ὁ ἴσος τῷ πλήθει τῶν μονάδων. ἔτι πότερον αἱ πρῶται μείζους ἢ ἐλάττους, καὶ αἱ ὕστερον ἐπιδιδόασιν ἢ τοὐναντίον; πάντα γὰρ ταῦτα ἄλογα. ἀλλὰ μὴν οὐδὲ κατὰ τὸ ποιὸν διαφέρειν ἐνδέχεται. οὐθὲν γὰρ αὐταῖς οἷόν τε ὑπάρχειν πάθος· ὕστερον γὰρ καὶ τοῖς ἀριθμοῖς φασὶν ὑπάρχειν τὸ ποιὸν τοῦ ποσοῦ. ἔτι οὔτʼ ἂν ἀπὸ τοῦ ἑνὸς τοῦτʼ αὐταῖς γένοιτο οὔτʼ ἂν ἀπὸ τῆς δυάδος· τὸ μὲν γὰρ οὐ ποιὸν ἡ δὲ ποσοποιόν· τοῦ γὰρ πολλὰ τὰ ὄντα εἶναι αἰτία αὕτη ἡ φύσις. εἰ δʼ ἄρα ἔχει πως ἄλλως, λεκτέον ἐν ἀρχῇ μάλιστα τοῦτο καὶ διοριστέον περὶ μονάδος διαφορᾶς, μάλιστα μὲν καὶ διότι ἀνάγκη ὑπάρχειν· εἰ δὲ μή, τίνα λέγουσιν; —ὅτι μὲν οὖν, εἴπερ εἰσὶν ἀριθμοὶ αἱ ἰδέαι, οὔτε συμβλητὰς τὰς μονάδας ἁπάσας ἐνδέχεται εἶναι, φανερόν, οὔτε ἀσυμβλήτους ἀλλήλαις οὐδέτερον τῶν τρόπων· ἀλλὰ μὴν οὐδʼ ὡς ἕτεροί τινες λέγουσι περὶ τῶν ἀριθμῶν λέγεται καλῶς. εἰσὶ δʼ οὗτοι ὅσοι ἰδέας μὲν οὐκ οἴονται εἶναι οὔτε ἁπλῶς οὔτε ὡς ἀριθμούς τινας οὔσας, τὰ δὲ μαθηματικὰ εἶναι καὶ τοὺς ἀριθμοὺς πρώτους τῶν ὄντων, καὶ ἀρχὴν αὐτῶν εἶναι αὐτὸ τὸ ἕν. ἄτοπον γὰρ τὸ ἓν μὲν εἶναί τι πρῶτον τῶν ἑνῶν, ὥσπερ ἐκεῖνοί φασι, δυάδα δὲ τῶν δυάδων μή, μηδὲ τριάδα τῶν τριάδων· τοῦ γὰρ αὐτοῦ λόγου πάντα ἐστίν. εἰ μὲν οὖν οὕτως ἔχει τὰ περὶ τὸν ἀριθμὸν καὶ θήσει τις εἶναι τὸν μαθηματικὸν μόνον, οὐκ ἔστι τὸ ἓν ἀρχή (ἀνάγκη γὰρ διαφέρειν τὸ ἓν τὸ τοιοῦτο τῶν ἄλλων μονάδων· εἰ δὲ τοῦτο, καὶ δυάδα τινὰ πρώτην τῶν δυάδων, ὁμοίως δὲ καὶ τοὺς ἄλλους ἀριθμοὺς τοὺς ἐφεξῆς)· εἰ δέ ἐστι τὸ ἓν ἀρχή, ἀνάγκη μᾶλλον ὥσπερ Πλάτων ἔλεγεν ἔχειν τὰ περὶ τοὺς ἀριθμούς, καὶ εἶναι δυάδα πρώτην καὶ τριάδα, καὶ οὐ συμβλητοὺς εἶναι τοὺς ἀριθμοὺς πρὸς ἀλλήλους. ἂν δʼ αὖ πάλιν τις τιθῇ ταῦτα, εἴρηται ὅτι ἀδύνατα πολλὰ συμβαίνει. ἀλλὰ μὴν ἀνάγκη γε ἢ οὕτως ἢ ἐκείνως ἔχειν, ὥστʼ εἰ μηδετέρως, οὐκ ἂν ἐνδέχοιτο εἶναι τὸν ἀριθμὸν χωριστόν. —φανερὸν δʼ ἐκ τούτων καὶ ὅτι χείριστα λέγεται ὁ τρίτος τρόπος, τὸ εἶναι τὸν αὐτὸν ἀριθμὸν τὸν τῶν εἰδῶν καὶ τὸν μαθηματικόν. ἀνάγκη γὰρ εἰς μίαν δόξαν συμβαίνειν δύο ἁμαρτίας· οὔτε γὰρ μαθηματικὸν ἀριθμὸν ἐνδέχεται τοῦτον εἶναι τὸν τρόπον, ἀλλʼ ἰδίας ὑποθέσεις ὑποθέμενον ἀνάγκη μηκύνειν, ὅσα τε τοῖς ὡς εἴδη τὸν ἀριθμὸν λέγουσι συμβαίνει, καὶ ταῦτα ἀναγκαῖον λέγειν. —ὁ δὲ τῶν Πυθαγορείων τρόπος τῇ μὲν ἐλάττους ἔχει δυσχερείας τῶν πρότερον εἰρημένων, τῇ δὲ ἰδίας ἑτέρας. τὸ μὲν γὰρ μὴ χωριστὸν ποιεῖν τὸν ἀριθμὸν ἀφαιρεῖται πολλὰ τῶν ἀδυνάτων· τὸ δὲ τὰ σώματα ἐξ ἀριθμῶν εἶναι συγκείμενα, καὶ τὸν ἀριθμὸν τοῦτον εἶναι μαθηματικόν, ἀδύνατόν ἐστιν. οὔτε γὰρ ἄτομα μεγέθη λέγειν ἀληθές, εἴ θʼ ὅτι μάλιστα τοῦτον ἔχει τὸν τρόπον, οὐχ αἵ γε μονάδες μέγεθος ἔχουσιν· μέγεθος δὲ ἐξ ἀδιαιρέτων συγκεῖσθαι πῶς δυνατόν; ἀλλὰ μὴν ὅ γʼ ἀριθμητικὸς ἀριθμὸς μοναδικός ἐστιν. ἐκεῖνοι δὲ τὸν ἀριθμὸν τὰ ὄντα λέγουσιν· τὰ γοῦν θεωρήματα προσάπτουσι τοῖς σώμασιν ὡς ἐξ ἐκείνων ὄντων τῶν ἀριθμῶν. —εἰ τοίνυν ἀνάγκη μέν, εἴπερ ἐστὶν ἀριθμὸς τῶν ὄντων τι καθʼ αὑτό, τούτων εἶναί τινα τῶν εἰρημένων τρόπων, οὐθένα δὲ τούτων ἐνδέχεται, φανερὸν ὡς οὐκ ἔστιν ἀριθμοῦ τις τοιαύτη φύσις οἵαν κατασκευάζουσιν οἱ χωριστὸν ποιοῦντες αὐτόν. —ἔτι πότερον ἑκάστη μονὰς ἐκ τοῦ μεγάλου καὶ μικροῦ ἰσασθέντων ἐστίν, ἢ ἡ μὲν ἐκ τοῦ μικροῦ ἡ δʼ ἐκ τοῦ μεγάλου; εἰ μὲν δὴ οὕτως, οὔτε ἐκ πάντων τῶν στοιχείων ἕκαστον οὔτε ἀδιάφοροι αἱ μονάδες (ἐν τῇ μὲν γὰρ τὸ μέγα ἐν τῇ δὲ τὸ μικρὸν ὑπάρχει, ἐναντίον τῇ φύσει ὄν)· ἔτι αἱ ἐν τῇ τριάδι αὐτῇ πῶς; μία γὰρ περιττή· ἀλλὰ διὰ τοῦτο ἴσως αὐτὸ τὸ ἓν ποιοῦσιν ἐν τῷ περιττῷ μέσον. εἰ δʼ ἑκατέρα τῶν μονάδων ἐξ ἀμφοτέρων ἐστὶν ἰσασθέντων, ἡ δυὰς πῶς ἔσται μία τις οὖσα φύσις ἐκ τοῦ μεγάλου καὶ μικροῦ; ἢ τί διοίσει τῆς μονάδος; ἔτι προτέρα ἡ μονὰς τῆς δυάδος (ἀναιρουμένης γὰρ ἀναιρεῖται ἡ δυάς)· ἰδέαν οὖν ἰδέας ἀναγκαῖον αὐτὴν εἶναι, προτέραν γʼ οὖσαν ἰδέας, καὶ γεγονέναι προτέραν. ἐκ τίνος οὖν; ἡ γὰρ ἀόριστος δυὰς δυοποιὸς ἦν. —ἔτι ἀνάγκη ἤτοι ἄπειρον τὸν ἀριθμὸν εἶναι ἢ πεπερασμένον· χωριστὸν γὰρ ποιοῦσι τὸν ἀριθμόν, ὥστε οὐχ οἷόν τε μὴ οὐχὶ τούτων θάτερον ὑπάρχειν. ὅτι μὲν τοίνυν ἄπειρον οὐκ ἐνδέχεται, δῆλον (οὔτε γὰρ περιττὸς ὁ ἄπειρός ἐστιν οὔτʼ ἄρτιος, ἡ δὲ γένεσις τῶν ἀριθμῶν ἢ περιττοῦ ἀριθμοῦ ἢ ἀρτίου ἀεί ἐστιν· ὡδὶ μὲν τοῦ ἑνὸς εἰς τὸν ἄρτιον πίπτοντος περιττός, ὡδὶ δὲ τῆς μὲν δυάδος ἐμπιπτούσης ὁ ἀφʼ ἑνὸς διπλασιαζόμενος, ὡδὶ δὲ τῶν περιττῶν ὁ ἄλλος ἄρτιος· ἔτι εἰ πᾶσα ἰδέα τινὸς οἱ δὲ ἀριθμοὶ ἰδέαι, καὶ ὁ ἄπειρος ἔσται ἰδέα τινός, ἢ τῶν αἰσθητῶν ἢ ἄλλου τινός· καίτοι οὔτε κατὰ τὴν θέσιν ἐνδέχεται οὔτε κατὰ λόγον, τάττουσί γʼ οὕτω τὰς ἰδέας)· εἰ δὲ πεπερασμένος, μέχρι πόσου; τοῦτο γὰρ δεῖ λέγεσθαι οὐ μόνον ὅτι ἀλλὰ καὶ διότι. ἀλλὰ μὴν εἰ μέχρι τῆς δεκάδος ὁ ἀριθμός, ὥσπερ τινές φασιν, πρῶτον μὲν ταχὺ ἐπιλείψει τὰ εἴδη—οἷον εἰ ἔστιν ἡ τριὰς αὐτοάνθρωπος, τίς ἔσται ἀριθμὸς αὐτόιππος; αὐτὸ γὰρ ἕκαστος ἀριθμὸς μέχρι δεκάδος· ἀνάγκη δὴ τῶν ἐν τούτοις ἀριθμῶν τινὰ εἶναι (οὐσίαι γὰρ καὶ ἰδέαι οὗτοι)· ἀλλʼ ὅμως ἐπιλείψει (τὰ τοῦ ζῴου γὰρ εἴδη ὑπερέξει)—. ἅμα δὲ δῆλον ὅτι εἰ οὕτως ἡ τριὰς αὐτοάνθρωπος, καὶ αἱ ἄλλαι τριάδες (ὅμοιαι γὰρ αἱ ἐν τοῖς αὐτοῖς ἀριθμοῖς), ὥστʼ ἄπειροι ἔσονται ἄνθρωποι, εἰ μὲν ἰδέα ἑκάστη τριάς, αὐτὸ ἕκαστος ἄνθρωπος, εἰ δὲ μή, ἀλλʼ ἄνθρωποί γε. καὶ εἰ μέρος ὁ ἐλάττων τοῦ μείζονος, ὁ ἐκ τῶν συμβλητῶν μονάδων τῶν ἐν τῷ αὐτῷ ἀριθμῷ, εἰ δὴ ἡ τετρὰς αὐτὴ ἰδέα τινός ἐστιν, οἷον ἵππου ἢ λευκοῦ, ὁ ἄνθρωπος ἔσται μέρος ἵππου, εἰ δυὰς ὁ ἄνθρωπος. ἄτοπον δὲ καὶ τὸ τῆς μὲν δεκάδος εἶναι ἰδέαν ἑνδεκάδος δὲ μή, μηδὲ τῶν ἐχομένων ἀριθμῶν. ἔτι δὲ καὶ ἔστι καὶ γίγνεται ἔνια καὶ ὧν εἴδη οὐκ ἔστιν, ὥστε διὰ τί οὐ κἀκείνων εἴδη ἔστιν; οὐκ ἄρα αἴτια τὰ εἴδη ἐστίν. ἔτι ἄτοπον εἰ ὁ ἀριθμὸς ὁ μέχρι τῆς δεκάδος μᾶλλόν τι ὂν καὶ εἶδος αὐτῆς τῆς δεκάδος, καίτοι τοῦ μὲν οὐκ ἔστι γένεσις ὡς ἑνός, τῆς δʼ ἔστιν. πειρῶνται δʼ ὡς τοῦ μέχρι τῆς δεκάδος τελείου ὄντος ἀριθμοῦ. γεννῶσι γοῦν τὰ ἑπόμενα, οἷον τὸ κενόν, ἀναλογίαν, τὸ περιττόν, τὰ ἄλλα τὰ τοιαῦτα, ἐντὸς τῆς δεκάδος· τὰ μὲν γὰρ ταῖς ἀρχαῖς ἀποδιδόασιν, οἷον κίνησιν στάσιν, ἀγαθὸν κακόν, τὰ δʼ ἄλλα τοῖς ἀριθμοῖς· διὸ τὸ ἓν τὸ περιττόν· εἰ γὰρ ἐν τῇ τριάδι, πῶς ἡ πεντὰς περιττόν; ἔτι τὰ μεγέθη καὶ ὅσα τοιαῦτα μέχρι ποσοῦ, οἷον ἡ πρώτη γραμμή, ἡ ἄτομος, εἶτα δυάς, εἶτα καὶ ταῦτα μέχρι δεκάδος. —ἔτι εἰ ἔστι χωριστὸς ὁ ἀριθμός, ἀπορήσειεν ἄν τις πότερον πρότερον τὸ ἓν ἢ ἡ τριὰς καὶ ἡ δυάς. ᾗ μὲν δὴ σύνθετος ὁ ἀριθμός, τὸ ἕν, ᾗ δὲ τὸ καθόλου πρότερον καὶ τὸ εἶδος, ὁ ἀριθμός· ἑκάστη γὰρ τῶν μονάδων μόριον τοῦ ἀριθμοῦ ὡς ὕλη, ὁ δʼ ὡς εἶδος. καὶ ἔστι μὲν ὡς ἡ ὀρθὴ προτέρα τῆς ὀξείας, ὅτι ὥρισται καὶ τῷ λόγῳ· ἔστι δʼ ὡς ἡ ὀξεῖα, ὅτι μέρος καὶ εἰς ταύτην διαιρεῖται. ὡς μὲν δὴ ὕλη ἡ ὀξεῖα καὶ τὸ στοιχεῖον καὶ ἡ μονὰς πρότερον, ὡς δὲ κατὰ τὸ εἶδος καὶ τὴν οὐσίαν τὴν κατὰ τὸν λόγον ἡ ὀρθὴ καὶ τὸ ὅλον τὸ ἐκ τῆς ὕλης καὶ τοῦ εἴδους· ἐγγύτερον γὰρ τοῦ εἴδους καὶ οὗ ὁ λόγος τὸ ἄμφω, γενέσει δʼ ὕστερον. πῶς οὖν ἀρχὴ τὸ ἕν; ὅτι οὐ διαιρετόν, φασίν· ἀλλʼ ἀδιαίρετον καὶ τὸ καθόλου καὶ τὸ ἐπὶ μέρους καὶ τὸ στοιχεῖον. ἀλλὰ τρόπον ἄλλον, τὸ μὲν κατὰ λόγον τὸ δὲ κατὰ χρόνον. ποτέρως οὖν τὸ ἓν ἀρχή; ὥσπερ γὰρ εἴρηται, καὶ ἡ ὀρθὴ τῆς ὀξείας καὶ αὕτη ἐκείνης δοκεῖ προτέρα εἶναι, καὶ ἑκατέρα μία. ἀμφοτέρως δὴ ποιοῦσι τὸ ἓν ἀρχήν. ἔστι δὲ ἀδύνατον· τὸ μὲν γὰρ ὡς εἶδος καὶ ἡ οὐσία τὸ δʼ ὡς μέρος καὶ ὡς ὕλη. ἔστι γάρ πως ἓν ἑκάτερον—τῇ μὲν ἀληθείᾳ δυνάμει (εἴ γε ὁ ἀριθμὸς ἕν τι καὶ μὴ ὡς σωρὸς ἀλλʼ ἕτερος ἐξ ἑτέρων μονάδων, ὥσπερ φασίν), ἐντελεχείᾳ δʼ οὔ, ἔστι μονὰς ἑκατέρα· αἴτιον δὲ τῆς συμβαινούσης ἁμαρτίας ὅτι ἅμα ἐκ τῶν μαθημάτων ἐθήρευον καὶ ἐκ τῶν λόγων τῶν καθόλου, ὥστʼ ἐξ ἐκείνων μὲν ὡς στιγμὴν τὸ ἓν καὶ τὴν ἀρχὴν ἔθηκαν (ἡ γὰρ μονὰς στιγμὴ ἄθετός ἐστιν· καθάπερ οὖν καὶ ἕτεροί τινες ἐκ τοῦ ἐλαχίστου τὰ ὄντα συνετίθεσαν, καὶ οὗτοι, ὥστε γίγνεται ἡ μονὰς ὕλη τῶν ἀριθμῶν, καὶ ἅμα προτέρα τῆς δυάδος, πάλιν δʼ ὑστέρα ὡς ὅλου τινὸς καὶ ἑνὸς καὶ εἴδους τῆς δυάδος οὔσης)· διὰ δὲ τὸ καθόλου ζητεῖν τὸ κατηγορούμενον ἓν καὶ οὕτως ὡς μέρος ἔλεγον. ταῦτα δʼ ἅμα τῷ αὐτῷ ἀδύνατον ὑπάρχειν. εἰ δὲ τὸ ἓν αὐτὸ δεῖ †μόνον ἄθετον† εἶναι (οὐθενὶ γὰρ διαφέρει ἢ ὅτι ἀρχή), καὶ ἡ μὲν δυὰς διαιρετὴ ἡ δὲ μονὰς οὔ, ὁμοιοτέρα ἂν εἴη τῷ ἑνὶ αὐτῷ ἡ μονάς. εἰ δʼ ἡ μονάς, κἀκεῖνο τῇ μονάδι ἢ τῇ δυάδι· ὥστε προτέρα ἂν εἴη ἑκατέρα ἡ μονὰς τῆς δυάδος. οὔ φασι δέ· γεννῶσι γοῦν τὴν δυάδα πρῶτον. ἔτι εἰ ἔστιν ἡ δυὰς ἕν τι αὐτὴ καὶ ἡ τριὰς αὐτή, ἄμφω δυάς. ἐκ τίνος οὖν αὕτη ἡ δυάς;