I defend the claim that physicalism is not committed to the view that non-phenomenal macrophysical truths are a priori entailed by the conjunction of microphysical truths , basic indexical facts , and a 'that's all' claim . I do so by showing that Chalmers and Jackson's most popular and influential argument in support of the claim that PIT ⊃ M is a priori, where 'M' stands for any ordinary, non-phenomenal, macroscopic truth, falls short of establishing its conclusion. My objection to (...) Chalmers and Jackson's argument takes the form of a nested dilemma. Let 'Conceptual Competence Principle ' stand for the following claim: for any complete microphysical description D of a world w, a subject who is in possession of and competent with a macrophysical concept C is capable of determining a priori the extension of C. Either Jackson and Chalmers accept CCP or not. If the latter, then they cannot demonstrate that the conditional PIT ⊃ M is a priori. If the former, then they have a choice: they can either cite reasons that support the principle or argue that the principle should be taken for granted since it is entailed by the very notion of conceptual competence. But both alternatives are problematic. In regard to the first horn of this latter dilemma, I show not only that there are no good reasons to support the principle, but that there are also reasons to reject it. In regard to the second horn, I show that it cannot be the case that CCP is part of the very notion of conceptual competence. The conceptual capacity expressed by CCP requires that certain bridge principles or conditionals, which link the microphysical level to the macroscopic level, are either implicitly or explicitly given to the subject. But, as I argue, Chalmers and Jackson have no way of accounting for these bridge principles or conditionals in a manner that does not trivialize their position. (shrink)

Inter-level mechanistic explanations in the sciences have long been a focus of philosophical interest, but attention has recently turned to the compositional character of these explanations which work by explaining higher level entities, whether processes, individuals or properties, using the lower level entities they take to compose them. However, we still have no theoretical account of the constitution or parthood relations between individuals deployed in such explanations, nor any accounts of multiple constitution. My primary focus in this paper is to (...) outline a positive account of the constitution/part-whole relations between individuals posited in inter-level mechanistic explanations that takes constituents in the sciences to be ‘working parts’. Using this account, I then go on to illuminate the nature, and varieties, of multiple constitution that we find in the sciences and provide a starting theoretical framework for multiple constitution as well. (shrink)

Abstract: There has recently been controversy over the existence of 'multiple realization' in addition to some confusion between different conceptions of its nature. To resolve these problems, we focus on concrete examples from the sciences to provide precise accounts of the scientific concepts of 'realization' and 'multiple realization' that have played key roles in recent debates in the philosophy of science and philosophy of psychology. We illustrate the advantages of our view over a prominent rival account ( Shapiro, 2000 and (...) 2004 ) and use our work to rebut recent objections to the long-standing claim that psychological properties are multiply realized. For we use scientific evidence, in combination with our more precise theoretical framework, to show that we have strong reason to believe that psychological properties are indeed multiply realized both at the biochemical and neuronal levels. (shrink)

The use of “levels of abstraction” in philosophical analysis (levelism) has recently come under attack. In this paper, I argue that a refined version of epistemological levelism should be retained as a fundamental method, called the method of levels of abstraction. After a brief introduction, in section “Some Definitions and Preliminary Examples” the nature and applicability of the epistemological method of levels of abstraction is clarified. In section “A Classic Application of the Method ofion”, the philosophical fruitfulness of the new (...) method is shown by using Kant’s classic discussion of the “antinomies of pure reason” as an example. In section “The Philosophy of the Method of Abstraction”, the method is further specified and supported by distinguishing it from three other forms of “levelism”: (i) levels of organisation; (ii) levels of explanation and (iii) conceptual schemes. In that context, the problems of relativism and antirealism are also briefly addressed. The conclusion discusses some of the work that lies ahead, two potential limitations of the method and some results that have already been obtained by applying the method to some long-standing philosophical problems. (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).

What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI. According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and test hypotheses in a more rigorous and precise fashion. (...) But according to strong AI, the computer is not merely a tool in the study of the mind; rather, the appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to. (shrink)

A classification of models of reduction into three categories — theory reductionism, explanatory reductionism, and constitutive reductionism — is presented. It is shown that this classification helps clarify the relations between various explications of reduction that have been offered in the past, especially if a distinction is maintained between the various epistemological and ontological issues that arise. A relatively new model of explanatory reduction, one that emphasizes that reduction is the explanation of a whole in terms of its parts is (...) also presented in detail. Finally, the classification is used to clarify the debate over reductionism in molecular biology. It is argued there that while no model from the category of theory reduction might be applicable in that case, models of explanatory reduction might yet capture the structure of the relevant explanations. (shrink)

