The Causal Exclusion Problem is raised in many domains, including in the metaphysics of macroscopic objects. If there is a complete explanation of macroscopic effects in terms of the microscopic entities that compose macroscopic objects, then the efficacy of the macroscopic will be threatened with exclusion. I argue that we can avoid the problem if we accept that macroscopic objects are ontically vague. Then, it is indeterminate which collection of microscopic entities compose them, and so information about microscopic entities is (...) insufficient to provide a complete explanation of certain properties of macroscopic objects. After outlining this solution, I consider several objections. (shrink)

The complex systems approach to cognitive science invites a new understanding of extended cognitive systems. According to this understanding, extended cognitive systems are heterogenous, composed of brain, body, and niche, non-linearly coupled to one another. This view of cognitive systems, as non-linearly coupled brain–body–niche systems, promises conceptual and methodological advances. In this article we focus on two of these. First, the fundamental interdependence among brain, body, and niche makes it possible to explain extended cognition without invoking representations or computation. Second, (...) cognition and conscious experience can be understood as a single phenomenon, eliminating fruitless philosophical discussion of qualia and the so-called hard problem of consciousness. What we call “extended phenomenological-cognitive systems” are relational and dynamical entities, with interactions among heterogeneous parts at multiple spatial and temporal scales. (shrink)

In light of recent criticisms by Woodward (2017) and Rescorla (2018), we examine the relationship between mechanistic explanation and phenomenological laws. We disambiguate several uses of the phrase “phenomenological law” and show how a mechanistic theory of explanation sorts them into those that are and are not explanatory. We also distinguish the problem of phenomenological laws from arguments about the explanatory power of purely phenomenal models, showing that Woodward and Rescorla conflate these problems. Finally, we argue that the temptation to (...) pit mechanistic and interventionist theories of explanation against one another occludes important and scientifically relevant research questions. (shrink)

Let thin properties be properties shared by coincident entities, e.g., a person and her body, and thick properties ones that are not shared. Thick properties entail sortal properties, e.g., being a person, and the associated persistence conditions. On the first account of realization defined here, the realized property and its realizers will belong to the same individual. This restricts the physical realizers of mental properties, which are thick, to thick physical properties. We also need a sense in which mental properties (...) can be realized in thin physical properties shared by a person and her body. Defining this in turn requires defining a sense in which the instantiations of sortal properties and of thick properties are realized in micro‐structural states of affairs. A fourth notion of realization is needed to allow for the possibility of coincident entities that share a sortal property, e.g., coincident persons. (shrink)

Various claims regarding intertheoretic reduction, weak and strong notions of emergence, and explanatory fictions have been made in the context of first-order thermodynamic phase transitions. By appealing to John Norton’s recent distinction between approximation and idealization, I argue that the case study of anyons and fractional statistics, which has received little attention in the philosophy of science literature, is more hospitable to such claims. In doing so, I also identify three novel roles that explanatory fictions fulfill in science. Furthermore, I (...) scrutinize the claim that anyons, as they are ostensibly manifested in the fractional quantum Hall effect, are emergent entities and urge caution. Consequently, it is suggested that a particular notion of strong emergence signals the need for the development of novel physical–mathematical research programs. (shrink)

In ‘Mental Events’ Donald Davidson argued for the anomalism of the mental on the basis of the operation of incompatible constitutive principles in the mental and physical domains. Many years later, he has suggested that externalism provides further support for the anomalism of the mental. I examine the basis for that claim. The answer to the question in the title will be a qualified ‘Yes’. That is an important result in the metaphysics of mind and an interesting consequence of externalism.

Carl Gillett has defended what he calls the “dimensioned” view of the realization relation, which he contrasts with the traditional “flat” view of realization (2003, 2007; see also Gillett 2002). Intuitively, the dimensioned approach characterizes realization in terms of composition whereas the flat approach views realization in terms of occupiers of functional roles. Elsewhere we have argued that the general view of realization and multiple realization that Gillett advances is not able to discharge the theoretical duties of those relations (Shapiro (...) 2004, unpublished manuscript; Polger 2004, 2007, forthcoming). Here we focus on an internal objection to Gillett’s account and then raise some broader reasons to reject it. (shrink)

