Recently, some mechanists have embraced reductionism and some reductionists have endorsed mechanism. However, the two camps disagree sharply about the extent to which mechanistic explanation is a reductionistic enterprise. Reductionists maintain that cellular and molecular mechanisms can explain mental phenomena without necessary appeal to higher-level mechanisms. Mechanists deny this claim. I argue that this dispute turns on whether reduction is a transitive relation. I show that it is. Therefore, mechanistic explanations at the cellular and molecular level explain mental phenomena. I (...) make my case in part by noting that mechanisms at higher levels are composed of mechanisms at lower levels. Compositional relations are transitive. In addition, they are explanatory. I conclude that there are explanatory linkages from cellular and molecular mechanisms to mental phenomena within a hierarchy of nested mechanisms. (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)

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)

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)

During the 19th century atomism was a controversial issue in chemistry. It is an oversimplification to dismiss the critics' arguments as all falling under the general positivist view that what can't be seen can't be. The more interesting lines of argument either questioned whether any coherent notion of an atom had ever been formulated or questioned whether atoms were ever really given any explanatory role. At what point, and for what reasons, did atomistic hypotheses begin to explain anything in chemistry? (...) It is argued that 19th-century atomic accounts of constant proportions and isomerism had little to offer, whereas a non-atomic explanation of chemical combination was developed. Not until the turn of the century did atomism begin to do serious explanatory work in chemistry. (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)

2020 update of the entry "Properties".

Sixteenth century pharmacology was still very much under the influence of a distinction going back to ancient medicine: the distinction between effects of medicaments that were taken to be explainable by the elementary qualities, their mutual modification in mixture, and the combination of these modified elementary qualities on the one hand, and the effects of medicaments that were taken not to be explicable in this manner.1 Galen coined the expression that a medicament of the latter kind possesses the capacity of (...) acting "by its whole substance,"2 and the question of how actions of the whole substance could be explicated gave rise to heated controversies in early modern pharmacology. Did Galen just... (shrink)

We examine critically the interdependence between science and philosophy which Sklar asserts in Space, Time, and Spacetime. We find that such a view makes it difficult to criticize the ideas of science, like that of absolute space, on their own merits, without importing extraneous philosophical associations. It also impedes appreciation of the importance, and subtlety, of explanation in scientific theory. As a result, particular explanations, such as the one Newton offered of his bucket experiment, are dismissed facilely-- indeed, all geometric (...) explanation appears illegitimate--, and such general attitudes as conventionalism appear to lack rationale. (shrink)

It is often claimed that the social sciences cannot be reduced to a lower-level individualistic science. The standard argument for this position is the Fodorian multiple realizability argument. Its defenders endorse token–token identities between “higher-level” social objects and pluralities/sums of “lower-level” individuals, but they maintain that the properties expressed by social science predicates are often multiply realizable, entailing that type–type identities between social and individualistic properties are ruled out. In this paper I argue that the multiple realizability argument for explanatory (...) holism is unsound. The social sciences are indeed irreducible, but the principled reason for this is that the required token–token identifications cannot in general be carried through. In consequence, paradigmatic social science predicates cannot be taken to apply to the objects quantified over in the lower-level sciences. The result is that typical social science predicates cannot even be held to be co-extensive with individualistic predicates, which means type–type identifications are ruled out too. Multiple realizability has nothing to do with this failure of co-extensiveness, because the relevant social science predicates are not multiply realized in the sense intended by the explanatory holists, a sense which presupposes reductive token–token identifications. (shrink)

Recently the functional model of reduction has become something like the standard model of reduction in philosophy of mind. In this paper, I argue that the functional model fails as an account of reduction due to problems related to three key concepts: functionalization, realization and causation. I further argue that if we try to revise the model in order to make it more coherent and scientifically plausible, the result is merely a simplified version of what in philosophy of science is (...) known as mechanistic explanation. Hence, instead of analyzing reduction in philosophy of mind in terms of functional reduction, it should be analyzed in terms of mechanistic explanation. (shrink)

We reconsider the Nagelian theory of reduction and argue that, contrary to a widely held view, it is the right analysis of intertheoretic reduction. The alleged difficulties of the theory either vanish upon closer inspection or turn out to be substantive philosophical questions rather than knock-down arguments.

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.

