Aristotle: Categoriae (The Categories)

Ὑπὲρ μὲν οὖν τῶν προτεθέντων γενῶν ἱκανὰ τὰ εἰρημένα· περὶ δὲ τῶν ἀντικειμένων, ποσαχῶς εἴωθεν ἀντικεῖσθαι, ῥητέον. Λέγεται δὲ ἕτερον ἑτέρῳ ἀντικεῖσθαι τετραχῶς, ἢ ὡς τὰ πρός τι, ἢ ὡς τὰ ἐναντία, ἢ ὡς στέρησις καὶ ἕξις, ἢ ὡς κατάφασις καὶ ἀπόφασις. Ἀντίκειται δὲ ἕκαστον τῶν τοιούτων ὡς τύπῳ εἰπεῖν ὡς μὲν τὰ πρός τι, οἷον τὸ διπλάσιον τῷ ἡμίσει, ὡς δὲ τὰ ἐναντία, οἷον τὸ κακὸν τῷ ἀγαθῷ, ὡς δὲ τὰ κατὰ στέρησιν καὶ ἕξιν, οἷον τυφλότης καὶ ὄψις, ὡς δὲ κατάφασις καὶ ἀπόφασις, οἷον κάθηται — οὐ κάθηται.

Ὅσα μὲν οὖν ὡς τὰ πρός τι ἀντίκειται, αὐτὰ ἅπερ ἐστὶ τῶν ἀντικειμένων λέγεται ἢ ὁπωσοῦν ἄλλως πρὸς αὐτά, οἷον τὸ διπλάσιον, αὐτὸ ὅπερ ἐστίν, ἑτέρου διπλάσιον λέγεται· τινὸς γὰρ διπλάσιον. Καὶ ἡ ἐπιστήμη δὲ τῷ ἐπιστητῷ ὡς τὰ πρός τι ἀντίκειται, καὶ λέγεταί γε ἡ ἐπιστήμη αὐτὸ ὅπερ ἐστὶ τοῦ ἐπιστητοῦ. Καὶ τὸ ἐπιστητὸν δὲ αὐτὸ ὅπερ ἐστὶ πρὸς ἀντικείμενον λέγεται, τὴν ἐπιστήμην· τὸ γὰρ ἐπιστητὸν τινὶ λέγεται ἐπιστητόν, τῇ ἐπιστήμῃ.

Ὅσα οὖν ἀντίκειται ὡς τὰ πρός τι, αὐτὰ ἅπερ ἐστὶν ἑτέρων λέγεται ἢ ὁπωσδήποτε πρὸς ἄλληλα λέγεται. Τὰ δὲ ὡς τὰ ἐναντία, αὐτὰ μὲν ἅπερ ἐστὶν οὐδαμῶς πρὸς ἄλληλα λέγεται, ἐναντία μέντοι ἀλλήλων λέγεται· οὔτε γὰρ τὸ ἀγαθὸν τοῦ κακοῦ λέγεται ἀγαθόν, ἀλλ᾿ ἐναντίον, οὔτε τὸ λευκὸν τοῦ μέλανος λευκόν, ἀλλ᾿ ἐναντίον. Ὥστε διαφέρουσιν αὗται αἱ ἀντιθέσεις ἀλλήλων. Ὅσα δὲ τῶν ἐναντίων τοιαῦτά ἐστιν ὥστε ἐν οἷς πέφυκε γίνεσθαι ἢ ὧν κατηγορεῖται ἀναγκαῖον αὐτῶν θάτερον ὑπάρχειν, τούτων οὐδέν ἐστιν ἀνὰ μέσον. Ὧν δέ γε μὴ ἀναγκαῖον θάτερον ὑπάρχειν, τούτων ἔστι τι ἀνὰ μέσον πάντως, οἷον νόσος καὶ ὑγίεια ἐν σώματι ζῴου πέφυκε γίνεσθαι, καὶ ἀναγκαῖόν γε θάτερον ὑπάρχειν τῷ τοῦ ζῴου σώματι, ἢ νόσον ἢ ὑγίειαν. Καὶ περιττὸν