Property-identical divine-command theory (PDCT) is the view that being obligatory is identical to being commanded by God in just the way that being water is identical to being H2O. If these identity statements are true, then they express necessary a posteriori truths. PDCT has been defended in Robert M. Adams (1987) and William Alston (1990). More recently Mark C. Murphy (2002) has argued that property-identical divine-command theory is inconsistent with two well-known and well-received theses: the free-command thesis and the supervenience (...) thesis. I show that Murphy's argument is vitiated by mistaken assumptions about the substitutivity of metaphysical identicals in contexts of supervenience. The free-command thesis and the supervenience thesis therefore pose no serious threat to PDCT. (Published Online August 11 2004). (shrink)

The role of contingent contexts in formulating relations between properties of systems at different descriptive levels is addressed. Based on the distinction between necessary and sufficient conditions for interlevel relations, a compre- hensive classification of such relations is proposed, providing a transparent con- ceptual framework for discussing particular versions of reduction, emergence, and supervenience. One of these versions, contextual emergence, is demonstrated using two physical examples: molecular structure and chirality, and thermal equilibrium and temperature. The concept of stability is emphasized (...) as a basic guiding principle of contextual property emergence. (shrink)

This collection of essays, all especially written for this volume, explore the many facets of Armstrong's work, concentrating on his more recent interests.

This paper provides an account of the closure conditions that apply to sets of subvening and supervening properties, showing that the criterion that determines under which property-forming operations a particular family of properties is closed is applicable both to the finitary and to the infinitary case. In particular, it will be established that, contra Glanzberg, infinitary operations do not give rise to any additional difficulties beyond those that arise in the finitary case.

The claim that the having of aesthetic properties supervenes on the having of non-aesthetic properties has been widely discussed and, in various ways, defended. In this paper, I will show that even if it is sometimes true that a supervenience relation holds between aesthetic properties and the 'subvenient' non-aesthetic ones, it is not the interesting relation in the neighbourhood. As we shall see, a richer, asymmetric and irreflexive relation is required, and I shall defend the claim that the more-and-more-popular relation (...) of grounding does a much better job than supervenience. (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)

Some argue, following Bertrand Russell, that because general truths are not entailed by particular truths, general facts must be posited to exist in addition to particular facts. I argue on the contrary that because general truths (globally) supervene on particular truths, general facts are not needed in addition to particular facts; indeed, if one accepts the Humean denial of necessary connections between distinct existents, one can further conclude that there are no general facts. When entailment and supervenience do not coincide (...) it is only failure of supervenience, not failure of entailment, that carries ontological import. (shrink)

The introductory section discusses supervenience and the role it plays in formulating contemporary physicalism. The section concludes with the definition of local supervenience used by Kim in the causal-exclusion argument. The second section outlines an abstract model for the analysis of supervenience, associating total mental states with total states of the nervous system. It is argued that Kim’s formulation confuses two orders of necessity: a metaphysical necessity attaching to the supervenience of the total mental state, and a nomological necessity attaching (...) to the correlation of particular elements of the concurrent physical and mental states. A central idea is the degree of resolution of the description of the state of the nervous system. This serves as a metaphor for the idea of multiplelevels of physical description, and in the third section it is argued that any formulation of supervenience that was attached to a particular level of description would risk error if changes at a more fundamental level of the subvening base proved to be significant for supervenience. In the fourth section it is argued that the problem of levels of properties and description cannot be avoided by a retreat from local to global supervenience. Loewer’s notion of a duplicate world may help, but an alternative weaker formulation is proposed that does avoid the difficulty. (shrink)

