2020 update of the entry "Properties".

In this paper, I argue that absences pose a challenge to our understanding of physicalism that has not been properly appreciated. I do this by setting out a thought experiment involving a being in whom absence properties occupy the causal roles that functionalists take to define mental properties, in which case these absence properties realize the being’s mental properties. Such a being should be compatible with the truth of physicalism, I argue, even though its mental properties are neither themselves physical (...) properties nor are they realized/grounded in physical properties—instead, they are realized/grounded in (nonphysical) absence properties. I argue that the case serves as a counterexample to leading formulations of physicalism that appeal to realization or grounding, but not to standard supervenience-based formulations of physicalism, because the latter typically include negative truths in their supervenience base in addition to physical truths. I show how realization- and grounding-based formulations of physicalism might be revised to handle the problem, but also recommend that we rethink how we understand physicalism and the role that negative entities can play for physicalists. (shrink)

In the thesis I offer an analysis of the metaphysical underpinnings of the extended cognition thesis via an examination of standard views of metaphysical building (or, dependence) relations. -/- In summary form, the extended cognition thesis is a view put forth in naturalistic philosophy of mind stating that the physical basis of cognitive processes and cognitive processing may, in the right circumstances, be distributed across neural, bodily, and environmental vehicles. As such, the extended cognition thesis breaks substantially with the still (...) widely held view in cognitive science and philosophy of mind, namely that cognitive processes and cognitive processing take place within the skin-and-skull of individual organisms. The standard view of metaphysical building relations can be expressed as the conjunction of two theses. First, that a metaphysical building relation – such as composition, constitution, realization, supervenience or emergence – is a relation of ontological dependence, because if a metaphysical building relation holds between X (or the Xs) and Y, then it is in virtue of X (or the Xs) that Y exists. Second, metaphysical building relations are synchronic (durationless) relations of ontological dependence. In the thesis, I propose an alternative diachronic framework by which to extend the standard synchronic accounts of metaphysical dependence relations, and by which to reformulate the metaphysical foundation of the extended cognition thesis. The project fills an important gap between analytical metaphysics (in particular, the metaphysics of dependence relations) and naturalistic philosophy of mind (especially the extended cognition thesis). To my knowledge there has been no attempt to establish a robust diachronic account of metaphysical building (or, dependence) relations such as, e.g., composition and constitution. However, this is precisely what I argue is required to properly advance and ground the metaphysics of extended cognition. Ultimately, my aim of reformulating the metaphysics of extended cognition consists in taking several steps toward a third-wave of extended cognition. (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)

Token physicalism is often viewed as a modest and unproblematic physicalist commitment, as contrasted with type physicalism. This paper argues that the prevalence of functional individuation in biology creates serious problems for token physicalism, because the latter requires that biological entities can be individuated physically and without reference to biological functioning. After characterizing the main philosophical roles for token physicalism, I describe the distinctive uses of functional individuation in models of biological processes. I then introduce some requirements on token identity (...) claims that arise from a position on individuation and identity known as sortalism. An examination of biological examples shows that these sortalist requirements cannot be plausibly met due to differences between individuation by functional biological criteria and by physical criteria. Even without assuming sortalism, token physicalism faces the more basic problem of excluding functionally irrelevant detail from the individuation of biological tokens. I close by suggesting that the philosophical roles for token identity are better fulfilled by a notion of token composition, which promotes a hierarchical picture of individuality. (shrink)

Non-reductive physicalists hold that mental properties are realized by physical properties. The realization relation is typically taken to be a metaphysical necessitation relation. Here, I explore how the metaphysical necessitation feature of realization can be explained by what is known as ‘the subset view’ of realization. The subset view holds that the causal powers that are associated with a realized property are a proper subset of the causal powers that are associated with the realizer property. I argue that the said (...) explanation of the metaphysical necessitation feature requires a careful treatment of the relationship between properties and causal powers. (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)

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)

Atomistic metaphysics motivated an explanatory strategy which science has pursued with great success since the scientific revolution. By decomposing matter into its atomic and subatomic parts physics gave us powerful explanations and accurate predictions as well as providing a unifying framework for the rest of science. The success of the decompositional strategy has encouraged a widespread conviction that the physical world forms a compositional hierarchy that physics and other sciences are progressively articulating. But this conviction does not stand up to (...) a closer examination of how physics has treated composition, as a variety of case studies will show. (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)