This paper challenges a popular thesis which we call the explanatory primitiveness thesis (for short, EPT), namely, the thesis that identities leave no logical space wherein explanatory questions may be formulated and explanatory gaps may reside. We argue that while EPT is, in all likelihood, flawless when the relevant domain consists of identity statements flanked by proper names of individuals it is a mistake to hold that the thesis generalizes to cover all identity statements. In particular, we argue that EPT (...) fails decisively with respect to an important class of identity statements, viz., those in which natural kinds are identified across different theoretical levels (i.e., the so-called inter-level type-identities). If correct, our result shows EPT to be much more limited in scope than is usually supposed. Moreover, and perhaps more significantly, it shows that there is no inherent absurdity in the idea that certain type-identity statements, in particular psychophysical type-identity statements, suffer from an explanatory gap. (shrink)

Extensionalism, as I understand it here, is the view that physical reality consists exclusively of extensional entities. On this view, intensional entitities must either be eliminated in favor of an ontology of extensional entities, or be reduced to such an ontology, or otherwise be admitted as non-physical. In this paper I argue that extensionalism is a misguided philosophical doctrine. First, I argue that intensional phenomena are not confined to the realm of language and thought. Rather, the ontology of such phenomena (...) is intimately entwined with the ontology of properties. After providing some evidence to the popularity of extensionalism in contemporary analytic philosophy, I investigate the motivating reasons behind it. Considering several explanations, I argue that the main motivating reason is rooted in the identification of matter with extension, an identification which is one of the hallmarks of the mechanistic conception of nature inherited from the founding fathers of our modern scientific outlook. I then argue that such a conception is not only at odds with a robust ontology of properties but is also at odds with our best contemporary physics. Rather than vindicating extensionalism contemporary science undermines the position, and the lesson to be drawn from this surprising fact is that extensionalism needs no longer be espoused as a regulative ideal of naturalistic philosophy. I conclude by showing that the ontological approach to intensional phenomena advocated throughout the paper also gains support from an examination of the historical context within which ‘intension’ was first introduced as a semantic notion. (shrink)

ABSTRACT Proponents of mechanistic explanation have recently suggested that all explanation in the cognitive sciences is mechanistic, even functional explanation. This last claim is surprising, for functional explanation has traditionally been conceived as autonomous from the structural details that mechanistic explanations emphasize. I argue that functional explanation remains autonomous from mechanistic explanation, but not for reasons commonly associated with the phenomenon of multiple realizability. 1Introduction 2Mechanistic Explanation: A Quick Primer 3Functional Explanation: An Example 4Autonomy as Lack of Constraint 5The Price (...) of Autonomy 6Another Argument against Autonomy 7Conclusion: Autonomy and Multiple Realization. (shrink)

Christian List and Peter Menzies 2009 have looked to interventionist theories of causation for an answer to Jaegwon Kim's causal exclusion problem. Important to their response is the idea of realization-insensitivity. However, this idea becomes mired in issues concerning multiple realization, leaving it unable to fulfil its promise to block exclusion. After explaining why realization-insensitivity fails as a solution to Kim's problem, I look to interventionism to describe a different kind of solution.

Jaegwon Kim’s causal exclusion argument has rarely been evaluated from an empirical perspective. This is puzzling because its conclusion seems to be making a testable claim about the world: supervenient properties are causally inefficacious. An empirical perspective, however, reveals Kim’s argument to rest on a mistaken conception about how to test whether a property is causally efficacious. Moreover, the empirical perspective makes visible a metaphysical bias that Kim brings to his argument that involves a principle of non‐inclusion.

Jaegwon Kim has argued that if psychological kinds are multiply realizable then no single psychological theory can describe regularities ranging over psychological states. Instead, psychology must be fractured, with human psychology covering states realized in the human way, martian psychology covering states realized in the martian way, and so on. I show that even if one accepts the principles that motivate Kim.

Compatibilists respond to the problem of causal exclusion for nonreductive physicalism by rejecting the exclusionist’s ban on overdetermination. By the compatibilist’s lights there are two forms of overdetermination, one that’s problematic and another that is entirely benign. Furthermore, multiple causation by “tightly related” causes requires only the benign form of overdetermination. Call this the tight relation strategy for avoiding problematic forms of overdetermination. To justify the tight relation strategy, modal compatibilists appeal to a widely accepted counterfactual test. The argument of (...) this paper is that the counterfactual test fails to legitimize the tight relation strategy as it fails to adequately distinguish between problematic and benign overdetermination. Contrary to modal compatibilists, modal dependence does not suffice for benignity. I conclude by arguing that adequately addressing overdetermination worries requires a much heavier metaphysical burden than modal compatibilists have typically recognized. (shrink)