We provide a formulation of physicalism, and show that this is to be favoured over alternative formulations. Much of the literature on physicalism assumes without argument that there is a fundamental level to reality, and we show that a consideration of the levels problem and its implications for physicalism tells in favour of the form of physicalism proposed here. Its hey elements are, fast, that the empirical and substantive part of physicalism amounts to a prediction that physics will not posit (...) new entities solely for the purpose of accounting for mental phenomena, nor new entities with essentially mental characteristics such as propositioned attitudes or intentions; secondly, that physicalism can safely make do with no more than a weak global formulation of supervenience. (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 (each shared with some other authors) are: (i): I defend the traditional Nagelian conception of reduction (Section 3}); (ii): I deny that the multiple realizability argument causes trouble for reductions, or ``reductionism'' (Section 4); (iii): I stress the collapse of supervenience into deduction via Beth's theorem (Section 5.1); (iv): I adapt some examples already in the literature to show supervenience without emergence and vice versa (Section 5.2). (shrink)

is the thesis that everything supervenes upon the spatiotemporal distribution of local intrinsic qualities. A recent threat to HS, originating in thought experiments by Armstrong and Kripke, claims that the mere possibility of rotating homogeneous discs proves HS false. I argue that the rotating disc argument (RDA) fails. If I am right, Humeans needn't abandon or alter HS to make sense of rotating homogeneous discs. Homogeneous discs, as necessarily understood by RDA, are not the sorts of things in which we (...) should believe. These discs do not belong in our ontology - not because there is a problem with their homogeneity, but (surprisingly) because there is a problem with their rotation. RDA is shown to be a kind of parody of classic arguments for spatial substantivalism. (shrink)

Supervenience was first used by Donald Davidson to describe the dependent and independent relationships between the mental and the physical. Jaegwon Kim presented a more precise definition, distinguishing between three types of supervenience: weak, strong and global. Kim further proved that strong and global supervenience are equivalent. However, three years later, Kim argued that strong supervenience is stronger than global supervenience, while weak supervenience and global supervenience are independent of each other. This paper demonstrates that Kim’s conclusion that weak supervenience (...) and global supervenience are independent of each other is wrong. The strength of strong, weak and global supervenience decreases in turn with the latter entailed by the former. This paper also corrects some defects in Kim’s argument and his formulation of strong and weak supervenience, and then further explores the relationship between the three types of supervenience and their philosophical significance. It also classifies other terms of supervenience such as layered supervenience, macro-micro supervenience, and mereological superveniece as relationships of the strong, weak and global. (shrink)

Michael Polanyi was perhaps the most important emergence theorist of the middle of the 20th century. As the key link between the British Emergentists of the 1920s and the explosion of emergence theory in the 1990s, he played a crucial role in resisting reductionist interpretations of science and keeping the concept of emergence alive. Polanyi’s position on emergence is described and its major strengths and weaknesses are analyzed. Using Polanyi as the foundation, the article surveys the major contemporary options in (...) thephilosophy of mind and defends a particular understanding of the relationship of mental properties to brain states. (shrink)

After distinguishing reductive explanability in principle from ontological deflation, I give a case of an obviously physical property that is reductively inexplicable in principle. I argue that biological systems often have this character, and that, if we make certain assumptions about the cohesion and dynamics of the mind and its physical substrate, then it is emergent according to Broad's criteria.

Reductionists about dispositions must either say the natural properties are all dispositional or individuate properties hyperintensionally. Lewis stands in as an example of the sort of combination I think is incoherent: properties individuated by modal profile + categoricalism.

This paper considers two aspects of Lewis's metaphysics to which spatiotemporal relations appear central, with the aim of showing them to be less so. First, Lewis reluctantly characterises what it is for two things to be part of the same possible world in terms of an analogically spatiotemporal category of relations, rather than a wider natural external category. But Lewis's reason for restricting himself to the narrower category is unpersuasive. Second, Humean supervenience is formulated with spatiotemporal relations (...) at its core. But that seems negotiable. A reason for caring about this is that quantum mechanics is supposed to threaten Lewis's metaphysics by introducing natural external relations that are not (even analogically) spatiotemporal, hence the interest in how central spatiotemporal relations really are. (shrink)