John Bickle's Psychoneural reduction: the new wave (Cambridge, MA: MIT Press, 1998) aims to resurrect reductionism within philosophy of mind. He develops a new model of scientific reduction, geared to enhancing our understanding of how theories in neuroscience and cognitive science are interrelated. I put this discussion in context, and assess the prospects for new wave reductionism, both as a general model of scientific reduction and as an attempt to defend reductionism in the philosophy of mind.

Recently, several philosophers have defended an explanatory argument that supposedly provides novel empirical grounds for accepting the type identity theory of phenomenal consciousness. They claim that we are justified in believing that the type identity thesis is true because it provides the best explanation for the correlations between physical properties and phenomenal properties. In this paper, I examine the actual role identities play in science and point out crucial shortcomings in the explanatory argument. I show that the supporters of the (...) argument have failed to show that the identity thesis provides a satisfactory explanation for the correlations between physical and phenomenal properties. Hence, the explanatory argument, as it stands, does not provide new grounds for accepting the type identity theory. (shrink)

The Three Papers comprising this series, together with my earlier [34] also published in this journal, constitute an attempt to set out the major issues in the theoretical domain of reduction and to develop a general theory of theory reduction. The fourth paper, [34], though published separately from this trio, is integral to the presentation and should be read in conjunction with these papers. Even so, the presentation is limited in scope – roughly, to intertheoretic reduction among empirical theories – (...) and informal in presentation – not least because a satisfying formal account of theories has yet to be offered. And despite the length, the treatment is still condensed; often corroborating and/or intuitively helpful detail has had to be consigned to footnotes or omitted. I approach the problem from within my own naturalistic realist philosophy of science and formal analysis of abstract hierarchy in theory. The sources for the former are [25], [29], [31], and [32] and those for the latter essentially [27] and [30]. Hierarchical notions played a significant role in the already published [34]. (shrink)

Richard Levins’ distinction between aggregate, composed and evolved systems acquires new significance as we recognize the importance of mechanistic explanation. Criteria for aggregativity provide limiting cases for absence of organization, so through their failure, can provide rich detectors for organizational properties. I explore the use of failures of aggregativity for the analysis of mechanistic systems in diverse contexts. Aggregativity appears theoretically desireable, but we are easily fooled. It may be exaggerated through approximation, conditions of derivation, and extrapolating from some conditions (...) of decomposition illegtimately to others. Evolved systems particularly may require analyses under alternative complementary decompositions. Exploring these conditions helps us to better understand the strengths and limits of reductionistic methods. (shrink)

We argue that intelligible appeals to interlevel causes (top-down and bottom-up) can be understood, without remainder, as appeals to mechanistically mediated effects. Mechanistically mediated effects are hybrids of causal and constitutive relations, where the causal relations are exclusively intralevel. The idea of causation would have to stretch to the breaking point to accommodate interlevel causes. The notion of a mechanistically mediated effect is preferable because it can do all of the required work without appealing to mysterious interlevel causes. When interlevel (...) causes can be translated into mechanistically mediated effects, the posited relationship is intelligible and should raise no special philosophical objections. When they cannot, they are suspect. (shrink)

The notion of levels has been widely used in discussions of cognitive science, especially in discussions of the relation of connectionism to symbolic modeling of cognition. I argue that many of the notions of levels employed are problematic for this purpose, and develop an alternative notion grounded in the framework of mechanistic explanation. By considering the source of the analogies underlying both symbolic modeling and connectionist modeling, I argue that neither is likely to provide an adequate analysis of processes at (...) the level at which cognitive theories attempt to function: One is drawn from too low a level, the other from too high a level. If there is a distinctly cognitive level, then we still need to determine what are the basic organizational principles at that level. (shrink)

What counts as a computation and how it relates to cognitive function are important questions for scientists interested in understanding how the mind thinks. This paper argues that pragmatic aspects of explanation ultimately determine how we answer those questions by examining what is needed to make rigorous the notion of computation used in the (cognitive) sciences. It (1) outlines the connection between the Church-Turing Thesis and computational theories of physical systems, (2) differentiates merely satisfying a computational function from true computation, (...) and finally (3) relates how we determine a true computation to the functional methodology in cognitive science. All of the discussion will be directed toward showing that the only way to connect formal notions of computation to empirical theory will be in virtue of the pragmatic aspects of explanation. (shrink)

