Natural Properties

I present a problem for theories of explanation, concerning explanations involving disjunctive properties. The problem is particular acute for the explanatory non-fundamentalist, according to whom non-fundamental scientific explanations are sometimes superior to fundamental physical explanations. I criticise solutions to the problem due to Woodward, Strevens and Sober, and Lewis, and then defend a solution inspired by an account of non-fundamental laws recently defended by Callender and Cohen.

Some properties – like charge – are natural, some – like grue are unnatural. The distinction between natural and unnatural properties is normally taken as primitive. However, Barry Loewer’s Package Deal Account (PDA) aims to provide an reductive account of natural properties, integrated with a reductive account of laws of nature. In addition, the account seems to be able to apply to natural properties at the level of fundamental physics, and higher-level, special science, properties. -/- If the account is successful, (...) then, it looks to be incredibly powerful and attractive. The PDA, however, is somewhat underexplored in the literature. So the first aim of the paper is to understand the PDA better -- to map the connections between naturalness and laws on the traditional BSA and to consider how those connections have to adapted in order to develop different versions of the PDA. -/- The second aim is to start to evaluate different versions of the PDA. In particular, perhaps the most promising version of the PDA construes it as an instance of a larger approach to Humeanism — one that has been very visible in the recent literature — that focuses on the role of 'ideal observers' or 'ideal scientists'. While such an approach might be feasible, I claim, it gets its proponents much less than they were originally hoping for. (shrink)

An attractive picture of the world is that some features are metaphysically fundamental and others are derivative, with the derivative features grounded in the fundamental features. But how do we have justified beliefs about which features are fundamental? What is the epistemology of fundamentality? I sketch a response in this paper. The guiding idea is that the same properties cause the same experiences. I argue that a probabilistic connection between epistemic fundamentality and metaphysical fundamentality is sufficient for justified beliefs about (...) the metaphysically fundamental. (shrink)

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

Universals are properties that are shared by multiple objects. In classical South Asia, Brahmanical thinkers from Vyākaraṇa, Nyāya, Vaiśeṣika, and Mīmāṃsā text traditions were realists about universals, while most Buddhists were nominalists. In this paper, my aim is to reconstruct the early Nyāya-Vaiśeṣika theory of universals, with special emphasis on the arguments of the Nyāya philosopher Uddyotakara (6th century CE) against a Buddhist strand of resemblance nominalism. I show that Uddyotakara's contribution to this debate is twofold. First, he is possibly (...) the first Naiyāyika to adopt a sparse theory of universals, a theory according to which it is necessary to posit only those universals which explain how objects resemble each other in the most fundamental or irreducible respects. On the other hand, he offers a few arguments for realism, which are explicitly motivated by a causal constraint on intentionality. (shrink)

Symmetry principles are a central part of contemporary physics, yet there has been surprisingly little metaphysical work done on them. This article develops the Wignerian treatment of symmetries as higher-order laws—metalaws—within a Humean framework of lawhood. Lange has raised two obstacles to Humean metalaws, and the article shows that the account has the resources available to respond to both. It is argued that this framework for Humean metalaws stands as an example of naturalistic metaphysics, able to bring Humeanism into contact (...) with the practice of actual science without giving up on the central denial of necessary connections. (shrink)

The existence of disjunctive properties has been put in question by many philosophers. In this article, I shall offer an argument for the existence of such properties. I shall show that they are required in order to ground certain objective and unique resemblances between things. In Section 1, I develop the argument by presenting a toy example involving three entities: a red fish (Bill), a glass and round fish bowl (Bowl), and a red ball (Ball). In Section 2, I deal (...) with two strategies to rebut my argument. Such strategies respectively consist in denying that there is any objective and unique similarity between Bill, Bowl and Ball, and in holding that such a similarity is based on non-disjunctive properties. In Section 3, I examine and reject two further strategies, that consist in holding that grounding objective and unique similarities is not enough in order for something to exist as a property and in pointing to some more general concerns about disjunctive properties. (shrink)

