In Aristotelis Analyticorum Priorum Librum I Commentarium

[*](p. 24a 11)

Εἶτα διορίσαι, τί ἐστι πρότασις.

Ἐπεὶ ἀναγκαῖος μὲν εἰς τὸν περὶ ἀποδείξεως λόγον ὁ περὶ συλλογισμοῦ, ὡς φθάνομεν εἰρηκότες, ὁ δὲ συλλογισμὸς ἐκ προτάσεων σύγκειται, αἱ δὲ προτάσεις ἐξ ὅρων, εἰκότως περὶ τούτων λέγει πρὸ τοῦ περὶ συλλογισμοῦ λέγειν, ἐξ ὧν τῷ συλλογισμῷ τὸ εἶναι· οὐδὲ γὰρ περὶ ὀνομάτων οἷόν τε εἰδέναι τῷ μὴ εἰδότι περὶ συλλαβῶν καὶ στοιχείων. μεθ’ ἃ περὶ συλλογισμοῦ προτίθεται εἰπεῖν ἐνδεικνύμενος ἡμῖν, ὅτι διὰ τοῦτον καὶ τὸν περὶ ἐκείνων πεποίηται λόγον, ὥσπερ καὶ τὸν περὶ συλλογισμοῦ διὰ τὸν περὶ [*](2 συμπληρούντων a πρῶτα om. L ante πόλεως add. τῆς a 4 ἀποδείξεως a ἐπιστήμης ἀποδεικτικῆς a et Ar. 6 τε om. a 9 post ἐπιστήμην add. ἀποδεικτικήν a 10 δὲ a: om. KLM το ν(??) K: oblit. L 13 ante ἐπιστήμης add. περὶ Κ 14 δύναται KM: δύνανται L: δύναιτο a δὲ L ᾖ KM: εἶναι L: καὶ a γεγραμμένου add. τοῦ a 16 ἀμφοτέροις a 17 πᾶν KLM: περὶ a 19 ταύτης KLM 20 ἀπήντα L ἡ μὲν KLM: ἡμῖν a 27 λέξαι a 29 ὃ a 30 καὶ om. L 31 ποιεῖται aK post πεποίηται add. τὸν L συλλογισμῶν aK)

ἀποδείξεως. τίνες δέ εἰσι τέλειοι συλλογισμοὶ καὶ τίνες ἀτελεῖς, αὐτὸς [*](4v) πρϊὼν ποιήσεται γνώριμον. καὶ τὸ ἐν ὅλῳ δὲ εἶναι καὶ τὸ ἐν μηδενί τοῦτο γάρ ἐστι σημαινόμενον ὑπὸ τοῦ ἢ μὴ εἶναι), ὅτι ταὐτά ἐστι τὸ μὲν τῷ κατὰ παντός, τὸ δὲ τῷ κατὰ μηδενός. τὸ δὲ κατὰ παντὸς καὶ κατὰ μηδενὸς σημαίνει τὴν καθόλου κατάφασιν καὶ τὴν καθόλου ἀπόφασιν, ὡς προιὼν γνώριμον ποιήσει. ἐπεὶ δὲ χρήσεται ἐν τῇ τῶν συλλογισμῶν ἀποδόσει καὶ τῶν συζυγιῶν ὅλως τῶν ἐν τοῖς σχήμασι τῷ ἐν ὅλῳ εἶναι ἄλλο τι ἄλλῳ τινὶ καὶ τῷ ἐν μηδενί, διὰ τοῦτο προλέγει περὶ αὐτῶν.