This article explores two consequences of intentionalism. My first line of argument focuses on the impact of intentionalism on the 'hard problem' of phenomenal character. If intentionalism is true, the phenomenal supervenes on the intentional. Furthermore, if physicalism about the intentional is also true, the intentional supervenes on the physical. Therefore, if intentionalism and physicalism are both true, then, by transitivity of supervenience, physicalism about the phenomenal is true. I argue that this transitivity argument is not persuasive, because on any (...) interpretation of its central terms, at least one of its premises is as controversial as its conclusion already is. My second line of argument is about the consequences of intentionalism for the error theory of color perception. I suggest that if intentionalism is true, projectivism must be true also, because under this condition there is no single concept of color that can be used for the qualification of objects as well as for the characterization of experiences. (shrink)

What is the mind? Is consciousness a process in the brain? How do our minds represent the world? Philosophy of Mind: Classical and Contemporary Readings is a grand tour of writings on these and other perplexing questions about the nature of the mind. The most comprehensive collection of its kind, the book includes sixty-three selections that range from the classical contributions of Descartes to the leading edge of contemporary debates. Extensive sections cover foundational issues, the nature of consciousness, and the (...) nature of mental content. Three of the selections are published here for the first time, while many other articles have been revised especially for this volume. Each section opens with an introduction by the editor. Philosophy of Mind is suitable for students at all levels and also for general readers. (shrink)

Second part of the translation into Spanish of David Lewis' "New Work for a Theory of Universals", corresponding to the last sections of the original paper. || Segunda parte de la traducción al español del trabajo de David Lewis "New Work for a Theory of Universals", correspondiente a últimas secciones del artículo original. Artículo original publicado en: Australasian Journal of Philosophy, Vol. 61, No. 4, Dec. 1983, pp. 343-377.

The special composition question is the question, ‘When do some things compose something?’ The answers to this question in the literature have largely been at odds with common sense, either by allowing that any two things compose something, or by denying the existence of most ordinary composite objects. I propose a new ‘series-style’ answer to the special composition question that accords much more closely with common sense, and I defend this answer from van Inwagen's objections. Specifically, I will argue that (...) the proposed answer entails the transitivity of parthood, that it is non-circular, and that it casts some light on the ancient puzzle about the Ship of Theseus. (shrink)

The paper discusses Noordhof' point on emergence, by arguing against an emergentist view of properties.

The paper analyses the main trends in the discussions about the notion of supervenience in the last decades, putting the emphasis in some crucial problems. The starting point will be the various concepts of supervenience proposed by Jaegwon Kim. Through them, we will identify a dramatic tension between the extremes of eliminativism and dualism (in general, pluralism), being placed in the middle of them the positions of a non-eliminativist reductionism and of a non-dualist epiphenomenism. The open options facing that tension (...) show a very peculiar and valuable sort of philosophical work which could be called “conceptual engineering”. (shrink)

What does it mean to say that the mental is nothing over and above the physical? In other words, what exactly is the thesis of physicalism about the mental? The question has not received the philosophical attention it deserves. If that sounds woefully uninformed, it's probably because you are mistaking my restricted thesis of physicalism about the mental for the unrestricted thesis of physicalism simpliciter. Physicalism simpliciter is the doctrine that everything is physical; equivalently, that there is nothing over and (...) above the physical. Physicalism simpliciter has been the subject of intense philosophical scrutiny. There are ongoing debates over how 'the physical' should be defined for the purpose of .. (shrink)

The concept of hierarchical organization is commonplace in science. Subatomic particles compose atoms, which compose molecules; cells compose tissues, which compose organs, which compose organisms; etc. Hierarchical organization is particularly prominent in ecology, a field of research explicitly arranged around levels of ecological organization. The concept of levels of organization is also central to a variety of debates in philosophy of science. Yet many difficulties plague the concept of discrete hierarchical levels. In this paper, we show how these difficulties undermine (...) various implications ascribed to hierarchical organization, and we suggest the concept of scale as a promising alternative to levels. Investigating causal processes at different scales offers a way to retain a notion of quasi-levels that avoids the difficulties inherent in the classic concept of hierarchical levels of organization. Throughout, our focus is on ecology, but the results generalize to other invocations of hierarchy in science and philosophy of science. (shrink)