Commitment to sparseness amounts to the idea that there is an objective, worldly privileging of certain properties over others that makes the privileged properties suited to play certain roles, and is responsible for their playing such roles. In this chapter I offer a brief, opinionated overview of sparseness. I begin by examining a set of problems that I call “problems of abundance”, which generate canonical motivations for sparseness. I then survey some influential approaches to sparseness and the roles that they (...) attribute to sparse properties, noting that on most approaches sparse properties are deeply connected to inquiry. Finally I consider some problems for sparseness, focusing on the purported connections between sparseness and inquiry, particularly in philosophy of science and inquiry into the social world. (shrink)

Commitment to sparseness amounts to the idea that there is an objective, worldly privileging of certain properties over others that makes the privileged properties suited to play certain roles, and is responsible for their playing such roles. In this chapter I offer a brief, opinionated overview of sparseness. I begin by examining a set of problems that I call “problems of abundance”, which generate canonical motivations for sparseness. I then survey some influential approaches to sparseness and the roles that they (...) attribute to sparse properties, noting that on most approaches sparse properties are deeply connected to inquiry. Finally I consider some problems for sparseness, focusing on the purported connections between sparseness and inquiry, particularly in philosophy of science and inquiry into the social world. (shrink)

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

This Element provides an opinionated introduction to the metaphysics of laws of nature. The first section distinguishes between scientific and philosophical questions about laws and describes some criteria for a philosophical account of laws. Subsequent sections explore the leading philosophical theories in detail, reviewing the most influential arguments in the literature. The final few sections assess the state of the field and suggest avenues for future research.

El presente trabajo busca poner al frente y cuestionar uno de los supuestos que incorporan las formalizaciones de García de la Sienra, a saber, que las teorías han de ser reconstruidas de acuerdo con la visión semántica. Caracteriza brevemente las visiones sintáctica y semántica exponiendo el debate entre el enfoque sintáctico y el semántico. Se trata de enfoques distintos que facilitan el estudio de las teorías ante ciertos problemas filosóficos. Habrá problemas y niveles de análisis para los que una visión (...) será apropiada y otros en los que resulte muy limitada. (shrink)

The aim of this paper is to propose a qualitative approach to the theory of conceptual spaces, in contrast to the usual metric framework. This requires qualitative notions of similarity, simple concepts, prototypes and conceptual categorisation. For this purpose, I will introduce three mathematical models for conceptual spaces. The first one is topological and has been proposed by Mormann. The other two are new and are based on atomistic orders and similarity relations. I will discuss how each of them deals (...) with the Design Principles proposed by Douven and Gärdenfors and with further Adequacy Conditions. Despite being apparently different, I will show that these three models are mathematically equivalent. Finally, I will address three objections to the present approach. The first one says that the qualitative notion of a prototype is a bad analogue of the metric one. The second one suggests that, in contrast to the Voronoi construction, the function qualitatively representing the conceptual categorisation process is arbitrary. The last one appeals to Goodman’s companionship and imperfect community problems to show that there is a flaw in defining simple concepts from similarity relations. (shrink)

According to Satosi Watanabe's "theorem of the ugly duckling", the number of predicates satisfied by any two different particulars is a constant, which does not depend on the choice of the two particulars. If the number of predicates satisfied by two particulars is their number of properties in common, and the degree of resemblance between two particulars is a function of their number of properties in common, then it follows that the degree of resemblance between any two different particulars is (...) also constant, which is absurd. Avoiding this absurd conclusion requires questioning assumptions about infinity in the proof or interpretation of the theorem, adopting a sparse conception of properties, or denying degree of resemblance is a function of number of properties in common. After arguing against both the first two options, this paper argues for a version of the third which analyses degree of resemblance as a function of properties in common, but weighted by their degree of naturalness or importance. (shrink)

It is a metaphysical orthodoxy that interesting non-symmetric relations cannot be reduced to symmetric ones. This orthodoxy is wrong. I show this by exploring the expressive power of symmetric theories, i.e. theories which use only symmetric predicates. Such theories are powerful enough to raise the possibility of Pythagrapheanism, i.e. the possibility that the world is just a vast, unlabelled, undirected graph.

I argue that one need not be an inferentialist in order to model inconsistent concepts, contrary to what some have thought. Representationalists can do so by adopting a form of bilateralism about contents. It remains unclear, however, why conceptual inconsistency would constitute a defect to be eliminated, rather than a vindication of dialetheism to be embraced. I suggest some answers to explore that involve accepting a descriptive form of dialetheism but denying its normative forms.