We will show that there is a strong form of emergence in cell biology. Beginning with C.D. Broad's classic discussion of emergence, we distinguish two conditions sufficient for emergence. Emergence in biology must be compatible with the thought that all explanations of systemic properties are mechanistic explanations and with their sufficiency. Explanations of systemic properties are always in terms of the properties of the parts within the system. Nonetheless, systemic properties can still be emergent. If the properties of the components (...) within the system cannot be predicted, even in principle, from the behavior of the system's parts within simpler wholes then there also will be systemic properties which cannot be predicted, even in principle, on basis of the behavior of these parts. We show in an explicit case study drawn from molecular cell physiology that biochemical networks display this kind of emergence, even though they deploy only mechanistic explanations. This illustrates emergence and its place in nature. (shrink)

Understanding the 'making-up' relations, to put things neutrally, posited in mechanistic explanations the sciences is finally an explicit topic of debate amongst philosophers of science. In particular, there is now lively debate over the nature of the so-called 'realization' relations between properties posited in such explanations. Despite criticism (Gillett, Analysis 62: 316-323, 2002a), the most common approach continues to be that of applying machinery developed in the philosophy of mind to scientific concepts in what is known as the 'Flat' or (...) 'Subset' model of 'realization' (Kim, Mind in a physical world, 1998; Shapiro, J Philos XCVII: 635-654, 2000; Clapp, J Philos XCVIII: 111-136,2001 ; Wilson, Philos Stud 145: 149-169,2009). My primary goal in this paper is to show in still more detail that the Subset model of realization is inadequate for the descriptive task of describing the 'making-up' relations posited between properties or their instances in mechanistic explanations in the higher sciences. And my secondary goal is to highlight why this critique of the Subset view as a first-order descriptive account also shows there are deep difficulties in using the Subset account to address second-order issues in the philosophy of science as well. (shrink)

Explanations of how psychological capacities are carried out often invoke functional brain areas. I argue that such explanations cannot succeed. Psychological capacities are carried out by identifiable entities and their activities in the brain, but functional brain areas are not the relevant entities. I proceed by assuming that if functional brain areas did carry out psychological capacities, then these brain areas could be included in descriptions of mechanisms. And if functional brain areas participate in mechanisms, then they must engage in (...) activities. A number of ways in which we might understand the claim that functional brain areas engage in activities are examined. None are successful, and so one conclusion is that functional brain areas do not participate in mechanisms. Consequently, they are not the entities that carry out psychological capacities. (shrink)

This paper examines the nature of theory structure in biology and considers the implications of those theoretical structures for theory reduction. An account of biological theories as interlevel prototypes embodying causal sequences, and related to each other by strong analogies, is presented, and examples from the neurosciences are provided to illustrate these middle-range theories. I then go on to discuss several modifications of Nagel''s classical model of theory reduction, and indicate at what stages in the development of reductions these models (...) might best apply. Finally I consider several implications of these analyses of theory structure and reduction for disciplinary integration in biology. (shrink)

I analyse Rueger’s application of Kim’s model of functional reduction to the relation between the thermal conductivities of metal bars at macroscopic and atomic scales. 1) I show that it is a misunderstanding to accuse the functional reduction model of not accounting for the fact that there are causal powers at the micro-level which have no equivalent at the macro-level. The model not only allows but requires that the causal powers by virtue of which a functional predicate is defined, are (...) only a subset of the causal powers of the properties filling the functional specification. 2) The fact that the micro-equation does not converge to the macro-equation in general but only under the constraint of a “solvability condition” does not show that reduction is impossible, as Rueger claims, but only that reduction requires inter-level constraints. 3) Rueger tries to analyse inter-level reduction with the conceptual means of intra-level reduction. This threatens the coherence of his analysis, given that it makes no sense to ascribe macroproperties such as thermal conductivity to entities at the atomic level. Ignoring the distinction between theses two senses of “reduction” is especially confusing because they have opposite directions: in intra-level reduction, the more detailed account reduces to the less detailed one, whereas in inter-level reduction, the less detailed theory is reduced to the more detailed one. 4) Finally I criticize Rueger’s way of using Wimsatt’s criteria for emergence in terms of non-aggregativity, to construct a concept of synchronic emergence. It is wrong to require, over and above non-aggregativity, irreducibility as a criterion for emergence. (shrink)

Owen Flanagan's arguments concerning qualia constitute an intermediate position between Dennett's “disqualification” of qualia and the thesis that qualia represent an insurmountable obstacle to constructive naturalism. This middle ground is potentially attractive, but it is shown to have serious problems. This is brought out via consideration of several classic areas of dispute connected with qualia, including the inverted spectrum, Frank Jackson's thought experiment, Hindsight, and epiphenomenalism. An attempt is made to formulate the basis for a less vulnerable variant on the (...) “middle ground”. (shrink)

