Hilary Putnam has argued that computational functionalism cannot serve as a foundation for the study of the mind, as every ordinary open physical system implements every finite-state automaton. I argue that Putnam's argument fails, but that it points out the need for a better understanding of the bridge between the theory of computation and the theory of physical systems: the relation of implementation. It also raises questions about the class of automata that can serve as a basis for understanding the (...) mind. I develop an account of implementation, linked to an appropriate class of automata, such that the requirement that a system implement a given automaton places a very strong constraint on the system. This clears the way for computation to play a central role in the analysis of mind. (shrink)

To clarify the notion of computation and its role in cognitive science, we need an account of implementation, the nexus between abstract computations and physical systems. I provide such an account, based on the idea that a physical system implements a computation if the causal structure of the system mirrors the formal structure of the computation. The account is developed for the class of combinatorial-state automata, but is sufficiently general to cover all other discrete computational formalisms. The implementation relation is (...) non-vacuous, so that criticisms by Searle and others fail. This account of computation can be extended to justify the foundational role of computation in artificial intelligence and cognitive science. (shrink)

For the greater part of the last 50 years, it has been common for philosophers of mind and cognitive scientists to invoke the notion of realization in discussing the relationship between the mind and the brain. In traditional philosophy of mind, mental states are said to be realized, instantiated, or implemented in brain states. Artificial intelligence is sometimes described as the attempt either to model or to actually construct systems that realize some of the same psychological abilities that we and (...) other living creatures possess. The claim that specific psychological. (shrink)

There is currently a significant amount of interest in understanding and developing theories of realization. Naturally arguments have arisen about the adequacy of some theories over others. Many of these arguments have a point. But some can be resolved by seeing that the theories of realization in question are not genuine competitors because they fall under different conceptual traditions with different but compatible goals. I will first describe three different conceptual traditions of realization that are implicated by the arguments under (...) discussion. I will then examine the arguments, from an older complaint by Norman Malcolm against a familiar functional theory to a recent argument by Thomas Polger against an assortment of theories that traffic in inherited causal powers, showing how they can be resolved by situating the theories under their respective conceptual traditions. (shrink)

I resolve an argument over “flat” versus “dimensioned” theories of realization. The theories concern, in part, whether realized and realizing properties are instantiated by the same individual (the flat theory) or different individuals in a part-whole relationship (the dimensioned theory). Carl Gillett has argued that the two views conflict, and that flat theories should be rejected on grounds that they fail to capture scientific cases involving a dimensioned relation between individuals and their constituent parts. I argue on the contrary that (...) the two types of theory complement one another, even on the same range of scientific cases. I illustrate the point with two popular functionalist versions of flat and dimensioned positions – causal-role functionalism and a functional analysis by decomposition – that combine into a larger picture I call “comprehensive functional realization.” I also respond to some possible objections to this synthesis of functionalist views. (shrink)

Thomas Polger and Laurence Shapiro argue that Carl Gillett's much publicized dimensioned theory of realization is incoherent, being subject to a reductio. Their argument turns on the fact that Gillett's definition of realization makes property instances the exclusive relata of the realization relation, while his belief in multiple realization implies its denial, namely, that properties are the relata of the realization relation on occasions of multiple realization. Others like Sydney Shoemaker have also expressed their view of realization in terms of (...) property instances, yet they too have accepted the multiple realizability of properties. Thus I am interested in the more general issue raised by Polger and Shapiro's argument. Specifically, I show how to supplement a theory of realization with a category-inclusive auxiliary assumption, which avoids the stated reductio. I then offer a few reasons to justify the proposed category-inclusive view of realization, making some comparisons to supervenience and causation along the way. (shrink)

Multiple realizability has been at the heart of debates about whether the mind reduces to the brain, or whether the items of a special science reduce to the items of a physical science. I analyze the two central notions implied by the concept of multiple realizability: "multiplicity," otherwise known as property variability, and "realizability." Beginning with the latter, I distinguish three broad conceptual traditions. The Mathematical Tradition equates realization with a form of mapping between objects. Generally speaking, x realizes (or (...) is the realization of) y because elements of y map onto elements of x. The Logico-Semantic Tradition translates realization into a kind of intentional or semantic notion. Generally speaking, x realizes (or is the realization of) a term or concept y because x can be interpreted to meet the conditions for satisfying y. The Metaphysical Tradition views realization as a species of determination between objects. Generally speaking, x realizes (or is the realization of) y because x brings about or determines y. I then turn to the subject of property variability and define it in a formal way. I then conclude by discussing some debates over property identity and scientific theory reduction where the resulting notion of multiple realizability has played a central role, for example, whether the nonreductive consequences of multiple realizability can be circumvented by scientific theories framed in terms of narrow domain-specific properties, or wide disjunctive properties. (shrink)

