Recent work on Natural Kind Essentialism has taken a deflationary turn. The assumptions about the grounds of essentialist truths concerning natural kinds familiar from the Kripke-Putnam framework are now considered questionable. The source of the problem, however, has not been sufficiently explicated. The paper focuses on the Twin Earth scenario, and it will be demonstrated that the essentialist principle at its core (which I call IDENT)—that necessarily, a sample of a chemical substance, A, is of the same kind as another (...) sample, B, if and only if A and B have the same microstructure—must be re-evaluated. The Twin Earth scenario also assumes the falsity of another essentialist principle (which I call INST): necessarily, there is a 1:1 correlation between (all of ) the chemical properties of a chemical substance and the microstructure of that substance. This assumption will be questioned, and it will be argued that, in fact, the best strategy for defending IDENT is to establish INST. The prospects for Natural Kind Essentialism and microstructural essentialism regarding chemical substances will be assessed with reference to recent work in the philosophy of chemistry. Finally, a weakened form of INST will be presented. (shrink)

This paper considers two ways functions figure into scientific explanations: (i) via laws?events are causally explained by subsuming those events under functional laws; and (ii) via designs?capacities are explained by specifying the functional design of a system. We argue that a proper understanding of how functions figure into design explanations of capacities makes it clear why such functions are ill-suited to figure into functional-cum-causal law explanations of events, as those explanations are typically understood. We further argue that a proper understanding (...) of how functions enter into design explanations of capacities enables us to show why two prominent objections to functionalism in the philosophy mind?the argument from metaphysically necessary effects (Bennett, 2007; Rupert, 2006) and causal exclusion (Kim, 1993, 1998; Malcolm, 1968)?are misguided when interpreted as posing a threat to functional explanation in science across the board. If those arguments pose a threat at all, they pose it to instances of (i); however, a great number of the functional explanations we find in psychology?and the sciences generally?are instances of (ii). (shrink)

There is good reason to believe that scientific realism requires a commitment to the objective modal structure of the physical world. Causality, equilibrium, laws of nature, and probability all feature prominently in scientific theory and explanation, and each one is a modal notion. If we are committed to the content of our best scientific theories, we must accept the modal nature of the physical world. But what does the scientific realist’s commitment to physical modality require? We consider whether scientific realism (...) is compatible with Humeanism about the laws of nature, and we conclude that it is not. We specifically identify three major problems for the best-systems account of lawhood: its central concept of strength cannot be formulated non-circularly, it cannot offer a satisfactory account of the laws of the special sciences, and it can offer no explanation of the success of inductive inference. In addition, Humeanism fails to be naturalistically motivated. For these reasons, we conclude that the scientific realist must embrace natural necessity. (shrink)

Sydney Shoemaker’s causal theory of properties is an important starting place for some contemporary metaphysical perspectives concerning the nature of properties. In this paper, I discuss the causal and intrinsic criteria that Shoemaker stipulates for the identity of genuine properties and relations, and address George Molnar’s criticism that holding both criteria presents an unbridgeable hypothesis in the causal theory of properties. The causal criterion requires that properties and relations contribute to the causal powers of objects if they are to be (...) deemed genuine rather than ‘mere-Cambridge’. The intrinsic criterion requires that all genuine properties and relations be intrinsic. Molnar’s S-property argument says that these criteria conflict if one considers extrinsic spatiotemporal properties and relations to contribute causally. In this paper, I argue that a solution to the contradiction that Molnar identifies involves a denial of discreteness between objects, leading to a power holist perspective and a resulting deflationary account of intrinsicality. (shrink)

Like many realists about causation and causal powers, Aristotle uses the language of necessity when discussing causation, and he appears to think that by invoking necessity, he is clarifying the manner in which causes bring about or determine their effects. In so doing, he would appear to run afoul of Humean criticisms of the notion of a necessary connection between cause and effect. The claim that causes necessitate their effects may be understood—or attacked—in several ways, however, and so whether the (...) view or its criticism is tenable depends on how we understand the necessitation claim. In fact, Aristotelian efficient causation may be said to involve two distinct necessary connections: one is a relation between causes considered as potential, while the other relates them considered as active. That is, the claims that (1) what has the power to heat necessarily heats what has the power to be heated, and that (2) a particular flame which is actually under a pot necessarily heats it, both of which appear to be true for Aristotle, involve distinct notions of necessity. The latter kind of necessity is based on the facts, as Aristotle sees them, about change, whereas the former is based in the nature of properties. Though different, both kinds of necessity are instances of what contemporary philosophers would call metaphysical necessity, and together they also amount to a theory of causal determination. (shrink)