En el presente artículo, se examinan y discuten dos argumentos con consecuencias reduccionistas debidos a Jaegwon Kim y a Theodore Sider respectivamente. De acuerdo con el argumento de Kim, la superveniencia fuerte implicaría la coexistencia necesaria de propiedades (es decir, tal y como normalmente se interpreta, la reducción). De acuerdo con el de Sider, ocurriría lo mismo con la superveniencia global. Uno y otro hacen un uso esencial de sendas nociones de propiedad maximal, las cuales son discutidas aquí a la (...) luz de una interpretación natural e interesante de la teoría de las propiedades implícita en sus argumentos. Bajo esta nueva interpretación, en términos modelo-teóricos (véase apartado 4), obtenemos diversas posibilidades de relaciones formales entre las tesis de superveniencia y la reducción, según la lógica utilizada. Al menos bajo una interpretación interesante, los argumentos de Kim y Sider no son correctos, quedando demos-trado así que dichos argumentos no son válidos en general. We discuss and analyze two reductive arguments due to Jaegwon Kim and Theodore Sider respectively. According to the first one, strong supervenience would imply necessary coextension of properties (i.e., reduction). According to the second, this would be also the case of global supervenience. Kim and Sider make essential use of their respective notions of maximal properties, which we analyze here in the light of a natural and interesting interpretation of the underlying theory of properties. Under this interpretation, in terms of model theory (see § 4), we obtain different possibilities of formal relations between the superveniencie theses and reduction, depending on the logic we use. Under at least one interesting interpretation, the arguments of Kim and Sider are not correct and we become the conclusion that these arguments are not valid in general. (shrink)

In Platonism and Anti-Platonism in Mathematics, Mark Balaguer attempts to show that there is (1) one and only one defensible version of platonism, (2) one and only one defensible version of anti-platonism, and (3) no fact of the matter as to which is true. His arguments depend essentially on the notion of supervenience, yet he rejects metaphysical necessity. I argue that he cannot use logical, conceptual, or nomological necessity to explicate supervenience. Balaguer must either give up the arguments that make (...) use of supervenience or accept metaphysical necessity. I also consider and reject a possible response to my arguments. (shrink)

An important constraint on the nature of intrinsic value---the “Supervenience Principle” (SP)---holds that some object, event, or state of affairs ϕ is intrinsically valuable only if the value of ϕ supervenes entirely on ϕ 's intrinsic properties. In this paper, I argue that SP should be rejected. SP is inordinately restrictive. In particular, I argue that no SP-respecting conception of intrinsic value can accept the importance of psychological resonance, or the positive endorsement of persons, in explaining value.

In 1971, Simon Blackburn worked out an argument against moral realism appealing to the supervenience of the moral realm on the natural realm.1 He has since revised the argument, in part to take account of objections,2 but the basic structure remains intact. While commentators3 seem to agree that the argument is not successful, they have not agreed upon what goes wrong. I believe this is because no attempt has been made to see what happens when Blackburn's argument is addressed to (...) particular varieties of moral realism. As I see it, we must look to these various brands if we want to understand just where the concept of supervenience can be usefully employed. (shrink)

This is the first part of a two-part article in which we defend the thesis of Humean Supervenience about Laws of Nature (HS). According to this thesis, two possible worlds cannot differ on what is a law of nature unless they also differ on the Humean base. The Humean base is easy to characterize intuitively, but there is no consensus on how, precisely, it should be defined. Here in Part I, we present and motivate a characterization of the Humean base (...) that, we argue, enables HS to capture what is really stake in the debate, without taking on extraneous commitments. (shrink)

In Part I, we presented and motivated a new formulation of Humean Supervenience about Laws of Nature (HS). Here in Part II, we present an epistemological argument in defense of HS, thus formulated. Our contention is that one can combine a modest realism about laws of nature with a proper recognition of the importance of empirical testability in the epistemology of science only if one accepts HS.

