Supervenience, General

This expository paper presents a general framework for representing levels and inter-level relations. The framework is intended to capture both epistemic and ontological notions of levels and to clarify the sense in which levels of explanation might or might not be related to a levelled ontology. The framework also allows us to study and compare different kinds of inter-level relations, especially supervenience and reduction but also grounding and mereological constitution. This, in turn, enables us to explore questions such as whether (...) supervenience implies explanatory reducibility and whether there can be irreducible higher-level explanations or even “emergent” higher-level properties. The paper finally discusses some further philosophical applications: to the free-will debate, the determinism-indeterminism distinction, indexicality and consciousness, and the relationship between positive and normative facts. (shrink)

In the first part of this article we will formulate postulates, which must be satisfied by a reasonable concept of emergence. The postulates will articulate conditions of adequacy for an appropriate explication of the concept of emergence. These conditions of adequacy are based primarily upon the philosophical and scientific history of the concept of emergence, in which the intended role of the concept is expressed. In the second part we will discuss and evaluate some candidates for the concept of emergence (...) in light of these conditions of adequacy. (shrink)

Most attempts at defining or elucidating ’weak’ or ’strong’ supervenience introduce various forms of _physical indiscernibility_. After glancing at some definitions, I argue that they must fail if mental events are supposed to be genuinely causally efficacious and non-epiphenomenal. Then I elucidate Davidson’s account of supervenience (’D-supervenience’), first as an abstract relation between a predicate and a set of predicates (to be illustrated by uncontroversial examples), and then as applied to the mental/physical relation. I argue that Davidson must defend that (...) if two events are physically indiscernible in the light of a complete physical theory of the world then they must be identical in the Leibnizian sense (‘L-identity’): physical indiscernibility collapses into L-identity. It follows that mental differences between two numerically different events logically entail physical differences between them. I conclude by demonstrating how the Davidsonian account of the concept can explain some counterexamples to Moore’s approach to supervenience of moral on natural properties. The central tenet in this paper is that supervenience principles based on duplication create, rather than solve, problems in this problem area. (shrink)

“Supervenience”, though a philosophers’ notion, has a venerable history. It was used by Leibniz to say that relations are nothing over and above the intrinsic properties of their relata, by Sidgwick to say that moral characteristics covary with non-moral ones, by Moore to say that the former are grounded in the latter, by Hare to say that they stand in some relation of strict implication and by Davidson to say that “mental characteristics are in some sense dependent, or supervenient, on (...) physical characteristics”. Here is what Robert Stal- naker says about the “intuitive ideas that motivate the attempts to articulate concepts of supervenience”: " To say that the A-properties or facts are supervenient on the B-properties or facts is to say that the A-facts are, in a sense, redundant, since they are already implicitly specified when one has specified all the B-facts. A-facts are not fact ‘over and above’ the B-facts, not something ‘separate’. To state an A-fact, or ascribe an A-property, is to describe the same reality in a different way, at a different level of abstraction, by carving the same world at different joints. " Kim identifies three key features of our concept of supervenience: covariance, depend- ency and nonreducibility. 1 Explanation, sometimes required for reducibility, is absent : supervenience claims state that some patterns of property covariation hold, without explaining why they hold. 2. (shrink)

This paper develops co-ordinated multiple-domain supervenience relations to model determination and dependence relations between complex entities and their constituents by appealing to R-related pairs and by making use of associated isomorphisms. Supervenience relations are devised for order-sensitive and repetition-sensitive mereologies, for mereological systems that make room for many-many composition relations, as well as for hierarchical mereologies that incorporate compositional and hylomorphic structure. Finally, mappings are provided for theories that consider wholes to be prior to their parts.

It is common belief that semantic properties supervene on non-semantic properties: no two possible worlds can be non-semantic duplicates and fail to be semantic duplicates. The view enjoys somewhat of an orthodoxy status in contemporary philosophy of language and metaphysics, and is often assumed without argument. Yet, work by Stephen Kearns and Ofra Magidor has claimed that it is vulnerable to a variant of the classical arguments against the supervenience of the phenomenal on the physical. This paper does three things: (...) it clarifies what semantic supervenience is about, it responds to the objections that have been leveled against it, and provides a new battery of arguments in its favor. I argue that the thesis of semantic supervenience is safe from classical anti-supervenience arguments, and show that its rejection generates unwelcome consequences. I conclude that there are substantial reasons to embrace the received wisdom: semantic properties supervene. (shrink)

