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)

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 role of interaction in learning is essential and profound: it must provide the means to solve open problems (those only vaguely specified in advance), but cannot be captured using our familiar formal cognitive tools. This presents an impasse to those confined to present formalisms; but interaction is fundamentally dynamical, not formal, and with its importance thus underlined it invites the development of a distinctively interactivist account of life and mind. This account is provided, from its roots in the interactivist (...) biological constitution of life, through the evolution of the dual internal regulatory capacities expressed as intentionality and intelligence, to its expression in self-directed anticipative learning in persons and in science. (shrink)

All the major inter-theoretic relations of fundamental science are asymptotic ones, e.g. quantum theory as Planck's constant h 0, yielding (roughly) Newtonian mechanics. Thus asymptotics ultimately grounds claims about inter-theoretic explanation, reduction and emergence. This paper examines four recent, central claims by Batterman concerning asymptotics and reduction. While these claims are criticised, the discussion is used to develop an enriched, dynamically-based account of reduction and emergence, to show its capacity to illuminate the complex variety of inter-theory relationships in physics, and (...) to provide a principled resolution to such persistent philosophical problems as multiple realisability and the nature of the special sciences. Introduction Exposition Examination I: Claims (1) and (2), asymptotic explanation and reference Examination II: Claim (3), reduction and singular asymptotics Examination III: Claim (4), emergence and multiple realisability Conclusion. (shrink)

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.

An explicit philosophy and meta-philosophy of positivism, empiricism and popperianism is provided. Early popperianism is argued to be essentially a form of empiricism, the deviations from empiricism are traced. In contrast, the meta-philosophy and philosophy of an evolutionary naturalistic realism is developed and it is shown how the maximal conflict of this doctrine with all forms of empiricism at the meta-philosophical level both accounts for the form of its development at the philosophical level and its defense against attack from nonrealist (...) quarters. Following an earlier article on realism of similar theme (Synthese 26 (1974), 409) this paper then further explores the ramifications of a thoroughgoing realist position. (shrink)

In his bookMinimal Rationality (1986), Christopher Cherniak draws deep and widespread conclusions from our finitude, and not only for philosophy but also for a wide range of science as well. Cherniak's basic idea is that traditional philosophical theories of rationality represent idealisations that are inaccessible to finite rational agents. It is the purpose of this paper to apply a theory of idealisation in science to Cherniak's arguments. The heart of the theory is a distinction between idealisations that represent reversible, solely (...) quantitative simplifications and those that represent irreversible, degenerate idealisations which collapse out essential theoretical structure. I argue that Cherniak's position is best understood as assigning the latter status to traditional rationality theories and that, so understood, his arguments may be illuminated, expanded, and certain common criticisms of them rebutted. The result, however, is a departure from traditional, formalist theories of rationality of a more radical kind than Cherniak contemplates, with widespread ramifications for philosophical theory, especially philosophy of science itself. (shrink)

Contrary to the Empiricist model of science, successful sufficiently fundamental theories not only fit and unify their data fields but also prescribe the general terms in which relevantly to describe observation; specify what is and is not observable; specify the conditions under which what is observable, is observable; specify the instrumental means and reliability by which what is measurable is measured; specify what is causally, statistically, and merely accidentally connected. Moreover, such theories typically require all or most of the entire (...) remainder of science to be properly applied in any given situation and theoreticians' models play a crucial role in such applications. (I call these respectively the internal and external globalnesses of theories.) A discussion of the consequences of these global features of theories for philosophy of science is offered in the context of specific examples and a structural model for science. (shrink)

It is shown how the development of physics has involved making explicit what were homocentric projections which had heretofore been implicit, indeed inexpressible in theory. This is shown to support a particular notion of the invariant as the real. On this basis the divergence in ideals of physical intelligibility between Bohr and Einstein is set out. This in turn leads to divergent, but explicit, conceptions of objectivity and completeness for physical theory. *I am indebted to Dr. G. McLelland. Professor F. (...) Rohrlich and an anonymous referee of this journal for several improvements in the formulation of the paper. (shrink)

: The purpose of this paper and its sister paper (Farrell and Hooker, b) is to present, evaluate and elaborate a proposed new model for the process of scientific development: self-directed anticipative learning (SDAL). The vehicle for its evaluation is a new analysis of a well-known historical episode: the development of ape-language research. In this first paper we outline five prominent features of SDAL that will need to be realized in applying SDAL to science: 1) interactive exploration of possibility (...) space; 2) self-directedness; 3) localization of success and error; 4) Synergistic increase in learning capacity; and 5) continuity of SDAL process across scientific change. In this paper we examine the first three features of SDAL in relation to the early history of ape-language research. We show that this history is readily explicated as a self-directed, ever-finer, delineation of possibility space that enables the localization of both success and error. Paper II examines the last two features against this history. (shrink)