In this article I put forth a new interpretation of historical materialism titled the supervenient interpretation . Drawing on the insights of analytical Marxism and utilizing the concept of supervenience, I advance two central claims. First, that Marx's synchronic materialism maintains that the superstructure supervenes naturally on the economic structure. Second, that diachronic materialism maintains that the relations of production supervene naturally on the forces of production. Taken together, these two theses help bring to the fore the central tenets of (...) historical materialism. Furthermore, they help resolve what I call the problem of reductionism and the problem of verification . Key Words: Marx • historical materialism • supervenience • synchronic materialism • diachronic materialism. (shrink)

Some recent work in the philosophy of quantum mechanics has suggested that quantum systems can be thought of as non-separable and therefore non-individual, in some sense, in Bell and E.P.R. type situations. This suggestion is set in the context of previous work regarding the individuality of quantal particles and it is argued that such entities can be considered as individuals if their non-classical statistical correlations are understood in terms of non-supervenient relations holding between them. We conclude that such relations (...) are strongly non-supervenient in Cleland's sense and note a possible connection between this idea and the realist quantum logic programme. (shrink)

Abstract Disagreement persists concerning whether aesthetic properties supervene on non-aesthetic properties. This issue is complicated by the fact that the notion of an aesthetic property is itself contentious. In this paper, I begin by identifying three conditions that arguably characterize a large number of aesthetic properties. After defending aesthetic supervenience against a number of objections, I argue that a strong version of the supervenience thesis applies to those properties that satisfy my initial conditions.

This volume presents a collection of new, specially written essays by a diverse group of philosophers, including Donald Davidson, Ted Honderich, and Philip Pettit, each of whom is widely known for defending a particular conception of minds and their place in nature.

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)

A purely metaphysical formulation of physicalism is surprisingly elusive. One popular slogan is, 'There is nothing over and above the physical'. Problems with this arise on two fronts. First, it is difficult to explain what makes a property 'physical' without appealing to the methodology of physics or to particular ways in which properties are known. This obviously introduces epistemic features into the core of a metaphysical issue. Second, it is difficult to cash out 'over-and-aboveness' in a way that is rigorous, (...) metaphysically pure and extensionally apt for the purposes of the debate. In this paper I will touch on the first problem, but I wish to focus on the second. In particular, I will focus on the claim that supervenience theses cannot define physicalism because they allow classical emergentist dualism through the physicalist door [Horgan 1993; Kim 1998; Wilson 2005]. I will argue that when the relevant supervenience thesis is metaphysical, emergentism is excluded. Against recent arguments to the contrary, I maintain that this is the case even given necessitarianism about natural laws [Wilson 2005]. I will argue that a necessitarian with emergentist sympathies will be forced either into a type of quasi-panpsychism, where our basic physical properties contain the illicit seeds of mentality at their core, or she will be forced to admit that emergence laws are not necessary after all. Either way, the combination of necessitarianism and emergentism does not provide a counterexample to supervenience physicalism. (shrink)

An analogy between functional dependencies and implicational formulas of sentential logic has been discussed in the literature. We feel that a somewhat different connexion between dependency theory and sentential logic is suggested by the similarity between Armstrong's axioms for functional dependencies and Tarski's defining conditions for consequence relations, and we pursue aspects of this other analogy here for their theoretical interest. The analogy suggests, for example, a different semantic interpretation of consequence relations: instead of thinking ofB as a consequence of (...) a set of formulas {A1,...,A n} whenB is true on every assignment of truth-values on which eachA i is true, we can think of this relation as obtaining when every pair of truth-value assignments which give the same truth-values toA 1, the same truth-values toA 2,..., and the same truth-values toA n, also make the same assignment in respect ofB. We describe the former as the consequence relation inference-determined by the class of truth-value assignments (valuations) under consideration, and the latter as the consequence relation supervenience-determined by that class of assignments. Some comparisons will be made between these two notions. (shrink)

