Galen: Institutio Logica (Introduction to Logic)

ταύτας ποιησώμεθα καθάπερ εἰ τύχοι Ἀθηναίων, ὀνομαζέσθω τοῦτο ἡμῖν νόησις, ὅταν δὲ ἡσυχάζουσαι τύχωσιν, ἔννοιαι· τοιαῦται δ’ εἰσὶ καὶ ἄλλαι οὐκ ἐκ μνήμης τῶν αἰσθήσεων, ἀλλ’ ἔμφυτοι πᾶσιν ὑπάρχουσαι, καλοῦσι δὲ αὐτὰς οἱ παλαιοὶ τῶν φιλοσόφων, ὅταν ἑρμηνεύωνται διὰ φωνῆς, ἀξίωμα· πολλάκις μέντοι καὶ τὴν ἔννοιαν νόησιν ὀνομάζουσιν οἱ Ἕλληνες. μάλιστα μὲν οὖν ἐπειδὰν ὑπάρχον τι πιστεύηται δι’ ἕτερον ὑπάρχειν ἢ κατὰ συνέχειαν, ὑποθετικὴ πρὸς τῶν παλαιῶν φιλοσόφων ὀνομάζεται 〈ἡ〉 πρότασις, ἤδη δὲ καὶ ἐπειδὰν [μέντοι] διότι μὴ ἔστι τόδε, εἶναι τόδε νοῶμεν, οἷον 〈ὅτι〉 νὺξ οὐκ ἔστιν, ἡμέραν εἶναι· μάλιστα μὲν οὖν ὀνομάζουσι τὴν τοιαύτην πρότασιν διαιρετικήν, οὐ μὴν ἀλλὰ καὶ διεζευγμένον ἀξίωμά τισι τῶν νεωτέρων φιλοσόφων ὀνομάζεται, καθάπερ γε καὶ συνημμένον τὸ ἕτερον εἶδος τῶν προτάσεων τῶν ὑποθετικῶν ἃς κατὰ συνέχειαν ἐλέγομεν γίγνεσθαι· οἰκειοτέρα δέ ἐστι λέξις τὸ [τὰ] διεζευγμένον τοῖς ἀξιώμασιν, ἃς δηλονότι διαιρετικὰς προτάσεις ἔφαμεν ὀνομάζεσθαι, διὰ τοῦ ἤτοι συνδέσμου — διαφέρει δὲ οὐδὲν ‘ἤ’ διὰ μιᾶς συλλαβῆς λέγειν ἢ διὰ δυοῖν — (ἢ) τοῖς συνημμένοις διὰ τοῦ εἰ 〈ἢ ἐπεί,〉 εἴπερ ἓν καὶ οὗτοι σημαίνουσιν.