It has recently become popular to suggest that questions of ontology ought be settled by determining, first, which fundamental things exist, and second, which derivative things depend on, or are grounded by, those fundamental things. This methodology typically leads to a hierarchical view of ontology according to which there are chains of entities, each dependent on the next, all the way down to a fundamental base. In this paper we defend an alternative ontological picture according to which there is no (...) ontological hierarchy. Such a picture appears counterintuitive (at least to many), in part because in the absence of a hierarchical structure to our world, there would be no structure apt to back metaphysical explanations. There are two reasons to suppose this is so. First, there would be no structure apt to back metaphysical explanations because there would be a fatal mismatch between the formal features of metaphysical explanation, on the one hand, and the structure of the world, on the other hand. Second, in the absence of an ontological hierarchy there would be no structure apt to back metaphysical explanations because the only connections that would obtain between relevant facts are mere correlational connections. But mere correlations are not the right kinds of relations to back metaphysical explanations: explanation requires something more. This paper aims to show that neither of these is a good reason to prefer a hierarchical view of ontology. (shrink)

Supporters of the autonomy of higher-level causation (or explanation) often appeal to proportionality, arguing that higher-level causes are more proportional than their lower-level realizers. Recently, measures based on information theory and causal modeling have been proposed that allow one to shed new light on proportionality and the related notion of specificity. In this paper we apply ideas from this literature to the issue of higher vs. lower-level causation (and explanation). Surprisingly, proportionality turns out to be irrelevant for the question of (...) whether higher-level causes (or explanations) can be autonomous; specificity is a much more informative notion for this purpose. (shrink)

Several approaches to developing a theory of quantum gravity suggest that spacetime—as described by general relativity—is not fundamental. Instead, spacetime is supposed to be explained by reference to the relations between more fundamental entities, analogous to `atoms' of spacetime, which themselves are not (fully) spatiotemporal. Such a case may be understood as emergence of \textit{content}: a `hierarchical' case of emergence, where spacetime emerges at a `higher', or less-fundamental, level than its `lower-level' non-spatiotempral basis. But quantum gravity cosmology also presents us (...) with the possibility of emergence of \textit{context}: where spacetime emerges from some `prior' non-spatiotemporal state (replacing the Big Bang), due to particular conditions in the early universe. I present a general conception of emergence which is plausibly able to accommodate both pictures. This is a positive conception that does not rely on a failure of reduction or explanation in any sense (indeed, reduction is a necessary feature of quantum gravity, and is useful in understanding emergence in this case). I also consider the possibility that the distinction between content- and context- based explanations is blurred, or usefully `collapsed', in the case of spacetime emergence. (shrink)

One of Stuart Glennan's most prominent contributions to the new mechanist debate consists in his reductive analysis of higher-level causation in terms of mechanisms (Glennan, 1996). In this paper I employ the causal Bayes net framework to reconstruct his analysis. This allows for specifying general assumptions which have to be satis ed to get Glennan's approach working. I show that once these assumptions are in place, they imply (against the background of the causal Bayes net machinery) that higher-level causation indeed (...) reduces to interactions between component parts of mechanisms. I also briefly discuss the plausibility of these assumptions and some consequences for the mechanism debate. (shrink)

ABSTRACT Causes must be distinct from their effects. If the temperature in a room is 15°F, this can cause water pipes to freeze. However, the temperature’s being 15°F is not a cause of the temperature’s being below the freezing point. In general, conceptual, logical, mathematical, and other non-causal dependence relations should not be misclassified as causal. In this paper, I discuss how interventionist theories of causation can meet the challenge of distinguishing between (direct or indirect) causal relations and dependence relations (...) that are due to non-causal factors. I survey several approaches to solving this problem, and propose a novel criterion based on the notion of supervenience. According to this criterion, variables are sufficiently distinct to qualify as the relata of a causal relation iff they do not have overlapping minimal supervenience bases. (shrink)