A statement of the form ‘C caused E’ obeys the requirement of proportionality precisely when C says no more than what is necessary to bring about E. The thesis that causal statements must obey this requirement might be given a semantic or a pragmatic justification. We use the idea that causal claims are contrastive to criticize both.

In a number works Jerry Fodor has defended a reductive, causal and referential theory of cognitive content. I argue against this, defending a quasi-Fregean notion of cognitive content, and arguing also that the cognitive content of non-singular concepts is narrow, rather than wide.

Feminist metaphysics is guided by the insight that gender is socially constructed, yet the metaphysics behind social construction remains obscure. Barnes and Mikkola charge that current metaphysical frameworks—including my grounding framework—are hostile to feminist metaphysics. I argue that not only is a grounding framework hospitable to feminist metaphysics, but also that a grounding framework can help shed light on the metaphysics behind social construction. By treating social construction claims as grounding claims, the feminist metaphysician and the social ontologist both gain (...) a way to integrate social construction claims into a general metaphysics, while accounting for the inferential connections between social construction and attendant notions such as dependence and explanation. So I conclude that a grounding framework can be helpful for feminist metaphysics and social ontology. (shrink)

The aim of this paper is to determine the plausibility of Robert Kirk’s strict implication thesis as an explication of physicalism and its relation to Jackson and Chalmer’s notion of application conditionals, to the notion of global supervenience and to a posteriori identities. It is argued that the strict implication thesis is subject to the same objection that affects the notion of global supervenience. Furthermore, reference to an idealised physics in the formulation of strict implication threatens to make the thesis (...) vacuous. Third, Kirk’s claim that the strict implication thesis does not entail reduction of the mental to the physical (excluding phenomenal properties) is untenable if a functional model of reduction is preferred over Nagel’s classical model. Finally, Kirk’s claim that the physical facts entail in an a priori way the fact that certain brain states feel somehow seems to be unfounded. (shrink)

The aim of this paper is to determine the plausibility of Robert Kirk's strict implication thesis as an explication of physicalism and its relation to Jackson and Chalmer's notion of application conditionals, to the notion of global supervenience and to a posteriori identities. It is argued that the strict implication thesis is subject to the same objection that affects the notion of global supervenience. Furthermore, reference to an idealised physics in the formulation of strict implication threatens to make the thesis (...) vacuous. Third, Kirk's claim that the strict implication thesis does not entail reduction of the mental to the physical (excluding phenomenal properties) is untenable if a functional model of reduction is preferred over Nagel's classical model. Finally, Kirk's claim that the physical facts entail in an a priori way the fact that certain brain states feel somehow seems to be unfounded. (shrink)

Paul Pietroski, in Causing Actions (2000), aims to articulate a dualistic framework that 'makes room for persons'. What is especially intriguing about Pietroski's framework is that it denies both of the above assumptions: (i) it is resolutely non-naturalistic, and (ii) it is a dualism of events, said to steer between substance and property dualisms. If Pietroski is right then both naturalism and the three-part taxonomy are worse than mistaken: they are in..

When two rocks shatter the window at once, what causes the window to shatter? Is the throwing of each individual rock a cause of the window shattering, or are the throwings only causes collectively? This question bears on the analysis of causation, and the metaphysics of macro-causation. I argue that the throwing of each individual rock is a cause of the window shattering, and generally that individual overdeterminers are causes.

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

One of several problems concerning the possibility of mental causation is that the causal potential of a supervenient property seems to be absorbed by its supervenience base if that base and the supervenient property are not identical. If the causal powers of the supervenient property are a proper subset of the causal powers of the supervenience base then, according to the causal individuation of properties, the supervenience base seems to do all the causal work and the supervenient property appears to (...) be futile. Against this consequence it is possible to argue, first, that the relevant properties of causes must be in some sense proportional to the relevant properties of their effects and, second, that the principle of causal closure serving as a premise in the supervenience argument is probably false. The constraint that the relevant properties of causes should be proportional to the relevant properties of their effects together with the falsity of the closure principle leads to a restoration of the causal efficacy of supervenient properties. (shrink)

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

