The paper sets out a new strategy for theory reduction by means of functional sub-types. This strategy is intended to get around the multiple realization objection. We use Kim's argument for token identity (ontological reductionism) based on the causal exclusion problem as starting point. We then extend ontological reductionism to epistemological reductionism (theory reduction). We show how one can distinguish within any functional type between functional sub-types. Each of these sub-types is coextensive with one type of (...) realizer. By this means, a conservative theory reduction is in principle possible, despite multiple realization. We link this account with Nagelian reduction, as well as with Kim's functional reduction. (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the (...) reduction is unexplanatory. In defense of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

It is often said that the kinetic theory of gases is one of the best examples of the reduction of one theory into another; that is, the classical theory of thermodynamics [or to be more exact, a significant portion of it] is alleged to be reduced to the kinetic theory, which is based on the Newtonian mechanics and the atomistic view of the matter. But what is the nature of this alleged "reduction"? If you (...) want to know the right answer to this, the best way is to examine the historical development of the kinetic theory. The kinetic theory is a theoretical attempt to explain the nature of gases and heat processes, in general, in terms of the movements of numerous molecules constituting a gas. Its major advocates were James Clerk Maxwell (1831-79) and Ludwig Boltzmann (1844-1906); in the course of their work on the kinetic theory, they had to struggle with several conceptual problems, as well as with many empirical problems, and these conceptual problems have something to do with our question of theory reduction. And you will see that these problems center on the concept of probability. Drawing on Dr. Shin'ichiro Tomonaga's examination, I will argue that their case was not a reduction to, but an extension of, the Newtonian mechanics. (shrink)

Schaffner’s model of theory reduction has played an important role in philosophy of science and philosophy of biology. Here, the model is found to be problematic because of an internal tension. Indeed, standard antireductionist external criticisms concerning reduction functions and laws in biology do not provide a full picture of the limits of Schaffner’s model. However, despite the internal tension, his model usefully highlights the importance of regulative ideals associated with the search for derivational, and embedding, deductive (...) relations among mathematical structures in theoretical biology. A reconstructed Schaffnerian model could therefore shed light on mathematical theory development in the biological sciences and on the epistemology of mathematical practices more generally. *Received November 2006; revised March 2009. †To contact the author, please write to: Philosophy Department, University of California, Santa Cruz, 1156 High St., Santa Cruz, CA 95064; e‐mail: [email protected]. (shrink)

In 1973, Nickles identified two senses in which the term `reduction' is used to describe the relationship between physical theories: namely, the sense based on Nagel's seminal account of reduction in the sciences, and the sense that seeks to extract one physical theory as a mathematical limit of another. These two approaches have since been the focus of most literature on the subject, as evidenced by recent work of Batterman and Butterfield, among others. In this paper, I (...) discuss a third sense in which one physical theory may be said to reduce to another. This approach, which I call `dynamical systems reduction,' concerns the reduction of individual models of physical theories rather than the wholesale reduction of entire theories, and specifically reduction between models that can be formulated as dynamical systems. DS reduction is based on the requirement that there exist a function from the state space of the low-level model to that of the high-level model that satisfies certain general constraints and thereby serves to identify quantities in the low-level model that mimic the behavior of those in the high-level model - but typically only when restricted to a certain domain of parameters and states within the low-level model. I discuss the relationship of this account of reduction to the Nagelian and limit-based accounts, arguing that it is distinct from both but exhibits strong parallels with a particular version of Nagelian reduction, and that the domain restrictions employed by the DS approach may, but need not, be specified in a manner characteristic of the limit-based approach. Finally, I consider some limitations of the account of reduction that I propose and suggest ways in which it might be generalised. I offer a simple, idealised example to illustrate application of this approach; a series of more realistic case studies of DS reduction is presented in another paper. (shrink)

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

It is demonstrated that the reduction of a physical theory S to another one, T, in the sense that S can be derived from T holds in general only for the mathematical framework. The interpretation of S and the associated central terms cannot all be derived from those of T because of the qualitative differences between the cognitive levels of S and T. Their cognitively autonomous status leads to an epistemic as well as an ontological pluralism. This pluralism (...) is consistent with the unity of nature in the sense of a substantive monism. (shrink)

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)

Theory reduction is analyzed and examples are presented from various branches of physics. The procedure takes different forms in different theories. Examples from various theories are arranged in increasing order of difficulty. Special emphasis is placed on the quantum to classical reduction. It is argued that there is good and interesting physics in theory reduction and that it deserves more attention than it has been receiving in the past.

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)