Qualia and Physicalism. It is assumed that the following three relations exhaust the possibilities for a physicalist account of qualia: 1. determination, 2. identity, 3. realization. The first relation is immediately rejected because it does not exclude property dualism. The second faces the problem that it is probably impossible to discriminate empirically between the identity thesis and the epiphenomenalist position. The third cannot handle qualia adequately, for qualia are not functional properties and the realization relation is only plausible as a (...) relation between physical realizers and functional properties. Finally, if one attempts to replace multiple realization by multiple identities it is shown that the notion of multiple property identities is unintelligible. The upshot is that if these three relations exhaust the possibilities of a physicalist construal of qualia then physicalism is wrong. (shrink)

I argue that kripke's reviews about scientific reduction and identity merely restate familiar empiricist theses in somewhat paradoxical language. I reconstruct a kripkean argument for natural necessity and conclude that it too restates empiricist orthodoxy in paradoxical language. I suggest that this difficulty is endemic to modern essentialism.

Something is wrong with current discussions about theory reduction. The question of whether higher level theories are reducible to lower level theories cannot be posed in a sensible way if methodological principles that are needed to evaluate scientific theories are disregarded. If this is recognized, the problem looses much of its alleged importance.

The thesis proposes, defends, and applies a new model of inter-theoretic reduction, called "Neo-Nagelian" reduction. There are numerous accounts of inter-theoretic reduction in the philosophy of science literature but the most well-known and widely-discussed is the Nagelian one. In the thesis I identify various kinds of problems which the Nagelian model faces. Whilst some of these can be resolved, pressing ones remain. In lieu of the Nagelian model, other models of inter-theoretic reduction have been proposed, chief amongst which are so-called (...) "New Wave" models. I show these to be no more adequate than the original Nagelian model. I propose a new model of inter-theoretic reduction, Neo-Nagelian reduction. This model is structurally similar to the Nagelian one, but differs in substantive ways. In particular I argue that it avoids the problems pertaining to both the Nagelian and New Wave models. Multiple realizability looms large in discussions about reduction: it is claimed that multiply realizable properties frustrate the reduction of one theory to another in various ways. I consider these arguments and show that they do not undermine the Neo-Nagelian of reduction of one theory to another. Finally, I apply the model to statistical mechanics. Statistical mechanics is taken to be a reductionist enterprise: one of the aims of statistical mechanics is to reduce thermodynamics. Without an adequate model of inter-theoretic reduction one cannot assess whether it succeeds; I use the Neo-Nagelian model to critically discuss whether it does. Specifically, I consider two very recent derivations of the Second Law of thermodynamics, one from Boltzmannian classical statistical mechanics and another from quantum statistical mechanics. I argue that they are partially successful, and that each makes for a promising line of future research. (shrink)

Russell (1948), Reichenbach (1956), and Salmon (1975, 1979) have argued that a fundamental principle of science and common sense is that "matching" events should not be chalked up to coincidence, but should be explained by postulating a common cause. Reichenbach and Salmon provided this intuitive idea with a probabilistic formulation, which Salmon used to argue for a version of scientific realism. Van Fraassen (1980, 1982) showed that the principle, so construed, runs afoul of certain results in quantum mechanics. In this (...) paper a new formulation of the principle is offered that emerges from its use in evolutionary theory. This characterization identifies fairly general conditions in which postulating common causes will be more explanatory than postulating separate causes. (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)

This paper attempts a critical reappraisal of Nagel's (1961, 1970) model of reduction taking into account both traditional criticisms and recent defenses. This model treats reduction as a type of explanation in which a reduced theory is explained by a reducing theory after their relevant representational items have been suitably connected. In accordance with the deductive-nomological model, the explanation is supposed to consist of a logical deduction. Nagel was a pluralist about both the logical form of the connections between the (...) reduced and reducing theories (which could be conditionals or biconditionals) and their epistemological status (as analytic connections, conventions, or synthetic claims). This paper defends Nagel's pluralism on both counts and, in the process, argues that the multiple realizability objection to reductionism is misplaced. It also argues that the Nagel model correctly characterizes reduction as a type of explanation. However, it notes that logical deduction must be replaced by a broader class of inferential techniques that allow for different types of approximation. Whereas Nagel (1970), in contrast to his earlier position (1961), recognized the relevance of approximation, he did not realize its full import for the model. Throughout the paper two case studies are used to illustrate the arguments: the putative reduction of classical thermodynamics to the kinetic theory of matter and that of classical genetics to molecular biology. (shrink)