I argue that supervenience is an inadequate device for representing relations between different levels of phenomena. I then provide six criteria that emergent phenomena seem to satisfy. Using examples drawn from macroscopic physics, I suggest that such emergent features may well be quite common in the physical realm.

David Lewis has proposed an analysis of lawhood in terms of membership of a system of regularities optimizing simplicity and strength in information content. This article studies his proposal against the broader background of the project of Humean supervenience. In particular, I claim that, in Lewis's account of lawhood, his intuition about small deviations from a given law in nearby worlds (in order to avoid backtracking and epiphenomena) leads to the conclusion that laws do not support (certain) counterfactuals and do (...) not bestow nomic necessity on (certain) facts induced by these laws. Support of counterfactuals and nomic necessity, however, are widely held to be important aspects of the concept of lawhood. In my view, therefore, it is not possible to abandon these criteria in any satisfactory analysis of the notion of laws of nature. In a final section, I suggest that the whole project of Humean supervenience is misleading. It does not sufficiently take notice of the important role that reasoning about contrary-to-fact situations plays in modern scientific practice. (shrink)

It is shown that Lewis’ ontological doctrine of Humean supervenience incorporates at its foundation the so-called separability principle of classical physics. In view of the systematic violation of the latter within quantum mechanics, the claim that contemporary physical science may posit non-supervenient relations beyond the spatiotemporal ones is reinforced on a foundational basis concerning constraints on the state representation of physical systems. Depending on the mode of assignment of states to quantum systems — unit state vectors versus statistical density operators (...) — we distinguish between strongly and weakly non-Humean, non-supervenient relations. It is demonstrated that in either case, the relations of quantum entanglement constitute prototypical examples of irreducible physical relations that do not supervene upon a spatiotemporal arrangement of Humean qualities, weakening, thereby, the thesis of Humean supervenience. In this respect, the status of Lewis’ recombination principle is examined, whereas his conception of lawhood is critically investigated. It is concluded that the assumption of ontological reductionism, as expressed in Lewis’ Humean doctrine, cannot be regarded as a reliable code of the nature of the physical world and its contents. It is proposed instead that due to the undeniable existence of non-supervenient relations, a metaphysic of relations of a moderate kind ought to be acknowledged as an indispensable part of our understanding of the natural world at a fundamental level. (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)

In this paper, we show that presentism?the view that the way things are is the way things presently are?is not undermined by the objection from being-supervenience. This objection claims, roughly, that presentism has trouble accounting for the truth-value of past-tense claims. Our demonstration amounts to the articulation and defence of a novel version of presentism. This is brute past presentism, according to which the truth-value of past-tense claims is determined by the past understood as a fundamental aspect of reality different (...) from things and how things are. (shrink)

It is often argued that if a mentalproperty supervenes on a physical property, then (1)the mental property M ``inherits'''' its causal efficacyfrom the physical property P and (2) the causalefficacy of M reduces to that of P. However, once weunderstand the supervenience thesis and the concept ofcausation probabilistically, it turns out that we caninfer the causal efficacy of M from that of P andvice versa if and only if a certain condition, whichI call the ``line-up'''' thesis, holds. I argue that (...) thesupervenience thesis entails neither this conditionnor its denial. I also argue that even when theline-up thesis holds true, reductionism about thecausal efficacy of the mental property doesn''tfollow. (shrink)

An explicit formal-ontological representation of entities existing at multiple levels of granularity is an urgent requirement for biomedical information processing. We discuss some fundamental principles which can form a basis for such a representation. We also comment on some of the implicit treatments of granularity in currently available ontologies and terminologies (GO, FMA, SNOMED CT).

This commentary argues that Ross & Spurrett (R&S) have not shown that supervenience is two-way, but they have shown that all the sciences, including physics, make use of functional and supervenient properties. The entrenched defender of Kim's position could insist that only fundamental physics describes causal relations directly, but Kim's microphysical reductionism becomes completely implausible when we consider contemporary physics.