Relationships between current theories, and relationships between current theories and the sought theory of quantum gravity (QG), play an essential role in motivating the need for QG, aiding the search for QG, and defining what would count as QG. Correspondence is the broad class of inter-theory relationships intended to demonstrate the necessary compatibility of two theories whose domains of validity overlap, in the overlap regions. The variety of roles that correspondence plays in the search for QG are illustrated, (...) using examples from specific QG approaches. Reduction is argued to be a special case of correspondence, and to form part of the definition of QG. Finally, the appropriate account of emergence in the context of QG is presented, and compared to conceptions of emergence in the broader philosophy literature. It is argued that, while emergence is likely to hold between QG and general relativity, emergence is not part of the definition of QG, and nor can it serve usefully in the development and justification of the new theory. (shrink)

A conventional wisdom about the progress of physics holds that successive theories wholly encompass the domains of their predecessors through a process that is often called reduction. While certain influential accounts of inter-theory reduction in physics take reduction to require a single "global" derivation of one theory's laws from those of another, I show that global reductions are not available in all cases where the conventional wisdom requires reduction to hold. However, I argue that (...) a weaker "local" form of reduction, which defines reduction between theories in terms of a more fundamental notion of reduction between models of a single fixed system, is available in such cases and moreover suffices to uphold the conventional wisdom. To illustrate the sort of fixed-system, inter-model reduction that grounds inter-theoretic reduction on this picture, I specialize to a particular class of cases in which both models are dynamical systems. I show that reduction in these cases is underwritten by a mathematical relationship that follows the broad prescriptions of Nagel/Schaffner reduction, and support this claim with several examples. Moreover, I show that this broadly Nagelian analysis of inter-model reduction encompasses several cases that are sometimes cited as instances of the "physicist's" limit-based notion of reduction. (shrink)

Reduction and reductionism have been central philosophical topics in analytic philosophy of science for more than six decades. Together they encompass a diversity of issues from metaphysics and epistemology. This article provides an introduction to the topic that illuminates how contemporary epistemological discussions took their shape historically and limns the contours of concrete cases of reduction in specific natural sciences. The unity of science and the impulse to accomplish compositional reduction in accord with a layer-cake vision of (...) the sciences, the seminal contributions of Ernest Nagel on theory reduction and how they strongly conditioned subsequent philosophical discussions, and the detailed issues pertaining to different accounts of reduction that arise in both physical and biological science (e.g., limit-case and part-whole reduction in physics, the difference-making principle in genetics, and mechanisms in molecular biology) are explored. The conclusion argues that the epistemological heterogeneity and patchwork organization of the natural sciences encourages a pluralist stance about reduction. (shrink)

There is a consistent and simple interpretation of the quantum theory of isolated systems. The interpretation suffers no measurement problem and provides a quantum explanation of state reduction, which is usually postulated. Quantum entanglement plays an essential role in the construction of the interpretation.

We study logical reduction (factorization) of relations into relations of lower arity by Boolean or relative products that come from applying conjunctions and existential quantifiers to predicates, i.e. by primitive positive formulas of predicate calculus. Our algebraic framework unifies natural joins and data dependencies of database theory and relational algebra of clone theory with the bond algebra of C.S. Peirce. We also offer new constructions of reductions, systematically study irreducible relations and reductions to them and introduce a (...) new characteristic of relations, ternarity, that measures their ‘complexity of relating’ and allows to refine reduction results. In particular, we refine Peirce’s controversial reduction thesis, and show that reducibility behaviour is dramatically different on finite and infinite domains. (shrink)

Nagel’s official model of theory-reduction and the way it is represented in the literature are shown to be incompatible with the careful remarks on the notion of reduction Nagel gave while developing his model. Based on these remarks, an alternative model is outlined which does not face some of the problems the official model faces. Taking the context in which Nagel developed his model into account, it is shown that the way Nagel shaped his model and, thus, (...) its well-known deficiencies, are best conceived of as a mere by-product of his philosophical background. (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 (...) class='Hi'>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)

We show that every reduct of a stable. CM-trivial theory of finite U-rank is CM-trivial.

In this article, we redefine classical notions of theory reduction in such a way that model-theoretic preferential semantics becomes part of a realist depiction of this aspect of science. We offer a model-theoretic reconstruction of science in which theory succession or reduction is often better - or at a finer level of analysis - interpreted as the result of model succession or reduction. This analysis leads to 'defeasible reduction', defined as follows: The conjunction of (...) the assumptions of a reducing theory T with the definitions translating the vocabulary of a reduced theory T' to the vocabulary of T, defeasibly entails the assumptions of reduced T'. This relation of defeasible reduction offers, in the context of additional knowledge becoming available, articulation of a more flexible kind of reduction in theory development than in the classical case. Also, defeasible reduction is shown to solve the problems of entailment that classical homogeneous reduction encounters. Reduction in the defeasible sense is a practical device for studying the processes of science, since it is about highlighting different aspects of the same theory at different times of application, rather than about naive dreams concerning a metaphysical unity of science. (shrink)