Platonists and nominalists disagree about whether mathematical objects exist. But they almost uniformly agree about one thing: whatever the status of the existence of mathematical objects, that status is modally necessary. Two notable dissenters from this orthodoxy are Hartry Field, who defends contingent nominalism, and Mark Colyvan, who defends contingent Platonism. The source of their dissent is their view that the indispensability argument provides our justification for believing in the existence, or not, of mathematical objects. This paper considers whether commitment (...) to the indispensability argument gives one grounds to be a contingentist about mathematical objects. (shrink)

One controversial position in the debate over dispositional and categorical properties maintains that our concepts of these properties are the result of partially considering unitary properties that are both dispositional and categorical. As one of its defenders (Heil 2005, p. 351) admits, this position is typically met with “incredulous stares”. In this paper, I examine whether such a reaction is warranted. This thesis about properties is an instance of what I call “the Partial Consideration Strategy”—i.e., the strategy of claiming that (...) what were formerly thought of as distinct entities are actually a unified entity, partially considered. By evaluating its use in other debates, I uncover a multi-layered prima facie case against the use of the Partial Consideration Strategy in the dispositional/categorical properties debate. In closing, I describe how the Partial Consideration Strategy can be reworked in a way that would allow it to sidestep this prima facie case. (shrink)

In the first part of this paper, I argue against the view that laws of nature are contingent, by attacking a necessary condition for its truth within the framework of a conception of laws as relations between universals. I try to show that there is no independent reason to think that universals have an essence independent of their nomological properties. However, such a non-qualitative essence is required to make sense of the idea that different laws link the same universals in (...) different possible worlds. In the second part, I give a positive argument for the necessity of at least some laws of nature, by showing with the example of a paradigmatic law of association that it consists in an internal relation between two universals which are determinables of the same class of determinates, where this relation is essential to both. Furthermore, I show that the necessity of laws of association could be accommodated within David Lewis' Humean metaphysics, but that it is incompatible with David Armstrong's combinatorialism. (shrink)

Many contemporary philosophers accept Hume's Dictum, according to which there are no metaphysically necessary connections between distinct, intrinsically typed entities. Tacit in Lewis 's work is a potential motivation for HD, according to which one should accept HD as presupposed by the best account of the range of metaphysical possibilities---namely, a combinatorial account, applied to spatiotemporal fundamentalia. Here I elucidate and assess this Ludovician motivation for HD. After refining HD and surveying its key, recurrent role in Lewis ’s work, I (...) present Lewis ’s appeal to HD as providing a broadly axiomatic generating basis for the space of metaphysical modality, and canvas the prima facie advantages of the resulting combinatorial principle---HD ---as being principled, extensionally adequate and modally reductive. Most criticisms of Lewis 's combinatorialism have targeted seeming ways in which the theory overgenerates the desired space; I rather argue that HD seriously undergenerates the desired space in three different ways. For each way I argue that available means of overcoming the undergeneration either fail to close the gap, undermine the claim that HD is a principled generator of metaphysical modal space, undermine the reductive status of Lewis 's combinatorialism, or call into question the truth of HD. (shrink)

The famous Cartesian Nicolas Malebranche (1638-1715) espoused the occasionalist doctrine that ‘there is only one true cause because there is only one true God; that the nature or power of each thing is nothing but the will of God; that all natural causes are not true causes but only occasional causes’ (LO, 448, original italics). One of Malebranche’s well-known arguments for occasionalism, known as, the ‘no necessary connection’ argument (or, NNC ) stems from the principle that ‘a true cause… is (...) one such that the mind perceives a necessary connection between it and its effect’ (LO, 450). The outline of this paper is as follows. I explicitly layout NNC and articulate some of its prima facie strengths (§1). I then critically discuss, what I take to be, the two main arguments against NNC of the Lee-Pyle interpretation (§2). The main conclusion from (§2) is that Malebranche did not abandon NNC in his later works given textual evidence from the Dialogues, contrary to the Lee-Pyle interpretation. In (§3) I discuss in what ways Suárez, Leibniz, Régis and Spinoza all accepted the main premise of NNC. Then, I rebut Steven Nadler’s influential and unchallenged criticism that Malebranche conflated causal and logical necessity, and provide a more accurate interpretation of Malebranche that only commits him to a partial reduction of causal to logical necessity (§4). (shrink)

