Physicalism is the thesis that everything is physical, or as contemporary philosophers sometimes put it, that everything supervenes on, or is necessitated by, the physical. The thesis is usually intended as a metaphysical thesis, parallel to the thesis attributed to the ancient Greek philosopher Thales, that everything is water, or the idealism of the 18th Century philosopher Berkeley, that everything is mental. The general idea is that the nature of the actual world (i.e. the universe and everything in it) conforms (...) to a certain condition, the condition of being physical. Of course, physicalists don't deny that the world might contain many items that at first glance don't seem physical — items of a biological, or psychological, or moral, or social nature. But they insist nevertheless that at the end of the day such items are either physical or supervene on the physical. (shrink)

What does it mean that certain properties globally supervene on others? The paper criticises the now standard way of spelling out the notion in terms of 1–1 correlations between world-domains and proposes a modification that escapes the difficulties. The new definition can secure the additional benefit of resisting an argument to the effect that global supervenience is theoretically dispensable.

The thesis that mental properties are dependent, or supervenient, on physical properties, but this dependence is not lawlike, has been influential in contemporary philosophy of mind. It is put forward explicitly in Donald Davidson's seminal ‘Mental Events.’ On the one hand, Davidson claims that the mental is anomalous, that ‘there are no strict deterministic laws on the basis of which mental events can be predicted and explained’ (1970, 208), and, in particular, that there are no strict psychophysical laws. On the (...) other hand, he insists that the mental supervenes on the physical; that ‘mental characteristics are in some sense dependent, or supervenient, on physical characteristics’ (1970, 214). (shrink)

The thesis that mental properties are dependent, or supervenient, on physical properties, but this dependence is not lawlike, has been influential in contemporary philosophy of mind. It is put forward explicitly in Donald Davidson's seminal ‘Mental Events.’ On the one hand, Davidson claims that the mental is anomalous, that ‘there are no strict deterministic laws on the basis of which mental events can be predicted and explained’, and, in particular, that there are no strict psychophysical laws. On the other hand, (...) he insists that the mental supervenes on the physical; that ‘mental characteristics are in some sense dependent, or supervenient, on physical characteristics’. (shrink)

It is widely accepted that supervenience is a minimal commitment of physicalism. In this article, however, I aim to argue that physicalism should be exempted from the supervenience requirement. My arguments rely on a parallel between ontological dependence and causal dependence. Since causal dependence does not require causal determination, ontological dependence should not require ontological determination either. Moreover, my approach has a significant theoretical advantage: if physicalism is not committed to supervenience, then the metaphysical possibility of zombies—which is still wide (...) open after all these years—would pose no challenge to physicalism. (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)

Priority monism is the view that the cosmos is the only independent concrete object. The paper argues that, pace its proponents, Priority monism is in conflict with the dependence of any whole on any of its parts: if the cosmos does not depend on its parts, neither does any smaller composite.

An intrinsic property, as David Lewis puts it, is a property "which things have in virtue of the way they themselves are", as opposed to an extrinsic property, which things have "in virtue of their relations or lack of relations to other things".1 Having long hair is an intrinsic property; having a long-haired brother is not. Intuitive as this notion is (and valuable in doing philosophy, I might add), it seems to resist analysis. Analysis, that is, to “quasi-logical” notions such (...) as necessity, spatiotemporal location: using stronger tools, Lewis has given an analysis of intrinsicality that I take to be roughly correct. Lewis initially described intrinsic properties in his 1983 paper "Extrinsic Properties" as follows. (shrink)

The existence and importance of supervenience principles for identity across times and worlds have been noted, but insufficient attention has been paid to their precise nature. Such attention is repaid with philosophical dividends. The issues in the formulation of the supervenience principles are two. The first involves the relevant variety of supervenience: that variety is global, but there are in fact two versions of global supervenience that must be distinguished. The second involves the subject matter: the names “identity over time” (...) and “identity across worlds” are misnomers, for in neither case is identity at issue. The philosophical dividends then follow. Nathan Salmon’s argument that identity over time needs no “grounds” in matters of qualitative fact can be answered, as can an argument offered by many, that coincident objects would require objectionably ungrounded differences in identities across times and worlds. (shrink)

