Philosophers of science have offered different accounts of what it means for one scientific theory to reduce to another. I propose a more or less friendly amendment to Kenneth Schaffner’s “General Reduction-Replacement” model of scientific unification. Schaffner interprets scientific unification broadly in terms of a continuum from theory reduction to theory replacement. As such, his account leaves no place on its continuum for type irreducible and irreplaceable theories. The same is true for other accounts (...) that incorporate Schaffner's continuum, for example, those developed by Paul Churchland, Clifford Hooker, and John Bickle. Yet I believe a more general account of scientific unification should include type irreducible and irreplaceable theories in an account of their partial reduction, specifically, when there is a reduction of their tokens. Thus I propose a “Reduction-Reception-Replacement” model wherein type irreducible and irreplaceable theories are accepted or received for the purpose of unifying domains of particulars. I also suggest a link between this kind of token reduction and mechanistic explanation. (shrink)

A longstanding criticism of Ernest Nagel's model of reduction is that it fails to take theory change into account. This criticism builds on the received view that Nagelian reductions are incompatible with theory change. This article challenges the received view by showing that Nagel's model can easily accommodate theory change. Indeed, Nagel's model is essentially static as it only gives unchanging formal and nonformal conditions for reduction; in contrast, theory change belongs to the dynamic history (...) of science; as a result, the application of Nagel's model to scientific knowledge from different historical periods yields a series of Nagelian reductions of different degrees of reductive success. This Nagelian treatment of theory change is illustrated by considering the enterprise of reducing thermodynamics to statistical mechanics in the late nineteenth century. It is also contended that, in handling theory change Nagel's model has greater merits than subsequent models (exemplified by Kenneth Schaffner's general reduction-replacement model). This article concludes by suggesting that Nagel's model of reduction deals with theory change exactly in the same way as logical empiricism does with historicism. (shrink)

Let A be an admissible set. A sentence of the form ∀R̄φ is a ∀1(A) (∀s 1(A),∀1(Lω1ω)) sentence if φ ∈ A (φ is $\bigvee\Phi$ , where Φ is an A-r.e. set of sentences from A; φ ∈ Lω1ω). A sentence of the form ∃R̄φ is an ∃2(A) (∃s 2(A),∃2(Lω1ω)) sentence if φ is a ∀1(A) (∀s 1(A),∀1(Lω1ω)) sentence. A class of structures is, for example, a ∀1(A) class if it is the class of models of a ∀1(A) sentence. Thus (...) ∀1(A) is a class of classes of structures, and so forth. Let Mi be the structure $\langle i, 0$. Let Γ be a class of classes of structures. We say that a sequence $J_1,\ldots,J_i,\ldots, i < \omega$, of classes of structures is a Γ sequence if $J_i \in \Gamma, i < \omega$, and there is I ∈ Γ such that M ∈ Ji if and only if [M, Mi] ∈ I, where [,] is the disjoint sum. A class Γ of classes of structures has the easy uniformization property if for every Γ sequence $J_1,\ldots,J_i, \ldots, i < \omega$, there is a Γ sequence $J'_1,\ldots,J'_i,\ldots, i < \omega$, such that $J'_i \subseteq J_i, i < \omega, \bigcup J'_i = \bigcup J_i$, and the J'i are pairwise disjoint. The easy uniformization property is an effective version of Kuratowski's generalized reduction property that is closely related to Moschovakis's (topological) easy uniformization property. We show over countable structures that ∀1(A) and ∃2(A) have the easy uniformization property if A is a countable admissible set with an infinite member, that ∀s 1(Lα) and ∃s 2(Lα) have the easy uniformization property if α is countable, admissible, and not weakly stable, and that ∀1(Lω1ω) and ∃2(Lω1ω) have the easy uniformization property. The results proved are more general. The result for ∀s 1(Lα) answers a question of Vaught (1980). (shrink)

In their 2010 paper, Dizadji-Bahmani, Frigg, and Hartmann argue that the generalized version of the Nagel–Schaffner model that they have developed is the right one for intertheoretic reduction, i.e. the kind of reduction that involves theories with largely overlapping domains of application. Drawing on the GNS, DFH presented a Bayesian analysis of the confirmatory relation between the reducing theory and the reduced theory and argued that, post-reduction, evidence confirming the reducing theory also confirms the reduced theory (...) and evidence confirming the reduced theory also confirms the reducing theory, which meets the expectations one has about theories with largely overlapping domains. In this paper, I argue that the Bayesian analysis presented by DFH faces difficulties. In particular, I argue that the conditional probabilities that DFH introduce to model the bridge law entail consequences that run against the GNS. However, I also argue that, given slight modifications of the analysis that are in agreement with the GNS, one is able to account for these difficulties and, moreover, one is able to more rigorously analyse the confirmatory relation between the reducing and the reduced theory. (shrink)