Counterpossibles are counterfactuals with necessarily false antecedents. The problem of counterpossibles is easiest to state within the "nearest possible world" framework for counterfactuals: on this approach, a counterfactual is true (roughly) when the consequent is true in the "nearest" possible world where the antecedent is true. Since counterpossibles have necessarily false antecedents, there is no possible world where the antecedent is true. On the approach favored by Lewis, Stalnaker, Williamson, and others, counterpossibles are all trivially true. I introduce several arguments (...) against the trivial approach. First, it is counter-intuitive to think that all counterpossibles are true. Second, if all counterpossibles were true, then we could not make sense of their use in logical, philosophical, or mathematical arguments. Making sense of the role of sentences like these requires that they not have vacuous truth conditions. The account of counterpossibles I ultimately favor is an extension of the "nearest possible world" semantics discussed above. The Lewis/Stalnaker account is supplemented with the addition of impossible worlds, and the nearness metric is extended to range over these impossible worlds as well as possible worlds. Thus, a counterfactual is true when its consequent is true in the nearest world where the antecedent is true; if the counterfactual's antecedent is impossible, then the nearest world in question will be an impossible world. Once the framework of impossible worlds and similarity is in place, we can put it to use in the analysis of other philosophical phenomena. I examine one proposal that makes use of a theory of counterpossibles to develop an analysis of the notion of metaphysical dependence. (shrink)

Among the most important questions in the metaphysics of science are "What are the natures of fundamental laws and chances?" and "What grounds the direction of time?" My aim in this paper is to examine some connections between these questions, discuss two approaches to answering them and argue in favor of one. Along the way I will raise and comment on a number of issues concerning the relationship between physics and metaphysics and consequences for the subject matter and methodology of (...) metaphysics. (shrink)

The independence problems for functionalism stem from the worry that if functional properties are defined in terms of their causes and effects then such functional properties seem to be too intimately connected to these purported causes and effects. I distinguish three different ways the independence problems can be filled out – in terms of necessary connections, analytic connections and vacuous explanations. I argue that none of these present serious problems. Instead, they bring out some important and over-looked features of functionalism.

In ‘Quiddistic Knowledge’ (Schaffer in Philos Stud 123:1–32, 2005), Jonathan Schaffer argued influentially against the view that the laws of nature are metaphysically necessary. In this reply I aim to show how a coherent and well-motivated form of necessitarianism can withstand his critique. Modal necessitarianism—the view that the actual laws are the laws of all possible worlds—can do justice to some intuitive motivations for necessitarianism, and it has the resources to respond to all of Schaffer’s objections. It also has certain (...) advantages over contingentism in the domain of modal epistemology. I conclude that necessitarianism about laws remains a live option. (shrink)

What is our epistemic access to metaphysical modality? Timothy Williamson suggests that the epistemology of counterfactuals will provide the answer. This paper challenges Williamson's account and argues that certain elements of the epistemology of counterfactuals that he discusses, namely so called background knowledge and constitutive facts, are already saturated with modal content which his account fails to explain. Williamson's account will first be outlined and the role of background knowledge and constitutive facts analysed. Their key role is to restrict our (...) imagination to rule out irrelevant counterfactual suppositions. However, background knowledge turns out to be problematic in cases where we are dealing with metaphysically possible counterfactual suppositions that violate the actual laws of physics. As we will see, unless Williamson assumes that background knowledge corresponds with the actual, true laws of physics and that these laws are metaphysically necessary, it will be difficult to address this problem. Furthermore, Williamson's account fails to accommodate the distinction between conceivable yet metaphysically impossible scenarios, and conceivable and metaphysically possible scenarios. This is because background knowledge and constitutive facts are based strictly on our knowledge of the actual world. Williamson does attempt to address this concern with regard to metaphysical necessities – as they hold across all possible worlds – but we will see that even in this case the explanation is questionable. These problems, it will be suggested, cannot be addressed in a counterfactual account of the epistemology of modality. The paper finishes with an analysis of Williamson's possible rejoinders and some discussion about the prospects of an alternative account of modal epistemology. (shrink)

