Aristotle: Analytica Priora (Prior Analytics)

ΑΝΑΛΥΤΙΚΩΝ ΠΡΟΤΕΡΩΝ Α.

ΠΡΩΤΟΝ εἰπεῖν περὶ τί καὶ τίνος ἐστὶν ἡ σκέψις, ὅτι περὶ ἀπόδειξιν καὶ ἐπιστήμης ἀποδεικτικῆς· εἶτα διορίσαι τί ἐστι πρότασις καὶ τί ὅρος καὶ τί συλλογισμός, καὶ ποῖος τέλειος καὶ ποῖος ἀτελής, μετὰ δὲ ταῦτα τί τὸ ἐν ὅλῳ εἶναι ἢ μὴ εἶναι τόδε τῷδε, καὶ τί λέγομεν τὸ κατὰ παντὸς ἢ μηδενὸς κατηγορεῖσθαι.

Πρότασις μὲν οὖν ἐστὶ λόγος καταφατικὸς ἢ ἀποφατικὸς τινὸς κατά τινος. Οὗτος δὲ ἢ καθόλου ἢ ἐν μέρει ἢ ἀδιόριστος. Λέγω δὲ καθόλου μὲν τὸ παντὶ ἢ μηδενὶ ὑπάρχειν, ἐν μέρει δὲ τὸ τινὶ ἢ μὴ τινὶ ἢ μὴ παντὶ ὑπάρχειν, ἀδιόριστον δὲ τὸ ὑπάρχειν ἢ μὴ ὑπάρχειν ἄνευ τοῦ καθόλου, ἢ κατὰ μέρος, οἷον τὸ τῶν ἐναντίων εἶναι τὴν αὐτὴν ἐπιστήμην ἢ τὸ τὴν ἡδονὴν μὴ εἶναι ἀγαθόν. Διαφέρει δὲ ἡ ἀποδεικτικὴ πρότασις τῆς διαλεκτικῆς, ὅτι ἡ μὲν ἀποδεικτικὴ λῆψις θατέρου μορίου τῆς ἀντιφάσεώς ἐστιν (οὐ γὰρ ἐρωτᾷ ἀλλὰ λαμβάνει ὁ ἁποδεικνύων), ἡ δὲ διαλεκτικὴ ἐρώτησις ἀντιφάσεώς ἐστιν. Οὐδὲν δὲ διοίσει πρὸς τὸ γενέσθαι τὸν ἑκατέρου συλλογισμόν· καὶ γὰρ ὁ ἀποδεικνύων καὶ ὁ ἐρωτῶν συλλογίζεται λαβών τι κατά τινος ὑπάρχειν ἢ μὴ ὑπάρχειν. Ὥστε ἔσται συλλογιστικὴ μὲν πρότασις ἁπλῶς κατάφασις ἢ ἀπόφασίς τινος κατά τινος τὸν εἰρημένον τρόπον, ἀποδεικτικὴ δέ, ἐὰν ἀληθὴς ᾖ καὶ διὰ τῶν ἐξ ἀρχῆς ὑποθέσεων εἰλημμένη, διαλεκτικὴ δὲ πυνθανομένῳ μὲν ἐρώτησις ἀντιφάσεως, συλλογιζομένῳ δὲ λῆψις τοῦ φαινομένου καὶ ἐνδόξου, καθάπερ ἐν τοῖς Τοπικοῖς εἴρηται. Τί μὲν οὖν ἐστὶ πρότασις, καὶ τί διαφέρει συλλογιστικὴ καὶ ἀποδεικτικὴ καὶ