This paper is an investigation into the nature of physicalism as well as to the possibility of formulating physicalism as a supervenience thesis. First, I review the motivation for finding a supervenience thesis that characterizes physicalism. Second, I briefly survey the types of supervenience theses that have been proposed as necessary (or, in some cases, as necessary and sufficient) for physicalism. Third, I analyze the recent supervenience thesis proposed by Frank Jackson and expounded upon by Gene Witmer. Jackson claims the (...) supervenience thesis is both necessary and sufficient for physicalism; Witmer has proposed a different interpretation of one of the Jackson’s key notions and has suggested an amended supervenience thesis that is, if not sufficient, at least necessary for physicalism. However, I will argue that neither Jackson’s nor Witmer’s supervenience theses as stated are necessary for physicalism. (shrink)

It is generally assumed that everything that can be said about dependence with the notion of strong global supervenience can also be said with the notion of strong supervenience. It is argued here, however, that strong global supervenience has a metaphysically distinctive role to play. It is shown that when the relevant sets include relations , strong global supervenience and strong supervenience are distinct. It is then concluded that there are claims about dependence of relations that can be made with (...) the global notion of strong supervenience but not with the “local” (individual) one. (shrink)

Over the last 3 decades a vast literature has been dedicated to supervenience. Much of it has focused on the analysis of different concepts of supervenience and their philosophical consequences. This paper has two objectives. One is to provide a short, up-do-date, guide to the formal relations between the different concepts of supervenience. The other is to reassess the extent to which these concepts can establish metaphysical theses, especially about dependence. The conclusion is that strong global supervenience is the most (...) advantageous notion of supervenience that we have. (shrink)

When it comes to evaluating reductive hypotheses in metaphysics, supervenience arguments are the tools of the trade. Jaegwon Kim and Frank Jackson have argued, respectively, that strong and global supervenience are sufficient for reduction, and others have argued that supervenience theses stand in need of the kind of explanation that reductive hypotheses are particularly suited to provide. Simon Blackburn's arguments about what he claims are the specifically problematic features of the supervenience of the moral on the natural have also been (...) influential. But most discussions of these arguments have proceeded under the strong and restrictive assumptions of the S5 modal logic. In this paper we aim to remedy that defect, by illustrating in an accessible way what happens to these arguments under relaxed assumptions and why. The occasion is recent work by Ralph Wedgwood, who seeks to defend non-reductive accounts of moral and mental properties together with strong supervenience, but to evade both the arguments of Kim and Jackson and the explanatory challenge by accepting only the weaker, B, modal logic. In addition to drawing general lessons about what happens to supervenience arguments under relaxed assumptions, our goal is therefore to shed some light on both the virtues and costs of Wedgwood's proposal. (shrink)

Non-reductive physicalists have made a number of attempts to provide the relation of supervenience between levels of properties with enough bite to analyze interesting cases without at the same time losing the relation's acceptability for the physicalist. I criticize some of these proposals and suggest an alternative supplementation of the supervenience relation by imposing a requirement of robustness which is motivated by the notion of structural stability familiar from dynamical systems theory. Robust supervenience, I argue, captures what the non-reductive physicalist (...) wants from supervenience; most importantly, it provides a natural background for reconstructing the notion of (diachronic) property emergence in a way acceptable to physicalists. (shrink)

This paper sets out some new skeleton mathematically-couched models for dealing with supervenience in some, if not all, its many guises. Our models are based around a naïve invocation of a ‘topology’ induced on object sets by property sets. We have two aims: one is to provide an overview of supervenience with enough rigour and detail to act as a self-contained introduction to the subject; and the other is to set out our new approach—but without getting too bogged down in (...) excessive mathematical, or indeed philosophical, niceties—so that it can be used as a foundation for further work. Throughout we have scattered examples and comments to help clarify the points we make. The early sections use our topological approach to recast what appears elsewhere in the literature. And in the latter sections of the paper, we introduce some new ideas and techniques which help in exploring the general structures underpinning supervenience. (shrink)

Kim argues that weak and global supervenience are too weak to guarantee any sort of dependency. Of the three original forms of supervenience, strong, weak, and global, each commonly wielded across all branches of philosophy, two are thus cast aside as uninteresting or useless. His arguments, however, fail to appreciate the strength of weak and global supervenience. I investigate what weak and global supervenience relations are functionally and how they relate to strong supervenience. For a large class of properties, weak (...) and global supervenience are equivalent to strong supervenience. I then offer a series of arguments showing that it is precisely because of their strength, not their weakness, that both weak and global supervenience are useless in characterizing any dependencies of interest to philosophers. (shrink)

The relation of global supervenience is widely appealed to in philosophy. In slogan form, it is explained as follows: a class of properties A supervenes on a class of properties B if no two worlds differ in the distribution of A-properties without differing in the distribution of B-properties. It turns out, though, that there are several ways to cash out that slogan. Three different proposals have been discussed in the literature. In this paper, I argue that none of them is (...) adequate. Furthermore, I present a puzzle that reveals a tension in our concept of global supervenience. (shrink)