‘Water is H2O’ is one of the most frequently cited sentences in analytic philosophy, thanks to the seminal work of Saul Kripke and Hilary Putnam in the 1970s on the semantics of natural kind terms. Both of these philosophers owe an intellectual debt to the empiricist metaphysics of John Locke's Essay Concerning Human Understanding, while disagreeing profoundly with Locke about the reality of natural kinds. Locke employs an intriguing example involving water to support his view that kinds (or ‘species’), such (...) as water and gold, are the workmanship of the human mind. This is the point of his story about a winter visitor to England from Jamaica, who is astonished to find that the water in his basin has turned solid overnight, and proceeds to call it ‘hardened water’. Locke criticizes this judgement, maintaining that it is more consonant with common sense to regard water and ice as different kinds of substance. Putnam, by implication, disagrees. Deploying his imaginary example of Twin Earth—a distant planet where a watery-looking substance, XYZ, rather than H2O, fills the oceans and rivers—he maintains that common sense supports the judgement that XYZ and H2O, despite their superficial similarity, are not the same kind of substance, precisely because their molecular compositions are different. Here it will be argued that both views are mistaken, but that, in this dispute, Locke has more right on his side than his modern opponents do. (shrink)

Carl Gillett has defended what he calls the “dimensioned” view of the realization relation, which he contrasts with the traditional “flat” view of realization (2003, 2007; see also Gillett 2002). Intuitively, the dimensioned approach characterizes realization in terms of composition whereas the flat approach views realization in terms of occupiers of functional roles. Elsewhere we have argued that the general view of realization and multiple realization that Gillett advances is not able to discharge the theoretical duties of those relations (Shapiro (...) 2004, unpublished manuscript; Polger 2004, 2007, forthcoming). Here we focus on an internal objection to Gillett’s account and then raise some broader reasons to reject it. (shrink)

Cosmological arguments from contingency attempt to show that there is a necessarily existing god‐like being on the basis of the fact that any concrete things exist at all. Such arguments are built out of the following components: (i) a causal principle that applies to non‐necessary entities of a certain category; (ii) a reason to think that if the causal principle is true, then there would have to be a necessarily existing concrete thing; (iii) a reason to think that the necessarily (...) existing thing would be god‐like. In this essay, I discuss various ways of developing each of these components to produce an argument from contingency, and I point out classic objections and replies along the way. I also make note of some of the most recent developments in arguments from contingency and point out avenues for future research. (shrink)

I give two arguments for the claim that all events which occur at the actual world and are such that they could be caused, are also such that they must actually be caused. The first argument is an improvement of a similar argument advanced by Alexander Pruss, which I show to be invalid. It uses Pruss’s Brouwer Analog for counterfactual logic, and, as a consequence, implies inconsistency with Lewis’s semantics for counterfactuals. While (I suggest) this consequence may not be objectionable, (...) the argument founders on the fact that Pruss’s Brouwer Analog has a clear counterexample. I thus turn to a second, “Lewisian” argument, which requires only an affirmation of one element of Lewis’s analysis of causation and one other, fairly weak possibility claim about the nature of wholly contingent events. The final section of the paper explains how both arguments escape objections from supposed indeterminacy in quantum physics. (shrink)

I consider the metaphysical consequences of the view that propositional attitudes have essential normative properties. I argue that realism should take a weak rather than a strong form. I argue that expressivism cannot get off the ground. And I argue that eliminativism is self-refuting.

In this paper, I argue against the claim recently defended by Josh Weisberg that a certain version of the self-representational approach to phenomenal consciousness cannot avoid a set of problems that have plagued higher-order approaches. These problems arise specifically for theories that allow for higher-order misrepresentation or—in the domain of self-representational theories—self-misrepresentation. In response to Weisberg, I articulate a self-representational theory of phenomenal consciousness according to which it is contingently impossible for self-representations tokened in the context of a conscious mental (...) state to misrepresent their objects. This contingent infallibility allows the theory to both acknowledge the (logical) possibility of self-misrepresentation and avoid the problems of self-misrepresentation. Expanding further on Weisberg’s work, I consider and reveal the shortcomings of three other self-representational models—put forward by Kreigel, Van Gulick, and Gennaro—in order to show that each indicates the need for this sort of infallibility. I then argue that contingent infallibility is in principle acceptable on naturalistic grounds only if we attribute (1) a neo-Fregean kind of directly referring, indexical content to self-representational mental states and (2) a certain ontological structure to the complex conscious mental states of which these indexical self-representations are a part. In these sections I draw on ideas from the work of Perry and Kaplan to articulate the context-dependent semantic structure of inner-representational states. (shrink)