Metaphor is commonly taken to be an elliptical simile. This article offers a rational reconstruction of two types of simile theories of metaphor: reductive and non-reductive. Careful analysis shows the differences between these theories, but in the end, neither does the explanatory work it sets out to do. In assimilating metaphor to simile and simile to literal comparison, the reductive simile theory obscures what is most important to an account of metaphor: an account of what it is to interpret (...) a bit of discourse metaphorically. The reductive simile theory fails because the reduction to literal comparison fails. The non-reductive simile theory faces most of the same problems that undermine the simile theory, particularly problems generating a corresponding simile when the metaphor contains quantificational terms and other linguistic complexities. Analysis of the non-reductive simile theory highlights the troublesome assumption (inherent in all simile theories) that metaphor and simile play the same linguistic role: making or prompting us to make comparisons. In both guises, the simile theory mistakes the task of explaining what a metaphor means with how metaphor (in general) has meaning; it confuses explanation with explication. In diagnosing and arguing against the simile theory, this article sets out a framework for understanding the difference between literal and metaphorical interpretation. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This paper proposes a classification of the intertheoretic relations in physics by bringing out the conditions for a relation of reduction which is eliminative, so that a theory reduced in terms of reductionism is superfluous in principle, and by distinguishing such a relation from another one based on comparison, which will be called neighbourhood of theories; the latter is a neighbouring relation between theories and is not able to support claims of eliminative reductionism. In the first part, it (...) will be argued that this differentiation between neighbourhood and eliminative reduction permits an adequate classification of the intertheoretic relations in physics. By means of this differentiation, the second part discusses reductionism and shows that there are indeed some historical examples of reduction in the aforementioned sense, but that modern physical theories are typically only neighbouring. (shrink)

This volume investigates the notion of reduction. Building on the idea that philosophers employ the term ‘reduction’ to reconcile diversity and directionality with unity, without relying on elimination, the book offers a powerful explication of an “ontological” notion of reduction the extension of which is (primarily) formed by properties, kinds, individuals, or processes. It argues that related notions of reduction, such as theory-reduction and functional reduction, should be defined in terms of this explication. (...) Thereby, the book offers a coherent framework, which sheds light on the history of the various reduction debates in the philosophy of science and in the philosophy of mind, and on related topics such as reduction and unification, the notion of a scientific level, and physicalism. (shrink)

The goals of reduction andreductionism in the natural sciences are mainly explanatoryin character, while those inmathematics are primarily foundational.In contrast to global reductionistprograms which aim to reduce all ofmathematics to one supposedly ``universal'' system or foundational scheme, reductive proof theory pursues local reductions of one formal system to another which is more justified in some sense. In this direction, two specific rationales have been proposed as aims for reductive proof theory, the constructive consistency-proof rationale and the foundational (...) reduction rationale. However, recent advances in proof theory force one to consider the viability of these rationales. Despite the genuine problems of foundational significance raised by that work, the paper concludes with a defense of reductive proof theory at a minimum as one of the principal means to lay out what rests on what in mathematics. In an extensive appendix to the paper,various reduction relations betweensystems are explained and compared, and arguments against proof-theoretic reduction as a ``good'' reducibilityrelation are taken up and rebutted. (shrink)

Theories in the usual sense, as characterized by a language and a set of theorems in that language ("statement view"), are related to theories in the structuralist sense, in turn characterized by a set of potential models and a subset thereof as models ("non-statement view", J. Sneed, W. Stegmüller). It is shown that reductions of theories in the structuralist sense (that is, functions on structures) give rise to so-called "representations" of theories in the statement sense and vice versa, where representations (...) are understood as functions that map sentences of one theory into another theory. It is argued that commensurability between theories should be based on functions on open formulas and open terms so that reducibility does not necessarily imply commensurability. This is in accordance with a central claim by Stegmüller on the compatibility of reducibility and incommensurability that has recently been challenged by D. Pearce. (shrink)

We apply spatialized game theory and multi-agent computational modeling as philosophical tools: (1) for assessing the primary social psychological hypothesis regarding prejudice reduction, and (2) for pursuing a deeper understanding of the basic mechanisms of prejudice reduction.