Supervenience is a topic-neutral, broadly logical relation between classes of properties or facts. In a slogan, A supervenes on B if and only if there cannot be an A-difference without a B-difference. The first part of this paper considers different ways in which that slogan has been cashed out. The second part discusses applications of concepts of supervenience, focussing on the question whether they may provide an explication of determination theses such as physicalism.

This paper raises an objection to two important arguments for reductive ethical naturalism. Reductive ethical naturalism is the view that ethical properties reduce to the properties countenanced by the natural and social sciences. The main arguments for reductionism in the literature hold that ethical properties reduce to natural properties by supervening on them, either because supervenience is alleged to guarantee identity via mutual entailment, or because non-reductive supervenience relations render the supervenient properties superfluous. After carefully characterizing naturalism and reductionism, we (...) will present, explain, and raise objections against each of the main reductionist arguments: that supervenience does not support the claim that ethical properties and their subvenient natural properties are mutually entailing; that reductive views undermine the claim that ethical properties yield resemblance; and that supervenience does not entail that non-descriptive ethical properties are superfluous in the most fundamental sense. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

The aim of this paper is to define a notion of supervenience which can adequately describe the systematic dependence of extrinsic as well as of intrinsic higher-level properties on base-level features. We argue that none of the standard notions of supervenience—the concepts of weak, strong and global supervenience—fulfil this function. The concept of regional supervenience, which is purported to improve on the standard conceptions, turns out to be problematic as well. As a new approach, we develop the notion of property-dependent (...) supervenience. This notion is founded on a criterion of relevance adapting the supervenience base to the considered higher-level properties in a specific way, such that only features which are relevant to the instantiation of the higher-level properties under consideration are taken into account. (shrink)

This paper is concerned with the notions of supervenience and mechanistic constitution as they have been discussed in the philosophy of neuroscience. Since both notions essentially involve specific dependence and determination relations among properties and sets of properties, the question arises whether the notions are systematically connected and how they connect to science. In a first step, some definitions of supervenience and mechanistic constitution are presented and tested for logical independence. Afterwards, certain assumptions fundamental to neuroscientific inquiry are made explicit (...) in order to show that the presented definitions of supervenience are virtually uninteresting for theory construction in this field. In a third step, a new formulation of supervenience is developed that makes explicit reference to the notion of constitution and that bridges the gap between the philosophical concepts and explanatory practice in neuroscience. (shrink)

The aim of this editorial introduction is twofold. First, Sects. 1–8 offer a critical introduction to the metaphysical character of physicalism. In those sections, I present and evaluate different ways in which proponents of physicalism have made explicit the metaphysical dependence that is said to hold between the non-physical and the physical. Some of these accounts are found to be problematic; others are shown to be somewhat more promising. In the end, some important lessons are drawn and different options for (...) physicalists are presented. Second, in Sect.9, the six papers that comprise the special issue are introduced and summarized. (shrink)

In this paper I develop a theory of the physical realization of higher-level properties. I argue that physical realization is in an important sense indirect, and that at each level causal relations are crucial to realizing next-level phenomena. My account makes it intelligible how higher-level properties can be realized by wide stretches of physical reality without the inter-level dependence becoming weak, or global; it also explains how both physicalism and non-reductivism can be true.

'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)

Priority monism is roughly the view that the universe is the only fundamental object, that is, a concrete object that does not depend on any other concrete object. Schaffer, the main advocate of PM, claims that PM is compatible with dependence having two different directions: from parts to wholes for subcosmic wholes, and from whole to parts for the cosmic whole. Recently it has been argued that this position is untenable. Given plausible assumptions about dependence, PM entails that dependence has (...) only one direction, it always goes from wholes to parts. One such plausible assumption is a principle of Isolation. I argue that, given all extant accounts of dependence on the market, PM entails No Isolation. The argument depends upon a particular feature of the dependence relation, namely, necessitation and its direction. In the light of this, I contend that the argument is important, insofar as it suggests that we should distinguish dependence from other cognate notions, e.g. grounding. Once this distinction is made, I suggest we should also distinguish between two different notions of fundamentality that might turn out to be not-coextensive. (shrink)