The problem of masking is widely regarded as a grave threat to the conditional analysis of dispositions. Unlike the difficulty arising in connection with finkish situations, the problem does not involve the (dis)appearance of a disposition upon the arrival of its activating conditions. Consequently, some promising responses to the finkish cases, in particular David Lewis's reformed analysis, are ill-equipped to deal with masks. I contend that the difficulty posed by masks can be surmounted by supplementing the counterfactual at the heart (...) of the conditional analysis with a ceteris paribus clause. In spelling out this idea, I first examine the issue of provisos in nomic statements. Then I show how the employment of the ceteris paribus clause escapes the objections that are often raised against it, including the charge that the clause cannot informatively capture all the possible masks of a disposition. (shrink)

Recent criticisms of non-reductive accounts of color assume that the only arguments for such accounts are a priori arguments. I put forward a posteriori arguments for a non-reductive account of colors which avoids those criticisms.

Possible worlds, concrete or abstract as you like, are irrelevant to the truthmakers for modality—or so I shall argue in this paper. First, I present the neo-Humean picture of modality, and explain why those who accept it deny a common sense view of modality. Second, I present what I take to be the most pressing objection to the neo-Humean account, one that, I argue, applies equally well to any theory that grounds modality in possible worlds. Third, I present an alternative, (...) properties-based theory of modality and explore several specific ways to flesh the general proposal out, including my favored version, the powers theory. And, fourth, I offer a powers semantics for counterfactuals that each version of the properties-based theory of modality can accept, mutatis mutandis. Together with a definition of possibility and necessity in terms of counterfactuals, the powers semantics of counterfactuals generates a semantics for modality that appeals to causal powers and not possible worlds. (shrink)

Worries about mental causation are prominent in contemporary discussions of the mind and human agency. Originally, the problem of mental causation was that of understanding how a mental substance (thought to be immaterial) could interact with a material substance, a body. Most philosophers nowadays repudiate immaterial minds, but the problem of mental causation has not gone away. Instead, focus has shifted to mental properties. How could mental properties be causally relevant to bodily behavior? How could something mental qua mental cause (...) what it does? After looking at the traditional Problem of Interaction, we survey various versions of the property-based problem and look at proposed solutions to them. (shrink)

The causal theory of properties is standardly combined with a realist's ontology of universals or tropes. In this paper, I consider an uncharted alternative – a nominalist causal theory of properties. I discuss advantages and disadvantages of the resulting theory of properties, and explore the Rylean understanding of causal powers that emerges.

Humeans and non-Humeans reasonably agree that there may be necessary connections between entities that are identical or merely partly distinct—between, e.g., sets and their individual members, fusions and their individual parts, instances of determinates and determinables, members of certain natural kinds and certain of their intrinsic properties, and (especially among physicalists) certain physical and mental states. Humeans maintain, however, that as per “Hume’s Dictum”, there are no necessary connections between entities that are wholly distinct;1 and in particular, no necessary causal (...) connections between such entities (even when the background conditions requisite for causation are in place). The Humean’s differential treatment appears principled, in reflecting that commonly accepted necessary connections involve constitutional relations, whereas wholly distinct entities (notably, causes and effects) do not constitute each other. I’ll argue, however, that the appearance of principle is not genuine, as per the following conditional: Constitutional→Causal: If one accepts certain constitutional necessities, one should accept certain causal necessities. This result provides needed leverage in assessing the two main frameworks in the metaphysics of science, treating natural kinds, causes, laws of nature, and the like. These frameworks differ primarily on whether Hume’s Dictum is taken as a working constraint on theorizing; and it has proved difficult for either side to criticize the other without presupposing their preferred stance on the dictum, hence talking past one another. The arguments for Constitutional→Causal are based, however, in general and independent considerations about what facts in the world might plausibly warrant our beliefs in certain constitutional necessities involving broadly scientific entities. The Humean can respond to these arguments, which reveal a deep tension in their view, at attendant costs of implausibilty and adhocery. The non-Humean framework doesn’t face any such tension between constitutional and causal necessities, however, and so in this respect comes out ahead. (shrink)

After reviewing several failed arguments that laws cannot change, I use the laws' special relation to counterfactuals to show how temporary laws would have to differ from eternal but time-dependent laws. Then I argue that temporary laws are impossible and that neither Lewis's nor Armstrong's analyses of law nicely accounts for the laws' immutability. *Received September 2006; revised September 2007. ‡Many thanks to John Roberts and John Carroll for valuable comments on earlier drafts, as well as to several anonymous referees (...) for their good suggestions. †To contact the author, please write to: Department of Philosophy, University of North Carolina, CB #3125, Caldwell Hall, Chapel Hill, NC 27599-3125; e-mail: [email protected]. (shrink)

