iamblichus-philosophy.de-communi-mathematica-scientia 5
Τά γε μὴν ὑποκείμενα τῇ μαθηματικῇ θεωρίᾳ , τὰ κοινῇ ἐπὶ πᾶσαν διατείνοντα τὴν ἐπιστήμην ταύτην , ἐκεῖνά ἐστιν ὅσα κοινά ἐστι θεωρήματα , δυνάμενα μὲν ἐπὶ ἀριθμῶν , δυνάμενα δὲ καὶ ἐπὶ μεγεθῶν ἐφαρμόζειν , ἔτι δὲ καὶ ἁρμονιῶν καὶ ἀστρονομίας καὶ πάντων τῶν ἄλλων . ἔστι δὲ τοιαῦτα 〈 τὰ 〉 τῶν ἀναλογιῶν καὶ τὰ περὶ τὰς κοινῶς συνθέσεις καὶ διαιρέσεις , καὶ ὅσα περὶ τὸ ἴσον καὶ ἄνισον θεωρεῖται τὸ ὁπωσοῦν ἔχον ἢ τὸ ὁποιονοῦν , καὶ ὅσα τὸ πολλαπλάσιον ἢ τὸ μεριστὸν ἐπισκοπεῖται , ἢ τὸ ὑπερέχον καὶ ἐλλεῖπον , ἢ τὸ διωρισμένον καὶ ἀδιόριστον κατὰ κοινὴν ἐπιβολήν , ἢ τὸ καθ’ αὑτὸ καὶ τὸ πρός τι , ἢ τὸ ποσὸν ἁπλῶς , μηδὲν προσλαμβάνον τὸ τοιόνδε εἶδος τοῦ ποσοῦ ποσὸν τὴν τάξιν καὶ τὸ καλὸν τὸ ἐν τοῖς μαθηματικοῖς εἴδεσιν ᾗ ἐστιν ἐπιστημονικὰ θεωρεῖ , μηδὲν προσδιορίζον τὸ τοιόνδε κάλλος ( ἤδη γὰρ τὸ τοιοῦτον τῶν ἐν μέρει ἐπιστημῶν ἐφάπτεται ) · καὶ ὅσον δὲ αὖ τὸ ἀραρὸς καὶ βέβαιον τῆς ἐπιστήμης τῆς μαθηματικῆς σκοπεῖ , μήτε μεταβαλλόμενον ἄλλοτε ἄλλως , μήτε ἐξι ‐ στάμενον τῆς οἰκείας οὐσίας , μήτε νῦν μὲν οὕτως αὖθις δὲ ἑτέρως νοούμενον , | καὶ τοῦτο τὰ κοινὰ ὑποκείμενα τῇ μαθηματικῇ ἐπιστήμῃ τῷ λογισμῷ περιλαμβάνει . οὐ μέντοι δεῖ ταῦτα ὑπολαβεῖν ὡς ἐπιγιγνόμενα τὰ κοινά , ἀλλ’ ὡς προϋπάρχοντα τῶν καθ’ ἕκαστα · οὐδ’ ὡς ἐν τοῖς κατὰ μέρος καὶ μετ’ αὐτῶν ἔχοντα τὴν οὐσίαν , ἀλλ’ ὡς πρεσβυτέραν αὐτῶν καὶ ἀρχικωτέραν προειληφότα , οὐ μὴν διήκουσαν δι’ αὐτῶν , ἀλλὰ προτεταγμένην πρὸ τῶν ἰδίων ἑκάστης ἐπιστήμης μαθημάτων . διόπερ δὴ καὶ ἡ γνῶσις αὐτῶν κοινή ἐστι καὶ προηγουμένη , τελειοτέρα τε τῶν καθ’ ἕκαστα , σύνοψίν τε κοινὴν ποιουμένη πάντων , ἀφ’ ἑνός τε καὶ εἰς ἓν τὰ θεωρήματα πάντα τὰ μαθηματικὰ συντάττουσα , τήν τε συγγένειαν καὶ τὴν ὁμοιότητα αὐτῶν πρὸς ἄλληλα ἐπιβλέπουσα , καὶ τὸ ἀνόμοιον ἐν αὐτοῖς καὶ ἕτερον παραθεωροῦσα , γένη τε ὅσα αὐτῶν ἐστι πρῶτα καὶ εἴδη συνάγουσα εἰς ταὐτὸ καὶ διακρίνουσα , κοινά τε ὁμολογήματα καὶ ὑποθέσεις πρώτας καὶ ὁρισμοὺς καὶ θέσεις καὶ διαιρέσεις καὶ συναγωγὰς συνθέσεις τε καὶ μερισμοὺς καὶ ὑπερβολὰς καὶ ἐλλείψεις καὶ παραβολὰς καθ’ ὁποιαοῦν γένη τῶν μαθηματικῶς ὄντων θεωροῦσα , ὡς ἁπλῶς εἰπεῖν , καὶ οὐ διωρισμένως καθ’ ἕκαστον , τό τε δυνατὸν τὸ ἐν τούτοις καὶ τὸ ἀδύνατον , καὶ τὸ ἀναγκαῖον καὶ τὸ οὐκ ἀναγκαῖον , τό τε ἀληθὲς καὶ ψεῦδος διακρίνουσα , τάς τε ἐν αὐτοῖς διαφοράς , ὅσαι τέ εἰσι καὶ ὁποῖαι , διερευνωμένη δι’ ἀκριβείας . Τοσαῦτα ἡμῖν καὶ περὶ τῶν κοινῶς ὑποκειμένων τῇ μαθηματικῇ ἐπιστήμῃ καὶ περὶ τοῦ κοινοῦ τρόπου τῆς κατ’ αὐτὴν θεωρίας διωρίσθω ἐν τῷ παρόντι .
Lemmas: ὁ γε μήv ὑπόκειμαι ὁ μαθηματικός θεωρία , ὁ κοινός ἐπί πᾶς διατείνω ὁ ἐπιστήμη οὗτος , ἐκεῖνος εἰμί ὅσος κοινός εἰμί θεώρημα , δύναμαι μέν ἐπί ἀριθμός , δύναμαι δέ καί ἐπί μέγεθος ἐφαρμόζω , ἔτι δέ καί ἁρμονία καί ἀστρονομία καί πᾶς ὁ ἄλλος . εἰμί δέ τοιοῦτος 〈 ὁ 〉 ὁ ἀναλογία καί ὁ περί ὁ κοινῶς σύνθεσις καί διαίρεσις , καί ὅσος περί ὁ ἴσος καί ἄνισος θεωρέω ὁ ὁπωσοῦν ἔχω ἢ ὁ ὁποῖος , καί ὅσος ὁ πολλαπλάσιον ἢ ὁ μεριστός ἐπισκοπέω , ἢ ὁ ὑπερέχω καί ἐλλείπω , ἢ ὁ διορίζω καί ἀδιόριστος κατά κοινός ἐπιβολή , ἢ ὁ κατά ἑαυτοῦ καί ὁ πρός τίς , ἢ ὁ ποσός ἁπλόος , μηδείς προσλαμβάνω ὁ τοιόσδε εἶδος ὁ ποσός ποσός ὁ τάξις καί ὁ καλός ὁ ἐν ὁ μαθηματικός εἶδος ὅς εἰμί ἐπιστημονικός θεωρέω , μηδείς προσδιορίζω ὁ τοιόσδε κάλλος ( ἤδη γάρ ὁ τοιοῦτος ὁ ἐν μέρος ἐπιστήμη ἐφάπτω ) · καί ὅσος δέ αὖος ὁ ἀραρίσκω καί βέβαιος ὁ ἐπιστήμη ὁ μαθηματικός σκοπέω , μήτε μεταβάλλω ἄλλοτε ἄλλως , μήτε ἕξις ‐ ἵστημι ὁ οἰκεῖος οὐσία , μήτε νῦν μέν οὕτως αὖθις δέ ἑτέρως νοέω , | καί οὗτος ὁ κοινός ὑπόκειμαι ὁ μαθηματικός ἐπιστήμη ὁ λογισμός περιλαμβάνω . οὖον μέντοι δεῖ οὗτος ὑπολαμβάνω ὡς ἐπιγίγνομαι ὁ κοινός , ἀλλά ὡς προυπάρχω ὁ κατά ἕκαστος · οὐδέ ὡς ἐν ὁ κατά μέρος καί μετά αὐτός ἔχω ὁ οὐσία , ἀλλά ὡς πρέσβυς αὐτός καί ἀρχικός προλαμβάνω , οὖον μήv διακούω διά αὐτός , ἀλλά προτάσσω πρό ὁ ἴδιος ἕκαστος ἐπιστήμη μάθημα . διόπερ δή καί ὁ γνῶσις αὐτός κοινός εἰμί καί προηγούμενος , τέλειος τε ὁ κατά ἕκαστος , σύνοψις τε κοινός ποιέω πᾶς , ἀπό εἷς τε καί εἰς εἷς ὁ θεώρημα πᾶς ὁ μαθηματικός συντάσσω , ὁ τε συγγένεια καί ὁ ὁμοιότης αὐτός πρός ἀλλήλων ἐπιβλέπω , καί ὁ ἀνόμοιος ἐν αὐτός καί ἕτερος παραθεωρέω , γένος τε ὅσος αὐτός εἰμί πρῶτος καί εἶδος συνάγω εἰς αὐτός καί διακρίνω , κοινός τε ὁμολόγημα καί ὑπόθεσις πρῶτος καί ὁρισμός καί θέσις καί διαίρεσις καί συναγωγή σύνθεσις τε καί μερισμός καί ὑπερβολή καί ἔλλειψις καί παραβολή κατά ὁποιοσοῦν γένος ὁ μαθηματικός εἰμί θεωρέω , ὡς ἁπλόος εἶπον , καί οὖον διωρισμένως κατά ἕκαστος , ὁ τε δυνατός ὁ ἐν οὗτος καί ὁ ἀδύνατος , καί ὁ ἀναγκαῖος καί ὁ οὐ ἀναγκαῖος , ὁ τε ἀληθής καί ψεῦδος διακρίνω , ὁ τε ἐν αὐτός διαφορά , ὅσος τε εἰμί καί ὁποῖος , διερευνάω διά ἀκρίβεια . τοσοῦτος ἐγώ καί περί ὁ κοινῶς ὑπόκειμαι ὁ μαθηματικός ἐπιστήμη καί περί ὁ κοινός τρόπος ὁ κατά αὐτός θεωρία διά-ὁρίζω ἐν ὁ πάρειμι .