It has been argued that Humean Supervenience is threatened by the existence of quantum entanglement relations. The most conservative strategy for defending HS is to add the problematic entanglement relations to the supervenience basis, alongside spatiotemporal relations. In this paper, I’m going to argue against this strategy by showing how certain particular cases of tripartite entanglement states – i.e. GHZ states – posit some crucial problems for this amended version of HS. Moreover, I will show that the principle of free (...) recombination – which is strictly linked to HS – is severely undermined if we add entanglement relations to the supervenience basis. I conclude that the conservative move is very unappealing, and therefore the defender of HS should pursue other, more controversial, strategies. (shrink)

We argue that Lewis would have rejected recent appeals to the notions of ‘metaphysical dependency’, ‘grounding’ and ‘ontological priority’, because he would have held that they’re not needed and they’re not intelligible. We argue our case by drawing upon Lewis’s views on supervenience, the metaphysics of singletons and the dubiousness of Kripke’s essentialism.

Do grounding claims entail corresponding supervenience claims? The question matters, as a positive answer would help grounding theorists address worries that their hyperintensional primitive is obscure, and also increase the argumentative strategies that are available within ground-theoretic frameworks for metaphysical inquiry. Leuenberger (Erkenntnis 79:227–240, 2014a) argues for a negative response, by specifying some candidate principles of entailment and then claiming that each of them is subject to counterexamples. In this paper, I critically assess those principles and the objections he raises (...) against them, and advocate a novel entailment principle that overcomes all the problems suffered by those other principles. The principle I defend places a supervenience-based constraint on grounding claims, and secures a substantive connection between grounding and modality, weaker than necessitation. (shrink)

This paper defends Flatland—the view that there exist neither determination nor dependence relations, and that everything is therefore fundamental—from the objection from explanatory inefficacy. According to that objection, Flatland is unattractive because it is unable to explain either the appearance as of there being determination relations, or the appearance as of there being dependence relations. We show how the Flatlander can meet the first challenge by offering four strategies—reducing, eliminating, untangling and omnizing—which, jointly, explain the appearance as of there being (...) determination relations where no such relations obtain. Since, plausibly, dependence relations just are asymmetric determination relations, we argue that once we come mistakenly to believe that there exist determination relations, the existence of other asymmetries (conceptual and temporal) explains why it appears that there are dependence relations. (shrink)

The aim of this paper is to introduce, elucidate and defend the usefulness of a variant of grounding, or metaphysical explanation, that has the feature that the grounds explain of some states of affairs that one of them obtains without explaining which one obtains. I will dub this variant arbitrary grounding. After informally elucidating the basic idea in the first section, I will provide three metaphysical hypotheses that are best formulated in terms of arbitrary grounding in the second section. The (...) third section will be concerned with the relation between arbitrary grounding and non-arbitrary grounding. The fourth section will compare arbitrary grounding to two extant proposals in the literature. (shrink)

What the Josephson Junction proves. The Josephson-Yardley 'connection.'.

List (2014, 2019) has recently argued for a particular view of free will as a higher-level phenomenon compatible with determinism. According to List, one could refute his account by showing that determinism at the physical level implies the impossibility of doing otherwise at the agential level. This paper takes up that challenge. Based on assumptions to which List’s approach is committed, I provide a simple probabilistic model that establishes the connection between physical determinism and the impossibility of doing otherwise at (...) the agential level that is needed to refute free will as a higher-level phenomenon. (shrink)

A survey of the connection between grounding and modality, in particular supervenience. The survey explores three possible connections between grounding and supervenience: (1) supervenience can be analyzed in terms of grounding, (2) grounded facts supervene on their grounds, and (3) grounding and supervenience overlap in their theoretical roles.

First published in 1999, this volume focuses on the relation of supervenience which plays a crucial role in contemporary philosophical discussions in diverse fields including the philosophy of mind, ethics and aesthetics. Contrasting the material and conceptual worlds, Dalia Drai questions what we are committed to when we adopt a position affirming determination but denying reduction. The answer Drai develops is that in both cases this position commits us to an anti-realist approach with regard to the supervenient domains.