In a recent critique of the doctrine of emergentism championed by its classic advocates up to C. D. Broad, Jaegwon Kim (Philosophical Studies 63:31–47, 1999) challenges their view about its applicability to the sciences and proposes a new account of how the opposing notion of reduction should be understood. Kim is critical of the classic conception advanced by Nagel and uses his new account in his criticism of emergentism. I question his claims about the successful reduction achieved in the sciences (...) and argue that his new account has not improved on Nagel’s and that the critique of emergentism he bases on it is question-begging in important respects. (shrink)

Despite all the criticism showered on Nagel’s classic account of reduction, it meets a fundamental desideratum in an analysis of reduction that is difficult to question, namely of providing for a proper identification of the reducing theory. This is not clearly accommodated in radically different accounts. However, the same feature leads me to question Nagel’s claim that the reducing theory can be separated from the putative bridge laws, and thus to question his notion of heterogeneous reduction. A further corollary to (...) the requirement that all the necessary conditions be incorporated in an adequate formulation of the putative reducing theory is that the standard example of gas temperature is not reducible to average molecular kinetic energy. As originally conceived, Nagel’s conception of reduction takes no account of approximate reasoning and this failure has certainly restricted its applicability, perhaps to the point of making it unrealistic as a model of reduction in science. I suggest approximation can be accommodated by weakening the original requirement of deduction without jeopardizing the fundamental desideratum. Finally, I turn to briefly consider the idea sometimes raised of the ontological reducibility of chemistry. (shrink)

IntroductionThe identity thesis asserts that for every psychological state P there is a neural state N such that P=N. In the hope of rendering IT clear and plausible many identity theorists have compared psycho-neural identity claims to such theoretical identities as temperature is identical with molecular mean kinetic energy. However such a comparison admits a weak and a strong interpretation. According to the weak interpretation, psycho-neural identities are said to be like theoretical identities in the sense that the former are (...) contingent claims just as the latter are presumed to be. Identity theorists have appealed to the contingent status of IT in order to meet prima facie objections of the following sort. We can imagine ourselves undergoing a pain, although we are not undergoing the neural process which the identity theorist claims is identical with the pain. Indeed we can imagine ourselves being in pain and yet not having a brain at all. Hence IT is false. Identity theorists have replied by arguing that this objection merely shows that IT is not a necessary truth, or that psychological and neurological terms do not have the same meaning. (shrink)

A number of philosophers—among them Joseph Levine, David Chalmers, Frank Jackson and Jaegwon Kim—have claimed that there are conceptual grounds sufficient for ruling out the possibility of a reductive explanation of phenomenal consciousness. Their claim assumes a functional model of reduction (regarded by Kim as an alternative to the traditional Nagelian model) which requires an a priori entailment from the facts in the reduction base to the phenomena to be explained. The aim of this paper is to show that this (...) is an unreasonable requirement—a requirement that no reductive explanation in science should be expected to satisfy. I argue that the functional model is not substantively different from the Nagelian model properly understood, and that the question whether consciousness is reductively explainable—in a sense involving property identifications or in some weaker sense compatible with Nagelian reduction—is a fundamentally empirical question, not one that can be settled on conceptual grounds alone. 1. Introduction2. Kim's critique of the Nagelian model of reduction3. The functional model of reduction4. Is consciousness reducible?5. Psychophysical reduction: concluding remarks. (shrink)

Unlike the overall framework of Ernest Nagel's work on reduction, his theory of intertheoretic connection still has life in it. It handles aptly cases where reduction requires complex representation of a target domain. Abandoning his formulation as too liberal was a mistake. Arguments that it is too liberal at best touch only Nagel's deductivist theory of explanation, not his condition of connectability. Taking this condition seriously gives a powerful view of reduction, but one which requires us to index explanatory power (...) to sciences as they are formulated at particular times. While we may thereby reduce more than philosophers have supposed, we must abandon hope (as Nagel did) of saying anything useful about reductionism. (shrink)

I invoke the conceptual machinery of contemporary possible-world semantics to provide an account of the metaphysical status of "bridge laws" in intertheoretic reductions. I argue that although bridge laws are not definitions, and although they do not necessarily reflect attribute-identities, they are supervenient. I.e., they are true in all possible worlds in which the reducing theory is true.

