Abstract

In this paper, I intend to reconstruct Ockham’s semantics of the categories in order to prove first that his semantics is consistent. Second, Ockham is not skeptical about the possibility to derive the categories from primitives. According to Ockham, one must accept two principles in order to derive the categories. The first is the principle of ‘in quid’ predication, according to which a name of category can be predicated ‘in quid’ of a determined class of terms. The second is the principle of the transitivity of predication, according to which A is predicated of C if A is predicated of B and B is predicated of C. I will show that Ockham’s semantics of the categories makes two assumptions. According to the first assumption, there exist only two types of things, substances and qualities. According to the second, the categories are mutually exclusive. Ockham’s semantics of the categories implies that the categories are both ontological and conceptual and that it is not possible to prove that there is a determined number of categories.