Cognitive dissonance has been studied for more than sixty years and many insightful findings have come from this research. However, some important theoretical and methodological issues are yet to be resolved, particularly regarding dissonance reduction. In this paper, we place dissonance theory in the larger framework of appraisal theories of emotion, emotion regulation, and coping. The basic premise of dissonance theory is that people experience negative affect (to varying degrees) following the detection of cognitive conflict. The individual will be (...) motivated to alleviate these emotional reactions and could do so by reducing dissonance in some manner. We argue that detection of dissonance will follow the same principles as when people interpret any other stimuli as emotionally significant. Thus, appraisal theory of emotion, which argues that emotions are generated via the cognitive evaluation of surrounding stimuli, should be applicable to the dissonance-detection process. In short, we argue that dissonance-reduction strategies (attitude change, trivialization, denial of responsibility, etc.) can be understood as emotion-regulation strategies. We further argue that this perspective contributes to reconciling fragmented (and sometimes contrary) viewpoints present in the literature on dissonance reduction. In addition to proposing the general model of dissonance reduction, we illustrate at the hand of empirical data how research on dissonance reduction can be performed without relying on experimental paradigms that focus on a specific reduction strategy. (shrink)

This study attempts to spell out more explicitly than has been done previously the connection between two types of formal correspondence that arise in the study of quantum–classical relations: one the one hand, deformation quantization and the associated continuity between quantum and classical algebras of observables in the limit \, and, on the other, a certain generalization of Ehrenfest’s Theorem and the result that expectation values of position and momentum evolve approximately classically for narrow wave packet states. While deformation quantization (...) establishes a direct continuity between the abstract algebras of quantum and classical observables, the latter result makes in-eliminable reference to the quantum and classical state spaces on which these structures act—specifically, via restriction to narrow wave packet states. Here, we describe a certain geometrical re-formulation and extension of the result that expectation values evolve approximately classically for narrow wave packet states, which relies essentially on the postulates of deformation quantization, but describes a relationship between the actions of quantum and classical algebras and groups over their respective state spaces that is non-trivially distinct from deformation quantization. The goals of the discussion are partly pedagogical in that it aims to provide a clear, explicit synthesis of known results; however, the particular synthesis offered aspires to some novelty in its emphasis on a certain general type of mathematical and physical relationship between the state spaces of different models that represent the same physical system, and in the explicitness with which it details the above-mentioned connection between quantum and classical models. (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)

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)

In the context of bounded arithmetic we consider some general replacement schemes and construct models for them. A new proof of a conservation result between and is derived.

In this chapter, I defend a pluralistic approach to intertheoretic reduction, in which reduction is not understood in terms of a single philosophical “generalized model”, but rather as a family of models that can help achieve certain epistemic and ontological goals. I will argue then that the reductive model (or combination of models) that best suits to a particular case study depends on the specific goals that motivate the reduction in the intended case study.

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)

The formulation of a relativistic theory of state-vector reduction is proposed and analyzed, and its conceptual consequences are elucidated. In particular, a detailed discussion of stochastic invariance and of local and nonlocal aspects at the level of individual systems is presented.

Most aspects of agriculture in Cuba prior to 1989 were comparable to California: a high energy input, conventional agriculture (based on what the Cubans now call the “classical model”) in which little was done to protect the nation's soils from erosion, loss of fertility, salinization, and other forms of degradation. In stark contrast the new “Alternative Model,” which has been rapidly replacing the previous model since 1989, emphasizes soil conservation and rehabilitation and the general improvement of (...) the nation's soils as the key to sustaining low-input production and attainment of food security. One of the first steps in implementing the new model was the launching of an ambitious program to reclassify, evaluate, and map the nation's soils in great detail, and to interpret the maps for management of sustainable production. A main feature of this program is coordinated fertility trials to determine, for each combination of crop and soil, the minimum quantity of plant nutrients needed to produce the crop. The build up and maintenance of soil fertility and productivity is being accomplished with various organic and mineral amendments and biofertilizers, produced or mined within the country (locally, where possible) and through rational management utilizing cover crops, green manures, crop successions (intercropping and rotations), and other appropriate technologies. Rehabilitation of degraded soils, tillage reduction, reforestation, vermiculture, vermicomposting, and other forms of waste cycling are other features of the new model that are important to soil conservation and maintenance for sustainable production. (shrink)

In a scientific context, ontological commitments should be considered as supervenient over accepted scientific theories. This implies that the primarily ontological notions of reduction and emergence of entities of different kinds should be reformulated in terms of relations between existing empirical theories. For this, in turn, it is most convenient to employ a model-theoretic view of scientific theories: the identity criterion of a scientific theory is essentially given by a class of models. Accordingly, reduction and emergence are (...) to be seen as particular kinds of relations between (some) models of different theories that subsume the same (or a similar) “experiential field”. The set-theoretical notion of an echelon-set proves to be crucial for this purpose: The domains in the models of the reduced theory are echelon-sets over the domains of the reducing theory. Finally, it is argued that emergence may plausibly be interpreted as akin to but weaker than reduction. (shrink)

