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)

The inapplicability of variations on theory reduction in the context of genetics and their irrelevance to ongoing research has led to an anti-reductionist consensus in philosophy of biology. One response to this situation is to focus on forms of reductive explanation that better correspond to actual scientific reasoning (e.g. part–whole relations). Working from this perspective, we explore three different aspects (intrinsicality, fundamentality, and temporality) that arise from distinct facets of reductive explanation: composition and causation. Concentrating on these aspects generates new (...) forms of reductive explanation and conditions for their success or failure in biology and other sciences. This analysis is illustrated using the case of protein folding in molecular biology, which demonstrates its applicability and relevance, as well as illuminating the complexity of reductive reasoning in a specific biological context. (shrink)

Guy Rohrbaugh and Allan Hazlett have provided two arguments against the thesis that musical works are types. In short, they assume that, according to our modal talk and intuitions, musical works are modally flexible entities; since types are modally inflexible entities, musical works are not types. I argue that Rohrbaugh’s and Hazlett’s arguments fail and that the type/token theorist can preserve the truth of our modal claims and intuitions even if types are modally inflexible entities. First, I consider two alternatives (...) for the type/token theorist proposed in recent literature about the topic: the created types’ solution and the created abstract objects’ solution. I argue that none of them is attractive for the type/token theorist because they do not preserve the theoretical advantages of type/token theories to explain musical works’ repeatable nature. Then, I focus on the arguments’ common premise that musical works are modally flexible entities. A deeper analysis of musical practice will show that this premise is not true: our modal claims do not imply that musical works could have had different intrinsic but, instead, extrinsic properties. Finally, I show how the nested types theory may offer a satisfactory explanation of this fact and how it captures the truth of our modal talk about musical works. (shrink)

This paper is concerned with the notions of supervenience and mechanistic constitution as they have been discussed in the philosophy of neuroscience. Since both notions essentially involve specific dependence and determination relations among properties and sets of properties, the question arises whether the notions are systematically connected and how they connect to science. In a first step, some definitions of supervenience and mechanistic constitution are presented and tested for logical independence. Afterwards, certain assumptions fundamental to neuroscientific inquiry are made explicit (...) in order to show that the presented definitions of supervenience are virtually uninteresting for theory construction in this field. In a third step, a new formulation of supervenience is developed that makes explicit reference to the notion of constitution and that bridges the gap between the philosophical concepts and explanatory practice in neuroscience. (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)

Supervenience is necessary co-variation between two sets of entities. In the good old days, supervenience was considered a useful philosophical tool with a wide range of applications in the philosophy of mind, metaethics, epistemology, and elsewhere. In recent years, however, supervenience has fallen out of favor, giving place to grounding, realization, and other, more metaphysically “meaty”, notions. The emerging consensus is that there are principled reasons for which explanatory theses cannot be captured in terms of supervenience, or as the slogan (...) goes: “Supervenience Is Nonexplanatory”. While SIN is widely endorsed, it is far from clear what it amounts to and why we should believe it. In this paper, I will distinguish various theses that could be meant by it, and will argue that none of them is both interesting and plausible: on some interpretations of ‘explanatory’, we have no reason to believe that supervenience is unexplanatory, while on other interpretations, supervenience is indeed unexplanatory, but widely accepted textbook cases of explanatory relations come out as unexplanatory, too. This result raises doubts as to whether there is any interesting sense in which SIN is true, and suggests that the contemporary consensus about supervenience is mistaken. (shrink)