Unity of science was once a very popular idea among both philosophers and scientists. But it has fallen out of fashion, largely because of its association with reductionism and the challenge from multiple realisation. Pluralism and the disunity of science are the new norm, and higher-level natural kinds and special science laws are considered to have an important role in scientific practice. What kind of reductionism does multiple realisability challenge? What does it take to reduce one phenomenon to another? How (...) do we determine which kinds are natural? What is the ontological basis of unity? In this Element, Tuomas Tahko examines these questions from a contemporary perspective, after a historical overview. The upshot is that there is still value in the idea of a unity of science. We can combine a modest sense of unity with pluralism and give an ontological analysis of unity in terms of natural kind monism. This title is available as Open Access on Cambridge Core. (shrink)

This paper defends the case against (sparse) disjunctive properties by means of four Armstrongian arguments. The first of these is a logical atomist argument from truthmaking, which is, broadly speaking, ‘Armstrongian’ (Armstrong 1997). This argument is strong – although it stands or falls with the relevant notion of truthmaking, as it were. However, three arguments, which are prima facie independent of truthmaking, can be found explicitly early in Armstrong’s middle period. Two of these early arguments face a serious objection put (...) forward forcefully by Louise Antony (2003) and Alan Penczek (1997), respectively. I consider these objections and argue that they fail. Thus, even if the argument from truthmaking is indecisive, disjunctive properties should be rejected. (shrink)

I argue for a deflationary answer to the question, “What is it to be a woman?” Prior attempts by feminist theorists to provide a metaphysical account of what all and only women have in common have all failed for the same reason: there is nothing women have in common beyond being women. Although the social kinds man and woman are primitive, their existence can be explained. I say that human sex difference is the material ground of systems of gender; gender (...) systems serve to enable male control of female reproductive capacities. This explains the fact that most women are female, but it does not entail that all women are female or that all females are women. To clarify my position, I draw an analogy between the kind woman and the kind parent. While it is difficult to come up with necessary and sufficient conditions for being a parent, it is clear that the social institution or practice of parenting has its material ground in the biological facts about human reproduction together with facts about infantile dependency. Saying this does not entail that all and only biological progenitors are parents. (shrink)

This paper addresses the question of how human science categories yield projectable inferences by critically examining Ron Mallon’s ‘social role’ account of human kinds. Mallon contends that human categories are projectable when a social role produces a homeostatic property cluster (HPC) kind. On this account, human categories are projectable when various social mechanisms stabilize and entrench those categories. Mallon’s analysis obscures a distinction between transitory and robust projectable inferences. I argue that the social kinds discussed by Mallon yield the former, (...) while classifications of biological kinds yield the latter. Classifications from psychiatry (‘schizophrenia,’ ‘hysteria’) are discussed as examples. (shrink)

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)

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)

This paper defends Flatland—the view that there exist neither determination nor dependence relations, and that everything is therefore fundamental—from the objection from explanatory inefficacy. According to that objection, Flatland is unattractive because it is unable to explain either the appearance as of there being determination relations, or the appearance as of there being dependence relations. We show how the Flatlander can meet the first challenge by offering four strategies—reducing, eliminating, untangling and omnizing—which, jointly, explain the appearance as of there being (...) determination relations where no such relations obtain. Since, plausibly, dependence relations just are asymmetric determination relations, we argue that once we come mistakenly to believe that there exist determination relations, the existence of other asymmetries (conceptual and temporal) explains why it appears that there are dependence relations. (shrink)

Biochemical kinds such as proteins pose interesting problems for philosophers of science, as they can be studied from the points of view of both biology and chemistry. The relationship between the biological functions of biochemical kinds and the microstructures that they are related to is the key question. This leads us to a more general discussion about ontological reductionism, microstructuralism, and multiple realization at the biology-chemistry interface. On the face of it, biochemical kinds seem to pose a challenge for ontological (...) reductionism and hence motivate a dual theory of chemical and biological kinds, a type of pluralism about natural kinds. But it will be argued that the challenge, which is based on multiple realization, can be addressed. The upshot is that there are reasonable prospects for ontological reductionism about biochemical kinds, which corroborates natural kind monism. (shrink)

What is an epiphenomenal property? This question needs to be settled before we can decide whether higher-level properties are epiphenomenal or not. In this paper, I offer an account of what it is for a property to have some causal power. From this, I derive a characterisation of the notion of an epiphenomenal property. I then argue that physically realized higher-level properties are not epiphenomenal because laws of nature impose causal similarities on the bearers of such properties, and these similarities (...) figure as powers in the causal profiles of these properties. (shrink)

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