The Aristotle-Kant tradition requires that autonomous activity must originate within the self and points toward a new type of causation (different from natural efficient causation) associated with teleology. Notoriously, it has so far proven impossible to uncover a workable model of causation satisfying these requirements without an increasingly unsatisfying appeal to extra-physical elements tailor-made for the purpose. In this paper we first provide the essential reason why the standard linear model of efficient causation cannot support the required model of agency: (...) its causal thread model of efficient causation cannot support the core requirement that an action is determined by, and thus an expression of, the agent’s nature. We then provide a model that corrects these deficiencies, constructed naturalistically from within contemporary biology, and argue that it provides an appropriate foundation for all the features of genuine agency. Further, we provide general characterisations of freedom and reason suitable to this bio-context (but that also capture the core classical conceptions) and show how this model reconciles them. (shrink)

: The purpose of this paper and its sister paper I (Farrell and Hooker, a) is to present, evaluate and elaborate a proposed new model for the process of scientific development: self-directed anticipative learning. The vehicle for its evaluation is a new analysis of a well-known historical episode: the development of ape language research. Paper I examined the basic features of SDAL in relation to the early history of ape-language research. In this second paper we examine the reconceptualization of (...) ape-language research following what many conceived to be Terrace's refutation of ape-language. We show that the apparent 'revolution' in our understanding of ape linguistic capacities was not based upon 'revolutionary' research different in kind from 'normal' research. The same processes of self-directed interactive exploration of possibility space, that enables a homing-in upon both error and success, is present in all phases of productive science. Moreover, conceiving science as an SDAL process explains how scientists learn how to learn about their research domain. (shrink)

Error is protean, ubiquitous and crucial in scientific process. In this paper it is argued that understanding scientific process requires what is currently absent: an adaptable, context-sensitive functional role for error in science that naturally harnesses error identification and avoidance to positive, success-driven, science. This paper develops a new account of scientific process of this sort, error and success driving Self-Directed Anticipative Learning (SDAL) cycling, using a recent re-analysis of ape-language research as test example. The example shows the limitations of (...) other accounts of error, in particular Mayo’s (Error and the growth of experimental knowledge, 1996) error-statistical approach, and SDAL cycling shows how they can be fruitfully contextualised. (shrink)

D. H. Sharp has recently argued that Einstein, Podolsky, and Rosen failed to make good their claim that elementary quantum theory provides only an incomplete description of physical reality. Sharp expounds in detail three criticisms (a fourth is mentioned) which focus largely on formal features of the quantum theory. I argue, on grounds centered largely in our search for an adequate physical understanding of the micro domain, that each of these criticisms must be rejected. The original criticism of quantum theory (...) reemerges as a still-important baseline in our search for an adequate understanding of quantum theory. (shrink)

It is now commonly accepted that N. Goodman's predicate "grue" presents the theory of confirmation of C. G. Hempel (and other such theories) with grave difficulties. The precise nature and status of these "difficulties" has, however, never been made clear. In this paper it is argued that it is very unlikely that "grue" raises any formal difficulties for Hempel and appearances to the contrary are examined, rejected and an explanation of their intuitive appeal offered. However "grue" is shown to raise (...) an informal, "over-arching" difficulty of great magnitude for all theories of confirmation, including Hempel's theory. (shrink)

It is argued that fundamental to Piaget's life works is a biologically based naturalism in which the living world is a nested complex of self-regulating, self-organising (constructing) adaptive systems. A structuralist-rationalist overlay on this core position is distinguished and it is shown how it may be excised without significant loss of content or insight. A new and richer conception of the nature of Piaget's genetic epistemology emerges, one which enjoys rich interrelationships with evolutionary epistemology. These are explored and it is (...) shown how a regulatory systems evolutionary epistemology may be embedded within genetic epistemology. (shrink)

Once upon a time the well-known paradoxes of quantum mechanics seemed especially difficult because of the rather bizarre behavior of the wave packet under the von Neumann theory of measurement, to which behavior these paradoxical situations seemed to draw especial attention. Quite recently quantum theoretical accounts of the measurement process have been appearing which sidestep direct reference to such things as “contraction” of the wave packet. With this development it has become increasingly popular to take a “cool” approach to these (...) paradoxes, arguing that the new approach to measurement provides a consistent, nonbizarre account of the physical situations and that the paradoxicality was due largely to intuitive blunders—even plausible intuitive blunders—accentuated by the unfortunate features of the von Neumann approach to measurement. Both Krips and Jauch, for example, adopt this approach. (shrink)

The relationship of the identity of indiscernibles principle to other major metaphysical principles (e.g., relational doctrine of space and time, elimination of singular terms) is discussed, the aim being to outline the necessary requirements of a systematic metaphysics incorporating the former principle. the conclusion is that no adequate systematic metaphysics of this sort is defensible. throughout special attention is paid to modern logical formulation of the principle and to its role in quine's philosophy.