ciscoriordan/open-greek-corpus-annotations huggingface dataset:
galenus.institutio-logica 8
Τριῶν οὖν ὄντων σχημάτων ἐν ταῖς κατηγορικαῖς προτάσεσι καθ’ ἕκαστον αὐτῶν γίγνονται συλλογισμοὶ πλέονες ὥσπερ κἀν ταῖς ὑποθετικαῖς , ἔνιοι μὲν ἀναπόδεικτοι καὶ πρῶτοι , τινὲς δ’ ἀποδείξεως δεόμενοι . κατὰ μέντοι τὰς ὑποθετικὰς προτάσεις οἱ μὲν ἄλλοι πάντες οἱ ῥηθέντες ἀρτίως ἀναπόδεικτοί εἰσι καὶ πρῶτοι πλὴν τοῦ προσλαμβάνοντος μὲν τὸ τοῦ λήγοντος ἀντικείμενον , ἐπιφέροντος δὲ τοῦ ἡγουμένου τὸ ἀντικείμενον · οὗτος γὰρ μόνος ἀποδείξεως δεῖται . ἐπὶ δὲ τῶν κατηγορικῶν ἐν μὲν τῷ { α } σχήματι { δ } εἰσιν ἀναπόδεικτοι , ὅ τε ἐκ δυοῖν καθόλου καταφατικῶν 〈 καθόλου 〉 καταφατικὸν ἐπιφέρων συμπέρασμα — δῆλον δὲ ὅτι καὶ τὸ συμπέρασμα πρότασίς τίς ἐστιν ἐκ τῆς πρὸς τὰ λήμματα σχέσεως οὕτως ὠνομασμένη — καὶ δεύτερος ὁ ἐκ καθόλου στερητικῆς πρὸς τῷ μείζονι τῶν ὅρων καὶ καθόλου καταφατικῆς πρὸς τῷ ἐλάττονι καθόλου στερητικὸν ἐπιφέρων συμπέρασμα καὶ τρίτος ὁ ἐκ καθόλου καταφατικῆς πρὸς τῷ μείζονι καὶ ἐπὶ μέρους καταφατικῆς πρὸς τῷ ἐλάττονι ἐπὶ μέρους καταφατικὸν ἔχων συμπέρασμα καὶ λοιπὸς ὁ ἐκ καθόλου στερητικῆς 〈 καὶ ἐπὶ μέρους καταφατικῆς 〉 ἐν μέρει στερητικὸν ἐπιφέρων συμπέρασμα · τῶν δὲ ἄλλων οὐκέτ’ οὐδεὶς ἀναπόδεικτός ἐστιν οὐδ’ ἐξ ἑαυτοῦ πιστός . ( οἳ δὴ ἐν τοῖς ἄλλοις σχήμασιν ) ἐκ τῶν εἰρημένων ἔχουσι τὴν ἀπόδειξιν , ἐν μὲν τῷ δευτέρῳ σχήματι { δ } ὑπάρχουσιν , ἐν τῷ { γ } δ’ ἕξ .
Lemmas: τρεῖς οὖν εἰμί σχῆμα ἐν ὁ κατηγορικός πρότασις κατά ἕκαστος αὐτός γίγνομαι συλλογισμός πολύς ὥσπερ ἐν ὁ ὑποθετικός , ἔνιοι μέν ἀναπόδεικτος καί πρῶτος , τις δέ ἀπόδειξις δέω . κατά μέντοι ὁ ὑποθετικός πρότασις ὁ μέν ἄλλος πᾶς ὁ λέγω ἄρτιος ἀναπόδεικτος εἰμί καί πρῶτος πλήν ὁ προσλαμβάνω μέν ὁ ὁ λήγω ἀντίκειμαι , ἐπιφέρω δέ ὁ ἡγέομαι ὁ ἀντίκειμαι · οὗτος γάρ μόνος ἀπόδειξις δέω . ἐπί δέ ὁ κατηγορικός ἐν μέν ὁ { α } σχῆμα { δ } εἰμί ἀναπόδεικτος , ὁ τε ἐκ δύο καθόλου καταφατικός 〈 καθόλου 〉 καταφατικός ἐπιφέρω συμπέρασμα — δῆλος δέ ὅτι καί ὁ συμπέρασμα πρότασις τις εἰμί ἐκ ὁ πρός ὁ λῆμμα σχέσις οὕτως ὀνομάζω — καί δεύτερος ὁ ἐκ καθόλου στερητικός πρός ὁ μέγας ὁ ὅρος καί καθόλου καταφατικός πρός ὁ ἐλαχύς καθόλου στερητικός ἐπιφέρω συμπέρασμα καί τρίτος ὁ ἐκ καθόλου καταφατικός πρός ὁ μέγας καί ἐπί μέρος καταφατικός πρός ὁ ἐλαχύς ἐπί μέρος καταφατικός ἔχω συμπέρασμα καί λοιπός ὁ ἐκ καθόλου στερητικός 〈 καί ἐπί μέρος καταφατικός 〉 ἐν μέρος στερητικός ἐπιφέρω συμπέρασμα · ὁ δέ ἄλλος οὐκέτι οὐδείς ἀναπόδεικτος εἰμί οὐδέ ἐκ ἑαυτοῦ πιστός . ( ὁ δή ἐν ὁ ἄλλος σχῆμα ) ἐκ ὁ λέγω ἔχω ὁ ἀπόδειξις , ἐν μέν ὁ δεύτερος σχῆμα { δ } ὑπάρχω , ἐν ὁ { γ } δέ ἕξ .