The paper argues that the assumption that there are property designators, together with two theoretically innocent claims, leads to a puzzle, whose solution requires us to reject the position that all (canonical) property designators are rigid. But if we deny that all (canonical) property designators are rigid, then the natural next step is to reject an abundant conception of properties and with it the suggestion that properties are the semantic values of predicates.

David Lewis advised essentialists to judge his counterpart theory a false friend. He also argued that counterpart theory needs natural properties. This essay argues that natural properties are all essentialists need to find a true friend in counterpart theory. Section one explains why Lewis takes counterpart theory to be anti-essentialist and why he thinks it needs natural properties. Section two establishes the connection between the natural properties counterpart theory needs and the essentialist consequences Lewis disavows. Section three answers two objections: (...) the first attempts to block the consequences of adding natural properties to counterpart theory; the second grants the consequences, but denies that they amount to essentialism. –Correspondence to: Todd_Buras@baylor.edu. (shrink)

I present, motivate, and defend a theory of properties. Its novel feature is that it takes entire determinables-together-with-their-determinates as its units of analysis. This, I argue, captures the relations of entailment and exclusion among properties, solves the problem of extensionality, and points the way towards an actualist analysis of modality.

Presupposing that most predicates do not correspond directly to genuine relations, I argue that all genuine relations are symmetric. My main argument depends on the premise that there are no brute necessities, interpreted so as to require logical and metaphysical necessity to coincide for sentences composed entirely of logical vocabulary and primitive predicates. Given this premise, any set of purportedly primitive predicates by which one might hope to express the facts about non-symmetric relations order their relata will generate an objectionable (...) multiplication of possibilities. In the final section I give a different argument, based on the weaker premise that brute necessities should not be multiplied without necessity. (shrink)

Resemblances obtain not only between objects but between properties. Resemblances of the latter sort - in particular resemblances between quantitative properties - prove to be the downfall of a well-known theory of universals, namely the one presented by David Armstrong. This paper examines Armstrong's efforts to account for such resemblances within the framework of his theory and also explores several extensions of that theory. All of them fail.

This paper explores how consideration of the notions of naturalness and eligibility, which have played an increasingly significant role in contemporary metaphysics, might impact on the study of truth. In particular, it aims to demonstrate how taking such notions seriously may be of benefit to ‘representational’ theories of truth by showing how the naturalness of truth on a representational account provides a response to the ‘Scope Problem’ recently presented by Lynch (2009).

If properties are to play a useful role in semantics, it is hard to avoid assuming the naïve theory of properties: for any predicate Θ(x), there is a property such that an object o has it if and only if Θ(o). Yet this appears to lead to various paradoxes. I show that no paradoxes arise as long as the logic is weakened appropriately; the main difficulty is finding a semantics that can handle a conditional obeying reasonable laws without engendering paradox. (...) I employ a semantics which is infinite-valued, with the values only partially ordered. Can the solution be adapted to naïve set theory? Probably not, but limiting naïve comprehension in set theory is perfectly satisfactory, whereas this is not so in a property theory used for semantics. (shrink)

(No abstract is available for this citation).

I define a property of beliefs - that of being structure-limning, or of “carving nature at the joints” - and propose three epistemological applications: (i) that limning structure has pro tanto epistemic value, (ii) that a species of understanding can be defined by appeal to the notion of limning structure, and (iii) that a distinction between important and trivial truths can be articulated by appeal to the notion of limning structure.

The central question in this book is why it seems reasonable for the words of our language to divide up the world in ordinary ways rather than other imaginable ways. Hirsch calls this the division problem. His book aims to bring this problem into sharp focus, to distinguish it from various related problems, and to consider the best prospects for solving it. In exploring various possible responses to the division problem, Hirsch examines series of "division principles" which purport to express (...) rational constraints on how our words ought to classify and individuate. The ensuing discussion deals with a wide range of metaphysical and epistemological topics, including projectibility and similarity, alternative analyses of natural properties and things, the inscrutability of reference, and the relevance of such pragmatic notions as salience and economy. The final chapters of the book develop what Hirsch contends is the most promising response to the division problem: a theory in which constraints on classification and individuation are seen to derive from the necessary structure of "fine-grained" propositions and the necessary dependence of some concepts on others. (shrink)

The aim of this article is to illustrate how a belief in the existence of kinds may be justified for the particular case of natural kinds: particularly noteworthy in this respect is the weight borne by scientific natural kinds (e.g., physical, chemical, and biological kinds) in (i) inductive arguments; (ii) the laws of nature; and (iii) causal explanations. It is argued that biological taxa are properly viewed as kinds as well, despite the fact that they have been by some alleged (...) to be individuals. Since it turns out that the arguments associated with the standard Kripke/Putnam semantics for natural kind terms only establish the non-descriptiveness of natural kind terms and not their rigidity, the door is open to analyze these terms as denoting traditional predicate-extensions. Finally, special issues raised by physical and chemical kinds are considered briefly, in particular impurities, isotopes and the threat of incommensurability. (shrink)

Philosophers have had difficulty in explaining the difference between disjunctive and non-disjunctive predicates. Purely syntactical criteria are ineffective, and mention of resemblance begs the question. I draw the distinction by reference to relations between borderline cases. The crucial point about the disjoint predicate 'red or green', for example, is that no borderline case of 'red' is a borderline case of 'green'. Other varieties of disjunctive predicates are: inclusively disjunctive (such as 'red or hard'), disconnected (such as 'grue' on the usual (...) definitions), and skew (such as 'grue' on an emended definition). 'Green' is not a disjunctive predicate. Nelson Goodman's new riddle of induction elicits yet another response. (shrink)