Some explanations in social science, psychology and biology belong to a higher level than other explanations. And higher explanations possess the virtue of abstracting away from the details of lower explanations, many philosophers argue. As a result, these higher explanations are irreplaceable. And this suggests that there are genuine higher laws or patterns involving social, psychological and biological states. I show that this ‘abstractness argument’ is really an argument schema, not a single argument. This is because the argument uses the (...) ‘is lower than’ relation, and this relation admits of different readings. I then suggest four rigorous definitions of the ‘is lower than’ relation, and show that the abstractness argument’s prospects are much brighter for some of these definitions than for others. To show this, I evaluate the so-called ‘disjunctive threat’ to the abstractness argument. (shrink)

This paper addresses philosophical issues concerning whether mental disorders are natural kinds and how the DSM should classify mental disorders. I argue that some mental disorders (e.g., schizophrenia, depression) are natural kinds in the sense that they are natural classes constituted by a set of stable biological mechanisms. I subsequently argue that a theoretical and causal approach to classification would provide a superior method for classifying natural kinds than the purely descriptive approach adopted by the DSM since DSM-III. My argument (...) suggests that the DSM should classify natural kinds in order to provide predictively useful (i.e., projectable) diagnostic categories and that a causal approach to classification would provide a more promising method for formulating valid diagnostic categories. (shrink)

I examine the debate between reductive and non-reductive physicalists, and conclude that if we are to be physicalists, then we should be reductive physicalists. I assess how both reductionists and non-reductionists try to solve the mind-body problem and the problem of mental causation. I focus on the problem of mental causation as it is supposed to be faced by non-reductionism: the so-called overdetermination problem. I argue that the traditional articulation of that problem is significantly flawed, and I show how to (...) articulate it properly: what I call the ‘super-overdetermination problem’. In doing so, I demonstrate that the problem of mental causation faced by non-reductionism is in fact a special case of the mind-body problem, as faced by non-reductionism, and that the former can’t be solved independently of the latter. I then assess the prospects for a particular family of non-reductive views that I call immanentism, and show that they fail to solve the super-overdetermination problem. Finally, I put forward two arguments to support the conclusion that physicalism entails reductionism. Both arguments establish, via distinct reasoning, the proposition that mental property instances are identical to physical property instances; and then each argument employs the inference, which I also defend, that if mental instances are physical instances, then mental properties are physical properties; hence, reductionism follows. (shrink)

Let an X/Y distinction be a distinction between kinds of properties, such as the distinctions between qualitative and non-qualitative, intrinsic and extrinsic, perfectly natural and less-than-perfectly natural or dispositional and categorical properties. An X/Y distinction is hyperintensional iff there are cointensional properties P and Q, such that P is an X-property, whereas Q is a Y-property. Many accounts of metaphysical distinctions among properties presuppose that such distinctions are non-hyperintensional. In this paper, I call this presupposition into question. I develop a (...) sufficient condition for the hyperintensionality of X/Y distinctions and argue that this condition is satisfied by a number of standard classifications of properties. It follows that non-hyperintensional analyses of distinctions among properties are harder to defend than is often assumed. (shrink)

Functionalist theories have been proposed for just about everything: mental states, dispositions, moral properties, truth, causation, and much else. The time has come for a functionalist theory of nothing. Or, more accurately, a role functionalist theory of those absences that are causes and effects.

Motivated by the seeming structure of the sciences, metaphysical emergence combines broadly synchronic dependence coupled with some degree of ontological and causal autonomy. Reflecting the diverse, frequently incompatible interpretations of the notions of dependence and autonomy, however, accounts of emergence diverge into a bewildering variety. Here I argue that much of this apparent diversity is superficial. I first argue, by attention to the problem of higher-level causation, that two and only two strategies for addressing this problem accommodate the genuine emergence (...) of special science entities. These strategies in turn suggest two distinct schema for metaphysical emergence---'Weak' and 'Strong' emergence, respectively. Each schema imposes a condition on the powers of entities taken to be emergent: Strong emergence requires that higher-level features have more token powers than their dependence base features, whereas Weak emergence requires that higher-level features have a proper subset of the token powers of their dependence base features. Importantly, the notion of “power” at issue here is metaphysically neutral, primarily reflecting commitment just to the plausible thesis that what causes an entity may bring about are associated with how the entity is---that is, with its features. (shrink)

I propose a strategy for a metaphysical reduction of perceived color, that is, an identification of perceived color with properties characterizable in non-qualitative terms. According to this strategy, a description of visual experience of color, which incorporates a description of the appearance of color, is a reference-fixing description. This strategy both takes color appearance seriously in its primary epistemic role and avoids rendering color as metaphysically mysterious. I’ll also argue that given this strategy, a plausible account of perceived color claims (...) that colors are physical properties of physical objects. (shrink)