Perhaps the most significant contemporary theory of lawhood is the Best System (/MRL) view on which laws are true generalizations that best systematize knowledge. Our question in this paper will be how best to formulate a theory of this kind. We’ll argue that an acceptable MRL should (i) avoid inter-system comparisons of simplicity, strength, and balance, (ii) make lawhood epistemically accessible, and (iii) allow for laws in the special sciences. Attention to these problems will bring into focus a useful menu (...) of novel MRL theories, some of which solve problems the original MRL theory could not. Hence we conceive of the paper as moving toward a better Best System theory of laws. (shrink)

I put forward several desiderata that a philosophical theory of causality should satisfy: it should account for the objectivity of causality, it should underpin formalisms for causal reasoning, it should admit a viable epistemology, it should be able to cope with the great variety of causal claims that are made, and it should be ontologically parsimonious. I argue that Nancy Cartwright’s dispositional account of causality goes part way towards meeting these criteria but is lacking in important respects. I go on (...) to argue that my epistemic account, which ties causal relationships to an agent’s knowledge and ignorance, performs well in the light of the desiderata. Such an account, I claim, is all we require from a theory of causality. (shrink)

forthcoming in Philosophy and Phenomenological Research.

This paper begins by considering Dummett's justificationist treatment of statements about the past in his book Truth and the Past (2004). Contrary to Dummett's position, there is no way of applying the intuitionistic distinction in the arithmetical case between direct and indirect methods of establishing a content to the case of past-tense statements. Attempts to do so either give the wrong truth conditions, or rely on notions not available to a justificationist position. A better, realistic treatment makes ineliminable use of (...) identity of state in its positive account of understanding of the past tense; this account can also be applied to other subject matters besides the past. A theory is developed of how realists should conceive of the relation between meaning and evidence. Points from this discussion are used in criticism of Wright's minimalist conception of truth. Three grades of possible involvement of truth and reference in a substantive theory of intentional content are distinguished, and reasons are given for thinking that a range of contents involve the highest degree of involvement of reference and truth in their substantive individuation. (shrink)

Much discussion of meaning by philosophers over the last 300 years has been predicated on a Cartesian first-person authority (i.e. “infallibilism”) with respect to what one’s terms mean. However this has problems making sense of the way the meanings of scientific terms develop, an increase in scientific knowledge over and above scientists’ ability to quantify over new entities. Although a recent conspicuous embrace of rigid designation has broken up traditional meaning-infallibilism to some extent, this new dimension to the meaning of (...) terms such as “water” is yet to receive a principled epistemological undergirding (beyond the deliverances of “intuition” with respect to certain somewhat unusual possible worlds). Charles Peirce’s distinctive, naturalistic philosophy of language is mined to provide a more thoroughly fallibilist, and thus more realist, approach to meaning, with the requisite epistemology. Both his pragmatism and his triadic account of representation, it is argued, produce an original approach to meaning, analysing it in processual rather than objectual terms, and opening a distinction between “meaning for us”, the meaning a term has at any given time for any given community and “meaning simpliciter”. the way use of a given term develops over time (often due to a posteriori input from the world which is unable to be anticipated in advance). This account provocatively undermines a certain distinction between “semantics” and “ontology” which is often taken for granted in discussions of realism. (shrink)

The counterintuitive implications of law necessitarianism pose a far more serious threat than its proponents recognize. Law necessitarians are committed to scientific essentialism, the thesis that there are metaphysically necessary truths which can be known only a posteriori. The most frequently cited arguments for this position rely on modal intuitions. Rejection of intuition thus threatens to undermine it. I consider ways in which law necessitarians might try to defend scientific essentialism without invoking intuition. I then consider ways in which law (...) necessitarians who accept the general reliability of intuition might try to explain away the intuitions which conflict with their theory. (shrink)

Hume's Dictum (HD) says, roughly and typically, that there are no metaphysically necessary connections between distinct, intrinsically typed, entities. HD plays an influential role in metaphysical debate, both in constructing theories and in assessing them. One should ask of such an influential thesis: why believe it? Proponents do not accept Hume's arguments for his dictum, nor do they provide their own; however, some have suggested either that HD is analytic or that it is synthetic a priori (that is: motivated by (...) intuitions we have no good reason to question). Here I explore whether belief in HD is directly justified on either grounds. I motivate and present more formal characterizations of HD; I show that there are good prima facie cases to be made for HD's being analytic and for its being synthetic a priori; I argue that each of the prima facie cases fails, some things considered. I close by offering two suggestions for how belief in HD might be indirectly justified on argumentative grounds. (shrink)

