Σελίδα:Procli Didadochi in primum Euclidis Elementorum librum (ed. Friedlein).pdf/51

Αυτή η σελίδα δεν έχει ελεγχθεί ακόμη για πιθανά λάθη.

κήν. ἀφ’ ὧν δὴ χορηγουμένη καὶ τελειουμένη ἡ μαθηματικὴ τὰ μὲν δι’ ἀναλύσεως εὑρίσκει, τὰ δὲ διὰ συνθέσεως, καὶ τὰ μὲν διαιρετικῶς ὑφηγεῖται, τὰ δὲ ὁριστικῶς, | τὰ δὲ δι’ ἀποδείξεως καταδεῖται τῶν ζητουμένων, συναρμόζουσα μὲν τοῖς ὑποκειμένοις ἑαυτῇ τὰς μεθόδους ταύτας, χρωμένη δὲ ἑκάστῃ πρὸς τὴν θεωρίαν τῶν μέσων λόγων, ὅθεν δὴ καὶ αἱ ἀναλύσεις ἐπ’ αὐτῆς καὶ οἱ ὁρισμοὶ καὶ αἱ διαιρέσεις καὶ αἱ ἀποδείξεις οἰκεῖαί τέ εἰσι καὶ κατὰ τὸν τρόπον τῆς μαθηματικῆς γνώσεως ἀνελίσσονται. θριγχὸς οὖν εἰκότως ἐστὶν ἡ διαλεκτικὴ τῶν μαθημάτων, πᾶν τὸ νοερὸν αὐτῶν τελειοῦσα καὶ τὸ ἀκριβὲς ἀνελεγκτότερον ἀπεργαζομένη καὶ τὸ ἀκίνητον μόνιμον ὡσαύτως διαφυλάττουσα καὶ τὸ ἄϋλον καὶ καθαρὸν εἰς τὴν ἁπλότητα τὴν τοῦ νοῦ καὶ τὴν ἀϋλίαν ἀναφέρουσα καὶ τάς τε ἀρχὰς αὐτῶν τὰς πρώτας ἀφορίζουσα διὰ τῶν λόγων καὶ τὰς τῶν γενῶν καὶ εἰδῶν τῶν ὑπ’ αὐτὰ διακρίσεις ἐκφαίνουσα, τάς τε συνθέσεις τὰς ἐκ τῶν ἀρχῶν τὰ μετὰ τὰς ἀρχὰς προαγούσας καὶ τὰς ἀναλύσεις τάς τ’ ἐπὶ τὰ πρῶτα καὶ τὰς ἀρχὰς ἐπανιούσας ἀναδιδάσκουσα.

Καὶ μὴν καὶ τὸν σύνδεσμον τῶν μαθημάτων οὐ τὴν ἀναλογίαν, ὥσπερ Ἐρατοσθένης οἴεται, θετέον. ἡ γὰρ ἀναλογία τῶν κοινῶν τοῖς μαθήμασιν ἕν τι καὶ λέγεται εἶναι καὶ ἔστιν. πολλὰ δ’ αὖ καὶ ἄλλα διήκει διὰ πάντων ὡς εἰπεῖν τὰ καθ’ αὑτὰ ὑπάρχοντα τῇ