This is one of two papers about emergence, reduction and supervenience. It expounds these notions and analyses the general relations between them. The companion paper analyses the situation in physics, especially limiting relations between physical theories. I shall take emergence as behaviour that is novel and robust relative to some comparison class. I shall take reduction as deduction using appropriate auxiliary definitions. And I shall take supervenience as a weakening of reduction, viz. to allow infinitely long definitions. The overall claim (...) of this paper will be that emergence is logically independent both of reduction and of supervenience. In particular, one can have emergence with reduction, as well as without it; and emergence without supervenience, as well as with it. Of the subsidiary claims, the four main ones are: : I defend the traditional Nagelian conception of reduction ; : I deny that the multiple realizability argument causes trouble for reductions, or ``reductionism'' ; : I stress the collapse of supervenience into deduction via Beth's theorem ; : I adapt some examples already in the literature to show supervenience without emergence and vice versa. (shrink)

Amidst the progress being made in the various (sub-)disciplines of the behavioural and brain sciences a somewhat neglected subject is the problem of how everything fits into one world and, derivatively, how the relation between different levels of discourse should be understood and to what extent different levels, domains, approaches, or disciplines are autonomous or dependent. In this paper I critically review the most recent proposals to specify the nature of interdiscourse relations, focusing on the concept of supervenience. Ideally supervenience (...) is a relation between different discourses which has all the advantages of reduction, but without its disadvantages. I apply the more abstract considerations to two concrete cases: schizophrenia and colour. Usually an interlevel or interdiscourse relation is seen as asymmetrical: the overlaying discourse depends on the underlying discourse (and not vice versa), where the out- or un-spoken assumption is that the ultimate underlying discourse is physical. Instead I argue that scientific categories referred to in interdiscourse relations are, ultimately, dependent on common sense categories and common sense normative criteria. It is the manifest categories and common sense ideas about what is reasonable and what is right that determine the relevant categorisations at the deeper, underlying levels. I suggest that the implications of this are not merely methodological or epistemological. (shrink)

Two versions of global supervenience have recently been distinguished from each other. I introduce a third version, which is more likely what people had in mind all along. However, I argue that one of the three versions is equivalent to strong supervenience in every sense that matters, and that neither of the other two versions counts as a genuine determination relation. I conclude that global supervenience has little metaphysically distinctive value.

Is it possible to show that a moral claim is mistaken without taking a moral stand with regard to it? A striking number of contemporary metaethicists suppose that it is. In this paper, I argue against a prominent line of support for this supposition. My goal is to cast suspicion on a general tendency to think that the epistemic standing of moral claims is something that can be assessed from outside the practices of making and critically evaluating moral judgements. I (...) do this by focusing on a widely accepted criterion of competence with regard to the use of moral concepts, the moral supervenience criterion (MSC). This criterion holds that someone who judges two acts or events to be morally different without thinking that he has to identify some non-particular non-moral difference between them simply doesn't understand what it is to make a moral judgement. I focus on a paradigmatic example of the sort of mistake in moral judgement that is supposed to support the MSC and argue that it provides no support whatsoever. I then offer my own alternative explanation of this sort of mistake in moral judgement. I conclude with a discussion of why advocates of the MSC are inclined to suppose that it is possible to assess the epistemic standing of a moral claim without oneself taking a moral stand with regard to it. (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)

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