Modern science is, to a large extent, a model-building activity. But how are models contructed? How are they related to theories and data? How do they explain complex scientific phenomena, and which role do computer simulations play here? These questions have kept philosophers of science busy for many years, and much work has been done to identify modeling as the central activity of theoretical science. At the same time, these questions have been addressed by methodologically-minded scientists, albeit from a (...) different point of view. While philosophers typically have an eye on general aspects of scientific modeling, scientists typically take their own science as the starting point and are often more concerned with specific methodological problems. There is, however, also much common ground in middle, where philosophers and scientists can engage in a productive dialogue, as the present volume demonstrates. To do so, the editors of this volume have invited eight leading scientists from cosmology, climate science, social science, chemical engeneering and neuroscience to reflect upon their modeling work, and eight philosophers of science to provide a commentary. (shrink)

Searching for information is critical in many situations. In medicine, for instance, careful choice of a diagnostic test can help narrow down the range of plausible diseases that the patient might have. In a probabilistic framework, test selection is often modeled by assuming that people's goal is to reduce uncertainty about possible states of the world. In cognitive science, psychology, and medical decision making, Shannon entropy is the most prominent and most widely used model to formalize probabilistic uncertainty and (...) the reduction thereof. However, a variety of alternative entropy metrics (Hartley, Quadratic, Tsallis, Rényi, and more) are popular in the social and the natural sciences, computer science, and philosophy of science. Particular entropy measures have been predominant in particular research areas, and it is often an open issue whether these divergences emerge from different theoretical and practical goals or are merely due to historical accident. Cutting across disciplinary boundaries, we show that several entropy and entropy reduction measures arise as special cases in a unified formalism, the Sharma–Mittal framework. Using mathematical results, computer simulations, and analyses of published behavioral data, we discuss four key questions: How do various entropy models relate to each other? What insights can be obtained by considering diverse entropy models within a unified framework? What is the psychological plausibility of different entropy models? What new questions and insights for research on human information acquisition follow? Our work provides several new pathways for theoretical and empirical research, reconciling apparently conflicting approaches and empirical findings within a comprehensive and unified information-theoretic formalism. (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)

This paper introduces three model-theoretic constructions for generalized Epstein semantics: reducts, ultramodels and $\textsf {S}$ -sets. We apply these notions to obtain metatheoretical results. We prove connective inexpressibility by means of a reduct, compactness by an ultramodel and definability theorem which states that a set of generalized Epstein models is definable iff it is closed under ultramodels and $\textsf {S}$ -sets. Furthermore, a corollary concerning definability of a set of models by a single formula is given on the basis (...) of the main theorem and the compactness theorem. We also provide an example of a natural set of generalized Epstein models which is undefinable. Its undefinability is proven by means of an $\textsf {S}$ -set. (shrink)

The historical development of the electronic configuration model is traced and the status of the model with respect to quantum mechanics is examined. The successes and problems raised by the model are explored, particularly in chemical ab initio calculations. The relevance of these issues to whether chemistry has been reduced to quantum mechanics is discussed, as are some general notions on reduction.

The contradictions between food poverty affecting a large section of the global population and the everyday wastage of food, particularly in high income countries, have raised significant academic and public attention. All actors in the food chain have a role to play in food waste prevention and reduction, including farmers, food manufacturers and processors, caterers and retailers and ultimately consumers. Food surplus redistribution is considered by many as a partial solution to food waste reduction and food poverty mitigation, (...) while others criticize charitable initiatives as inadequate responses, that inhibit governments from responsibly protecting the citizens right to food. This paper frames food assistance as “hybrid systems”, situating at the intersection of territorial food, public welfare and third sector voluntary systems. Based on available literature and reflections on previous research examining food banks in Italy, we develop a system dynamics conceptual mapping. The aim is to model a set of relations and dynamic mechanisms associated with variables relevant to food waste generation, food recovery for social purposes and food poverty alleviation. The analysis of feedback interactions highlights the vulnerabilities of food assistance systems that occur when addressing food poverty by reducing food surplus. In summary, as the awareness on food poverty and food surplus arises, incentives to food recovery and redistribution strengthen the role of food assistance actors, increasing their exposure to drivers of change, such as retailers’ standards for food surplus prevention. This paper contributes to the current academic debate on charitable food assistance, with insights for policy makers and other systems’ actors. (shrink)

Inspired by possible connections between gravity and foundational question in quantum theory, we consider an approach for the adaptation of objective collapse models to a general relativistic context. We apply these ideas to a list of open problems in cosmology and quantum gravity, such as the emergence of seeds of cosmic structure, the black hole information issue, the problem of time in quantum gravity and, in a more speculative manner, to the nature of dark energy and the origin of (...) the very special initial state of the universe. We conclude that objective collapse models offer a rather promising path to deal with all of these issues. (shrink)

