Consider the kinds of macroscopic concrete objects that common sense and the sciences allege to exist: tables, raindrops, tectonic plates, galaxies, and the rest. Are there any such things? Opinions differ. Ontological liberals say they do; ontological radicals say they don't. Liberalism seems favored by its plausible acquiescence to the dictates of common sense abetted by science; radicalism by its ontological parsimony. Priority theorists claim we can have the virtues of both views. They hold that tables, raindrops, etc., exist, but (...) they aren't fundamental. The ontological liberal's ontology provides the correct inventory of existent individuals. The ontological radical's more restricted ontology provides the correct inventory of fundamental individuals. The priority theorist claims that the derivative individuals are "no addition in being" to the fundamental ones, so we can have our cake and eat it too. It would be nice if priority theorists were right. In this paper I argue, with regret, that they are not. One upshot is that the sort of explanations which underwrite the priority theorist's distinction between fundamental and derivative individuals do not mitigate our ontological commitments. Another is that we still have to choose between the charms of liberalism and radicalism. (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)

A lot of people believe that distinct objects can occupy precisely the same place for the entire time during which they exist. Such people have to provide an answer to the 'grounding problem' – they have to explain how such things, alike in so many ways, nonetheless manage to fall under different sortals, or have different modal properties. I argue in detail that they cannot say that there is anything in virtue of which spatio-temporally coincident things have those properties. However, (...) I also argue that this may not be as bad as it looks, and that there is a way to make sense of the claim that such properties are primitive. (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.

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)

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)

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)

'Epistemic' theories of vagueness notoriously claim that (despite the appearances to the contrary) all of our vague terms have sharp boundaries, it's just that we can't know what they are. Epistemic theories are typically criticized for failing to explain (1) the source of the ignorance postulated, and (2) how our terms could come to have such precise boundaries. Both of these objections will, however, be shown to rest on certain 'presentist' assumptions about the relation between use and meaning, and if (...) allows that the meaning constitutive elements of our linguistic practices can extend into the future, the possibility of a new sort of 'normative epistemicism' emerges. (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)

This chapter considers potential applications of grounding to the formulation of physicalism. I begin with an overview of competing conceptions of the physical and of physicalism. I then consider whether grounding physicalism overcomes well-known and seemingly fatal problems with supervenience physicalism. I conclude that while grounding physicalism improves upon supervenience physicalism in certain respects, it arguably falls victim to some of the same difficulties.

Qualia inversion thought experiments are ubiquitous in contemporary philosophy of mind. The most popular kind is one or another variant of Locke's hypothetical case of.

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)