I argue—contra moderate grounding pluralists such as Kit Fine and more extreme grounding pluralists such as Jessica Wilson—that there is fundamentally only one grounding/in-virtue-of relation. I also argue that this single relation is indispensable for normative theorizing—that we can’t make sense of, for example, the debate over consequentialism without it. It follows from what I argue that there is no metaethically-pure normative ethics.

Does the global supervenience of one class on another entail reductionism, in the sense that any property in the former class is definable from properties in the latter class? This question appears to be at the same time formally tractable and philosophically significant. It seems formally tractable because the concepts involved are susceptible to rigorous definition. It is philosophically significant because in a number of debates about inter-level relationships, there are prima facie plausible positions that presuppose that there is no (...) such entailment: standard versions of non-reductive physicalism and of normative non-naturalism accept global supervenience while rejecting reductionism. I identify a gap in an influential argument for the entailment, due to Frank Jackson and Robert Stalnaker, and draw on the model theory of infinitary languages to argue that some globally supervening properties are not reducible. (shrink)

The notion of fundamentality, as it is used in metaphysics, aims to capture the idea that there is something basic or primitive in the world. This metaphysical notion is related to the vernacular use of “fundamental”, but philosophers have also put forward various technical definitions of the notion. Among the most influential of these is the definition of absolute fundamentality in terms of ontological independence or ungroundedness. Accordingly, the notion of fundamentality is often associated with these two other technical notions.

The thesis of physical supervenience is widely understood and endorsed as the weakest assertion that all facts are tethered to the physical facts. As an exercise in exploring the constitutive commitments of an ontic view of mechanistic explanation, I entertain a weaker tethering relation, stochastic physical supervenience, the possibility of which is suggested by analogy with the apparent failure of causal determinism in certain areas of physical science. Considering this possibility helps to clarify the constitutive commitments of mechanistic explanation and (...) to explore the motivations for accepting the PS thesis. (shrink)

Hitchcock demonstrated that the validity of causal exclusion arguments as well as the plausibility of several of their premises hinges on the specific theory of causation endorsed. In this paper I show that the validity of causal exclusion arguments—if represented within the theory of causal Bayes nets the way Gebharter suggests—actually requires much weaker premises than the ones which are typically assumed. In particular, neither completeness of the physical domain nor the no overdetermination assumption are required.

In this paper I reconstruct and evaluate the validity of two versions of causal exclusion arguments within the theory of causal Bayes nets. I argue that supervenience relations formally behave like causal relations. If this is correct, then it turns out that both versions of the exclusion argument are valid when assuming the causal Markov condition and the causal minimality condition. I also investigate some consequences for the recent discussion of causal exclusion arguments in the light of an interventionist theory (...) of causation such as Woodward's (2003) and discuss a possible objection to my causal Bayes net reconstruction. (shrink)

In this paper we provide a psychological explanation for ‘grounding observations’—observations that are thought to provide evidence that there exists a relation of ground. Our explanation does not appeal to the presence of any such relation. Instead, it appeals to certain evolved cognitive mechanisms, along with the traditional modal relations of supervenience, necessitation and entailment. We then consider what, if any, metaphysical conclusions we can draw from the obtaining of such an explanation, and, in particular, if it tells us anything (...) about whether we ought to posit a relation of ground. (shrink)

Philosophers almost universally believe that concepts of supervenience fail to satisfy the standards for physicalism because they offer mere property correlations that are left unexplained. They are thus compatible with non-physicalist accounts of those relations. Moreover, many philosophers not only prefer some kind of functional-role theory as a physically acceptable account of mind-body and other inter-level relations, but they use it as a form of “superdupervenience” to explain supervenience in a physically acceptable way. But I reject a central part of (...) this common narrative. I argue that functional-role theories fail by the same standards for physicalism because they merely state without explaining how a physical property plays or occupies a functional role. They are thus compatible with non-physicalist accounts of that role-occupying relation. I also argue that one cannot redeploy functional-role theory at a deeper level to explain role occupation, specifically by iterating the role-occupant scheme. Instead, one must use part-whole structural and mechanistic explanations that differ from functional-role theory in important ways. These explanations represent a form of “superduperfunctionalism” that stand to functional-role theory as concepts of superdupervenience stand to concepts of supervenience. (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)

