Aristotle: Analytica Priora (Prior Analytics)

τε καὶ ἀναγκαῖον, καὶ τὸ συμπέρασμα ἔσται ἀναγκαῖον· εἰ γὰρ τὸ Α τῷ Γ μηδενὶ ἐνδέχεται, τὸ δὲ Β τινὶ τῷ Γ ὑπάρχει, τὸ Α τινὶ τῷ Β ἀνάγκη μὴ ὑπάρχειν. Ὅταν δὲ τὸ καταφατικὸν ἀναγκαῖον τεθῇ, ἢ καθόλου ὂν ἢ ἐν μέρει, ἢ τὸ στερητικὸν κατὰ μέρος, οὐκ ἔσται τὸ συμπέρασμα ἀναγκαῖον. Τὰ μὲν γὰρ ἄλλα ταὐτὰ ἃ καὶ ἐπὶ τῶν πρότερον ἐροῦμεν, ὅροι δ᾿ ὅταν μὲν ᾖ τὸ καθόλου κατηγορικὸν ἀναγκαῖον, ἐγρήγορσις—ζῷον—ἄνθρωπος, μέσον ἄνθρωπος, ὅταν δ᾿ ἐν μέρει τὸ κατηγορικὸν ἀναγκαῖον, ἐγρήγορσις—ζῷον—λευκόν· ζῷον μὲν γὰρ ἀνάγκη τινὶ λευκῷ ὑπάρχειν, ἐγρήγορσις δ᾿ ἐνδέχεται μηδενί, καὶ οὐκ ἀνάγκη τινὶ ζῴῳ μὴ ὑπάρχειν ἐγρήγορσιν. Ὅταν δὲ τὸ στερητικὸν ἐν μέρει ὂν ἀναγκαῖον ᾖ, δίπουν—κινούμενον—ζῷον, μέσον ζῷον.

Φανερὸν οὖν ὅτι τοῦ μὲν ὑπάρχειν οὐκ ἔστι συλλογισμός, ἐὰν μὴ ἀμφότεραι ὦσιν αἱ προτάσεις ἐν τῷ ὑπάρχειν, τοῦ δ᾿ ἀναγκαίου ἔστι καὶ τῆς ἑτέρας μόνον ἀναγκαίας οὔσης. Ἐν ἀμφοτέροις δέ, καὶ καταφατικῶν καὶ στερητικῶν ὄντων τῶν συλλογισμῶν, ἀνάγκη τὴν ἑτέραν πρότασιν ὁμοίαν εἶναι τῷ συμπεράσματι. Λέγω δὲ τὸ ὁμοίαν, εἰ μὲν ὑπάρχον, ὑπάρχουσαν, εἰ δ᾿ ἀναγκαῖον, ἀναγκαίαν. Ὥστε καὶ τοῦτο δῆλον, ὅτι οὐκ ἔσται τὸ συμπέρασμα οὔτ᾿ ἀναγκαῖον οὔθ᾿ ὑπάρχον εἶναι μὴ ληφθείσης ἀναγκαίας ἢ ὑπαρχούσης προτάσεως.

Περὶ μὲν οὖν τοῦ ἀναγκαίου, πῶς γίνεται καὶ τίνα διαφορὰν ἔχει πρὸς τὸ ὑπάρχον, εἴρηται σχεδὸν ἱκανῶς· περὶ δὲ τοῦ ἐνδεχομένου μετὰ ταῦτα λέγομεν πότε καὶ πῶς καὶ διὰ τίνων ἔσται συλλογισμός. Λέγω δ᾿ ἐνδέχεσθαι καὶ τὸ ἐνδεχόμενον, οὗ μὴ ὄντος ἀναγκαίου, τεθέντος δ᾿ ὑπάρχειν, οὐδὲν ἔσται διὰ τοῦτ᾿ ἀδύνατον· τὸ γὰρ ἀναγκαῖον ὁμωνύμως ἐνδέχεσθαι λέγομεν. Ὅτι δὲ τοῦτ᾿ ἔστι τὸ ἐνδεχόμενον, φανερὸν ἔκ τε τῶν ἀποφάσεων καὶ τῶν καταφάσεων τῶν ἀντικειμένων· τὸ γὰρ οὐκ ἐνδέχεται ὑπάρχειν καὶ ἀδύνατον ὑπάρχειν καὶ