Book 13

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