An examination of earlier views yields an account of theoretic change on which changes in theory which do involve changes in meanings of terms are classified as a special (and by no means exhaustive) case of theoretic change which, latter, is construed as a more general phenomenon. Only the general problem is given detailed consideration here. The account given considers the problem of how replacement of intensional theories by extensional ones may be treated within the general framework provided. Among its (...) results is the conclusion that rational changes in a scientific theory may be cogently construed as determined by warranted decisions that a new theory is more adequate (than the old one it replaces) with regard to purposes for which a theory is sought. (shrink)

Theoretical simplicity is difficult to characterize, and evidently can depend upon a number of distinct factors. One such desirable characteristic is that the laws of a theory have relatively few "counterinstances" whose accommodation requires the invocation of a ceteris paribus condition and ancillary explanation. It is argued that, when one theory is reduced to another, such that the laws of the second govern the behavior of the parts of the entities in the domain of the first, there is a characteristic (...) gain in simplicity of the sort mentioned: while I see no way of quantitatively measuring the "amount" of defeasibility of the laws of a theory, microreduction can be shown to decrease that "amount.". (shrink)

Holism and reductionism are usually seen as opposite and mutually exclusive approaches to nature. Recently, some have come to see them as complementary rather than mutually exclusive. In this book I have argued that, even stronger, they should be seen as mutually dependent and co-operating research programmes. I have discussed holism and reductionism in biology in general and in ecology in particular. After an introductory chapter I have provided an overview of holistic and reductionistic positions in biology, and of the (...) reduction problems to which they relate. I have argued that it is extremely important to distinguish between ontological, epistemological and methodological aspects of these problems. The overview has shown that there are actually several approaches to reduction problems in biology, which can be characterized as more or less radically or moderately holistic or reductionistic. It has shown also that there are three major ’contradistinctions’ between holism and reductionism in biology, to wit the doctrine of emergence versus the reduction thesis; functional explanations versus causal explanations; and phenomenology versus mechanicism. In later chapters I have shown that these ’contradistinctions’ are not really contradistinctions at all. In the next chapters I have discussed the terms ’reduce’ and ’reduction’ in science. In chapter 3 I have discussed the reduction of laws and theories. I have shown that there are many different types of reduction depending on the auxiliary hypotheses that are being used in addition to the reducing theory: approximation-, aggregation, correlation and/or identification-hypotheses. The distinctions between these types has later, in chapter 5, proved to be of great importance in defining the concept of ’emergence’. The major conclusion of chapter 3 was that reduction is an epistemological issue, pertaining to logical relations between statements or systems of statements. It should not be confused, therefore, with ’ontological reduction’, certainly not in one of its ordinary senses, such as diminishing, devaluating or the like. Scientific reductions are, with the exception of instrumentalistic reductions, kinds of explanation, and, moreover, non-eliminative kinds of explanation. This means that a reduced law or theory is not eliminated by the reducing theory but rather consolidated or even reinforced. The ontology of the reduced law or theory is thereby also being consolidated. In chapter 4 I have argued that the same holds for reductions of concepts. Concept reductions are supposed to be accomplished by means of so-called ontological identity relations, which are in turn supposed to connect terms in the law or theory to be reduced, which do not occur in the reducing theory, with theoretical terms of the reducing theory. Because they are called ontological identity relations, several philosophers have thought that concept reductions imply some form of ontological reduction. And because they often occur in the context of micro-reductions, some have even thought that concept reductions are themselves micro-reductions. As a result, the idea has arisen that ontological identity relations are connections between macro-concepts and micro-concepts. However, concept reductions by means of ontological identity relations cannot be micro-reductions, because micro-reduction is, by definition, reduction with an aggregation step. Moreover, ontological identity relations are relations between different representations of and the same type of thing or attribute. That is, they express different epistemological sides of the same ontological coin. Therefore, concept reductions cannot be considered ontological reductions either, certainly not in the ordinary sense of diminishing, devaluating or the like. Thus, concept reduction is, like law or theory reduction, an epistemological issue: it pertains to relations between, in this case, different concepts or representations of one and the same type of thing or attribute. ’Ontological reduction’, then, may, in the context of scientific reductions, actually be considered a contradiction of terms. In chapter 5 I have linked this conclusion to the emergence thesis and to the alleged contradistinction between this thesis and the reduction thesis. I have shown that the doctrine of emergence actually consists of two separate claims, namely an ontological thesis stating that a whole has emergent properties which the component parts do not possess, neither separately nor in other partial combinations; and an epistemological thesis stating that emergent properties of wholes are ’in principle’ irreducible. I have argued that the first claim may be regarded as a valid, universal thesis about relations between properties of wholes and properties of parts, but that the second claim is untenable. I have discussed many emergent properties of wholes, biological as well as physico-chemical, that have proved to be explainable in terms of micro-theories about the component parts and auxiliary hypotheses. Once again, however, it is important to realize that reduction is an epistemological issue, whereas emergence, in the sense of thesis, is an ontological one. It is not ’wholes’ or ’emergent properties of wholes’ that are being reduced but statements about them. Reduction is a kind of explanation, not of explaining-away. Thus, it leaves the ontology of whatever is reduced fully intact. I have developed a new definition of the term ’emergence’ which expresses emergence in terms of the auxiliary hypotheses that may be used in reductions, in particular aggregation-, correlation- and identification-hypotheses. This has even lead to two very remarkable conclusions. First, emergence may be considered the opposite of ontological identity. And second, if there were no emergence, there wouldn’t be any reductions either. to reduce.) In this respect, therefore, there is absolutely no contradistinction between holism and reductionism. On these grounds I have introduced my thesis that holism and reductionism should rather be seen as mutually dependent, and hence co-operating, research programmes than as conflicting views of nature or of relations between sciences. Holistic programmes play an important role in science as guide programmes for reductionistic programmes by discovering or developing macro-laws or -theories about phenomena at the level of wholes, which they themselves, however, cannot explain. For these explanations they depend on the fruits of reductionistic programmes. If the latter succeed in providing the explanations they act as supply programmes for the holistic guide programmes. Reductionistic programmes depend in turn on holistic programmes for providing the macro-laws or -theories that call for these explanations. In chapter 6 I have discussed an example of this mutual dependency in the form of the reduction of the Bohr-effect in animal physiology. I have shown that this law has been reduced to the theory of allostery, applied to hemoglobin molecules in red blood cells, and that this application of the theory of allostery has been reduced to the theory of chemical bonding. I have also shown that at least six research programmes were involved in these reductions, and that the relations between these programmes can be characterized very well in terms of the model of holistic guide programmes and reductionistic supply programmes. The only, but highly significant, qualification appearing from example was that the terms ’holistic’ and ’reductionistic’ are extremely relative and should always be related to a certain given level of organization. In chapter 7 I have resolved the remaining contradistinction between holism and reductionism in biology, viz. the need for functional explanations and the demand that explanations be causal. I have shown that functional explanations are perfectly legitimate explanations which in a sense can be reconstrued as causal explanations. I have argued that functional explanations are indispensable components of more comprehensive, causal-evolutionary explanations, because the latter appeal to the adaptive value, and hence the function, of the property to be explained. In that sense functions can be regarded as adaptations, and functional explanations can be regarded as a sort of ’short-hand’ for evolutionary explanations. Finally, I have shown that in the context of functional explanations, too, co-operation of holistic and reductionistic research programmes occurs. In part 2 I have applied my thesis to ecology. I have shown that in ecology too, holismreductionism disputes notwithstanding, co-operation of holistic and reductionistic research programmes occurs, or, in so far as this appears to be not the case, that it should be strived after. In chapter 8 I have given an overview of reduction problems in ecology and of the various approaches to these problems. I have noticed that in ecology, too, there are several, radical, moderate and anti-reductionistic research strategies, with respect to the levels of both ecosystems, communities and populations. I have also noticed, however, that concrete solutions to reduction problems in ecology are frustrated by what is called the intellectual immaturity or the anomalous status of ecology. This refers to the almost complete lack of general laws and theories in ecology, at least at the higher levels of communities and ecosystems. Of a number of possible causes I have lifted out two, which lend themselves to philosophical analysis and clarification. The first one is the ambiguity of a major part of the ecological vocabulary. This was the subject of chapters 9 and 10. The second is the inhibitory effect which holism-reductionism disputes have on the growth of knowledge. This was the subject of chapter 13. In chapter 9 I have discussed the concept of an community. It appeared that the term ’community’ is used for several different entities at various levels of organization. This ambiguity alone seems to be sufficient for the lack of ’general’ laws and theories about ’communities’. My purpose in chapter 9 was to try and contribute to a solution of this problem. In doing so I have argued, first, that it seems wise to use the term ’community’ only for groups of species belonging to a single taxonomic or phylogenetic group, and to use the term ’biocoenosis’ for the higher level of organization, defined as the biotic component of an ecosystem. Next I have argued that, although species within communities may of course interact with each other, interaction is itself not a necessary or sufficient condition for community membership. Finally, I have hit upon what is known as the most notorious problem in community ecology, to wit the boundary problem, as well as the problem of heterogeneity. I have found that the cause of these problems lies in the fact that communities are almost invariably being seen as groups of populations occurring together in space and time, whereas the empirical fact is rather that populations of different species mostly do not occur together in the same space, and, moreover, that the species composition of communities changes continuously. This has lead to the suggestion that a community had better be defined as the group of individuals of two or more species occurring in the area of intersection of populations of these species. It is only in such intersection areas that one can really talk of the co-occurrence of species. I have shown the empirical adequacy of this definition by discussing various salt marsh plant communities on the Dutch island of Schiermonnikoog. In chapter 10 I have clarified two other important, yet highly controversial, concepts in ecology, to wit habitat and niche. It appeared that there are at least four different habitat concepts in ecology, and as many niche concepts, the additional complication being that two of these habitat concepts correspond to two of these niche concepts, whence the distinction between habitat and niche is blurred. In addition, different habitat concepts appeared to correspond to different environment concepts and also to different biotope concepts. My purpose in chapter 10 was to disentangle all these concepts from one another and to supply each of them with a suitable term. I have done so by keeping a close eye on commonly accepted notions about habitat differentiation and niche differentiation, two ’principles’ allowing one to explain the coexistence or non-coexistence of species in communities. The results can be found in boxes 5 and 7 in chapter 10. In chapter 11 I was finally able to substantiate my claim that in ecology, too, co-operation of holistic and reductionistic research programmes occurs. I have discussed the reduction of the classical competition model of Lotka and Volterra to modern niche theory. The Lotka/Volterra model is a phenomenological model: it describes the possible effects of competition between two species. Modern niche theory, on the other hand, is a mechanistic theory, in which both the objects of competition and a mechanism are being specified. I have shown that the reduction was established with the help of a relatively simple identification hypothesis and two relatively simple aggregation hypotheses, making it yet another example of heterogeneous microreduction in biology. In the reduction, the Lotka/Volterra model acted as a holistic guide programme and modern niche theory acted as a reductionistic supply programme. In chapter 12 I have discussed another example of co-operation in the form of the approximative reduction of MacArthur and Wilson’s equilibrium theory of island biogeography. I have argued that this can be seen as a holistic model, which has been of great unifying and especially heuristic value, but which in time has been found to be a bit too simple and in some respects had to be corrected. Therefore, it can also be seen as an idealization in the sense of the model of idealization and concretization, which subsequent research programmes have concretized. Because these concretizations have a reductive character, we can see in this structure of idealization and concretization yet another example of the co-operation of holistic and reductionistic research programmes in ecology. A philosophically interesting side-conclusion was that the model of idealization and concretization thus appears to apply also to relations between research programmes, and not only to programme-internal developments. In chapter 13 I have discussed an example of the inhibitory effect that holism-reductionism disputes may have on the growth of knowledge. The example concerns a controversy in island biogeography over the role of interspecific competition in structuring communities. This controversy has lasted for about ten years, appeares to have died out rather than to have been resolved, and has produced nothing new in the field of explanations of community structure. I have shown that the major factors underlying the controversy were differing, in casu holistic and reductionistic, views of communities. Though this presented a problem for my thesis, I have argued that, ultimately, the controversy can be resolved, and in a sense has been resolved, in a way that corroborates my thesis. In the epilogue, finally, I have mentioned some remaining problems concerning the adequacy of the present reduction model in dealing with reduction in ecology. These problems pertain to the question of specificty of ecological laws and theories, the likelihood that reductions in ecology generally occur on the basis of several reducing micro-theories, and the possible relationship between the former two points. (shrink)