Galen: Institutio Logica (Introduction to Logic)

οὗτος γὰρ μόνος ἀποδείξεως δεῖται. ἐπὶ δὲ τῶν κατηγορικῶν ἐν μὲν τῷ {α} σχήματι {δ} εἰσιν ἀναπόδεικτοι, ὅ τε ἐκ δυοῖν καθόλου καταφατικῶν 〈καθόλου〉 καταφατικὸν ἐπιφέρων συμπέρασμα — δῆλον δὲ ὅτι καὶ τὸ συμπέρασμα πρότασίς τίς ἐστιν ἐκ τῆς πρὸς τὰ λήμματα σχέσεως οὕτως ὠνομασμένη — καὶ δεύτερος ὁ ἐκ καθόλου στερητικῆς πρὸς τῷ μείζονι τῶν ὅρων καὶ καθόλου καταφατικῆς πρὸς τῷ ἐλάττονι καθόλου στερητικὸν ἐπιφέρων συμπέρασμα καὶ τρίτος ὁ ἐκ καθόλου καταφατικῆς πρὸς τῷ μείζονι καὶ ἐπὶ μέρους καταφατικῆς πρὸς τῷ ἐλάττονι ἐπὶ μέρους καταφατικὸν ἔχων συμπέρασμα καὶ λοιπὸς ὁ ἐκ καθόλου στερητικῆς 〈καὶ ἐπὶ μέρους καταφατικῆς〉 ἐν μέρει στερητικὸν ἐπιφέρων συμπέρασμα· τῶν δὲ ἄλλων οὐκέτ’ οὐδεὶς ἀναπόδεικτός ἐστιν οὐδ’ ἐξ ἑαυτοῦ πιστός. (οἳ δὴ ἐν τοῖς ἄλλοις σχήμασιν) ἐκ τῶν εἰρημένων ἔχουσι τὴν ἀπόδειξιν, ἐν μὲν τῷ δευτέρῳ σχήματι {δ} ὑπάρχουσιν, ἐν τῷ {γ} δ’ ἕξ.

Ἀλλ’ ὁ μὲν πρῶτος ἐν τῷ δευτέρῳ σχήματι τὴν μ(ὲν) πρὸς τῷ μείζονι τῶν ὅρ(ων) καθό(λου) στερητι(κὴν) ἔχων πρότασιν, τὴν δὲ ἑτέραν καθόλου καταφατικὴν δι’ ἀντιστροφῆς τῆς πρὸς τῷ μείζονι προτάσεως ἀνάλυ(σιν) εἰς τὸν ἐν τῷ πρώτῳ σχήματι δεύτερον ἔχει καθόλου στερητικὸν περαίνοντα. τούτῳ