Abstract.Since the gene splicing debates of the 1980s, the public has been exposed to an ongoing sequence of genetic and reproductive technologies. Many issue areas have outcomes that lose track of people's inner values or engender opposing religious viewpoints defying final resolution. This essay relocates the discussion of what is an acceptable application from the individual to the societal level, examining technologies that stand to address large numbers of people and thus call for policy resolution, rather than individual fiat, in (...) their application. A major source of guidance is the “Genetic Frontiers” series of professional dialogues and conferences held by the National Conference for Community and Justice from 2002 to 2004. Genetic testing, human gene therapy, genetic engineering of plants and animals, and stem cell technology are examined. While differences in perspective on the beginning of life persist, a stepwise approach to the examination of genetic testing reveals areas of general agreement. Stewardship of life, human co‐creativity with the divine, and social justice help define the bounds of application of genetic engineering and therapy; compassionate care plays a major role in establishing stem cell policy. Active, sustained dialogue is a useful resource for enabling sharing of religious values and crystallization of policies. (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)

We apply the distinction between parameter independence and outcome independence to the linear and nonlinear models of a recent nonrelativistic theory of continuous state vector reduction. We show that in the nonlinear model there is a set of realizations of the stochastic process that drives the state vector reduction for which parameter independence is violated for parallel spin components in the EPR-Bohm setup. Such a set has an appreciable probability of occurrence (≈ 1/2). On the other hand, (...) the linear model exhibits only extremely small parameter dependence effects. We investigate some specific features of the models and we recall that, as has been pointed out recently, if one wants to be able to speak of definite outcomes (or equivalently of possessed objective elements of reality) at finite times, one has to slightly change the criteria for their attribution to physical systems. The concluding section is devoted to a detailed discussion of the difficulties which one meets when one tries to take, as a starting point for the formulation of a relativistic theory, a nonrelativistic scheme which exhibits parameter dependence. Here we derive a theorem which identifies the precise sense in which the occurrence of parameter dependence forbids a genuinely relativistic generalization. Finally we show how the appreciable parameter dependence of the nonlinear model gives rise to problems with relativity, while the extremely weak parameter dependence of the linear model does not give rise to any difficulty, provided one takes into account the appropriate criteria for the attribution of definite outcomes. (shrink)

Models provide scientists with knowledge about target systems. An important group of models are those that are called general. However, what exactly is meant by generality in this context is somewhat unclear. The aim of this paper is to draw out a distinction between two notions of generality that has implications for scientific practice. Some models are general in the sense that they apply to many systems in the world and have many particular targets. Another sense is captured (...) by models that are aimed at understanding the fundamental or underlying dynamics of a phenomenon, as opposed to how it manifests in each particular case. They have non-specific, i.e. generic targets. While both notions of generality and genericness are legitimate and correspond to different aspects of scientific practice, they must be distinguished. Failing to do so obscures the danger of overgeneralisation faced by general models and facilitates the illegitimate use of generic models as general models. This can lead to a reduction of the explanatory and predictive power of both. (shrink)

Safe first-order formulas generalize the concept of a safe rule, which plays an important role in the design of answer set solvers. We show that any safe sentence is equivalent, in a certain sense, to the result of its grounding—to the variable-free sentence obtained from it by replacing all quantifiers with multiple conjunctions and disjunctions. It follows that a safe sentence and the result of its grounding have the same stable models, and that stable models of a safe sentence can (...) be characterized by a formula of a simple syntactic form. (shrink)

Safe first-order formulas generalize the concept of a safe rule, which plays an important role in the design of answer set solvers. We show that any safe sentence is equivalent, in a certain sense, to the result of its grounding—to the variable-free sentence obtained from it by replacing all quantifiers with multiple conjunctions and disjunctions. It follows that a safe sentence and the result of its grounding have the same stable models, and that stable models of a safe sentence can (...) be characterized by a formula of a simple syntactic form. (shrink)

The problem of getting a relativistic generalization of the CSL dynamical reduction model, which has been presented in part I, is discussed. In so doing we have the opportunity to introduce the idea of a stochastically invariant theory. The theoretical model we present, that satisfies this kind of invariance requirement, offers us the possibility to reconsider, from a new point of view, some conceptually relevant issues such as nonlocality, the legitimacy of attributing elements of physical reality to (...) physical systems and the problem of establishing causal relations between physical events. (shrink)