Some scientists and philosophers have claimed that there is a converse to multiple realizability. While a given higher-level property can be realized by different lower-level properties (multiple realizability), a given lower-level property can in turn serve to realize different higher-level properties (this converse I dubbed the unfortunately obscure "constructival plasticity" to emphasize the constructive metaphysics involved when realizing properties generate realized properties in the stated way). I begin by defining multiple realizabilty in a formal way, then turn to the relation (...) in question. By my analysis, for the converse claim to be true, a lower-level property G1 that realizes a higher-level F must be taken in conjunction with some other base condition G2 so that a difference in G2 allows G1 to determine some other higher-level property E but not F (otherwise there would be violations of supervenience). The realization law thus has the form: (G1 & G2) => F. As such, the base property G1 is insufficient by itself to produce F. It is an insufficient but necessary part of a sufficient condition. I also point out that this makes the realization base property an INUS condition, if combined with multiple realizability. Specifically, if F is multiply realized by properties other than the pair G1 and G2, then G1 is an insufficient but necessary part of an unnecessary but sufficient condition. (shrink)

Several philosophers (e.g., Ehring (Nous (Detroit, Mich.) 30:461–480, 1996 ); Funkhouser (Nous (Detroit, Mich.) 40:548–569, 2006 ); Walter (Canadian Journal of Philosophy 37:217–244, 2007 ) have argued that there are metaphysical differences between the determinable-determinate relation and the realization relation between mental and physical properties. Others have challenged this claim (e.g., Wilson (Philosophical Studies, 2009 ). In this paper, I argue that there are indeed such differences and propose a “mechanistic” account of realization that elucidates why these differences hold. This (...) account of realization incorporates two distinct roles that mechanisms play in the realization of mental (and other special science) properties which are implicit, but undeveloped, in the literature—what I call “constitutive” and “integrative” mechanisms. I then use these two notions of mechanism to clarify some debates about the relations between realization, multiple realizability, and irreducibility. (shrink)

In this paper, I answer a fundamental question facing any view according to which natural selection is a population‐level causal process—namely, how is the causal process of natural selection related to, yet not preempted by, causal processes that occur at the level of individual organisms? Without an answer to this grounding question, the population‐level causal view appears unstable—collapsing into either an individual‐level causal interpretation or the claim that selection is a purely formal, statistical phenomenon. I argue that a causal account (...) of realization provides an answer to the grounding question. By applying this account of realization to the natural selection of melanism in rock pocket mice, I show how an alternative, formal account of realization, favored by proponents of the statistical interpretation, misses biologically important features. More generally, this paper shows how metaphysical issues about realization normally discussed in the philosophy of mind apply to debates in philosophy of biology. Thus, it is a first step toward fleshing out the oft‐noted similarities between debates in these areas. (shrink)

So far no clear explication of the notion of realization has been offered, in spite of the frequent uses of the notion in the literature to discharge important jobs, such as that of accounting for the causal efficacy of the mental in a physical world, and that of providing a viable characterization of physicalism, and/or psychophysical reduction. I put forward an account of realization as an identity-like relation. I argue that such account has the following advantages: (a) it provides a (...) picture under which it makes sense to use the same term, i.e. 'realization', to pick out relations that differ in their relata, as it happened in the original uses of the term 'realization'; (b) it helps to understand how well, if at all, some appeals to realization in the literature can discharge the jobs mentioned; (c) more generally, it makes clear what realization can do. \\\ Hasta el momento no se ha expuesto detalladamente ninguna explicación clara de la nocion de realización, a pesar de que se usa con frecuencia en los textos filósoficos para desempeñar funciones importantes, como explicar la eflcacia causal de lo mental en un mundo fisico, y proporcionar una caracterización viable del fisicalismo, y/o de la reducción psicofisica. Presento una explicación de la realización como una relatión del tipo de la identidad. Sostengo que tal explicación tiene las siguientes ventajas: (a) ofrece una caracterización dentro de cuyo marco resulta razonable usar el mismo termino, i.e., "realización", para distinguir relaciones que difieren en sus relata, como sucedió cuando se usó originalmente el termino "realizacion"; (b) ayuda a comprender hasta que punto la realizacion que se invoca en algunos textos filosoficos puede desempeñar correctamente las tareas mencionadas; (c) mas en general, aclara qué puede hacer la realización. (shrink)

Sydney Shoemaker has attempted to save mental causation by a new account of realization. As Brian McLaughlin argues convincingly, the account has to face two major problems. First, realization does not guarantee entailment. So even if mental properties are realized by physical properties, they need not be entailed by them. This is the first, rather general metaphysical problem. A second problem, which relates more directly to mental causation is that Shoemaker must appeal to some kind of proportionality as a constraint (...) on causation in order to avoid redundant mental causation. I argue that, in addition, a “piling problem” arises, since causal powers seem to be bestowed twice. Then, I try to sketch an alternative view of the relation between causal powers and properties—a reductionist view—which fares better on some accounts. But it may have to face another and, perhaps, serious problem, the “problem of the natural unity of properties”. Finally, I will pose a question about the relation between causal powers and causation. (shrink)

This paper discusses in broad terms the metaphysical projects of Sydney Shoemaker’s Physical Realization . Specifically, I examine the effectiveness of Shoemaker’s novel “subset” account of realization for defusing the problem of mental causation, and compare the “subset” account with the standard “second-order” account. Finally, I discuss the physicalist status of the metaphysical worldview presented in Shoemaker’s important new contribution to philosophy of mind and metaphysics.

Materialism, as traditionally conceived, has a contingent side and a necessary side. The necessity of materialism is reflected by the metaphysics of realization, while its contingency is a matter of accepting the possibility of Cartesian worlds, worlds in which our minds are roughly as Descartes describes them. In this paper we argue that the necessity and the contingency of materialism are in conflict. In particular, we claim that if mental properties are realized by physical properties in the actual world, Cartesian (...) worlds are impossible. (shrink)

Sydney Shoemaker has proposed a new definition of `realization’ and used it to try to explain how mental events can be causes within the framework of a non-reductive physicalism. I argue that it is not actually his notion of realization that is doing the work in his account of mental causation, but rather the assumption that certain physical properties entail mental properties that do not entail them. I also point out how his account relies on certain other controversial assumptions, including (...) analytical filler-functionalism for mental properties, and the assumption that causes must be proportional to their effects. I conclude by pointing out that Shoemaker has provided no explanation of why, on his view, certain physical properties entail mental properties. (shrink)

According to a prominent line of thought, we can be physicalists, but not reductive physicalists, by holding that mental and other ‘higher-level’ or ‘nonbasic’ properties — properties that are not obviously physical properties — are all physically realized. Spelling this out requires an account of realization, an account of what it is for one property to realize another. And while several accounts of realization have been advanced in recent years,1 my interest here is in the ‘subset view,’ which has often (...) been invoked explicitly in defense of nonreductive physicalist positions.2 The subset view holds that property realization consists in the powers of one property having as a subset the powers of another; .. (shrink)

Realization can be roughly understood as a kind of role-playing, a relationship between a property that plays a role and a property characterized by that role. This rough sketch previously received only moderate elaboration; recently, however, several substantive theories of realization have been proposed. But are there any general constraints on a theory of realization? What is a theory of realization supposed to accomplish? I first argue that a view of realization is viable, in part, to the extent that physical (...) realization under that view explains or accounts for why instances of realized properties are necessitated by how things are physically in a modally strong sense. In this sense, I claim that physical realization should explain physical supervenience. I then call into question two alternative desiderata and raise a challenge for attempts to explicate realization in terms of isomorphism or analogy. Finally, I explain how a causal-functional account of realization, as well as less demanding accounts, can meet the preferred desideratum. (shrink)

According to the received view in philosophy of mind, mental states or properties are _realized_ by brain states or properties but are not identical to them. This view is often called _realization_ _physicalism_. Carl Gillett has recently defended a detailed formulation of the realization relation. However, Gillett’s formulation cannot be the relation that realization physicalists have in mind. I argue that Gillett’s “dimensioned” view of realization fails to apply to a textbook case of realization. I also argue Gillett counts as (...) realization some cases that should not count if realization physicalism is to be distinguished from its competitors in the usual ways. I conclude that the relation described by Gillett cannot be realization. (shrink)

The view that the relationship between minds and brains can be thought of on the model of software and hardware is pervasive. The most common versions of the view, known as functionalism in philosophy of mind, hold that minds are realized by brains.

After briefly discussing the relevance of the notions computation and implementation for cognitive science, I summarize some of the problems that have been found in their most common interpretations. In particular, I argue that standard notions of computation together with a state-to-state correspondence view of implementation cannot overcome difficulties posed by Putnam's Realization Theorem and that, therefore, a different approach to implementation is required. The notion realization of a function, developed out of physical theories, is then introduced as a replacement (...) for the notional pair computation-implementation. After gradual refinement, taking practical constraints into account, this notion gives rise to the notion digital system which singles out physical systems that could be actually used, and possibly even built. (shrink)

In Physical Realization, Sydney Shoemaker considers the question of how physicalism can be true: how can all facts about the world, including mental ones, be ...

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)

This volume brings together a number of perspectives on the nature of realization explanation and experimentation in the ‘special’ and biological sciences as well as the related issues of psychoneural reduction and cognitive extension. The first two papers in the volume may be regarded as offering direct responses to the questions: (1) What model of realization is appropriate for understanding the metaphysics of science? and (2) What kind of philosophical work is such a model ultimately supposed to do?

The Subset View of realization, though it has some attractive advantages, also has several problems. In particular, there are five main problems that have emerged in the literature: Double-Counting, The Part/Whole Problem, The “No Addition of Being” Problem, The Problem of Projectibility, and the Problem of Spurious Kinds. Each is reviewed here, along with solutions (or partial solutions) to them. Taking these problems seriously constrains the form that a Subset view can take, and thus limits the kinds of relations that (...) can fulfill the realization relation on this view. (shrink)

The by now famous exclusion problem for mental causation admits only one possible solution, as far as I can see, namely: that mental and physical properties are linked by a vertical relation. In this paper, starting from what I take to be sensible premises about properties, I will be visiting some general relations between them, in order to see whether, first, it is true that some vertical relation, other than identity, makes different sorts of causation compatible and second, whether physical (...) and mental properties can be pairs of such relation. (shrink)

The realization relation that allegedly holds between mental and physical properties plays a crucial role for so-called non-reductive physicalism because it is supposed to secure both the ontological autonomy of mental properties and, despite their irreducibility, their ability to make a causal difference to the course of the causally closed physical world. For a long time however, the nature of realization has largely been ignored in the philosophy of mind until a couple of years ago authors like Carl Gillett, Derk (...) Pereboom, or Sydney Shoemaker proposed accounts according to which realization is understood against the background of the so-called ‘causal theory of properties’. At least partially, the hope was to solve the problem of mental causation, in particular the kind of causal exclusion reasoning made famous by Jaegwon Kim, in a way acceptable to non-reductive physicalists. The paper asks whether a proper explication of the realization relation can indeed help explain how physically realized mental properties can be causally efficacious in the causally closed physical world and argues for a negative answer: it is important for the non-reductive physicalist to understand what exactly the realization relation amounts to, but it does not solve the problem of mental causation. (shrink)

It has recently been suggested that a distinctive relation or relations of (as I put it) "Grounding" is ultimately at issue in contexts where some entities or facts are claimed to, e.g., hold "in virtue of" or be "less fundamental than", "metaphysically dependent on", or "nothing over and above" some others (see Fine 2001, Schaffer 2009, and Rosen 2010). Grounding is supposed to do good work (better than merely modal notions, in particular) in illuminating the structure of metaphysical dependence. I (...) argue that Grounding, qua metaphysical posit, is also too coarse-grained to do this work, obscuring or eliding important differences in the metaphysics of dependence---e.g., between eliminativist, reductionist, and non-reductionist accounts of grounded entities. There is no getting around the need for metaphysically specific grounding relations capable of preserving these distinctions; and once the specific relations are on the scene, there is no need for Grounding. (shrink)

I argue that an adequate account of non-reductive realization must guarantee satisfaction of a certain condition on the token causal powers associated with (instances of) realized and realizing entities---namely, what I call the 'Subset Condition on Causal Powers' (first introduced in Wilson 1999). In terms of states, the condition requires that the token powers had by a realized state on a given occasion be a proper subset of the token powers had by the state that realizes it on that occasion. (...) Accounts of non-reductive realization conforming to this condition are implementing what I call 'the powers-based subset strategy'. I focus on the crucial case involving mental and brain states; the results may be generalized, as appropriate. I first situate and motivate the strategy by attention to the problem of mental causation; I make the case, in schematic terms, that implementation of the strategy makes room (contra Kim 1989, 1993, 1998, and elsewhere) for mental states to be ontologically and causally autonomous from their realizing physical states, without inducing problematic causal overdetermination, and compatible with both Physicalism and Non-reduction; and I show that several contemporary accounts of non-reductive realization (in terms of functional realization, parthood, and the determinable/determinate relation) are plausibly seen as implementing the strategy. As I also show, implementation of the powers-based strategy does not require endorsement of any particular accounts of either properties or causation---indeed, a categoricalist contingentist Humean can implement the strategy. The schematic location of the strategy in the space of available responses to the problem of mental (more generally, higher-level) causation, as well as the fact that the schema may be metaphysically instantiated, strongly suggests that the strategy is, appropriately generalized and instantiated, sufficient and moreover necessary for non-reductive realization. I go on to defend the sufficiency and necessity claims against a variety of objections, considering, along the way, how the powers-based subset strategy fares against competing accounts of purportedly non-reductive realization in terms of supervenience, token identity, and constitution. (shrink)

How can mental properties bring about physical effects, as they seem to do, given that the physical realizers of the mental goings-on are already sufficient to cause these effects? This question gives rise to the problem of mental causation (MC) and its associated threats of causal overdetermination, mental causal exclusion, and mental causal irrelevance. Some (e.g., Cynthia and Graham Macdonald, and Stephen Yablo) have suggested that understanding mental-physical realization in terms of the determinable/determinate relation (henceforth, 'determination') provides the key to (...) solving the problem of MC: if mental properties are determinables of their physical realizers, then (since determinables and determinates are distinct, yet don't causally compete) all three threats may be avoided. Not everyone agrees that determination can do this good work, however. Some (e.g., Douglas Ehring, Eric Funkhauser, and Sven Walter) object that mental-physical realization can't be determination, since such realization lacks one or other characteristic feature of determination. I argue that on a proper understanding of the features of determination key to solving the problem of MC these arguments can be resisted. (shrink)

Horgan claims that physicalism requires "superdupervenience" -- supervenience plus robust ontological explanation of the supervenient in terms of the base properties. I argue that Horgan's account fails to rule out physically unacceptable emergence. I rather suggest (in the earliest explicit presentation of the powers-based subset strategy) that this and other unacceptable possibilities may be ruled out by requiring that each individual causal power in the set associated with a given supervenient property be numerically identical with a causal power in the (...) set associated with its base property. Satisfying this condition is all that is needed to render supervenience superduper. I go on to show that a wide variety of physicalist accounts, both reductive and non-reductive, are implicitly or explicitly designed to meet this condition, and so are more similar than they seem. (shrink)

For the greater part of the last 50 years, it has been common for philosophers of mind and cognitive scientists to invoke the notion of realization in discussing the relationship between the mind and the brain. In traditional philosophy of mind, mental states are said to be realized, instantiated, or implemented in brain states. Artificial intelligence is sometimes described as the attempt either to model or to actually construct systems that realize some of the same psychological abilities that we and (...) other living creatures possess. The claim that specific psychological.. (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)

This paper argues against the _realization principle_, which reifies the realization relation between lower-level and higher-level properties. It begins with a review of some principles of naturalistic metaphysics. Then it criticizes some likely reasons for embracing the realization principle, and finally it argues against the principle directly. The most likely reasons for embracing the principle depend on the dubious assumption that special science theories cannot be true unless special science predicates designate properties. The principle itself turns out to be false (...) because the realization relation fails the naturalistic test for reality: it makes no causal difference to the world.1. (shrink)