The most widely accepted and well worked out approaches to the foundations of meaning take facts about the meanings of linguistic expressions at a time to be derivative from the propositional attitudes of speakers of the language at that time. This mentalist strategy takes two principal forms, one which traces meaning to belief, and one which analyzes it in terms of communicative intentions. I argue that either form of mentalism fails, and conclude by suggesting that we can do better by (...) focusing on connections between linguistic meaning and the contents of perceptions (rather than beliefs or intentions), and by (following Kripke's approach to reference) replacing questions about the nature of meaning with questions about the nature of term introduction and meaning transmission. (shrink)

“Emergence” – the notion of novel, unpredictable and irreducible properties developing out of complex organisational entities – is itself a complex, multi-dimensional concept. To date there is no single, generally agreed upon “theory of emergence”, but instead a number of different approaches and perspectives. Neither is there a common conceptual or meta-theoretical framework by which to systematically identify, exemplify and compare different “theories”. Building upon earlier work done by sociologist Kenneth Bailey, this article presents a method for creating such a (...) framework, and outlines the conditions for a collaborative effort in order to carry out such a task. A brief historical and theoretical background is given both to the concept of “emergence” and to the non-quantified modelling method General Morphological Analysis (GMA). (shrink)

We have two main aims: to construct mathematical models for analysing determinism, causality and supervenience; and then to use these to demonstrate the possibility of constructing an ontic construal of the operation of free will - one requiring both the presentation of genuine alternatives to an agent and their selecting between them in a manner that permits the attribution of responsibility. Determinism is modelled using trans-temporal ontic links between discrete juxtaposed universe states and shown to be distinct from predictability. Causality (...) is defined on a temporal sequence of δ-algebras and quantified using a measure. The measure leads to definitions of causal overdetermination and epiphenomena. Proofs are constructed to demonstrate deterministic universes must carry their properties essentially but not necessarily locally. We argue determinism and causality are separate doctrines. These models and results are marshalled to put the case that a counterfactual construal of ontic choice cannot work. In response we propose ‘immanence’ - a modified form of indeterminism whereby a universe can present choices to its denizens. We prove that beings subsumed within a universe cannot pilot their own actions. We then argue these beings can exercise free will only when selecting between choices inhering within immanent relata. A being is responsible for its selections if and only if it is constituted of a temporally evolving deterministic substructure. Our proposal is novel: it avoids injecting indeterminism into the decision process. Topological models for property supervenience are developed and used to reconstruct standard definitions from the literature. These are then used to demonstrate considerations of supervenience do not affect our arguments. We have demonstrated that a model of the exercise of free will involving both genuine choices and responsibility is possible but can only operate within a non-deterministic universe possessing specific traits. (shrink)

Qualia--the "what it's like features" of minds--pose a great challenge to a materialist view of the world. The two strongest and most popular objections to materialism based on qualia are the Zombie Argument and the Knowledge Argument. The current dissertation defends materialism against these two popular arguments. ;I argue that if zombie worlds exist, then qualia cause no physical events--they're epiphenomenal$\sb{\rm p},$ or epiphenomenal with respect to the physical domain of our world. I argue, however, that there is good reason (...) to reject the view that qualia are epiphenomenal$\sb{\rm p},$ and thus that there is good reason to deny the existence of zombie worlds. In turn, I argue that the Knowledge Argument likewise requires the existence of zombie worlds, and thus that the Knowledge Argument should likewise be rejected. (shrink)

Recently, several philosophers have argued that nonreductive physicalism is a false, unstable, and incoherent position. I argue that the position these critics are attacking is a straw one. To help explain why let us distinguish three issues about which nonreductive physicalists might plausibly be thought to have an opinion: ontological considerations about the types of things that exist at a world, issues involving the existence and nature of any dependency relationships between the types of things that exist at a world, (...) and epistemological questions regarding the best way to describe, explain, or characterize the types of things that exist at a world. I argue that reductive and nonreductive physicalists essentially agree with respect to the first two issues, but disagree with respect to the last issue. Nonreductive physicalists advocate a position that is ontologically or metaphysically reductive, but epistemologically or representationally nonreductive. Although this position could prove false on empirical grounds, it is neither unstable nor incoherent. (shrink)

Supervenience physicalism attempts to combine non-reductionism about properties with a physical determination thesis in such a way as to ensure physicalism. I argue that this attempt is unsuccessful: the specific supervenience relation in question is either strong enough to ensure reductionism, as in the case of strong supervenience, or too weak to yield physical determination, as in the case of global supervenience. The argument develops in three stages. First, I propose a distinction between two types of reductionism, definitional and scientific, (...) a distinction thanks to which we can reply to a standard objection against the ontological reductionism of strong supervenience. Second, I claim that because of "the problem of random distribution," global supervenience needs strengthening to be an adequate relation to capture our physicalistic intuitions; and I show, in accordance with Stalnaker's relevant proof, why a natural strengthening of global supervenience renders it equivalent to strong supervenience. Finally, I argue against Stalnaker about the possibility of a non-reductionist global supervenience. The upshot is that despite appearances, supervenience physicalism is a form of reductive physicalism. (shrink)

Weak and global supervenience are equivalent to strong supervenience for intrinsic properties. Moreover, weak and global supervenience relations are always mere parts of a more general underlying strong supervenience relation. Most appeals to global supervenience, though, involve spatio-temporally relational properties; but here too, global and strong supervenience are equivalent. _Functionally_ we can characterize merely weak and global supervenience as follows: for A to supervene on B requires that at all worlds an individual’s A properties be a function of its B (...) properties, where this function varies from world to world. But what are the. (shrink)

What is the relation between weak and strong supervenience? Kim claims that weak supervenience is weaker, that it fails to entail strong supervenience. But he mistakenly infers this in virtue of logical form. In fact, one line of reasoning suggests weak supervenience _does_ entail strong. Following this line, we see that weak and strong supervenience.