Galen: Institutio Logica (Introduction to Logic)

διεζευγμένα καλεῖν, τὰ δὲ τὴν ἐλλιπῆ παραπλήσια διεζευγμένοις· παραπλήσια δὲ λέγειν ἢ ὅμοια διαφερέτω μηδέν· 〈ἐν〉 ἐνίοις δ’ ἀξιώμασιν ἐγχωρεῖ μὲν εἶναι καὶ πλείω καὶ πάντα, μὴ μόνον ἕν, ἀναγκαῖον δ’ ἐστὶ τὸ ἓν ὑπάρχειν· ὀνομάζουσι δὲ ἔνιοι τὰ τοιαῦτα παραδιεζευγμένα, τῶν διεζευγμένων ἓν μόνον ἐχόντων ἀληθές, ἄν τ’ ἐκ δυοῖν ἀξιωμάτων ἁπλῶν ἄν τ’ ἐκ πλειόνων συγκέηται. ἓν μὲν γὰρ ἁπλοῦν ἀξίωμα τὸ ‘Δίων περιπατεῖ’, καθάπερ γε καὶ τὸ ‘κάθηται Δίων’, ἓν δὲ ἀξίωμα καὶ τὸ ‘κατάκειται Δίων’, ὥσπερ γε καὶ τὸ ‘τρέχει’ καὶ τὸ ‘ἕστηκεν’, ἀλλ’ ἐξ ἁπάντων αὐτῶν διεζευγμένον ἀξίωμα γίγνεται τοιόνδε ‘Δίων ἤτοι περιπατεῖ ἢ κάθηται ἢ κατάκειται ἢ τρέχει ἢ ἕστηκεν’· ὅταν δὲ οὕτως τι συγκείμενον ᾖ, ἓν μὲν ἐν αὐτοῖς ὁτιοῦν ἑκάστῳ τῶν ἄλλων μάχεται μάχην ἐλλιπῆ, τὰ πάντα δὲ ἀλλήλοις ἅμα τελείαν, ἐπειδήπερ ἀναγκαῖόν ἐστιν ἓν μὲν ὑπάρχειν [τὸ] ἐν αὐτοῖς, οὐχ ὑπάρχειν δὲ τὰ ἄλλα. κατὰ μὲν οὖν τὴν τελείαν μάχην δύο συστήσονται συλλογισμοὶ προσλαμβανόντων ἡμῶν ἤτοι γε ὑπάρχειν ἢ μὴ ὑπάρχειν τὸ ἕτερον αὐτῶν, ἐπιφερόντων δὲ θάτερον οὐχ ὑπάρχειν 〈μὲν ὅταν ὑπάρχῃ τὸ ἕτερον, ὑπάρχειν〉 δὲ ὅταν οὐχ ὑπάρχῃ· κατὰ δὲ τὴν ἐλλιπῆ μία μὲν ἡ πρόσληψις, ἕν τι τῶν μαχομένων ὑπάρχειν, ἓν δὲ καὶ τὸ συμπέρασμα 〈μὴ〉 ὑπάρχειν τὸ