Frank Jackson has argued that, given plausible claims about supervenience, descriptive predicates and property identity, there are no irreducibly normative properties. Philosophers who think that there are such properties have made several objections to this argument. In this paper, I argue that all of these objections fail. I conclude that Jackson's argument shows that there are no irreducibly normative properties.

Externalism about colour phenomenology claims that the phenomenal character of colour experiences is determined by mind-independent properties of perceptual objects. The structural mismatch argument shows that physical properties of perceived mind-independent things are not similar in ways that correlate with the ways in which the phenomenal character of colour experiences are similar. Structural mismatch has thus been perceived by some to demonstrate that correlative externalism (which takes mind-independent physical properties to correlate systematically with colour phenomenology) is false. This argument is (...) defused if there are broad physical properties that can bear similarity relations that do correlate with those held by the phenomenal character of colour experiences. I defend the view that disjunctive properties can perform this role by showing that disjunctive properties can account for metamerism, the unique and binary hue distinction, and differences in perceived colours between subjects. Finally, I argue that correlative externalism is better placed than other views to explain why the physical properties identified by the physical sciences correlate with colour experiences with the particular phenomenal character they have. (shrink)

According to the Multiple Realizability Argument, a higher-level property typically has many physical realizers, so it cannot be type-identical to any one of them. This enables the non-reductive physicalist to claim that some higher-level properties are type-distinct from physical properties. The reductive physicalist can counter with the Disjunctive Strategy: nothing prevents us from type-identifying the higher-level property with the disjunction of its realizers. Developing a powers-based ontology of properties, Shoemaker and Wilson present responses to the Disjunctive Strategy, wherein higher-level property (...) instances are token-distinct from their realizers, while instances of disjunctions are not. In this paper, I argue that such responses to the Disjunctive Strategy can be reasonably resisted, either by denying token-distinctness, or by insisting that exhaustively overlapping disjunctive properties are also token-distinct from the realizers. This secures the Disjunctive Strategy as a core component of the argument for reductive physicalism. (shrink)

Functionalism about truth is the view that truth is an explanatorily significant but multiply-realizable property. According to this view the properties that realize truth vary from domain to domain, but the property of truth is a single, higher-order, domain insensitive property. We argue that this view faces a challenge similar to the one that Jaegwon Kim laid out for the multiple realization thesis. The challenge is that the higher-order property of truth is equivalent to an explanatorily idle disjunction of its (...) realization bases. This consequence undermines the alethic functionalists’ non-deflationary ambitions. A plausible response to Kim’s argument fails to carry over to alethic functionalism on account of significant differences between alethic functionalism and psychological functionalism. Lynch’s revised view in his book Truth as One and Many ( 2009 ) fails to answer our challenge. The upshot is that, while mental functionalism may survive Kim’s argument, it mortally wounds functionalism about truth. (shrink)

The realization relation is commonly explicated via, or identified with, the causal role playing relation. However, the realization relation does not formally match the causal role playing relation. While realization is a relation between a base realizer property and a single higher level realized property, I argue that the causal role playing relation as typically defined is a relation between a base property and two higher-level role properties. Advocates of using causal role playing to explicate realization must therefore decide which (...) of the two kinds of role property they identify with realized properties; I argue that neither choice is good, and the fact that one must make a choice is worse. A search for a new way of defining realization is in order. (shrink)

Abstract: I offer a novel objection to Jaegwon Kim's Supervenience Argument. I argue that the Supervenience Argument relies upon an untenable conception of the base physical properties upon which mental properties are supposed to supervene: the base properties are required to be both ordinary physical/causal properties and also unconditionally sufficient for the properties that they subvene. But these requirements are mutually exclusive; as a result, at least two premises in the Supervenience Argument are false. I argue that this has disruptive (...) consequences both for the reductive position that Kim defends and the non-reductive position that he attacks. Neither side in the debate over the status of functionally conceived mental properties comes out unscathed. (shrink)

As two defining properties of mental phenomena, consciousness and intentionality have some deep connections. These connections may be either grounded by a more fundamental mental property, or governed by some bridge laws, or accepted as a brute unexplainable fact. This paper argues, on the one hand, that we do not have justifications for believing in the existence of a new fundamental mental property, although we have motivations for making an inference to such a new mental property. On the other hand, (...) this paper demonstrates that Husserl took these connections to be governed by some bridge laws and to be realized by the mapping function of what he called apprehension. (shrink)