Can physicalism (or materialism) be non-reductive? I provide an opinionated survey of the debate on this question. I suggest that attempts to formulate non-reductive physicalism by appeal to claims of event identity, supervenience, or realization have produced doctrines that fail either to be physicalist or to be non-reductive. Then I treat in more detail a recent attempt to formulate non-reductive physicalism by Derk Pereboom, but argue that it fares no better.

Parsimony is a virtue of empirical theories. Is it also a virtue of philosophical theories? I review four contemporary accounts of the virtue of parsimony in empirical theorizing, and consider how each might apply to two prominent appeals to parsimony in the philosophical literature, those made on behalf of physicalism and on behalf of nominalism. None of the accounts of the virtue of parsimony extends naturally to either of these philosophical cases. This suggests that in typical philosophical contexts, ontological simplicity (...) has no evidential value. (shrink)

Suppose that, for every event, whether mental or physical, there is some physical event causally sufficient for it. Suppose, moreover, that physical reductionism in its various forms fails—that mental properties cannot be reduced to physical properties and mental events cannot be reduced to physical events. In this case, how could there be mental causation? More specifically, how could mental events cause other mental events, physical events, and intentional actions? The primary goal of this paper is to answer this question.

J. L. Mackie argued that if there were objective moral properties or facts, then the supervenience relation linking the nonmoral to the moral would be metaphysically queer. Moral realists reply that objective supervenience relations are ubiquitous according to contemporary versions of metaphysical naturalism and, hence, that there is nothing especially queer about moral supervenience. In this paper we revive Mackie's challenge to moral realism. We argue: (i) that objective supervenience relations of any kind, moral or otherwise, should be explainable rather (...) than sui generis; (ii) that this explanatory burden can be successfully met vis-à-vis the supervenience of the mental upon the physical, and in other related cases; and (iii) that the burden cannot be met for (putative) objective moral supervenience relations. (shrink)

Online collection of papers by Devitt, Dretske, Guarino, Hochberg, Jackson, Petitot, Searle, Tye, Varzi and other leading thinkers on philosophy and the foundations of cognitive Science. Topics dealt with include: Wittgenstein and Cognitive Science, Content and Object, Logic and Foundations, Language and Linguistics, and Ontology and Mereology.

A set of hypotheses is formulated for a connectionist approach to cognitive modeling. These hypotheses are shown to be incompatible with the hypotheses underlying traditional cognitive models. The connectionist models considered are massively parallel numerical computational systems that are a kind of continuous dynamical system. The numerical variables in the system correspond semantically to fine-grained features below the level of the concepts consciously used to describe the task domain. The level of analysis is intermediate between those of symbolic cognitive models (...) and neural models. The explanations of behavior provided are like those traditional in the physical sciences, unlike the explanations provided by symbolic models. (shrink)

This chapter begins with a putative puzzle between non-reductive physicalism according to which psychological properties are distinct from, yet metaphysically necessitated by, physical properties, and Hume's dictum according to which there are no necessary connections between distinct existences. However, the puzzle dissolves once care is taken to distinguish between distinct kinds of distinction: numerical distinctness, mereological distinctness, and what the chapter calls ‘weak modal distinctness’ and ‘strong modal distinctness’. For each of these notions, it turns out that either it makes (...) no sense according to non-reductive physicalism or else it is unclear whether Hume's dictum is true. The chapter then deploys these distinctions to argue first that unlike the dualist, the non-reductive physicalist can reject the exclusion principle in the causal exclusion argument, and second that emergentism can be distinguished from non-reductive physicalism. (shrink)

This paper examines the standard view of realization operative incontemporary philosophy of mind, and proposes an alternative, generalperspective on realization. The standard view can be expressed, insummary form, as the conjunction of two theses, the sufficiency thesis andthe constitutivity thesis. Physicalists of both reductionist and anti-reductionist persuasions share a conception of realization wherebyrealizations are determinative of the properties they realize and physically constitutive of the individuals with those properties. Centralto the alternative view that I explore here is the idea that (...) the requisite,metaphysically robust notion of realization is ineliminably context-sensitive. I shall argue that the sufficiency and constitutivity theses aretypically not jointly satisfied by any one candidate realizer, and that goingcontext-sensitive in one's metaphysics is preferable to the standard view.The context-sensitive views developed here are implicit in a range ofcommon views in both the philosophy of mind and the philosophy of biology,even if they have not been explicitly articulated, and even though theyundermine other views that are commonly endorsed. (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.

