Page 25a1

ἐπεὶ δὲ πᾶσα πρότασίς ἐστιν ἢ τοῦ ὑπάρχειν ἢ τοῦ ἐξ ἀνάγκης ὑπάρχειν ἢ τοὐ ἐνδέχεσθαι ὑπάρχειν. Γῷ πᾶσα πρότασις δεῖ τὸ ‘κατηγορική’ προσυπακούειν· περὶ γὰρ τῶν τοιούτων προτάσεων τε καὶ συλλογισμῶν τὸν λόγον νῦν ποιεῖται, ὧν καὶ τὸν λόγον ἀπέδωκεν. ἐπεὶ τοίνυν πᾶσα πρότασις κατηγορικὴ ὅρον ὅρου κατηγορούμενον ἔχει ἢ καταφατικῶς ἢ ἀποφατικῶς, τοῦτ’ ἔστιν ὡς ὑπάρχοντα τῷ ὑποκειμένῳ ἢ μὴ ὑπάρχοντα, τῶν δὲ ὑπαρχόντων τισὶ τὰ μὲν ἀεὶ ὑπάρχει, τὰ δὲ ποτὲ μὲν ὑπάρχει, ποτὲ δὲ οὐχ ὑπάρχει, εἰ μὲν ἀεὶ ὑπάρχοι τὸ ὑπάρχειν λεγόμενον καὶ οὕτως λαμβάνοιτο ὑπάρχειν, ἀναγκαία γίνεται ἡ τοιαύτη πρότασις καταφατικὴ ἀληθής, ἀναγκαία δὲ ἀποφατικὴ ἀληθὴς ἡ τὸ μηδέποτε πεφυκὸς ὑπάρχειν τινὶ οὕτως μὴ ὑπάρχειν αὐτῷ λαμβάνουσα. εἰ δὲ μὴ ἀεὶ ὑπάρχοι τὸ κατηγορούμενον τῷ ὑποκειμένῳ, εἰ μὲν κατὰ τὸ ἐνεστὼς ὑπάρχοι, ἡ τοῦτο μηνύουσα πρότασις ὑπάρχουσα γίνεται καταφατικὴ ἀληθής. ὁμοίως καὶ ὑπάρχουσα ἀποφατικὴ ἀληθὴς ἡ τὸ νῦν μὴ ὑπάρχον μὴ ὑπάρχειν λέγουσα. εἰ δὲ μὴ ὑπάρχοι ἐπὶ τοῦ παρόντος τὸ κατηγορούμενον τῷ ὑποκειμένῳ δυνάμενον αὐτῷ ὑπάρχειν καὶ οὕτως, ὡς δυνάμενον, λαμβάνοιτο, ἐνδεχομένη καταφατικὴ ἀληθὴς ἡ πρότασις. ἡ δὲ ἐνδέχεσθαι μὴ ὑπάρχειν ἢ τὸ ὑπάρχον ἢ τὸ μὴ ὑπάρχον μὲν οἷόν τε δὲ καὶ ὑπάρχειν καὶ μὴ ὑπάρχειν λέγουσα ἐνδεχομένη ἀποφατικὴ ἀληθής. ψευδεῖς δέ γε αἱ τὰ μὴ τοῦτον ἔχοντα τὸν τρόπον ὡς οὕτως ἔχοντα μηνύουσαι· δηλωτικαὶ γὰρ οὖσαι τῆς ὑπάρξεως τῶν ὑπ’ αὐτῶν δηλουμένων αἱ προτάσεις, ὡς ἂν ἐκεῖνα ἔχῃ ὑπάρξεως, οὕτως ἔχουσι καὶ αὐταὶ συνεξομοιούμεναι τῷ τῶν δηλουμένων ὑπ’ αὐτῶν τρόπῳ. ἔτι ἐπεὶ πᾶν τὸ ὑπάρχον τινὶ ἢ ἀχώριστον αὐτοῦ ἐστι καὶ καθ’ αὑτὸ ὑπάρχον ἢ χωριστόν, εἰ μὲν ἀχώριστον ἦν, ἡ τοῦτο δηλοῦσα πρότασις ἀναγκαία, εἰ δὲ χωριστόν, ἐνδεχομένη, ἧς ἡ μὲν τὸ παρὸν ἤδη δηλοῦσα ὑπάρχουσα, ἡ δὲ τὸ κεχωρισμένον ἢ τὸ μήπω παρὸν οἷόν τε δὲ ὑπάρξαι ἐνδεχομένη ἰδίως.