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)

Among philosophers of mind, it is common to assume that at least some mental properties are functional in nature, and that functional properties are second-order properties. In the functionalist literature, the notion of being a second-order property is cashed out in three different ways: (i) in terms of semantic features of characterizations or definitions of properties, (ii) in terms of syntactic features of second-order quantification, and (iii) in terms of a metaphysical criterion, according to which properties are second order if (...) they are properties of first-order properties. It is shown that in the context of functionalism reference to these interpretations is misguided, and it is suggested that the notion of an ordering of properties in this context is best understood as being tied to dependence-relations. (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)

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)

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)

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)

Perhaps all concrete phenomena obtain solely in virtue of physical phenomena. Even so, it seems that the world could have been otherwise. It seems that physicalism, if true, is contingently true. In fact, many believe that the actual truth of physicalism allows metaphysically possible worlds duplicating the actual world in all physical respects while containing immaterial extras, e.g. ghosts, spirits, or Cartesian souls, that no physicalist would believe actually exist. Here I focus on physicalism regarding mentality and argue that the (...) doctrine does not allow possible worlds that physically duplicate the actual world while differing mentally. By revealing what physicalism (regarding the mind) does not allow, this essay helps us get clear on what the view really amounts to and why it is contingent. (shrink)

Are colors relational or non-relational properties of their bearers? Is red a property that is instantiated by all and only the objects with a certain intrinsic (/non-relational) nature? Or does an object with a particular intrinsic (/non-relational) nature count as red only in virtue of standing in certain relations - for example, only when it looks a certain way to a certain perceiver, or only in certain circumstances of observation? In this paper I shall argue for the view that color (...) properties are relational (henceforth, relationalism), and against the view that colors are not relational (henceforth, anti- or non-relationalism). (shrink)

In this note, I will discuss one issue concerning the main argument of Mind in a Physical World (Kim, 1998), the Causal Exclusion Argument. The issue is whether it is a consequence of the Causal Exclusion Argument that all macro level causation (that is, causation above the level of fundamental physics) is an illusion, with all of the apparent causal powers of mental and other macro properties draining into the bottom level of physics. I will argue that such a consequence (...) would give us reason to reject the Causal Exclusion Argument. But there is also a stronger challenge, the charge that, if there is no bottom level of physics, the Causal Exclusion Argument has the consequence that “causal powers would drain away into a bottomless pit and there wouldn’t be any causation anywhere.” (81--page numbers that are not attributed to other works are to Kim, 1998). (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.

Another paper exploring the relation between Temporal externalism and Epistemicism about Vagueness, but with slightly more emphasis on the role of constitutive norms relating to our concept of truth.

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)

Can different material objects have the same parts at all times at which they exist? This paper defends the possibility of such coincidence against the main argument to the contrary, the ‘Indiscernibility Argument’. According to this argument, the modal supervenes on the nonmodal, since, after all, the non-modal is what grounds the modal; hence, it would be utterly mysterious if two objects sharing all parts had different essential properties. The weakness of the argument becomes apparent once we understand how the (...) modal is grounded in the nonmodal. By extending the ideas of combinatorialism so that we recombine haecceities as well as fundamental properties, we see how modal properties can be grounded in non-modal properties in a way that allows coincidence and yet also explains why there are differences in the modal properties of coinciding objects. Despite this, some de re modal facts are not grounded in the non-modal but instead are brute. However, although we cannot explain why a particular object has the basic modal properties it has, we can explain a closely related, semantic fact and, comparing the facts we can’t explain to more familiar brute facts, we understand why there should be no better explanation. As a result, we can see how coincidence is, after all, possible. (shrink)