Supervenience in most of its guises entails necessary coextension. Thus theoretical supervenience entails nomically necessary coextension. Kim's result, thus strengthened, has yet to hit home. I suspect that many supervenience enthusiasts would cool at necessary coextension: they didn't mean to be saying anything quite so strong. Furthermore, nomically necessary coextension can be a good reason for property identification, leading to reducibility in principle. This again is more than many supervenience theorists bargained for. They wanted supervenience without reducibility. It is not (...) always available for this mediating role. (shrink)

Abstract Non-reductive physicalism is currently the most widely held metaphysic of mind. My aim in this essay is to show that supervenience physicalism?perhaps the most common form of non-reductive physicalism?is not a defensible position. I argue that, in order for any supervenience thesis to ground a legitimate form of physicalism, it must yield the right sort of determination relation between physical and non-physical properties. Then I argue that non-reductionism leaves one without any explanation for the laws that are implied by (...) supervenience theses that deliver this determination relation. (shrink)

The physicalist thesis that all entities are nothing over and above physical entities is often interpreted as appealing to a supervenience-based account of "nothing over and aboveness”, where, schematically, the A-entities are nothing over and above the B-entities if the A-entities supervene on the B-entities. The main approaches to filling in this schema correspond to different ways of characterizing the modal strength, the supervenience base, or the supervenience connection at issue. I consider each approach in turn, and argue that the (...) resulting formulation of physicalism is compatible with physicalism’s best traditional rival: a naturalist emergentism. Others have argued that supervenience-based formulations of physicalism fail. My aim here, besides addressing the full spectrum of supervenience-based approaches, is to show how certain philosophical and scientific theses concerning naturalism, properties, and laws give us new reasons to think that supervenience-based formulations of physicalism are untenable. (shrink)

The conservation of energy law, a law of physics that states that the total energy of any closed system is always conserved, is a bedrock principle that has achieved both broad theoretical and experimental support. Yet if interactive dualism is correct, it is thought that the mind can affect physical objects in violation of the conservation of energy. Thus, some claim, the conservation of energy grounds an argument for physicalism. Although critics of the argument focus on the implausibility of causation (...) requiring the transference of energy, I argue that even if causation requires the transference of energy, once we accept the other required premises of the argument that lie behind any supposed argument from the conservation of energy the law of the conservation of energy is revealed as irrelevant to the question of whether the mental is physical. (shrink)

Physicalism is the thesis that everything is physical, or as contemporary philosophers sometimes put it, that everything supervenes on, or is necessitated by, the physical. The thesis is usually intended as a metaphysical thesis, parallel to the thesis attributed to the ancient Greek philosopher Thales, that everything is water, or the idealism of the 18th Century philosopher Berkeley, that everything is mental. The general idea is that the nature of the actual world (i.e. the universe and everything in it) conforms (...) to a certain condition, the condition of being physical. Of course, physicalists don't deny that the world might contain many items that at first glance don't seem physical — items of a biological, or psychological, or moral, or social nature. But they insist nevertheless that at the end of the day such items are either physical or supervene on the physical. (shrink)

To earn the title “ontological physicalist,” one must endorse an entailment thesis of the following sort: the physical properties that are had, together with the causal laws, determine which higher-level properties are had. I argue that if this thesis is to capture all that is essential to physicalist intuitions, the relevant set of causal laws must be restricted to purely physical laws. But then it follows that higher-level properties are physical properties. The conclusion is that one cannot consistently be an (...) ontological physicalist while endorsing property pluralism. (shrink)

A standard objection to any version of physicalism, an objection which may be encountered both in conversation and in the literature, is that there is just no reason to be a physicalist; even if there are no good arguments against physicalism, there are none for it either. My main aim in this paper is to defeat this objection by supplying a trio of positive reasons for adopting a particular brand of physicalism, which I call realization physicalism. The arguments I shall (...) give are addressed not to the supporters of rival brands of physicalism but to the comprehensive anti-physicalist - the objector who wishes not to accept any brand of physicalism at all - and their general thrust is that it is much harder to be a comprehensive anti-physicalist than might at first appear. (shrink)

...the deepest motivation for intentional irrealism derives not from such relatively technical worries about individualism and holism as we.