The topic of this article is the analysis of the relations between different levels of reality. The core argument is based on considerations of both an epistemology of action and manipulative causality as a criterion of object identity. The argumentation is extended towards the concepts of self-organization and self-regulation. Finally, several views on reduction and the problems of emergence and complexity are discussed.

If you’re a materialist, you probably think that rabbits are conscious. And you ought to think that. After all, rabbits are a lot like us, biologically and neurophysiologically. If you’re a materialist, you probably also think that conscious experience would be present in a wide range of naturally-evolved alien beings behaviorally very similar to us even if they are physiologically very different. And you ought to think that. After all, to deny it seems insupportable Earthly chauvinism. But a materialist who (...) accepts consciousness in weirdly formed aliens ought also to accept consciousness in spatially distributed group entities. If she then also accepts rabbit consciousness, she ought to accept the possibility of consciousness even in rather dumb group entities. Finally, the United States would seem to be a rather dumb group entity of the relevant sort. If we set aside our morphological prejudices against spatially distributed group entities, we can see that the United States has all the types of properties that materialists tend to regard as characteristic of conscious beings. (shrink)

The main claim of this paper is that notions of implementation based on an isomorphic correspondence between physical and computational states are not tenable. Rather, ``implementation'' has to be based on the notion of ``bisimulation'' in order to be able to block unwanted implementation results and incorporate intuitions from computational practice. A formal definition of implementation is suggested, which satisfies theoretical and practical requirements and may also be used to make the functionalist notion of ``physical realization'' precise. The upshot of (...) this new definition of implementation is that implementation cannot distinguish isomorphic bisimilar from non-isomporphic bisimilar systems anymore, thus driving a wedge between the notions of causal and computational complexity. While computationalism does not seem to be affected by this result, the consequences for functionalism are not clear and need further investigations. (shrink)

The main claim of this paper is that notions of implementation based on an isomorphic correspondence between physical and computational states are not tenable. Rather, ``implementation'' has to be based on the notion of ``bisimulation'' in order to be able to block unwanted implementation results and incorporate intuitions from computational practice. A formal definition of implementation is suggested, which satisfies theoretical and practical requirements and may also be used to make the functionalist notion of ``physical realization'' precise. The upshot of (...) this new definition of implementation is that implementation cannot distinguish isomorphic bisimilar from non-isomporphic bisimilar systems anymore, thus driving a wedge between the notions of causal and computational complexity. While computationalism does not seem to be affected by this result, the consequences for functionalism are not clear and need further investigations. (shrink)

Empirical evidence, it has often been argued, undermines our commonsense assumptions concerning the efficacy of conscious intentions. One of the most influential advocates of this challenge has been Daniel Wegner, who has presented an impressive amount of evidence in support of a model of "apparent mental causation". According to Wegner, this model provides the best explanation of numerous curious and pathological cases of behavior. Further, it seems that Benjamin Libet's classic experiment on the initiation of action and the empirical evidence (...) concerning the confabulation of reason explanations provide further support for this view. In response, I will propose an alternative model of "real mental causation" that can accommodate the empirical evidence just as well as Wegner's. Further, we will see that there is plenty of evidence in support of the assumption that intentions are causally efficacious. This will provide us with ample reason to endorse the model of real mental causation. (shrink)

Sydney Shoemaker's "Subset Account" offers a new take on determinable properties and the realization relation as well as a defense of non-reductive physicalism from the problem of mental causation. At the heart of this account are the claims that (1) mental properties are determinable properties and (2) the causal powers that individuate a determinable property are a proper subset of the causal powers that individuate the determinates of that property. The second claim, however, has led to the accusation that the (...) effects caused by the instantiation of a determinable property will also be caused by the instantiation of the determinates of that property—so instead of solving the problem of mental causation, the Subset Account ends up guaranteeing that the effects of mental properties (and all other types of determinable property) will be causally overdetermined! In this paper, I explore this objection. I argue that both sides in this debate have failed to engage the question at the heart of the objection: Given that both a determinable property and its determinates have the power to cause some effect (E), does it follow that both will actually cause E when the relevant conditions obtain? To make genuine progress towards answering this question, we need to take a serious look at the metaphysics of causation. With the debate properly reframed and issues about the metaphysics of causation front and center, I explore the question of whether the Subset Account is doomed to result in problematic causal overdetermination. (shrink)