Logic begins but does not end with the study of truth and falsity. Within truth there are the modes of truth, ways of being true: necessary truth and contingent truth. When a proposition is true, we may ask whether it could have been false. If so, then it is contingently true. If not, then it is necessarily true; it must be true; it could not have been false. Falsity has modes as well: a false proposition that could not have been (...) true is impossible or necessarily false; one that could have been true is merely contingently false. The proposition that some humans are over seven feet tall is contingently true; the proposition that all humans over seven feet tall are over six feet tall is necessarily true; the proposition that some humans are over seven feet tall and under six feet tall is impossible, and the proposition that some humans are over nine feet tall is contingently false. Of these four modes of truth, let us focus on necessity, plus a fifth: possibility. A proposition is possible if it is or could have been true; hence propositions that are either necessarily true, contingently true, or contingently false are possible. Notions that are similar to the modes of truth in being concerned with what might have been are called modal. Dispositions are modal notions, for example the disposition of fragility. Relatedly, there are counterfactual conditionals, for example “if this glass were dropped, it would break.” And the notion of supervenience is modal.1 But let us focus here on necessity and possibility. Modal words are notoriously ambiguous (or at least context-sensitive2). I may reply to an invitation to give a talk in England by saying “I can’t come; I have to give a talk in California the day before”. This use of “can’t” is perfectly appropriate. But it would be equally appropriate for me to say that I could cancel my talk in California (although that would be rude) and give the talk in England instead. What I cannot do is give both talks.. (shrink)

There are a number of different versions of Reductive Nominalism, versions distinguished by the way in which each accounts for facts about having and sharing properties. This chapter discusses three broad varieties of Reductive Nominalism: Predicate Nominalism, Class Nominalism, and Resemblance Nominalism. Class Nominalism identifies properties with classes or sets. Resemblance Nominalists come in two sub‐varieties, depending on whether they take the resemblance relation to hold between particular properties (called 'tropes') or particular things that have properties (ordinary particulars). Trope (...) class='Hi'>Theory comes in two varieties depending on whether one plumps for universals. It should not be difficult to see that Extreme Resemblance Nominalism is faced with Class Nominalism's extensionality problems, both the problem of contingent predication and the co‐extensive property problem. Resemblance Nominalists can reply by insisting on a distinction between a priori or conceptual equivalence and metaphysical equivalence. The chapter focuses on the extensionality problems for Class Nominalism. (shrink)

Instrumental Stakeholder Theory has begun to suffer from what might be termed “mission drift.” Despite its initial success in creating a foothold for ethics in managerial decision-making, the efficiency arguments which now dominate this research stream have become counterproductive to the original goal of connecting ethics and capitalism. We argue in this paper that the way forward is by re-centering contingency, conversation, and inefficiency in stakeholder theory. To start this process, there needs to be a reckoning of some (...) unintended impacts of the success of the instrumental stream of stakeholder research. For a contrasting approach, we draw on Richard Rorty’s pragmatism and its foundation of ethical “irony,” a state of continuous doubts about the utility of one’s moral vocabulary. We offer a Rortian approach to stakeholder theory, unearthing the possibility for new corporate target functions in the goals of harm reduction, solidarity, and social mobility, the foundational building blocks of an ironist ethical perspective. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

Four current accounts of theory reduction are presented, first informally and then formally: (1) an account of direct theory reduction that is based on the contributions of Nagel, Woodger, and Quine, (2) an indirect reduction paradigm due to Kemeny and Oppenheim, (3) an "isomorphic model" schema traceable to Suppes, and (4) a theory of reduction that is based on the work of Popper, Feyerabend, and Kuhn. Reference is made, in an attempt to choose (...) between these schemas, to the explanation of physical optics by Maxwell's electromagnetic theory, and to the revisions of genetics necessitated by partial biochemical reductions of genetics. A more general reduction schema is proposed which: (1) yields as special cases the four reduction paradigms considered above, (2) seems to be in better accord with both the canons of logic and actual scientific practice, and (3) clarifies the problems of meaning variance and ontological reduction. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete one-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has a Borel complete reduct, and if a theory T is not $\omega $ -stable, then the elementary diagram of some countable model of T has a Borel complete reduct.

I argue that philosophical issues concerning reductive explanations help constrain the construction of quantum theories with appropriate state spaces. I illustrate this general proposal with two examples of restricting attention to physical states in quantum theories: regular states and symmetry-invariant states. 1Introduction2Background2.1 Physical states2.2 Reductive explanations3The Proposed ‘Correspondence Principle’4Example: Regularity5Example: Symmetry-Invariance6Conclusion: Heuristics and Discovery.

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)