How is grounding related to metaphysical explanation? The standard view is that the former somehow “backs”, “undergirds” or “underlies” the latter. This view fits into a general picture of explanation, according to which explanations in general hold in virtue of a certain elite group of “explanatory relations” or “determinative relations” that back them. This paper turns the standard view on its head: grounding doesn't “back” metaphysical explanation but is in an important sense downstream from it. I call this view “grounding (...) idealism”, since it structurally resembles an analogous view about causation that is known as “causal idealism” and has been endorsed by philosophers like Michael Scriven and Philip Kitcher. I formulate a specific version of grounding idealism, Metaphysical Explanation‐First Idealism (MEFI), according to which the semantic value of ‘grounding’ is an abundant, gerrymandered relation settled by the metaphysical explanation facts. Then I offer some theoretical considerations that support MEFI over rival accounts of the relation between grounding and metaphysical explanation. Finally, I address the question of what role is left for grounding to play, if not that of “backing” metaphysical explanations. (shrink)

Categoricalism is a doctrine about properties according to which the dispositional aspects of properties are not essential to them. In opposition to categoricalism, dispositionalism holds that the dispositional aspects of properties are essential to them. In this article, I shall construct a new version of categoricalism that should be favoured over the other existing versions: Semi-Necessitarian Categoricalism. In Section 2 I shall elaborate on the distinction between categoricalism and dispositionalism and single out different ‘shades’ of both doctrines. I shall also (...) illustrate the main advantages and problems that characterize categoricalism. In Section 3 I shall introduce Necessitarian Categoricalism—as it has been recently developed by Alexander Kelly and Deborah Smith, among others. Even if Necessitarian Categoricalism solves the aforementioned problems of categoricalism, it also loses its main advantages. In Section 4 I shall refine this version of Necessitarian Categoricalism, thus developing Semi-Necessitarian Categoricalism. In Section 5 I shall face some objections. Finally, in Section 6, I shall briefly draw some conclusions and compare my account with other accounts. (shrink)

