What I call Mellor’s Question is the problem of whether determinables are properties of their determinates or properties of the particulars that possess these determinates. One can distinguish two basic competing theories of determinables that address the issue, implicitly if not explicitly. On the second-order theory, determinables are second-order properties of determinate properties; on the second-level theory, determinables are first-order properties of the particulars with these determinate properties. Higher-order properties are prima facie ontologically uneconomical, and in line with my general (...) view that ontological parsimony is vital to metaphysics, I consider it highly important which of the two theories is true. Firstly, I argue that the second-level theory offers the best explanation of the explananda (though the race is close), including the important but neglected phenomenon of ‘intermediate determinables’. Secondly, by paying attention to intermediate determinables and instantiation of higher-order properties, I argue that the second-level theory also is more ontologically economical. For these two reasons, this theory is preferable. (shrink)

This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others (...) are given. It is in the end shown that developing Frege’s theory in these ways reveals serious problems hitherto largely unnoticed, including those possibly rendering a Fregean intensional logic inconsistent even if his naïve class theory is excluded. (shrink)

Kim has defended a solution to the exclusion problem which deploys the «causal inheritance principle» and the identification of instantiations of mental properties with instantiations of their realizing physical properties. I wish to argue that Kim's putative solution to the exclusion problem rests on an equivocation between instantiations of properties as bearers of properties and instantiations as property instances. On the former understanding, the causal inheritance principle is too weak to confer causal efficacy upon mental properties. And on the latter (...) understanding, the identification of mental and physical instantiations is simply untenable. (shrink)

In Re realism is the two-pronged view that, first, when this and that have the same color, this color and that color are identical. There is just one color, the universal. Second, on the view, this color exists just in case something has it. Say my cat has the same color as the dog I owned when I was a child. Since the dog existed before the cat, and precedence being irreflexive, it seems plausible to infer that the dog and (...) the cat are distinct. Now take the colors. Since the colors are allegedly in re, and thus perhaps somehow elements of the cat and dog, it seems plausible to infer that the dog's color also preceded the cat's color. And therefore that the cat's color cannot be identical with the dog's. Finally, since the in re realist understands the sameness of properties in terms of identity, it follows that the cat's color cannot be the same as the dog's. The problem generalizes: What is the relationship between universals and time? Ignoring the temporality of that which constitutes time, to be temporal is to have a temporal "feature." These "features" are of three kinds: precedence, times, and being present, past, etc. The fundamental question in each case is whether universals have the feature. Do universals precede? Are they at times? Are they present? Time, I argue, is essentially the field in which things happen. To happen, I argue, is for one thing to do something. For one thing to do something is for the thing to exemplify a property. Such exemplifications of properties by objects I call "states of affairs." Only states of affairs precede, are at times, or are present. Universals, not being states of affairs, are not temporal. But, by the same argument which shows that running is not temporal it can be shown that Jack is not, even though Jack's running obviously is. So far I have defined what it is to be temporal; primitive temporality. But since Jack is a constituent of something temporal, he may be justly thought of as derivatively temporal. (shrink)