Physicalism is the view, roughly, that everything is physical. This thesis is often characterized in terms of a particular supervenience thesis. Central to this thesis is the idea of physical duplication. I argue that the standard way of understanding physical duplication leads—along with other claims—to a sub-optimal consequence for the physicalist. I block this consequence by shifting to an alternative sense of physical duplication. I then argue that physicalism is best characterized by a supervenience thesis that employs both the new (...) sense of physical duplication and a new class of possible worlds. (shrink)

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

Barry Allen, in his 2005 Knowledge and Civilization and his 2008 Artifice and Design, argues in favor of an epistemic system that is both praxical and performative; knowledge, rather than being expressed propositionally, is a kind of performance that is expressed in artifacts of all kinds, of which propositions are but an example. However, although he makes a compelling case, it is rather less clear the extent to which we are able to make judgments about the world beneath the artifacts. (...) That is to say: it seems clear that we need to provide some account of how the world is, if only so that we have some kind of coherent characterization of what it is exactly that an artifact captures. Accordingly, if we are to buy into Allen’s model, what can we subsequently say about Allen’s metaphysics? This paper is an attempt to tease out some of these concerns. (shrink)

A book review of "Properties" by Douglas Edwards (Polity Press, 2014).

If reduction of the social to the physical fail, what options remain for understanding their relationship? Two such options are supervenience and constructivism. Both are vitiated by a similar fault. So the choices are limited: reduction after all, or emergence.

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.

In formal ontology, infinite regresses are generally considered a bad sign. One debate where such regresses come into play is the debate about fundamentality. Arguments in favour of some type of fundamentalism are many, but they generally share the idea that infinite chains of ontological dependence must be ruled out. Some motivations for this view are assessed in this article, with the conclusion that such infinite chains may not always be vicious. Indeed, there may even be room for a type (...) of fundamentalism combined with infinite descent as long as this descent is “boring,” that is, the same structure repeats ad infinitum. A start is made in the article towards a systematic account of this type of infinite descent. The philosophical prospects and scientific tenability of the account are briefly evaluated using an example from physics. (shrink)

Recent attempts to resolve the truthmaker objection to presentism employ a fundamentally tensed account of the relationship between truth and being. On this view, the truth of a proposition concerning the past supervenes on how things are, in the present, along with how things were, in the past. This tensed approach to truthmaking arises in response to pressure placed on presentists to abandon the standard response to the truthmaker objection, whereby one invokes presently existing entities as the supervenience base for (...) the truth of past-directed propositions. In this paper, I argue that a fundamentally tensed approach to truthmaking is implausible because it requires the existence of cross-temporal supervenience relations, which are anathema to presentism. (shrink)

The practice of attributing aesthetic properties to scientific and philosophical theories is commonplace. Perhaps one of the most famous examples of such an aesthetic judgement about a theory is Quine's in 'On what there is': "Wyman's overpopulated universe is in many ways unlovely. It offends the aesthetic sense of us who have a taste for desert landscapes". Many other philosophers and scientists, before and after Quine, have attributed aesthetic properties to particular theories they are defending or rejecting. One often hears (...) that a view is "elegant", "attractive", "beautiful", or even "sexy". [...] The general claim that aesthetic properties supervene on non-aesthetic properties is a largely debated one. In this paper, I wish to address this issue from an angle which has not been really explored so far: I shall neither concentrate on cases of artefacts nor of natural objects, like the beauty of a painting or the beauty of a sunrise, rather, my main centre of attention will be the somewhat more special, theoretical case of the beauty of philosophical theories (with a focus on metaphysical theories). As we will see, there are some interesting issues concerning claims that attribute aesthetic properties to theories, in part because, even if such claims are commonplace in philosophy and in science, little has been said about the nature of the relevant supervenience basis – that is, about what it is exactly that the beauty of a theory is supposed to supervene on. Moreover, we shall see that aesthetic properties of theories play a crucial role in theory choice and evaluation. Indeed, it seems that the aesthetic properties of a theory can be appealed to in theory evaluation and when it comes to preferring one theory over another. But before we ask ourselves what role the attribution of aesthetic properties to theories can play, I will adress the question how theories come to have their aesthetic properties in the first place. (shrink)