In this paper, I propose two theses, and then examine what the consequences of those theses are for discussions of reduction and emergence. The first thesis is that what have traditionally been seen as robust, reductions of one theory or one branch of science by another more fundamental one are a largely a myth. Although there are such reductions in the physical sciences, they are quite rare, and depend on special requirements. In the biological sciences, these prima facie sweeping (...) reductions fade away, like the body of the famous Cheshire cat, leaving only a smile.... The second thesis is that the "smiles" are fragmentary patchy explanations, and though patchy and fragmentary, they are very important, potentially Nobel-prize winning advances. To get the best grasp of these "smiles," I want to argue that, we need to return to the roots of discussions and analyses of scientific explanation more generally, and not focus mainly on reduction models, though three conditions based on earlier reduction models are retained in the present analysis. I briefly review the scientific explanation literature as it relates to reduction, and then offer my account of explanation. The account of scientific explanation I present is one I have discussed before, but in this paper I try to simplify it, and characterize it as involving field elements and a preferred causal model system abbreviated as FE and PCMS. In an important sense, this FE and PCMS analysis locates an "explanation" in a typical scientific research article. This FE and PCMS account is illustrated using a recent set of neurogenetic papers on two kinds of worm foraging behaviors: solitary and social feeding. One of the preferred model systems from a 2002 Nature article in this set is used to exemplify the FE and PCMS analysis, which is shown to have both reductive and nonreductive aspects. The paper closes with a brief discussion of how this FE and PCMS approach differs from and is congruent with Bickle's "ruthless reductionism" and the recently revived mechanistic philosophy of science of Machamer, Darden, and Craver. (shrink)

Synchronic intertheoretic reductions are an important field of research in science. Arguably, the best model able to represent the main relations occurring in this kind of scientific reduction is the Nagelian account of reduction, a model further developed by Schaffner and nowadays known as the generalized version of the Nagel–Schaffner model. In their article, Dizadji-Bahmani, Frigg, and Hartmann specified the two main desiderata of a reduction á la GNS: confirmation and coherence. DFH first and, (...) more rigorously, Tešic later analyse the confirmatory relation between the reducing and the reduced theory in terms of Bayesian confirmation theory. The purpose of this article is to analyse and compare the degree of coherence between the two theories involved in the GNS before and after the reduction. For this reason, in the first section, I will be looking at the reduction of thermodynamics to statistical mechanics and use it as an example to describe the GNS. In the second section, I will introduce three coherence measures which will then be employed in the comparison. Finally, in the last two sections, I will compare the degrees of coherence between the reducing and the reduced theory before and after the reduction and use a few numerical examples to understand the relation between coherence and confirmation measures. (shrink)

A growing body of empirical evidence suggests the existence of a Paradox of Choice, whereby a larger choice set leads to a lower expected payoff to the decisionmaker. These empirical findings contradict traditional choice-theoretic results in microeconomics and even social psychology, suggesting profound yet unexplained aspects of choice settings/behavior. The Paradox remains largely as a theoretically-rootless empirical phenomenon. We neither understand the mechanisms and conditions that generate it, nor whether the Paradox stems from choice behavior, choice setting, or both. We (...) present a general search model of consumer choice under incomplete information to examine the theoretical existence and conditions for the Paradox. The model departs from traditional microeconomic choice theory in assuming no “cognitive free lunches.” Search and evaluative efforts require time, focus, and opportunity cost in the model, as in real life. The model shows that conditions for Paradox readily exist, diminishing returns to potential value of the choice in choice set size is a necessary condition for a Paradox outcome, that a Paradox outcome can occur with or without a “choice overload” response by the decisionmaker, and that avoidance of a Paradox outcome is an impossibility in some choice settings (primitive to setting regardless of choice behavior). Lastly, we develop a pareto-improving choice set reduction algorithm that eliminates weakly dominated choice set elements and presents the restricted choice set to the decisionmaker. As such, it is shown that the algorithm acts to treat or mitigate the Paradox of Choice, as well as to pareto-improve choice-supporting evaluation more generally. Like established AI recommender systems, the novel algorithm filters choices. In the present case, the filtering is based upon identification of weakly dominated choice set elements. (shrink)

A common belief is that evolution generally proceeds towards greater complexity at both the organismal and the genomic level, numerous examples of reductive evolution of parasites and symbionts notwithstanding. However, recent evolutionary reconstructions challenge this notion. Two notable examples are the reconstruction of the complex archaeal ancestor and the intron‐rich ancestor of eukaryotes. In both cases, evolution in most of the lineages was apparently dominated by extensive loss of genes and introns, respectively. These and many other cases of reductive evolution (...) are consistent with a general model composed of two distinct evolutionary phases: the short, explosive, innovation phase that leads to an abrupt increase in genome complexity, followed by a much longer reductive phase, which encompasses either a neutral ratchet of genetic material loss or adaptive genome streamlining. Quantitatively, the evolution of genomes appears to be dominated by reduction and simplification, punctuated by episodes of complexification. (shrink)

The publication of the article “Recent Models of the African Iron Age and the Cattle-Related Evidence” by Hromnik in a journal sponsored by Unesco raises a number of serious issues which we, as members of the International Scientific Committee charged with the responsibility of preparing an up-to-date and scientific history of Africa purged of its mists of racist propaganda, unfounded assertions and misleading and dangerous misinterpretations, cannot ignore. These issues include the scientific accuracy or authenticity of the article.