Frank Jackson champions the cause of conceptual analysis as central to philosophical inquiry. In recent years conceptual analysis has been undervalued and widely misunderstood, suggests Jackson. He argues that such analysis is mistakenly clouded in mystery, preventing a whole range of important questions from being productively addressed. He anchors his argument in discussions of specific philosophical issues, starting with the metaphysical doctrine of physicalism and moving on, via free will, meaning, personal identity, motion, and change, to ethics and the philosophy (...) of color. In this way the book not only offers a methodological program for philosophy, but also casts new light on some much-debated problems and their interrelations. (shrink)

ABSTRACT This essay has three goals. The first is to introduce the notion of fundamentality and to argue that physicalism can usefully be conceived of as a thesis about fundamentality. The second is to argue for the advantages of fundamentality physicalism over modal formulations and that fundamentality physicalism is what many who endorse modal formulations of physicalism had in mind all along. Third, I describe what I take to be the main obstacle for a fundamentality-oriented formulation of physicalism: ‘the problem (...) of abstracta’, which asks how physical can accommodate phenomena such as mathematics and universals, and which modal formulations do not face. I canvas three solutions: the inapt for ground solution, the concrete restriction, and the contingency restriction. (shrink)

ABSTRACT The exclusion problem is meant to show that non-reductive physicalism leads to epiphenomenalism: if mental properties are not identical with physical properties, then they are not causally efficacious. Defenders of a difference-making account of causation suggest that the exclusion problem can be solved because mental properties can be difference-making causes of physical effects. Here, we focus on what we dub an incompatibilist implementation of this general strategy and argue against it from a non-reductive physicalist perspective. Specifically, we argue that (...) incompatibilism undermines either the non-reductionist or the physicalist aspirations of non-reductive physicalism. (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)

As with many aspects of David Lewis’s work, it is hard to provide a better summary of his views than he provided himself. So the following introduction to what the Humean Supervenience view is will follow the opening pages of Lewis (1994a) extremely closely. But for those readers who haven’t read that paper, here’s the nickel version.

For three decades the writings of Jaegwon Kim have had a major influence in philosophy of mind and in metaphysics. Sixteen of his philosophical papers, together with several new postscripts, are collected in Kim [1993]. The publication of this collection prompts the present essay. After some preliminary remarks in the opening section, in Section 2 I will briefly describe Kim's philosophical 'big picture' about the relation between the mental and the physical. In Section 3 I will situate Kim's approach on (...) the larger philosophical landscape, vis-à-vis various other approaches frequently discussed in contemporary philosophy of mind. This comparative discussion will further illuminate Kim's own position, and also will serve as groundwork for subsequent discussion. In Section 4 I will point out certain persistent internal tensions in Kim's philosophical position on the mind--body problem, tensions that emerge especially clearly against the backdrop of Section 3's comparative discussion of Kim's position relative to various competing positions. In the remainder of the paper I will focus on two issues at the heart of his position, with particular attention to what he says about them in some of the more recent papers and the postscripts in Kim [1993]. First, how should a materialist understand the notion that the mental is 'determined' by the physical? More specifically, what role, if any, should be played by the concept of supervenience in explicating this kind of determination relation? Kim's views on this matter have recently changed, and I will discuss the issue with particular attention to his own latest remarks on it. This is the business of Section 5. Second, need a viable materialism assert that mentalistic psychology is reducible to neurobiology (and ultimately to physics)? More specifically, should a materialist insist on reducibility, despite the currently influential line of argument used by non-reductive materialists, the 'multiple realization' argument? On this matter too, Kim's views have changed somewhat; again, I will discuss the issue with particular attention to his recent thinking. This is the business of Section 6. (shrink)

This is one of two papers about emergence, reduction and supervenience. It expounds these notions and analyses the general relations between them. The companion paper analyses the situation in physics, especially limiting relations between physical theories. I shall take emergence as behaviour that is novel and robust relative to some comparison class. I shall take reduction as deduction using appropriate auxiliary definitions. And I shall take supervenience as a weakening of reduction, viz. to allow infinitely long definitions. The overall claim (...) of this paper will be that emergence is logically independent both of reduction and of supervenience. In particular, one can have emergence with reduction, as well as without it; and emergence without supervenience, as well as with it. Of the subsidiary claims, the four main ones are: : I defend the traditional Nagelian conception of reduction ; : I deny that the multiple realizability argument causes trouble for reductions, or ``reductionism'' ; : I stress the collapse of supervenience into deduction via Beth's theorem ; : I adapt some examples already in the literature to show supervenience without emergence and vice versa. (shrink)