This paper extends the definition of strong supervenience to cover classes of relations of any adicity, including transworld relations. It motivates that project by showing that not all interesting supervenience claims involving relations are global supervenience claims. The proposed definition has five welcome features: it reduces to the familiar definition in the special case where the classes contain only monadic properties; it equips supervenience with the expected formal properties, such as transitivity and monotonicity; it entails that a relation supervenes on (...) its converse; it classifies certain paradigms correctly; it makes distinctions even in the realm of the non-contingent, as witnessed by the fact that identity does not supervene on any class of relations. Finally, the paper applies the defined concept, and the related concept of orthogonality, to the study of internal and external relations. (shrink)

Political science is divided between methodological individualists, who seek to explain political phenomena by reference to individuals and their interactions, and holists (or nonreductionists), who consider some higher-level social entities or properties such as states, institutions, or cultures ontologically or causally significant. We propose a reconciliation between these two perspectives, building on related work in philosophy. After laying out a taxonomy of different variants of each view, we observe that (i) although political phenomena result from underlying individual attitudes and behavior, (...) individual-level descriptions do not always capture all explanatorily salient properties, and (ii) nonreductionistic explanations are mandated when social regularities are robust to changes in their individual-level realization. We characterize the dividing line between phenomena requiring nonreductionistic explanation and phenomena permitting individualistic explanation and give examples from the study of ethnic conflicts, social-network theory, and international-relations theory. (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 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.

My goal is to illuminate truth-making by way of illuminating the relation of making. My strategy is not to ask what making is, in the hope of a metaphysical theory about is nature. It's rather to look first to the language of making. The metaphor behind making refers to agency. It would be absurd to suggest that claims about making are claims about agency. It is not absurd, however, to propose that the concept of making somehow emerges from some feature (...) to do with agency. That's the contention to be explore in this paper. The way to do this is through expressivism,. Truth-making claims, and making-claims generfally, are claims in which we express mental states linked to our maipulation of concepts, like truth. In particular, they express disposition to undertake derivations using inference rules, in which introduction rules have a specific role. I then show how this theory explains our intuitions about truth's asymmetric dependence on being. (shrink)

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.

David Lewis insists that restrictivist composition must be motivated by and occur due to some intuitive desiderata for a relation R among parts that compose wholes, and insists that a restrictivist’s relation R must be vague. Peter van Inwagen agrees. In this paper, I argue that restrictivists need not use such examples of relation R as a criterion for composition, and any restrictivist should reject a number of related mereological theses. This paper critiques Lewis and van Inwagen (and others) on (...) their respective mereological metaphysics, and offers a Golden Mean between their two opposite extremes. I argue for a novel account of mereology I call Modal Mereology that is an alternative to Classical Mereology. A modal mereologist can be a universalist about the possible composition of wholes from parts and a restrictivist about the actual composition of wholes from parts. I argue that puzzles facing Modal Mereology (e.g., puzzles concerning Cambridge changes and the Problem of the Many, and how to demarcate the actual from the possible) are also faced in similar forms by classical universalists. On my account, restricted composition is rather motivated by and occurs due to a possible whole’s instantiating an actual type. Universalists commonly believe in such types and defend their existence from objections and puzzles. The Modal Mereological restrictivist can similarly defend the existence of such types (adding that such types are the only wholes) from similar objections and puzzles. (shrink)

It is often claimed (1) that levels of nature are related by supervenience, and (2) that processes occurring at particular levels of nature should be studied using dynamical systems theory. However, there has been little consideration of how these claims are related. To address the issue, I show how supervenience relations give rise to ‘supervenience functions’, and use these functions to show how dynamical systems at different levels are related to one another. I then use this analysis to describe a (...) graded approach to non-reductive physicalism, and to critically assess Davidson’s arguments for psychological anomaly. I also show how this approach can inform empirical research in cognitive science. (shrink)