In What’s Wrong With Microphysicalism?, Andreas H üttemann argues against the ontological priority of the microphysical, in favour of a ‘pluralism’ that accepts physical systems of all scales as interdependent equals. This is thoughtful and original work, deploying an understanding of the relevant physics to mount a serious challenge to the dominant microphysicalist view.

David Lewis's position, often called analytic functionalism, was inspired by Ryle's analytic behaviorism, which took psychological predicates to express complex sets of behavioral dispositions. In this chapter, the author reviews some tenets of Lewis's philosophy of mind and begins with some comments on the methodology Lewis employed in his analysis of psychological terms, which has become standard in functionalist accounts across philosophy. Then, he discusses the difference between what are often called “realizer functionalism” and “role functionalism,” and argues that Lewis (...) made the wrong choice. In Lewis's argument for the identity theory, the identity of mental states with biological states follows logically from folk‐psychological definitions and broadly physical facts. A central part of folk psychology concerns the interaction of beliefs, desires, and choices. The chapter presents Lewis's often misunderstood account of intentionality. It also presents few pessimistic remarks on the prospect of analyzing phenomenal truths in terms of functional role. (shrink)

Sixteen years after Kim’s seminal paper offering a welcomed analysis of the emergence concept, I propose in this paper a needed extension of Kim’s work that does more justice to the actual diversity of emergentism. Rather than defining emergence as a monolithic third way between reductive physicalism and substance pluralism, and this through a conjunction of supervenience and irreducibility, I develop a comprehensive taxonomy of the possible varieties of emergence in which each taxon—theoretical, explanatory and causal emergence—is properly identified and (...) defined. This taxonomy has two advantages. First, it is unificatory in the sense that the taxa it contains derive from a common unity principle, which consequently constitutes the very hallmark of emergentism. Second, it can be shown that the emergence taxa it contains are able to meet the challenges that are commonly considered as being the hot topics on the emergentists’ agenda, namely the positivity, the consistency and the triviality/liberality challenges. (shrink)

What is the relationship between moral responsibility and causation? Plainly, we are not morally responsible for everything that we cause. For we cause a multitude of things, including things that we couldn't possibly foresee we would cause and with respect to which we cannot be assessed morally. Thus, it is clear that causing something does not entail being morally responsible for it. But, does the converse entailment hold? Does moral responsibility require causation? Intuitively, it does: intuitively, we can only be (...) morally responsible for things that we cause. (shrink)

In this article I address the issue of the ontological conditions of possibility for a naturalistic notion of emergence, trying to determine its fundamental differences from the atomist, vitalist, preformationist and potentialist alternatives. I will argue that a naturalistic notion of ontological emergence can only succeed if we explicitly refuse the atomistic fundamental ontological postulate that asserts that every entity is endowed with a set of absolutely intrinsic properties, being qualitatively immutable through its extrinsic relations. Furthermore, it will be shown (...) that, ironically enough, this metaphysical assumption is implicitly shared by all the above mentioned alternatives to Emergentism. The current article concludes that the notion of organization by itself is not enough, and that ontological emergence can only be justified by assuming a relational ontological perspective that, in opposition both to atomism and holism, defends that the existence-conditions, the identity and the causal behavior of any emergent systemic property can only be conceived, and explained, as constructed by and through specific networks of qualitatively transformative relational processes that occur between the system’s components and between the system and its environment. Additionally, I try to explain how one can make sense of the idea that an emergent phenomenon is both dependent on, and autonomous from, its emergence base. (shrink)

This paper proposes an integrated-structure notion of interlevel emergence, from a dynamic relational ontological perspective. First, I will argue that only the individualist essentialism of atomistic metaphysics can block the possibility of interlevel emergence. Then I will show that we can make sense of emergence by recognizing the formation of structures of transformative and interdependent causal relations in the generation and development of a particular class of mereological complexes called integrated systems. Finally, I shall argue that even though the emergent (...) structural attributes of such systems are not micro-determined nor micro-reducible, they can still be accounted for by an interlevel integrative neo-mechanistic form of explanation. (shrink)

