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)

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)

In §2-4, I survey three extant ways of making sense of indeterminate truth and find each of them wanting. All the later sections of the paper are concerned with showing that the most promising way of making sense of indeterminate truth is via either a theory of truthmaker gaps or via a theory of truthmaking gaps. The first intimations of a truthmaker–truthmaking gap theory of indeterminacy are to be found in Quine (1981). In §5, we see how Quine proposes to (...) solve Unger’s problem of the many via positing the possibility of groundless truth. In §6, I elaborate the truthmaker gap model of indeterminacy first sketched by Sorensen (2001, ch.11) and use it to give a reductive analysis of indeterminate truth. In §7, I briefly assess what kind of formal framework can best express the possibility of truthmaker gaps. In §8, I contrast what I dub ‘the ordinary conception of worldly indeterminacy’ with Williamson’s conception of worldly indeterminacy. In §9, I show how one can distinguish linguistic from worldly indeterminacy on a truthmaker gap conception. In §10, I briefly sketch the relationship between truthmaker gaps and ignorance. In §11, I assess whether a truthmaker gap conception of vagueness is really just a form of epistemicism. In §12, I propose that truthmaker gaps can yield a plausible model of (semantic) presupposition failure. In §13, in response to the worry that a truthmaker gap conception of indeterminacy is both parochial and controversial—since it commits us to an implausibly strong theory of truthmaking—I set forth a truthmaking gap conception of indeterminacy. In §14, I answer the worry that groundless truths, of whatever species, are just unacceptably queer. A key part of this answer is that a truthmaker–truthmaking gap model of indeterminacy turns out to be considerably less queer than any model of indeterminacy which gives up on Tarski’s T-schema for truth (and cognate schemas). (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 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)

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)

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)

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)

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)

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)

I proffer a success argument for classical logical consequence. I articulate in what sense that notion of consequence should be regarded as the privileged notion for metaphysical inquiry aimed at uncovering the fundamental nature of the world. Classical logic breeds necessitism. I use necessitism to produce problems for both ontological naturalism and atheism.

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)

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.