The received view about emergence and reduction is that they are incompatible categories. I argue in this paper that, contrary to the received view, emergence and reduction can hold together. To support this thesis, I focus attention on dynamical systems and, on the basis of a general representation theorem, I argue that, as far as these systems are concerned, the emulation relationship is sufficient for reduction (intuitively, a dynamical system DS1 emulates a second dynamical system DS2 (...) when DS1 exactly reproduces the whole dynamics of DS2). This representational view of reduction, contrary to the standard deductivist one, is compatible with the existence of structural properties of the reduced system that are not also properties of the reducing one. Therefore, under this view, by no means are reduction and emergence incompatible categories but, rather, complementary ones. (shrink)

The aim of this essay is a criticism of reductionism ? both in its ?static? interpretation (usually referred to as the layer model or level?picture of science) and in its ?dynamic? interpretation (as a theory of the growth of scientific knowledge), with emphasis on the latter ? from the point of view of Popperian fallibilism and Feyerabendian pluralism, but without being committed to the idiosyncrasies of these standpoints. In both aspects of criticism, the rejection is based on the proposal (...) of a global alternative. Hummell and Opp's research programme for the reduction of sociology to psychology is used as a starting?point and taken as the primary object of criticism. Following the introductory Section I, Section II analyses the three crucial notions of Hummell and Opp's research programme ? their explications of the notions of ?sociology?, ?psychology? and the concept of reduction itself ? and criticizes the authors? deficient ?logic of reduction?. Although the ?local? shortcomings of our authors? ?logic of reduction? do not affect reductionism as such, i.e. logically sound versions of reductionism as devised by Kemeny, Nagel, Oppenheim, Putnam, Woodger et al., it is argued that the logical soundness of sophisticated reductionism cannot compensate for its additional epistemological and methodological deficiencies. Section III analyses the ?dynamic? interpretation of reductionism as a particular developmental pattern of scientific growth. It is argued that even reductionism at its best can produce only cumulative progress, thus ?a priori? excluding scientific revolutions which are inevitably counter?inductive as well as counter?reductive. Section IV discusses the philosophical background of modern reductionism, and examines the effects both of reductionism and of anti?reductionistic pluralism on the autonomy of scientific fields. It is argued that pluralistic anti?reductionism undermines spurious claims for autonomy much more effectively than reductionism. As a ?local? improvement of the reductionistic research programme, the replacement of the predominant one?way reductionism by a less restrictive many?way reductionism is proposed. It is argued that the appropriate treatment for an allegedly backward science (say sociology) is not its reduction to an allegedly more advanced science (say psychology) but its non?reductive replacement by new theories (of the same or of another field) that do not incorporate the older ones. As a ?global? alternative to the reduction of sociology to psychology, the frontier?crossing direct application of psychological theories to sociological phenomena is proposed. A plea is made for a pluralistic science without reduction, based on intra? and interscientific criticism as the proper method for the advancement of knowledge. (shrink)

Carbon emission has negative externalities, which will cause severe natural and social problems. In recent years, more and more attention has been paid to carbon emission reduction issue both in academic and application fields. This paper aims to explore the impact of punitive carbon tax and incentive carbon emission reduction subsidy on economy and environment through the dynamic stochastic general equilibrium framework. The results show that both carbon tax and carbon emission reduction subsidy policies can help (...) to reduce carbon emissions and to improve environment quality. In addition, carbon emission reduction subsidy has a positive impact on economy, while carbon tax has the opposite impact. It follows that the incentive carbon emission reduction policy is more conducive to the coordinated development of economy and environment. This research can be a guideline for the government to formulate carbon emission abatement policies from the perspective of coordinated development. (shrink)

A Krom formula of pure quantification theory is a formula in conjunctive normal form such that each conjunct is a disjunction of at most two atomic formulas or negations of atomic formulas. Every class of Krom formulas that is determined by the form of their quantifier prefixes and which is known to have an unsolvable decision problem for satisfiability is here shown to be a conservative reduction class. Therefore both the general satisfiability problem, and the problem of satisfiability (...) in finite models, can be effectively reduced from arbitrary formulas to Krom formulas of these several prefix types. (shrink)

I discuss arguments about the relationship between different “levels” of explanation in the light of examples involving multi-scale analysis. I focus on arguments about causal competition between properties at different levels, such as Jaegwon Kim’s “supervenience argument.” A central feature of Kim’s argument is that higher-level properties can in general be identified with “micro-based” properties. I argue that explanations from multi-scale analysis give examples of explanations that are problematic for accounts such as Kim’s. I argue that these difficulties suggest (...) that some standard assumptions about causal competition need to be revised. (shrink)