Are the sparse properties drawn from all the levels of nature, or only the fundamental level? I discuss the notion of sparse property found in Armstrong and Lewis, show that there are tensions in the roles they have assigned the sparse properties, and argue that the sparse properties should be drawn from all the levels of nature.

Peter Forrest and D.M. Armstrong have given an argument against a theory of naturalness proposed by David Lewis based on the fact that ordered pairs can be constructed from sets in any of a number of different ways. 1. I think the argument is good, but requires a more thorough defense. Moreover, the argument has important consequences that have not been noticed. I introduce a version of Lewis’s proposal in section one, and then in section two I present and defend (...) my version of the argument. After addressing a worry about my argument in section three, in section four I argue that a similar “argument from arbitrariness” jeopardizes Lewis’s solution to the Kripke/Wittgenstein puzzle of the content of thought. (shrink)

In the past fifteen years or so there has been a lot of attention paid to theories of “sparse” universals, particularly because of the work of D. M. Armstrong. These theories are of particular interest to those of us concerned with the distinction between natural and non-natural properties, since, as David Lewis has observed, it seems possible to analyze naturalness in terms of sparse universals. Moreover, Armstrong claims that we should conceive of universals as being “immanent” as opposed to “transcendent”, (...) and if universals are immanent then, as we will see, there is pressure to admit they are sparse as well. But I will argue that neither of these alleged reasons to accept a sparse conception of universals succeeds: the outlook for a fully general analysis of naturalness in terms of universals is not good, and the apparent advantages of immanence over transcendence are illusory. (shrink)

This dissertation explores the concepts of naturalness, intrinsicality, and duplication. An intrinsic property is had by an object purely in virtue of the way that object is considered in itself. Duplicate objects are exactly similar, considered as they are in themselves. The perfectly natural properties are the most fundamental properties of the world, upon which the nature of the world depends. In this dissertation I develop a theory of intrinsicality, naturalness, and duplication and explore their philosophical applications. Chapter 1 introduces (...) the notions, gives a preliminary survey of some proposed conceptual connections between the notions, and sketches some of their proposed applications. Chapter 2 gives my background assumptions and introduces notational conventions. In chapter 3 I present a theory of naturalness. Although I take ‘natural’ as a primitive, I clarify this notion by distinguishing and explicating various conceptions of naturalness. In chapter 4 I give a theory of various notions related to naturalness, especially intrinsicality and duplication. I show that ‘intrinsic’ and ‘duplicate’ are interde nable, and then give analyses of these and other notions in terms of naturalness. If, as I think likely, naturalness cannot be analyzed, then what is the proper response? David Lewis suggests: accept naturalness as a primitive. I am sympathetic to this proposal, but not to the form Lewis gives it: chapter 5 contains an argument against Lewis’s theory of naturalness. In chapter 6 I reject the idea that naturalness is analyzable in terms of immanent universals. I focus on the work of D. M. Armstrong. I also criticize Armstrong’s arguments against transcendent universals. (shrink)

There is an assumption common in the philosophy of mind literature that kinds in our sciences—or causal kinds, at least—are individuated by the causal powers that objects have in virtue of the properties they instantiate. While this assumption might not be problematic by itself, some authors take the assumption to mean that falling under a kind and instantiating a property amount to the same thing. I call this assumption the “Property-Kind Individuation Principle”. A problem with this principle arises because there (...) are cases where we can sort objects by their possession of common causal powers, and yet those objects do not intuitively form a causal kind. In this short note, I discuss why the Property-Kind Individuation Principle is thus not a warranted metaphysical assumption. (shrink)

Inscrutability arguments threaten to reduce interpretationist metasemantic theories to absurdity. Can we find some way to block the arguments? A highly influential proposal in this regard is David Lewis’ ‘eligibility’ response: some theories are better than others, not because they fit the data better, but because they are framed in terms of more natural properties. The purposes of this paper are (1) to outline the nature of the eligibility proposal, making the case that it is not ad hoc, but instead (...) flows naturally from three independently motivated elements; and (2) to show that severe limitations afflict the proposal. In conclusion, I pick out the element of the eligibility response that is responsible for the limitations: future work in this area should therefore concentrate on amending this aspect of the overall theory. (shrink)

Rae Langton and David Lewis have proposed an account of "intrinsic property" that makes use of two notions: being independent of accompaniment and being natural. We find the appeal to the first of these promising; the second notion, however, we find mystifying. In this paper we argue that the appeal to naturalness is not acceptable and offer an alternative definition of intrinsicality. The alternative definition makes crucial use of a notion commonly used by philosophers, namely, the notion of one property (...) being had in virtue of another property. We defend our account against three arguments for thinking that this "in virtue of" notion is unacceptable in this context. We also take a look at a variety of cases in which the definition might be applied and defend it against potential counterexamples. The upshot, we think, is a modest but adequate account of what we understand by "intrinsic property.". (shrink)

This paper argues against the _realization principle_, which reifies the realization relation between lower-level and higher-level properties. It begins with a review of some principles of naturalistic metaphysics. Then it criticizes some likely reasons for embracing the realization principle, and finally it argues against the principle directly. The most likely reasons for embracing the principle depend on the dubious assumption that special science theories cannot be true unless special science predicates designate properties. The principle itself turns out to be false (...) because the realization relation fails the naturalistic test for reality: it makes no causal difference to the world.1. (shrink)