Attempts to capture the distinction between categorical and dispositional states in terms of more primitive modal notions – subjunctive conditionals, causal roles, or combinatorial principles – are bound to fail. Such failure is ensured by a deep symmetry in the ways dispositional and categorical states alike carry modal import. But the categorical/dispositional distinction should not be abandoned; it underpins important metaphysical disputes. Rather, it should be taken as a primitive, after which the doomed attempts at reductive explanation can be transformed (...) into circular but interesting accounts. (shrink)

'Ontological dependence' is a term of philosophical jargon which stands for a rich family of properties and relations, often taken to be among the most fundamental ontological properties and relations. Notions of ontological dependence are usually thought of as 'carving reality at its ontological joints', and as marking certain forms of ontological 'non-self-sufficiency'. The use of notions of dependence goes back as far as Aristotle's characterization of substances, and these notions are still widely used to characterize other concepts and to (...) formulate metaphysical claims. This paper first gives an overview of the varieties of these notions, and then discusses some of their main applications. (shrink)

Note: this is the first published presentation and defense of the 'proper subset strategy' for making sense of non-reductive physicalism or the associated notion of realization; this is sometimes, inaccurately, called "Shoemaker's subset strategy"; if people could either call it the 'subset strategy' or better yet, add my name to the mix I would appreciate it. Horgan claims that physicalism requires "superdupervenience" -- supervenience plus robust ontological explanation of the supervenient in terms of the base properties. I argue that Horgan's (...) account fails to rule out physically unacceptable emergence. I rather suggest that this and other unacceptable possibilities may be ruled out by requiring that each individual causal power in the set associated with a given supervenient property be numerically identical with a causal power in the set associated with its base property. I go on to show that a wide variety of physicalist accounts, both reductive and non-reductive, are implicitly or explicitly designed to meet this condition, and so are more similar than they seem. In particular, non-reductive physicalism accounts typically appeal to a relation plausibly ensuring that the powers of a higher-level property are a proper subset of those of its physical base property. (shrink)

The physicalist thesis that all entities are nothing over and above physical entities is often interpreted as appealing to a supervenience-based account of "nothing over and aboveness”, where, schematically, the A-entities are nothing over and above the B-entities if the A-entities supervene on the B-entities. The main approaches to filling in this schema correspond to different ways of characterizing the modal strength, the supervenience base, or the supervenience connection at issue. I consider each approach in turn, and argue that the (...) resulting formulation of physicalism is compatible with physicalism’s best traditional rival: a naturalist emergentism. Others have argued that supervenience-based formulations of physicalism fail. My aim here, besides addressing the full spectrum of supervenience-based approaches, is to show how certain philosophical and scientific theses concerning naturalism, properties, and laws give us new reasons to think that supervenience-based formulations of physicalism are untenable. (shrink)

The recent literature on mental causation has not been kind to nonreductive, materialist functionalism (‘functionalism’, hereafter, except where that term is otherwise qualified). The exclusion problem2 has done much of the damage, but the epiphenomenalist threat has taken other forms. Functionalism also faces what I will call the ‘problem of metaphysically necessary effects’ (Block, 1990, pp. 157-60, Antony and Levine, 1997, pp. 91-92, Pereboom, 2002, p. 515, Millikan, 1999, p. 47, Jackson, 1998, pp. 660-61). Functionalist mental properties are individuated partly (...) by their relation to the very effects those properties’ instantiations are thought to cause. Consequently, functionalist causal generalizations would seem to have the following problematical structure: The state of being, among other things, a cause of e (under such-andsuch conditions) causes e (under those conditions).3 The connection asserted lacks the contingency one would expect of a causal generalization. Mental states of the kind in question are, by metaphysical necessity, causes of e; any state that does not cause e is thereby a different kind of state. Yet, a mental state’s being the sort of state it is must play some causal role if functionalism is to account for mental causation.4 In what follows, I first articulate more fully the problem of metaphysically necessary effects. I then criticize three functionalist attempts to solve the problem directly. Given the failure of functionalist efforts to meet the problem head-on, I consider less direct strategies: these involve formulating functionalism or its causal claims in such a way that they appear not to generate the problem of metaphysically necessary effects. I argue against these indirect solutions, in each case concluding either that the problem still arises or that avoiding it requires the adoption of an unorthodox form of functionalism (itself a surprising result). In the final.. (shrink)