A metaphysics of the world described by contemporary science faces the problem of the relative ontological status of microphysical constituents (e.g. elementary particles), ultimate mathematical structures (e.g. of the Standard Model and General Relativity), and complex macroscopic systems with their arguably emergent properties. Justus Buchler's ordinal metaphysics, which provides a "view from anywhere" by analyzing whatever is under consideration through its location in an order of relationships, refusing to privilege any type of being, contributes a fresh perspective to (...) this discussion. While Buchler's metaphysics of natural complexes might seem too pluralistic to be compatible with physicalism—since the latter grants metaphysical priority to the physical and to science's claims about it—a physicalist account can be conceived inside his ordinal metaphysics. Like the Aristotelian "metaphysics of the middle," such an approach avoids both the Democritean metaphysics of Simples and the Platonist metaphysics of the Whole. In so doing it provides special resources for conceiving the status of wholes and components commonly disputed by reductionists and emergentists, e.g. complex material systems, organisms, and minds. Towards that end, this paper sketches the outlines of an ordinal physicalism. (shrink)

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

In this part we will consider recent attempts to get a relativistic CSL theory. The problem of getting such a generalization, or at least of making plausible that it exists, is of great interest. J. Bell (1990), after having expressed his dissatisfaction with the fundamental lack of precision of the standard formulation of quantum mechanics and the opinion that the only available acceptable alternatives are the Pilot Wave and the Spontaneous Localization schemes has stated: The big question, in my opinion, (...) is which, if either, of these two precise pictures can be redeveloped in a Lorentz invariant way. The point of view of this paper is that what is most interesting is not a detailed exposition of the formal aspects of the generalization, but some crucial conceptual points which have come into focus in this attempt. (shrink)

This chapter discusses the role of general models for language change and considers four such classes of model. The farming/language dispersal model is a frequent case for language replacement. But problems of chronology frequently obscure the relationships between archaeological and linguistic data.

The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded distributive lattices and the variety of implicative semilattices. The variety of bounded distributive lattices is generated by the →-free reducts of Heyting algebras, while the variety of implicative semilattices is generated by the ∨-free reducts. Each of these reducts gives rise to canonical formulas that generalize Jankov formulas and provide an axiomatization of all superintuitionistic logics. The ∨-free reducts of Heyting algebras give rise to the (...) -canonical formulas that we studied in an earlier work. Here we introduce the -canonical formulas, which are obtained from the study of the →-free reducts of Heyting algebras. We prove that every si-logic is axiomatizable by -canonical formulas. We also discuss the similarities and differences between these two kinds of canonical formulas. One of the main ingredients of these formulas is a designated subset D of pairs of elements of a finite subdirectly irreducible Heyting algebra A. When D=A2, we show that the -canonical formula of A is equivalent to the Jankov formula of A. On the other hand, when D=∅, the -canonical formulas produce a new class of si-logics we term stable si-logics. We prove that there are continuum many stable si-logics and that all stable si-logics have the finite model property. We also compare stable si-logics to splitting and subframe si-logics. (shrink)

Towards the end of Beyond Reduction Horst hypothesizes that ‘it is a general design principle of the cognitive architecture of humans that the mind possesses multiple models for understanding and interacting practically with different aspects of the world’. The suggestion is made following a discussion of recent research in cognitive science. According to Horst, the hypothesis is also consistent with what recent non-reductionist tendencies in the philosophy of science teach us. Taken together, Horst claims these two sets of (...) evidence motivate a new post-reductionist approach to the philosophy of mind. After outlining the route Horst takes to reach this claim, I shall raise a worry I have about the claim and the route taken to it.Beyond Reduction is in three parts. Part one frames the debate. In Chapter 1 Horst notes how naturalism is a view to which nearly all philosophers of mind, some of whom hold quite disparate views, would subscribe. He formulates a schema for naturalism that he thinks most would accept: ‘naturalism about domain D is the view that all features of D are to be accommodated within the framework of nature as it is understood by the natural sciences’. Horst acknowledges that the schema under-describes matters. The notion of ‘accommodation’ may be understood as involving either explanation or metaphysical determination; it is also unclear how we are to understand ‘the …. (shrink)

The relationship whereby one physical theory encompasses the domain of empirical validity of another is widely known as “reduction.” Elsewhere I have argued that one influential methodology for showing that one physical theory reduces to another, associated with the so-called “Bronstein cube” of theories, rests on an oversimplified and excessively vague characterization of the mathematical relationship between theories that typically underpins reduction. I offer what I claim is a more precise characterization of this relationship, which here is based (...) on a more basic notion of reduction between distinct models of a single physical system. Reduction between two such models, I claim, rests on a particular type of approximation relationship between group actions over the models’ state spaces, characterized by a particular function between the model state spaces and a particular subset of the more encompassing model’s state space. Within this approach, I show formally in what sense and under what conditions reduction is transitive, so that reduction of a model 1 to another model 2 and reduction of model 2 to a third model 3 entails direct reduction of model 1 to model 3. Building on this analysis, I consider cases in which reduction of a model 1 to a model 3 may be effected via distinct intermediate models 2a and 2b, and motivate a set of formal consistency requirements between distinct “reduction paths” having the same models as their “end points”. These constraints are explicitly shown to hold in the reduction of a model of non-relativistic classical mechanics to a model of relativistic quantum mechanics, which may be effected by a composite reduction that proceeds either via a model of non-relativistic quantum mechanics or a model of relativistic classical mechanics. I offer some brief speculations as to whether and how this sort of consistency requirement might serve to constrain the reductions relating other theories and models, including the relationship that the Standard Model and general relativity must bear to any viable unification of these frameworks. (shrink)