Interactionists hold that minds are non-physical objects that interact with brains. The neural discernment problem for interactionism is that of explaining how non-physical minds produce behavior and cognition by exercising different causal powers over physiologically similar neurons. This paper sharpens the neural discernment problem and proposes two interactionist models of mind-brain interaction that solve it. One model avoids overdetermination while the other respects the causal closure of the physical domain.

Reductive physicalists typically accept the causal argument for their view. On this score, Tiehen parts ways with his fellow reductive physicalists. Heretically, he argues that reductive physicalists should reject the causal argument. After presenting Tiehen's challenge, I defend the orthodoxy. Although not myself a reductive physicalist, I show how reductive physicalists can resist this challenge to the causal argument. I conclude with a positive suggestion about how reductive physicalists should use the causal argument.

Interactionists hold that non-spatial objects causally interact with physical objects. Interactionists have traditionally grappled with the puzzle of how such interaction is possible. More recently, Jaegwon Kim has presented interactionists with a more daunting threat: the pairing argument, which purports to refute interactionism by showing that non-spatial objects cannot stand in causal relations. After reviewing that argument, I develop a challenge to it on behalf of the interactionist. The challenge poses a dilemma: roughly, either haecceities exist or they do not. (...) I argue that the pairing argument fails in either case. While the challenge does not explain exactly how the pairing argument goes wrong, it shows that the argument fails. The challenge also explains the difficulty in pinpointing the pairing argument’s failure: exactly how the pairing argument fails depends on difficult issues concerning the nature of objects. (shrink)

Loewer (in: Physicalism and its discontents, 2001; Philos Phenomenol Res 65:655–663, 2002; in: Contemporary debates in philosophy of mind, 2007) has argued that the nonreductive physicalist should respond to the exclusion problem by endorsing the overdetermination entailed by their view. Kim’s (Physicalism, or something near enough, 2005; in: Contemporary debates in the philosophy of mind, 2007) argument against this reply is based on the premise that mental causation must be a productive relation in order to sustain human agency. In this (...) paper, I challenge the premise that mental causation is a productive relation by appealing to the underlying double prevention structure of the physiological mechanisms of human action. Since the causal pathways from an agent’s mental events to bodily movement involves an absence, mental causation is not productive. This places Kim in a troublesome dilemma in his debate with Loewer: either surrender mental causation or deny that causation is a productive relation. With the support offered for productive mental causation undermined, responses to the exclusion problem based on accepting overdetermination remain viable options for the nonreductive physicalist. (shrink)

My main aim in this paper is to show that influential antireductionist arguments such as Fodor's, Kitcher's, and Dupré's state stronger conclusions than they actually succeed in establishing. By putting to the fore the role of metaphysical presuppositions in these arguments, I argue that they are convincing only as 'temporally qualified argument', and not as 'generally valid ones'. I also challenge the validity of the strategy consisting in drawing metaphysical lessons from the failure of reductionist programmes. What most of these (...) antireductionist standpoints have in common is a pretension to methodological imports. I conclude by explaining why, in order to remain relevant for scientific practice, antireductionist arguments should stay clear of metaphysics, for the latter, I argue, does not mix well with a taste for methodological prescriptions. (shrink)

forthcoming in Philosophy and Phenomenological Research.

This paper explicates two notions of emergencewhich are based on two ways of distinguishinglevels of properties for dynamical systems.Once the levels are defined, the strategies ofcharacterizing the relation of higher level to lower levelproperties as diachronic and synchronic emergenceare the same. In each case, the higher level properties aresaid to be emergent if they are novel or irreducible with respect to the lower level properties. Novelty andirreducibility are given precise meanings in terms of the effectsthat the change of a bifurcation (...) or perturbation parameterin the system has. (The same strategy can be applied to otherways of separating levels of properties, like themicro/macro distinction.)The notions of emergence developed here are notions of emergencein a weak sense: the higher level emergent properties wecapture are always structural properties (or are realized insuch properties), that is, they are defined in terms of the lowerlevel properties and their relations. Diachronic and synchronicemergent properties are distinctions within thecategory of structural properties. (shrink)