Shamik Dasgupta has argued that realists about natural properties (and laws, grounding, etc.) cannot account for their epistemic value. For "properties are cheap": in addition to natural properties and any value the realist might attach to them, there are also "shmatural" properties (standing to natural properties like charge and mass as Goodman's grue and bleen stand to green and blue) and a corresponding "shmvalue" of theorizing in terms of them. Dasgupta's challenge is one of objectivity: the existence of the "shmamiked" (...) network of concepts threatens the objectivity of facts stated using the unshmamiked network. But the challenge can be repelled given a proper understanding of objectivity itself. (shrink)

There have been many attempts to determine what makes a natural kind real, chief among them is the criterion according to which natural kinds must be mind-independent. But it is difficult to specify this criterion: many supposed natural kinds have an element of mind-dependence. I will argue that the mind-independence criterion is nevertheless a good one, if correctly understood: the mind-independence criterion concerns the unification principles for natural kinds. Unification principles determine how natural kinds unify their properties, and only those (...) natural kinds that have a mind-independent unification principle should be considered real. (shrink)

I articulate a Global Best-System Account (GBSA) of laws of nature along broadly Mill–Ramsey–Lewis lines. The guiding idea is that the job of laws is to capture real patterns across time—where a pattern is real if it allows to compress information about matters of particular fact. The GBSA’s key ingredient is a definition of ‘best system’ in terms of a ranking method that meets a number of desiderata: it is rigorously defined; it outputs the ranking based on the candidate systems’ (...) epistemic virtues; it is objective, in that the output does not depend on one’s choice of basic concepts; it avoids two trivialization results (by Lewis, and Arrow-Okasha); and it does not appeal to naturalness, or other metaphysical notions in that vicinity. Although the GBSA is independent of the controversial thesis of Humean Supervenience, it satisfies the weaker thesis that laws of nature supervene on the total physical state of the world. Moreover, the resulting notion of lawhood is hyperintensional, unlike the neighboring notion of nomological necessity. Finally, GBSA-laws do not track naturalness, contra the Lewisian orthodoxy. (shrink)

A minimal essentialism (‘intrinsic biological essentialism’) about natural kinds is required to explain the projectability of human science terms. Human classifications that yield robust and ampliative projectable inferences refer to biological kinds. I articulate this argument with reference to an intrinsic essentialist account of HPC kinds. This account implies that human sciences (e.g., medicine, psychiatry) that aim to formulate predictive kind categories should classify biological kinds. Issues concerning psychiatric classification and pluralism are examined.

I explore the relationship between a prominent analysis of intrinsic properties, due to Langton and Lewis, and the phenomenon of quantum entanglement. As I argue, the analysis faces a puzzle. The full analysis classifies certain properties of entangled particles as intrinsic. But when combined with an extremely plausible assumption about duplication, the main part of the analysis classifies those properties as non-intrinsic instead. I conclude that much of Lewis’s metaphysics is in trouble: Lewis based many of his metaphysical views—his thesis (...) of Humean supervenience, for instance, and his account of recombination—on an analysis of intrinsicality which does not sit well with quantum phenomena. (shrink)

Tropes is a systematic investigation into the metaphysics of properties, aiming to motivate and defend trope theory, and more specifically Natural Class Trope Nominalism (NCTN). Ehring’s book treats an impressive span of relevant positions, considerations, debates and objections with charity and clarity; it’s also a real page-turner, at least if one has (as I do) a taste for analytic twists and turns.

According to the deductive-nomological account of ground, a fact A grounds another fact B in case the laws of metaphysics determine the existence of B on the basis of the existence of A. Accounts of grounding of this particular variety have already been developed in the literature. My aim in this paper is to sketch a new version of this account. My preferred account offers two main improvements over existing accounts. First, the present account is able to deal with necessitarian (...) as well as non-necessitarian cases of grounding by acknowledging the existence of two types of metaphysical laws. I will argue that we should assume that metaphysical laws come in the necessitarian as well as in the non-necessitarian varietyclosely paralleling the distinction between strict and non-strict laws in the philosophy of science. The second main improvement of the present account is that this account is able to provide an explanation of why the laws of metaphysics have a direction built into them. I will argue that we should characterize metaphysical laws with the help of Theodore Sider’s (2011) notion of structure, which is a descendent of David Lewis’s (1983) notion of naturalness. According to the account of metaphysical laws developed in this paper, metaphysical laws express in their antecedents either perfectly structural truths or more structural truths than in their consequents. Since on Sider’s account structural features of reality are fundamental features of reality, the account is able to explain as to why the laws of metaphysics take us from the fundamental to the derivative. (shrink)

In an unpublished speech from 1991, David Lewis told his audience that he counted ‘the metaphysician Carnap ’ amongst his historical ancestors. Here I provide a novel interpretation of the Aufbau that allows us to make sense of Lewis’s claim. Drawing upon Lewis’s correspondence, I argue it was the Carnap of the Aufbau whom Lewis read as a metaphysician, because Carnap’s appeal to the notion of founded relations in the Aufbau echoes Lewis’s own appeal to the metaphysics of natural properties. (...) I further maintain that Lewis was right to read Carnap this way and that the notion of a founded relation has a legitimate claim to be both logical and metaphysical. I also argue that Carnap’s initial response to Goodman’s puzzle about ‘grue’ relies upon a metaphysics of simple properties which also prefigures Lewis’s own response to Goodman invoking natural properties. (shrink)

The distinction between qualitative and non-qualitative properties should be familiar from discussions of the principle of the identity of indiscernibles: two otherwise exactly similar individuals, Castor and Pollux, might share all their qualitative properties yet differ with respect to their non-qualitative properties—for while Castor has the property being identical to Castor, Pollux does not. But while this distinction is familiar, there has not been much critical attention devoted to spelling out its precise nature. I argue that the class of non-qualitative (...) properties is broader than it is often taken to be. When properly construed, it will not only include properties such as being identical to Castor, which somehow make reference to particular individuals, it will also include more general properties such as identity, composition, set membership, as well as various peculiarly ontological properties. Given that some of these more general properties help to explain objective similarity, we have reason to believe that there are fundamental non-qualitative properties. (shrink)

Say that metaphysical indeterminacy occurs just when there is a fact such that neither it nor its negation obtains. The aim of this work is to shed light on the issue of whether orthodox quantum mechanics provides any evidence of metaphysical indeterminacy by discussing the logical, semantic, and broadly methodological presuppositions of the debate. I argue that the dispute amounts to a verbal disagreement between classical and quantum logicians, given Eli Hirsch’s account of substantivity; but that it need not be (...) so if Ted Sider’s naturalness-based account of substantivity is adopted instead. Given the latter approach, can anything be said in order to tip the balance of the dispute either way? Some prima facie reasonable constraints on naturalness entail that the classicist is right, and the quantum world is therefore determinate. Nevertheless, there are reasons for weakening those constraints, to the effect that the dispute remains very much open. Finally, I discuss alternative accounts of metaphysical indeterminacy, and argue that they are unsuitable for framing the quantum indeterminacy debate. (shrink)

Normative naturalism is primarily a metaphysical doctrine: there are normative facts and properties, and these fall into the class of natural facts and properties. Many objections to naturalism rely on additional assumptions about language or thought, but often without adequate consideration of just how normative properties would have to figure in our thought and talk if naturalism were true. In the first part of the paper, I explain why naturalists needn’t think that normative properties can be represented or ascribed in (...) wholly non-normative terms. If so, certain prominent objections to normative naturalism fail. In the second part, I consider the objection that normative properties are “just too different” from (other) natural properties to themselves be natural properties. I argue that naturalists have no distinctive trouble making sense of thought and talk involving forms of “genuine” or “authoritative” normativity which can drive a non-question-begging form of the objection. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

On a view implicitly endorsed by many, a concept is epistemically better than another if and because it does a better job at ‘carving at the joints', or if the property corresponding to it is ‘more natural' than the one corresponding to another. This chapter offers an argument against this seemingly plausible thought, starting from three key observations about the way we use and evaluate concepts from en epistemic perspective: that we look for concepts that play a role in explanations (...) of things that cry out for explanation; that we evaluate not only ‘empirical' concepts, but also mathematical and perhaps moral concepts from an epistemic perspective; and that there is much more complexity to the concept/property relation than the natural thought seems to presuppose. These observations, it is argued, rule out giving a theory of conceptual evaluation that is a corollary of a metaphysical ranking of the relevant properties. -/- conceptual ethics, explanation, naturalness, epistemic value, concept/property, semantic internalism. (shrink)

Philosophy and Phenomenological Research, EarlyView.

In ‘Putnam’s Paradox’, Lewis defended global descriptivism and reference magnetism. According to Schwarz [2014], Lewis didn’t mean what he said there, and really held neither position. We present evidence from Lewis’s correspondence and publications which shows conclusively that Lewis endorsed both.

A survey of the connection between grounding and modality, in particular supervenience. The survey explores three possible connections between grounding and supervenience: (1) supervenience can be analyzed in terms of grounding, (2) grounded facts supervene on their grounds, and (3) grounding and supervenience overlap in their theoretical roles.

In ‘Putnam’s Paradox’, Lewis defended global descriptivism and reference magnetism. According to Schwarz [2014], Lewis didn’t mean what he said there, and really held neither position. We present evidence from Lewis’s correspondence and publications which shows conclusively that Lewis endorsed both.

The Moral Twin Earth challenge to ethical naturalism threatens to undermine an otherwise promising metaethical view by showing that typical, naturalist-friendly theories of reference determination predict diverging reference in Twin Earth scenarios, making it difficult to account for substantive moral disagreement. Several theorists have recently invoked David Lewis’s doctrine of reference magnetism as a solution, claiming that a highly elite moral property—a moral “joint in nature”—could secure shared reference between ourselves and our twins on Twin Earth, despite our diverging usages (...) of moral terms. This paper argues that this move has significant methodological implications: namely, it entails that a certain sort of simplicity is truth-conducive. Consequently, when applied to moral theories, this gives certain views, specifically monist ones like utilitarianism and contractualism, an advantage over their more complicated rivals, forms of pluralism and particularism. Thus, ethical naturalists cannot invoke reference magnetism without a substantial impact on first-order theorizing. (shrink)

According to the conciliatory view in metaontology, there are multiple possible languages corresponding to the popular positions in ontology. In each of these languages, the term ‘exists’ expresses a distinct “existence-like” property, and consequently the claims associated with each of the rival ontological positions come out true in some such language. Species of the conciliatory view can be distinguished based on claims about how the various existence-like properties are related vis-à-vis metaphysical naturalness. On some versions, all of the existence-like properties (...) are held to be equally natural, such that there is no “metaphysically privileged” language. However on others, there is held to be a most natural existence-like property and hence a most fundamental ontological language. In this paper I defend two views, one metaontological and one ontological. I first defend a version of the conciliatory view according to which there is exactly one perfectly natural existence-like property, but the rest are still “reasonably” natural. I then argue that, assuming this metaontological view, we should accept a permissive ontological view in the fundamental language (i.e. one with a very expansive domain). (shrink)

En metafísica contemporánea, es común trabajar bajo una metodología basada en virtudes teóricas. En caso de disputa, esta metodología nos aconseja elegir la teoría que mejor satisfaga las virtudes teóricas estándar: precisión empírica, fecundidad, poder unificador, consistencia y simplicidad. Sin embargo, no hay consenso sobre cómo deben frasearse tales virtudes, ni sobre cómo ponderarlas. Aquí me concentraré en ofrecer razones a favor de una manera de frasear el principio de parsimonia ideológica, una especie de simplicidad. Defiendo que dicho principio debería (...) decir que, dadas dos teorías T1 y T2, ceteris paribus, si T1 postula menos tipos de expresiones primitvas que T2, entonces es más probable que T1 sea una teoría fiel a que T2 lo sea. Se elabora en qué consiste la cláusula ceteris paribus, qué quiere decir "postular menos tipos de expresiones primitivas" (parsimonia ideológica cualitativa) y en qué consiste la fidelidad teórica. (shrink)

2020 update of the entry "Properties".

I put in question in this article the existence of conjunctive properties. In the second section, after having provided a characterization of conjunctive properties, I develop an argument based on the principle of ontological parsimony: if we accept that there are conjunctive properties in the universe then, ceteris paribus, our ontology turns out to be less ontologically parsimonious than if we reject them. Afterwards, in the third section, I distinguish between maximalist and non-maximalist and reductionist and non-reductionist theories of conjunctive (...) properties., as well as between reductionist and non-reductionist theories that reject conjunctive properties. Such distinctions help to clarify the options at hand when accepting or rejecting conjunctive properties. In light of these distinctions, I then tackle two objections against the argument from ontological parsimony. Finally, in the remaining sections, I deal with two arguments defended by D. M. Armstrong for the existence of conjunctive properties: the argument from infinite complexity and the argument from causal powers. I show that there are several ways to resist these arguments and their conclusion. (shrink)

Social categories play a central role in inquiry. Some authors have argued that social categories can only play this role because they have a particular metaphysical status, such as a connection to natural kinds or to comparatively joint-carving properties. This reflects the broadly realist idea that categories that play important roles in inquiry do so for metaphysical reasons. In this paper I argue that such metaphysical views of social categories cannot accommodate ‘empty’ social categories, cases in which social categories that (...) cannot have the metaphysical features attributed to them by such accounts still play a central role in inquiry. I defend an alternative approach: context-dependent naturalness, an analogue of metaphysical naturalness that concerns context-dependent, rather than metaphysical, structure. (shrink)

The threat of ontological deflationism (the view that disagreement about what there is can be non‐substantive) is averted by appealing to realism about fundamental structure—or so tells us Ted Sider. In this paper, the notion of structural indeterminacy is introduced as a particular case of metaphysical indeterminacy; then it is argued that structural indeterminacy is not only compatible with a metaphysics of fundamental structure, but it can even safeguard it from a crucial objection; finally, it is shown that, if there (...) are instances of structural indeterminacy, a hitherto unacknowledged variety of ontological deflationism will arise. Unless structure is shown to be determinate, ontological deflationism remains a live option. Furthermore, I will consider whether structural indeterminacy could be challenged by adopting a naturalistic epistemology of structure; the question is answered in the negative on the basis of a formal result concerning theory choice. Finally, I submit a new way of articulating the epistemology of structure, which hinges on the very possibility of structural indeterminacy. (shrink)

The grounding relation is routinely characterized by means of logical postulates. The aim of this paper is twofold. First, I show that a subset of those postulates is incompatible with a minimal characterization of metaphysical modality. Then I consider a number of ways for reconciling ground with modality. The simplest and most elegant solution consists in adopting serious actualism, which is best captured within a first-order modal language with predicate abstraction governed by negative free logic. I also explore a number (...) of alternative strategies by revising the ground-theoretic postulates, while keeping the modal ones fixed. As I argue, each of those strategies is either unviable, highly contentious, or insufficiently motivated. (shrink)

In this paper I argue that the analysis of natural properties as convex subsets of a metric space in which the distances are degrees of dissimilarity is incompatible with both the definition of degree of dissimilarity as number of natural properties not in common and the definition of degree of dissimilarity as proportion of natural properties not in common, since in combination with either of these definitions it entails that every property is a natural property, which is absurd. I suggest (...) it follows that we should think of the convex class analysis of natural properties as a variety of resemblance nominalism. (shrink)

This paper explores the debate between those philosophers who take (fundamental, perfectly natural) properties to be pure powers and those who take them to be powerful qualities. I first consider two challenges for the view that properties are powerful qualities, which I call, respectively, ‘the clarification challenge’ and ‘the explanatory challenge’. I then examine a number of arguments that aim to show that properties cannot be pure powers and find them all wanting. Finally, I sketch what I take to be (...) the most promising argument against pure powers and for powerful qualities. (shrink)

In this paper, I develop a novel account of ideological kinds. I first present some conceptual territory regarding the use of Occam’s Razor in minimizing ontological commitments. I then present the analogous device for minimizing ideological commitments, what I call the Comb. I argue that metaphysicians ought to use both or none at all. This means that those who endorse a principle of ontological parsimony ought to also endorse some principle of ideological parsimony, where we ought to prefer the metaphysical (...) theory that employs less ideology. In support of one such principle, I propose a novel account of ideological kinds. I individuate ideological kinds based on the satisfaction of two conditions: interdefinability and sameness of syntactic category. Ultimately, I think this account is the best available. It does, however, produce surprising results. For instance, my account shows that quantifier pluralism is ideologically parsimonious. I end by replying to some objections. (shrink)

Theories that posit metaphysical structure are able to do much work in philosophy. Some, however, find the notion of ‘metaphysical structure’ unintelligible. In this paper, I argue that their charge of unintelligibility fails. There is nothing distinctively problematic about the notion. At best, their charge of unintelligibility is a mere reiteration of previous complaints made toward similar notions. In developing their charge, I clarify several important concepts, including primitiveness, intelligibility, and the Armstrong-inspired “ontologism” view of the world. I argue that, (...) ultimately, their charge is best understood as an objection whose central premise is that the notion of ‘structure’ runs contrary to an important presupposition of contemporary metaphysics. But that central premise is, on closer inspection, implausible. I respond to the objection by identifying three popular metaphysical theories that violate the alleged presupposition but are still generally regarded as intelligible. The objection thus fails to show that a theory that posits metaphysical structure is unintelligible. (shrink)

According to best systems accounts, laws of nature are generalizations in the best systematization of particular matters of fact. Metrics such as simplicity and strength determine which systematization is best, but these are notoriously language relative. For this reason, David Lewis proposed a constraint on languages of inquiry: all predicates must be natural. This constraint is sometimes interpreted as requiring us to know which natural properties are instantiated in our world prior to scientific theorizing. I argue that this interpretation is (...) incorrect. I provide a better interpretation and show how it undercuts an influential epistemological objection to Lewis's best systems account of laws due to Bas van Fraassen. (shrink)

This article is concerned with the relationship between scientific practice and the metaphysics of laws of nature and natural properties. I begin by examining an argument by Michael Townsen Hicks and Jonathan Schaffer that an important feature of scientific practice—namely, that scientists sometimes invoke non-fundamental properties in fundamental laws—is incompatible with metaphysical theories according to which laws govern. I respond to their argument by developing an epistemology for governing laws that is grounded in scientific practice. This epistemology is of general (...) interest for non-Humean theories of laws, for it helps to explain our epistemic access to non-Humean theoretical entities such as governing laws or fundamental powers. (shrink)