This paper explores several paths by which the extended cognition thesis may overcome the coupling-constitution fallacy. In so doing, I address a couple of shortcomings in the contemporary literature. First, on the dimension of first-wave EC, I argue that constitutive arguments based on functional parity suffer from either a threat of cognitive bloat or an impasse with respect to determining the correct level of grain in the attribution of causal-functional roles. Second, on the dimension of second-wave EC, I argue that (...) especially the complementarity approach suffers from a similar sort of dilemma as first-wave EC: an inability to justify just what entails the ontological claim of EC over the scaffolding claim of weaker approaches in cognitive science. In this paper I show that two much more promising explanations by which to ground the ontological claim of EC are available, both starting from an exploration of the coordination dynamics between environmental resources and neural resources. On the one hand, I argue that second-wave EC based on cognitive integration, with its focus on bodily manipulations constrained by cognitive norms, is capable of resolving the coupling-constitution fallacy. On the other hand, I argue that the framework of cognitive integration can be supplemented by philosophical accounts of mechanistic explanation, because such accounts enable us to explain the emergence of higher-level cognitive properties due to a system's organization-dependent structure. (shrink)

I characterize Wimsatt’s approach to philosophy of science as philosophy for science and then briefly consider a theme emerging from his work that informs just one of the many current developments in philosophy of biology that he inspired: scaffolding as a problem of mechanistic explanation for functionalists.

Part I of this trilogy, Historical and Scientific Setting, set out a general context for selecting a certain subclass of inter-theoretic relations as achieving appropriate explanatory and ontological unification – hence for properly being labelled reductive. Something of the complexity of these relations in real science was explored. The present article concentrates on the role which identity plays in structuring the reduction relation and so in achieving ontological and explanatory unification.

Any theory of reduction that goes only so far as carried in Parts I and II does only half the job. Prima facie at least, there are cases of would-be reduction which seem torn between two conflicting intuitions. On the one side there is a strong intuition that reduction is involved, and a strongly retentive reduction at that. On the other side it seems that the concepts at one level cross-classify those at the other level, so that there is no (...) way to identify properties at one level with those at the other. There is evidence to suggest that there will be no unique mental state/neural state association that can be set up, because, e.g., many different parts of the nervous system are all capable of taking over ‘control’ of the one mental function. And it is alleged that infinitely many, worse: indefinitely many, different bio-chemo-physical states could correspond to the economic property ‘has a monetary system of economic exchange’; and similarly for the property ‘has just won a game of tennis’. Yet one doesn't want an economic system or a game of tennis to be some ghostly addition to the actual bio-chemo-physical processes and events involved. Similarly one hopes that neurophysiology allied with the rest of natural science will render human experience and behaviour explicable. (shrink)

The question of the ontological status of social wholes has been formative to the development of key positions and debates within modern social theory. Intrinsic to this is the contested meaning of the concept of emergence and the idea that the collective whole is in some way more than the sum of its parts. This claim, in its contemporary form, gives exaggerated importance to a simple truism of re-description that concerns all wholes. In this paper I argue that a better (...) way to test the ontological status of wholes is to ask whether their causal properties can be reduced to the qualities of their parts. If reduction is possible the ontological status of emergent wholes is diminished. A close analysis of William Wimsatt's definition, conceptualisation, and characterisation of emergent phenomena provides an understanding of the relationship between wholes and their parts and suggests, also, that the properties of collective phenomena of a social kind reduce to the activities of people. Social wholes and their parts reside in the same mode (or level) of organisation. This paper concludes by employing Jaegwon Kim's method of ‘functional reduction’ to demonstrate how to reduce the qualities of wholes to those of their parts. (shrink)

Methodological reductionists practice ‘wannabe reductionism’. They claim that one should pursue reductionism, but never propose how. I integrate two strains in prior work to do so. Three kinds of activities are pursued as “reductionist”. “Successional reduction” and inter-level mechanistic explanation are legitimate and powerful strategies. Eliminativism is generally ill-conceived. Specific problem-solving heuristics for constructing inter-level mechanistic explanations show why and when they can provide powerful and fruitful tools and insights, but sometimes lead to erroneous results. I show how traditional metaphysical (...) approaches fail to engage how science is done. The methods used do so, and support a pragmatic and non-eliminativist realism. (shrink)

Many studies of the unification of science focus on the theories of different disciplines. The model for integration is the theory reduction model. This paper argues that the embodiment of theories in scientists, and the institutions in which scientists work and the instruments they employ, are critical to the sort of integration that actually occurs in science. This paper examines the integration of scientific endeavors that emerged in cell biology in the period after World War II when the development of (...) cell fractionation and electron microscopy made serious investigations of cell organelles possible. One surprising feature of such integration is that it generated further disintegration as the new institutions of cell biology separated the practitioners of the new discipline from other, closely related biological disciplines. (shrink)