Are the theoretical frameworks of phenomenology and of science compatible? And, if so, what would a reconciliation entail for science as it is practiced? Gallagher [2019] poses these two questions, answering the first in the affirmative and leaving the second unaddressed. I argue that treating the two as separate questions presupposes an inadequate distinction between theory and practice that Gallagher’s non-reductive framework motivates rejecting. Recognizing the intertwining of theory and practice allows us to answer Gallagher’s two questions about (...) phenomenology and science all at once, but it also motivates a less conciliatory conclusion than the one he offers. (shrink)

The propositions, that what we see around us is real and that reality should be represented by the statevector, conflict with quantum theory. In quantum theory, the statevector can readily become a sum of states of comparable norm, each state representing a different reality. In this paper we present the Continuous Spontaneous Localization (CSL) theory, in which a modified Schrodinger equation, while scarcely affecting the dynamics of a microscopic system, rapidly "reduces" the statevector of a macroscopic system (...) to a state appropriate for representing individual reality. (shrink)

It is often claimed (1) that levels of nature are related by supervenience, and (2) that processes occurring at particular levels of nature should be studied using dynamical systems theory. However, there has been little consideration of how these claims are related. To address the issue, I show how supervenience relations give rise to ‘supervenience functions’, and use these functions to show how dynamical systems at different levels are related to one another. I then use this analysis to describe (...) a graded approach to non-reductive physicalism, and to critically assess Davidson’s arguments for psychological anomaly. I also show how this approach can inform empirical research in cognitive science. (shrink)

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but (...) is also decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)

The central problem in the quantum theory of measurement, how to describe the process of state reduction in terms of the quantum mechanical formalism, is solved on the basis of the relativity of quantal states, which implies that once the apparatus is detected in a well-defined state, the object state must reduce to a corresponding one. This is a process termed by Schrödinger disentanglement. Here, it is essential to observe that Renninger's negative result does constitute an actual measurement (...) process. From this point of view, Heisenberg's interpretation of his microscope experiment and the Einstein-Podolsky-Rosen arguments are reinvestigated. Satisfactory discussions are given to various experimental situations, such as the Stern-Gerlach-type experiment, successive measurements, macroscopic measurements, and Schrödinger's cat. Finally it is proposed to regard a state vector in quantum mechanics as an irreducible physical construct, in Margenau's sense, that is not further analyzable both mathematically and conceptually. (shrink)

I begin with a basic account of teleo-pragmatic functionalism and its main features. I then discuss what that view implies about the nature of cognition, theories and understanding and thus about the limits on our ability to explain the mental and its relation to the non-mental. I show that teleo-pragmatic functionalism leads naturally to a version of non-reductive physicalism that combines theoretical pluralism with a strongly contextualist and pragmatic view of theories and models. Though non-reductionist at the theoretical and conceptual (...) level, the view is nonetheless thoroughly and robustly physicalist in its ontology. (shrink)

In this paper I argue that it is finally time to move beyond the Nagelian framework and to break new ground in thinking about epistemic reduction in biology. I will do so, not by simply repeating all the old objections that have been raised against Ernest Nagel’s classical model of theory reduction. Rather, I grant that a proponent of Nagel’s approach can handle several of these problems but that, nevertheless, Nagel’s general way of thinking about epistemic (...) class='Hi'>reduction in terms of theories and their logical relations is entirely inadequate with respect to what is going on in actual biological research practice. (shrink)

In the past 20 years, the concept of instinct has been discussed in respect to various disciplines such as evolutionary biology, evolutionary psychology, linguistics, ethics, aesthetics, and phenomenology, etc. However, the meaning of instinct still remains unclarified in many respects. In order to overcome this situation, it is necessary to elucidate the genuine meaning of instinct so that the discussion of instinct in these disciplines can be carried out systematically. The objective of this paper is to establish the genuine concept (...) of instinct on the basis of a phenomenological criticism of A. Gehlen’s theory of instinct-reduction. Moreover, it seeks to show that this concept is the genetic origin of the embodied consciousness. According to Gehlen, instinct is defined as Instinkthandlung. However, this definition of instinct is problematic in the formal logical sense, since the definiendum is already included in the definiens. Moreover, it faces different kinds of serious material problems. Criticizing Gehlen’s theory of instinct systematically, I will show that instinct should be redefined as “the innate living force that urges a species of living being to pursue a certain kind of object,” and I will attempt to clarify this definition of instinct in a more detailed manner by offering 11 points. Thereafter, I will argue that Gehlen’s theory of instinct-reduction has to be replaced by the theory of instinct-enlargement in human beings. Finally, I will point out that the genuine concept of instinct is nothing other than the genetic origin of the embodied consciousness. (shrink)