By treating colours as sui generis intrinsic properties of objects we can maintain that (1) colours are causally responsible for colour experiences (and so agree with the physicalist) and (2) colours, along with the similarity and difference relations that colours bear to one another, are presented to us by casual observation (and so agree with the dispositionalist). The major obstacle for such a view is the causal overdetermination of colour experience. Borrowing and expanding on the works of Sydney Shoemaker and (...) Stephen Yablo, the paper offers a solution. (shrink)

This paper proposes a new line of attack on the conceivability argument for mind-body property dualism, based on the causal account of properties, according to which properties have their conditional powers essentially. It is argued that the epistemic possibility of physical but not phenomenal duplicates of actuality is identical to a metaphysical possibility, but irrelevant for establishing the falsity of physicalism. The proposed attack is in many ways inspired by a standard, broadly Kripkean approach to epistemic and metaphysical modality.

In this paper, I reevaluate Kripke’s arguments for the necessary a posteriori contra a Kantian pure modal rationalism according to which modal cognition is a priori. I argue that Kripke’s critique of Kant suggests an impure but nevertheless ambitious modal rationalism according to which the basis of modal cognition remains a priori. I then argue that Kripke’s critique of pure modal rationalism does not go deep enough. More specifically, I argue that certain conditional modal judgments, which Kripke regards as a (...) priori, are, in fact, a posteriori. An example is the conditional modal judgment that if gold is a metal, then it is necessary that gold is a metal (if gold exists). However, Chalmers has developed a general frontloading strategy for turning a posteriori conditionals into a priori ones. So, I consider whether the frontloading strategy may be applied in a development of a modest modal rationalist account of the necessary a posteriori. Although the frontloading strategy is attractive for the modal rationalist, I argue for a twofold conclusion. First, I conclude that a posteriori conditionals constitute a serious and unanswered challenge to modal rationalists. Second, I conclude that the frontloading strategy does not by itself provide a response to this challenge and that substantiating the strategy is problematic. (shrink)

In this paper I examine compatibilism and incompatibilism about whether the self can be both a subject and an object in the same awareness at the same time. While this is an old debate that many traditions of philosophy have contributed to, my point of departure is the work of A.C. Mukerji who worked on the possibility of self-awareness by articulating, what he called, the paradox of ego-centricity. I also consider Patañjali, Maurice Merleau-Ponty, and Arindam Chakrabarti on the debate over (...) compatibilism. First, I present Mukerji’s paradox, then I critically examine Patañjali and Merleau-Ponty’s arguments against incompatibilism. I move on to bring Mukerji’s paradox into contact with Chakrabarti’s arguments in favor of compatibilism. I critically examine Chakrabarti’s arguments in favor of compatibilism and against incompatibilism. While insightful and powerful, I argue that they can be resisted; and should be considered alongside Mukerji’s paradox. I close by offering an argument for compatibilism based on an analogy with particle-wave duality in quantum physics and the relation between conceivability and metaphysical modality. (shrink)

Are properties perfectly natural (or not) relative to worlds, or are they perfectly natural (or not) tout court? That is, could there be a property P that is instanti-ated at worlds w1 and w2, and is perfectly natural at w1 but not at w2? Here, we offer an original argument for the non-world-relativity of perfect naturalness. Along the way, we reply to a prima facie compelling argument for the contin-gency of perfect naturalness, based upon the connection between natural prop-erties and (...) laws of nature. (shrink)

Recent epistemology of modality has seen a growing trend towards metaphysics-first approaches. Contrastingly, this paper offers a more philosophically modest account of justifying modal claims, focusing on the practices of scientific modal inferences. Two ways of making such inferences are identified and analyzed: actualist-manipulationist modality and relative modality. In AM, what is observed to be or not to be the case in actuality or under manipulations, allows us to make modal inferences. AM-based inferences are fallible, but the same holds for (...) practically all empirical inquiry. In RM, modal inferences are evaluated relative to what is kept fixed in a system, like a theory or a model. RM-based inferences are more certain but framework-dependent. While elements from both AM and RM can be found in some existing accounts of modality, it is worth highlighting them in their own right and isolating their features for closer scrutiny. This helps to establish their relevant epistemologies that are free from some strong philosophical assumptions often attached to them in the literature. We close by showing how combining these two routes amounts to a view that accounts for a rich variety of modal inferences in science. (shrink)