Aristotle: Analytica Priora (Prior Analytics)

ἀνάγκη μὴ ὑπάρχειν ἤτοι ταὐτά ἐστιν ἢ ἀκολουθεῖ ἀλλήλοις, ὥστε καὶ τὰ ἀντικείμενα τούτοις, τὸ ἐνδέχεται ὑπάρχειν καὶ οὐκ ἀδύνατον ὑπάρχειν καὶ οὐκ ἀνάγκη μὴ ὑπάρχειν, ἤτοι ταὐτὰ ἔσται ἢ ἀκολουθοῦντα ἀλλήλοις· κατὰ παντὸς γὰρ ἡ κατάφασις ἢ ἡ ἀπόφασίς ἐστιν. Ἔσται ἄρα τὸ ἐνδεχόμενον οὐκ ἀναγκαῖον καὶ τὸ μὴ ἀναγκαῖον ἐνδεχόμενον. Συμβαίνει δὲ πάσας τὰς κατὰ τὸ ἐνδέχεσθαι προτάσεις ἀντιστρέφειν ἀλλήλαις. Λέγω δὲ οὐ τὰς καταφατικὰς ταῖς ἀποφατικαῖς, ἀλλ᾿ ὅσαι καταφατικὸν ἔχουσι τὸ σχῆμα κατὰ τὴν ἀντίθεσιν, οἷον τὸ ἐνδέχεσθαι ὑπάρχειν τῷ ἐνδέχεσθαι μὴ ὑπάρχειν, καὶ τὸ παντὶ ἐνδέχεσθαι τῷ ἐνδέχεσθαι μηδενὶ καὶ μὴ παντί, καὶ τὸ τινὶ τῷ μὴ τινί. Τὸν αὐτὸν δὲ τρόπον καὶ ἐπὶ τῶν ἄλλων. Ἐπεὶ γὰρ τὸ ἐνδεχόμενον οὐκ ἔστιν ἀναγκαῖον, τὸ δὲ μὴ ἀναγκαῖον ἐγχωρεῖ μὴ ὑπάρχειν, φανερὸν ὅτι, εἰ ἐνδέχεται τὸ Α τῷ Β ὑπάρχειν, ἐνδέχεται καὶ μὴ ὑπάρχειν· καὶ εἰ παντὶ ἐνδέχεται ὑπάρχειν, καὶ παντὶ ἐνδέχεται μὴ ὑπάρχειν. Ὁμοίως δὲ κἀπὶ τῶν ἐν μέρει καταφάσεων· ἡ γὰρ αὐτὴ ἀπόδειξις. Εἰσὶ δ᾿ αἱ τοιαῦται προτάσεις κατηγορικαὶ καὶ οὐ στερητικαί· τὸ γὰρ ἐνδέχεσθαι τῷ εἶναι ὁμοίως τάττεται, καθάπερ ἐλέχθη πρότερον.

Διωρισμένων δὲ τούτων πάλιν λέγομεν ὅτι τὸ ἐνδέχεσθαι κατὰ δύο λέγεται τρόπους, ἕνα μὲν τὸ ὡς ἐπὶ τὸ πολὺ γίνεσθαι καὶ διαλείπειν τὸ ἀναγκαῖον, οἷον τὸ πολιοῦσθαι ἄνθρωπον ἢ τὸ αὐξάνεσθαι ἢ φθίνειν, ἢ ὅλως τὸ πεφυκὸς ὑπάρχειν (τοῦτο γὰρ οὐ συνεχὲς μὲν ἔχει τὸ ἀναγκαῖον διὰ τὸ μὴ ἀεὶ εἶναι ἄνθρωπον, ὄντος μέντοι ἀνθρώπου ἢ ἐξ ἀνάγκης ἢ ὡς ἐπὶ τὸ πολύ ἐστιν), ἄλλον δὲ τὸ ἀόριστον, ὃ καὶ οὕτως καὶ μὴ οὕτως δυνατόν, οἷον τὸ βαδίζειν ζῷον ἢ τὸ βαδίζοντος γενέσθαι σεισμόν, ἢ ὅλως τὸ ἀπὸ τύχης γινόμενον· οὐδὲν γὰρ μᾶλλον οὕτως πέφυκεν ἢ ἐναντίως. Ἀντιστρέφει μὲν οὖν καὶ κατὰ τὰς ἀντικειμένας προτάσεις ἑκάτερον τῶν ἐνδεχομένων,