Are there disjunctive properties? This question is important for at least two reasons. First, disjunctive properties are invoked in defense of certain philosophical theories, especially in the philosophy of mind. Second, the question raises the prior issue of what counts as a genuine property, a central concern in the metaphysics of properties. I argue here, on the basis of general considerations in the metaphysics of properties, that there are no disjunctive properties. Specifically, I argue that genuine properties must guarantee similarity-in-a-respect (...) among their instances, and must inhere in their bearers (two notions to be clarified). Disjunctive properties would fail both requirements. I compare the case of disjunctive properties with “mere Cambridge properties,” determinable properties, and functional properties, and show how my conception of properties remains compatible with determinables and functional properties while ruling out disjunctive and mere Cambridge properties. (shrink)

We often face a bewildering array of different explanations for the same social facts (e.g. biological, psychological, economic, and historical accounts). But we have few guidelines for whether and when we should think of different accounts as competing or compatible. In this paper, I offer some guidelines for understanding when custom or norm accounts do and don’t compete with other types of accounts. I describe two families of non-competing accounts: (1) explanations of different (but similarly described) facts, and (2) accounts (...) which seem to differ but are really different parts or versions of the same underlying explanation. I argue that, while many types of apparent competitors don’t really compete with customs, there are some that do. I also describe some of the central problems, which suggest that custom accounts will compete poorly with their rivals. (shrink)

According to the subset view of realization, a property realizes another if the causal powers of the latter are a subset of those of the former. Against this view, some authors (in particular, Kevin Morris and Paul Audi) have argued that it has an untenable consequence that realizing properties are less fundamental than the properties they realize, because the subset view characterizes realized properties as parts (subsets) of their realizers whereas it is generally true that a part is prior to (...) its whole. This paper defends the subset view from this “part-whole” objection, by arguing that if we compare individual powers of realizer and realizee with particular attention to their manifestation conditions, it turns out that each power of a realizee is grounded in some power of its realizer. This grounding relation between powers, I shall argue, allows subset theorists to explain why a realizer is more fundamental than its realizee, even while having the latter as a part. (shrink)

This paper defends Flatland—the view that there exist neither determination nor dependence relations, and that everything is therefore fundamental—from the objection from explanatory inefficacy. According to that objection, Flatland is unattractive because it is unable to explain either the appearance as of there being determination relations, or the appearance as of there being dependence relations. We show how the Flatlander can meet the first challenge by offering four strategies—reducing, eliminating, untangling and omnizing—which, jointly, explain the appearance as of determination relations (...) where no such relations obtain. Since, plausibly, dependence relations just are asymmetric determination relations, we argue that once we come mistakenly to believe that there exist determination relations, the existence of other asymmetries (conceptual and temporal) explains why it appears that there are dependence relations. (shrink)

Proponents of the explanatory gap claim that consciousness is a mystery. No one has ever given an account of how a physical thing could be identical to a phenomenal one. We fully understand the identity between water and H2O but the identity between pain and the firing of C-fibers is inconceivable. Mark Johnston [Journal of philosophy , 564–583] suggests that if water is constituted by H2O, not identical to it, then the explanatory gap becomes a pseudo-problem. This is because all (...) “manifest kinds”—those identified in experience—are on a par in not being identical to their physical bases, so that the special problem of the inconceivability of ‘pain = the firing of C-fibers’ vanishes. Moreover, the substitute relation, constitution, raises no explanatory difficulties: pain can be constituted by its physical base, as can water. The thesis of this paper is that the EG does not disappear when we substitute constitution for identity. I examine four arguments for the EG, and show that none of them is undermined by the move from constitution to identity. (shrink)

Jerry Fodor has argued that the multiple realizability argument, as discussed in his original “Special Sciences” article, “refutes psychophysical reductionism once and for all.” I argue that his argument in “Special Sciences” does no such thing. Furthermore, if one endorses the physicalism that most supporters of the “Special Sciences” view endorse, special science laws must be reducible, in principle. The compatibility of MR with reduction, however, need not threaten the autonomy of the special sciences.

Meinertsen has recently put forward three arguments against disjunctive properties: the arguments from truthmaking, commonality, and causation. In this paper, I argue that all three arguments fail. The argument from truthmaking rests on the problematic notion of different types of truthmakers and is therefore itself problematic. The argument from commonality may hold but only at the cost of losing much of the philosophical significance of its conclusion. The argument from causation essentially collapses into the argument from truthmaking and is therefore (...) problematic for the same reason as the latter is. I conclude that Meinertsen has not made a case against disjunctive properties. (shrink)