Various scientific theories stand in a reductive relation to each other. In a recent article, we have argued that a generalized version of the Nagel-Schaffner model (GNS) is the right account of this relation. In this article, we present a Bayesian analysis of how GNS impacts on confirmation. We formalize the relation between the reducing and the reduced theory before and after the reduction using Bayesian networks, and thereby show that, post-reduction, the two theories are confirmatory of (...) each other. We then ask when a purported reduction should be accepted on epistemic grounds. To do so, we compare the prior and posterior probabilities of the conjunction of both theories before and after the reduction and ask how well each is confirmed by the available evidence. (shrink)

Due to the variation, contingency and complexity of living systems, biology is often taken to be a science without fundamental theories, laws or general principles. I revisit this question in light of the quest for design principles in systems biology and show that different views can be reconciled if we distinguish between different types of generality. The philosophical literature has primarily focused on generality of specific models or explanations, or on the heuristic role of abstraction. This paper takes a (...) different approach in emphasizing a theory-constituting role of general principles. Design principles signify general dependency-relations between structures and functions, given a set of formally defined constraints. I contend that design principles increase our understanding of living systems by relating specific models to general types. The categorization of types is based on a delineation of the scope of biological possibilities, which serves to identify and define the generic features of classes of systems. To characterize the basis for general principles through generic abstraction and reasoning about possibility spaces, I coin the term constraint-based generality. I show that constraint-based generality is distinct from other types of generality in biology, and argue that general principles play a unifying role that does not entail theory reduction. (shrink)

Recent work in the methodology of connectionist explanation has I'ocrrsccl on the notion of levels of explanation. Specific issucs in conncctionisrn hcrc intersect with rvider areas of debate in the philosophy of psychology and thc philosophy of science generally. The issues I raise in this chapter, then, are not unique to cognitive science; but they arise in new and important contexts when connectionism is taken seriously as a model of cognition. The general questions are the relation between levels (...) and the status of levels which have no obvious relation to others. In speaking of levels, what is the connection, if there is one, between explanation and ontology? Which, if any, conccpt of reduction is applicable to connectionist systems? What kind of legitinrtcy can the constructs of common sense psychology, or of that vclsion ol intentional realism represented by classical symbol-systems n I, hirvc irr ir full-scale connectionist theory of mind? (shrink)

Journal of Mathematical Logic, Volume 22, Issue 03, December 2022. Hirschfeldt and Jockusch (2016) introduced a two-player game in which winning strategies for one or the other player precisely correspond to implications and non-implications between [math] principles over [math]-models of [math]. They also introduced a version of this game that similarly captures provability over [math]. We generalize and extend this game-theoretic framework to other formal systems, and establish a certain compactness result that shows that if an implication [math] between two (...) principles holds, then there exists a winning strategy that achieves victory in a number of moves bounded by a number independent of the specific run of the game. This compactness result generalizes an old proof-theoretic fact noted by H. Wang (1981), and has applications to the reverse mathematics of combinatorial principles. We also demonstrate how this framework leads to a new kind of analysis of the logical strength of mathematical problems that refines both that of reverse mathematics and that of computability-theoretic notions such as Weihrauch reducibility, allowing for a kind of fine-structural comparison between [math] principles that has both computability-theoretic and proof-theoretic aspects, and can help us distinguish between these, for example by showing that a certain use of a principle in a proof is “purely proof-theoretic”, as opposed to relying on its computability-theoretic strength. We give examples of this analysis to a number of principles at the level of [math], uncovering new differences between their logical strengths. (shrink)

Experiments in particle physics have hitherto failed to produce any significant evidence for the many explicit models of physics beyond the Standard Model (BSM) that had been proposed over the past decades. As a result, physicists have increasingly turned to model-independent strategies as tools in searching for a wide range of possible BSM effects. In this paper, we describe the Standard Model Effective Field Theory (SM-EFT) and analyse it in the context of the philosophical discussions about models, (...) theories, and (bottom-up) effective field theories. We find that while the SM-EFT is a quantum field theory, assisting experimentalists in searching for deviations from the SM, in its general form it lacks some of the characteristic features of models. Those features only come into play if put in by hand or prompted by empirical evidence for deviations. Employing different philosophical approaches to models, we argue that the case study suggests not to take a view on models that is overly permissive because it blurs the lines between the different stages of the SM-EFT research strategies and glosses over particle physicists' motivations for undertaking this bottom-up approach in the first place. Looking at EFTs from the perspective of modelling does not require taking a stance on some specific brand of realism or taking sides in the debate between reduction and emergence into which EFTs have recently been embedded. (shrink)