ammonius-philosophy.in-aristotelis-analytica-priora-sp 258v
ἀπόδειξιν ἐκάλεσεν . Ἐὰν μὴ δι’ ἄλλων καὶ ἄλλων . ἢ τῇ σχέσει , ὡς ἐν τῇ πρώτῃ συνηγορίᾳ , ἢ τῷ ὑποκειμένῳ , ὡς ἐν τῇ δευτέρᾳ . Οἷον τὸ Ε διά τε τῶν ΑΒ καὶ τῶν ΓΔ . τοῦτο παράδειγμα τῆς δευτέρας συνηγορίας τῆς τὸ αὐτό , τὸ Ε τυχόν , συναγούσης δι’ ἄλλων καὶ ἄλλων ὄρων τῷ ὑποκειμένῳ , οἷον τῶν ΑΒ καὶ ΓΔ · καὶ γὰρ τὰ ΑΒ τῶν ΓΔ τῷ ὑποκειμένῳ διαφέρει . Ἢ διὰ τῶν ΑΒ καὶ ΒΓ καὶ ΑΓ . τοῦτο παράδειγμα τῆς πρώτης συνηγορίας , ὅπου τὸ αὐτὸ συνάγεται , οἷον τὸ Ε , δι’ ἄλλων καὶ ἄλλων τῇ σχέσει μόνον · διὸ καὶ ἕνα κοινὸν ὅρον ἔχουσι καὶ ἕνα διάφορον τὰ ΑΒ καὶ ΒΓ καὶ ΑΓ · καὶ γὰρ τὸ δεύτερον πρῶτον γίνεται τῆς μείζονος ἀντιστραφείσης , τὸ δὲ τρίτον τῆς ἐλάττονος . ΑΒ οὖν τὸ πρῶτον σχῆμα , καὶ Α μὲν ἡ μείζων πρότασις , Β δὲ ἡ ἐλάττων · καὶ ἐν μὲν τῷ δευτέρῳ σχήματι τῷ ΒΓ ἡ ἐλάττων τοῦ ΑΒ ἔμεινε , τὸ Β · ἐν δὲ τῷ τρίτῳ σχήματι τῷ ΑΓ ἡ μείζων ἔμεινε τοῦ ΑΒ , τὸ Α . Τούτων δ’ ὄντων οὐχ εἷς ἀλλὰ πολλοί εἰσιν οἱ συλλογισμοί . ἡ λύσις τῶν δύο συνηγοριῶν , ὅτι οὐκ ἔμεινεν εἷς ὁ συλλογισμός , εἰ καὶ τὸ πρόβλημα . Ἢ πάλιν ὅταν ἑκάτερον . ἡ τρίτη συνηγορία ἡ καὶ πιθανωτέρα , διὸ καὶ ἰδικῆς λύσεως αὐτὴν ἀξιοῖ , ἡ ἑνὸς συλλογισμοῦ ἐμμέσους τὰς προτάσεις λαμβάνουσα . καὶ λύει τοῦτο λέγων τρεῖς εἶναι τοὺς συλλογισμούς , ἐπειδὴ καὶ τρία τὰ συμπεράσματα , αἱ δύο προτάσεις καὶ τὸ συπέρασμα · αἱ μὲν γὰρ τῶν προσυλλογισμῶν εἰσι συμπεράσματα , τὸ δὲ τοῦ συλλογισμοῦ . Ἡ τὸ μὲν ἐπαγωγῇ τὸ δὲ συλλογισμῷ . οἷον εἰ πρόβλημα εἴη ὅτι ἡ ἰατρικὴ χρήσιμος τῷ βίῳ καὶ εἴπωμεν · ἡ ἰατρικὴ τέχνη ἐστίν , πᾶσα τέχνη χρήσιμος τῷ βίῳ , καὶ ἡ ἰατρικὴ ἄρα · καὶ τὴν μὲν ἐλάττονα κατασευάσομεν διὰ συλλογισμοῦ · ἡ ἰατρικὴ μέθοδος ὁδοποιητική , πᾶσα μέθοδος ὁδοποιητικὴ τέχνη , καὶ ἡ ἰατρικὴ ἄρα τέχνη · τὴν δὲ μείζονα , ὅτι πᾶσα τέχνη χρήσιμος τῷ βίῳ , δι’ ἐπαγωγῆς · καὶ γὰρ γεωργία καὶ ὑφαντική . ἢ ὡς ὁ Πλάτων ἐν τῇ Πολιτείᾳ · τοῦ γὰρ Θρασυμάχου εἰπόντος τὴν δικαιοσύνην κακοβουλίαν αὐτὸς κατασκευάζει
Lemmas: ἀπόδειξις καλέω . ἐάν μή διά ἄλλος καί ἄλλος . ἢ ὁ σχέσις , ὡς ἐν ὁ πρῶτος συνηγορία , ἢ ὁ ὑπόκειμαι , ὡς ἐν ὁ δύο . Οἷος ὁ Ε διά τε ὁ ΑΒ καί ὁ ΓΔ . οὗτος παράδειγμα ὁ δύο συνηγορία ὁ ὁ αὐτός , ὁ Ε τυγχάνω , συνάγω διά ἄλλος καί ἄλλος σύργαστρος ὁ ὑπόκειμαι , οἷος ὁ ΑΒ καί ΓΔ · καί γάρ ὁ ΑΒ ὁ ΓΔ ὁ ὑπόκειμαι διαφέρω . ἤ διά ὁ ΑΒ καί ΒΓ καί ΑΓ . οὗτος παράδειγμα ὁ πρῶτος συνηγορία , ὅπου ὁ αὐτός συνάγω , οἷος ὁ Ε , διά ἄλλος καί ἄλλος ὁ σχέσις μόνος · διό καί εἷς κοινός ὅρος ἔχω καί εἷς διάφορος ὁ ΑΒ καί ΒΓ καί ΑΓ · καί γάρ ὁ δύο πρῶτος γίγνομαι ὁ μείζων ἀντιστρέφω , ὁ δέ τρίτος ὁ μικρός . ΑΒ οὖν ὁ πρῶτος σχῆμα , καί Α μέν ὁ μείζων πρότασις , Β δέ ὁ μικρός · καί ἐν μέν ὁ δύο σχῆμα ὁ ΒΓ ὁ μικρός ὁ ΑΒ μένω , ὁ Β · ἐν δέ ὁ τρίτος σχῆμα ὁ ΑΓ ὁ μείζων μένω ὁ ΑΒ , ὁ Α . οὗτος δέ εἰμί οὐ εἷς ἀλλά πολύς εἰμί ὁ συλλογισμός . ὁ λύσις ὁ δύο συνηγορία , ὅτι οὐ μένω εἷς ὁ συλλογισμός , εἰμί καί ὁ πρόβλημα . ἤ πάλιν ὅταν ἑκάτερος . ὁ τρίτος συνηγορία ὁ καί πιθανός , διό καί ἰδικός λύσις αὐτός ἀξιόω , ὁ εἷς συλλογισμός έμμεσος ὁ πρότασις λαμβάνω . καί λύω οὗτος λέγω τρεῖς εἰμί ὁ συλλογισμός , ἐπεί καί τρεῖς ὁ συμπέρασμα , ὁ δύο πρότασις καί ὁ συπέρασμα · ὁ μέν γάρ ὁ προσυλλογισμός εἰμί συμπέρασμα , ὁ δέ ὁ συλλογισμός . ὁ ὁ μέν ἐπαγωγή ὁ δέ συλλογισμός . οἷος εἰμί πρόβλημα εἰμί ὅτι ὁ ἰατρικός χρήσιμος ὁ βίος καί εἶπον · ὁ ἰατρικός τέχνη εἰμί , πᾶς τέχνη χρήσιμος ὁ βίος , καί ὁ ἰατρικός ἄρα · καί ὁ μέν μικρός κατασεύομαι διά συλλογισμός · ὁ ἰατρικός μέθοδος οδοποιητικός , πᾶς μέθοδος οδοποιητικός τέχνη , καί ὁ ἰατρικός ἄρα τέχνη · ὁ δέ μείζων , ὅτι πᾶς τέχνη χρήσιμος ὁ βίος , διά ἐπαγωγή · καί γάρ γεωργία καί ὑφαντικός . ἢ ὡς ὁ Πλάτων ἐν ὁ πολιτεία · ὁ γάρ Θρασύμαχος εἶπον ὁ δικαιοσύνη κακοβουλία αὐτός κατασκευάζω