Causal reasoning is one of our most central cognitive competencies, enabling us to adapt to our world. Causal knowledge allows us to predict future events, or diagnose the causes of observed facts. We plan actions and solve problems using knowledge about cause-effect relations. Without our ability to discover and empirically test causal theories, we would not have made progress in various empirical sciences. In the past decades, the important role of causal knowledge has been discovered in many areas of cognitive (...) psychology. Despite the ubiquity of causal reasoning, textbooks of cognitive psychology have neglected this growing field. The goal of The Oxford Handbook of Causal Reasoning is to fill this gap. The handbook brings together the leading researchers in the field of causal reasoning and offers state-of-the-art presentations of theories and research. It provides introductions of competing theories of causal reasoning, and discusses its role in various cognitive functions and domains. The final section presents research from neighboring fields. 1. Causal Reasoning: An Introduction Michael R. Waldmann Part I: Theories of Causal Cognition 2. Associative Accounts of Causal Cognition Mike E. Le Pelley, Oren Griffiths, and Tom Beesley 3. Rules of Causal Judgment: Mapping Statistical Information Onto Causal Beliefs José C. Perales, Andrés Catena, Antonio Cándido, and Antonio Maldonado 4. The Inferential Reasoning Theory of Causal Learning: Toward a Multi- Process Propositional Account Yannick Boddez, Jan De Houwer, and Tom Beckers 5. Causal Invariance as an Essential Constraint for Creating a Causal Representation of the World: Generalizing the Invariance of Causal Power Patricia W. Cheng and Hongjing Lu 6. The Acquisition and Use of Causal Structure Knowledge Benjamin Margolin Rottman 7. Formalizing Prior Knowledge in Causal Induction Thomas L. Griffiths 8. Causal Mechanisms Samuel G. B. Johnson and Woo-kyoung Ahn 9. Force Dynamics and Causation Phillip Wolff and Robert Thorstad 10. Mental Models and Causation P. N. Johnson- Laird and Sangeet S. Khemlani 11. Pseudocontingencies Klaus Fiedler and Florian Kutzner 12. Singular Causation David Danks 13. Cognitive Neuroscience of Causal Reasoning Joachim T. Operskalski and Aron K. Barbey Part II: Basic Cognitive Functions 14. Visual Impressions of Causality Peter White 15. Goal-Directed Actions Bernhard Hommel 16. Planning and Control Magda Osman 17. Reinforcement Learning and Causal Models Samuel J. Gershman 18. Causation and the Probability of Causal Conditionals David E. Over 19. Causal Models and Conditional Reasoning Mike Oaksford and Nick Chater 20. Concepts as Causal Models: Categorization Bob Rehder 21. Concepts as Causal Models: Induction Bob Rehder 22. Causal Explanation Tania Lombrozo and Nadya Vasilyeva 23. Diagnostic Reasoning Björn Meder and Ralf Mayrhofer 24. Inferring Causal Relations by Analogy Keith J. Holyoak and Hee-Seung Lee 25. Causal Argument Ulrike Hahn, Roland Bluhm, and Frank Zenker 26. Causality in Decision- Making York Hagmayer and Philip M. Fernbach Part III: Domains of Causal Reasoning 27. Intuitive Theories Tobias Gerstenberg and Joshua B. Tenenbaum 28. Space, Time, and Causality Marc J. Buehner 29. Causation in Legal and Moral Reasoning David A. Lagnado and Tobias Gerstenberg 30. The Role of Causal Knowledge in Reasoning About Mental Disorders Woo-kyoung Ahn, Nancy S. Kim, and Matthew S. Lebowitz 31. Causality and Causal Reasoning in Natural Language Torgrim Solstad and Oliver Bott 32. Social Attribution and Explanation Denis Hilton Part IV: Development, Phylogeny, and Culture 33. The Development of Causal Reasoning Paul Muentener and Elizabeth Bonawitz 34. Causal Reasoning in Non-Human Animals Christian Schloegl and Julia Fischer 35. Causal Cognition and Culture Andrea Bender, Sieghard Beller, and Douglas L. Medin. (shrink)

We have some justified beliefs about modal matters. A modal epistemology should explain what’s involved in our having that justification. Given that we’re realists about modality, how should we expect that explanation to go? In the first part of this essay, I suggest an answer to this question based on an analogy with games. Then, I outline a modal epistemology that fits with that answer. According to a theory-based epistemology of modality, you justifiably believe that p if you justifiably believe (...) a theory that says that p and you believe p on the basis of that theory. (shrink)

Alison Gopnik and Andrew Meltzoff have argued for a view they call the ‘theory theory’: theory change in science and children are similar. While their version of the theory theory has been criticized for depending on a number of disputed claims, we argue that there is a fundamental problem which is much more basic: the theory theory is multiply ambiguous. We show that it might be claiming that a similarity holds between theory change in children and (i) individual scientists, (ii) (...) a rational reconstruction of a Superscientist, or (iii) the scientific community. We argue that (i) is false, (ii) is non-empirical (which is problematic since the theory theory is supposed to be a bold empirical hypothesis), and (iii) is either false or doesn’t make enough sense to have a truth-value. We conclude that the theory theory is an interesting failure. Its failure points the way to a full, empirical picture of scientific development, one that marries a concern with the social dynamics of science to a psychological theory of scientific cognition. (shrink)

A consensus exists among contemporary philosophers of biology about the history of their field. According to the received view, mainstream philosophy of science in the 1930s, 40s, and 50s focused on physics and general epistemology, neglecting analyses of the 'special sciences', including biology. The subdiscipline of philosophy of biology emerged (and could only have emerged) after the decline of logical positivism in the 1960s and 70s. In this article, I present bibliometric data from four major philosophy of science journals (Erkenntnis, (...) Philosophy of Science, Synthese, and the British Journal for the Philosophy of Science), covering 1930-59, which challenge this view. (shrink)

The contemporary debate between scientific realism and anti-realism is conditioned by a polarity between two opposing arguments: the realist’s success argument and the anti-realist’s pessimistic induction. This polarity has skewed the debate away from the problem that lies at the source of the debate. From a realist point of view, the historical approach to the philosophy of science which came to the fore in the 1960s gave rise to an unsatisfactory conception of scientific progress. One of the main motivations for (...) the scientific realist appeal to the success of science was the need to provide a substantive account of the progress of science as an increase of knowledge about the same entities as those referred to by earlier theories in the history of science. But the idea that a substantive conception of progress requires continuity of reference has faded from the contemporary debate. In this paper, I revisit the historical movement in the philosophy of science in an attempt to resuscitate the original agenda of the debate about scientific realism. I also briefly outline the way in which the realist should employ the theory of reference as the basis for a robust account of scientific progress which will satisfy realist requirements. (shrink)

This is a collection of my essays in the philosophy of science which have been translated into Spanish.

In this essay I shall focus on the adoption of the Semantic Approach by structural realists, including myself, who have done so on the grounds that it wears its structuralist sympathies on its sleeve. Despite this, the SA has been identified as standing in tension with the ontological commitments of the so-called ’ontic’ form of this view and so I shall explore that tension before discussing the usefulness of the SA in framing scientific representation and concluding with a discussion of (...) the implications of the ontological status of theories and models themselves. (shrink)

The symmetries of a physical theory are often associated with two things: conservation laws and representational redundancies. But how can a physical theory's symmetries give rise to interesting conservation laws, if symmetries are transformations that correspond to no genuine physical difference? In this article, I argue for a disambiguation in the notion of symmetry. The central distinction is between what I call "analytic" and "synthetic" symmetries, so called because of an analogy with analytic and synthetic propositions. "Analytic" symmetries are the (...) turning of idle wheels in a theory's formalism, and correspond to no physical change; "synthetic" symmetries cover all the rest. I argue that analytic symmetries are distinguished because they act as fixed points or constraints in any interpretation of a theory, and as such are akin to Poincaré's conventions or Reichenbach's 'axioms of co-ordination', or 'relativized constitutive a priori principles'. (shrink)

The debate between critics of syntactic and semantic approaches to the formalization of scientific theories has been going on for over 50 years. I structure the debate in light of a recent exchange between Hans Halvorson, Clark Glymour, and Bas van Fraassen and argue that the only remaining disagreement concerns the alleged difference in the dependence of syntactic and semantic approaches on languages of predicate logic. This difference turns out to be illusory.

There are two perspectives from which formal theories can be viewed. On the one hand, one can take a theory to be about some privileged models. On the other hand, one can take all models of a theory to be on a par. In contrast with what is usually done in philosophical debates, we adopt the latter viewpoint. Suppose that from this perspective we want to add an adequate truth predicate to a background theory. Then on the one hand the (...) truth theory ought to be semantically conservative over the background theory. At the same time, it is generally recognised that the central function of a truth predicate is an expressive one. A truth predicate ought to allow us to express propositions that we could not express before. In this article we argue that there are indeed natural truth theories which satisfy both the demand of semantical conservativeness and the demand of adequately extending the expressive power of our language. (shrink)

This paper proposes a set of criteria for an appropriate experiment on the issue of the theory ladenness of perception. These criteria are used to select a number of experiments that use: belief-based ambiguous figures, fragmented figures, or memory color. Crucially, the data in experiments of this type are based on the participant’s qualitative visual experience. Across many different types of experimental designs, different types of stimuli, and different types of belief manipulation, these experiments show the impact of belief/theory on (...) visual perception. Using an ecological validity argument, I conclude that attention-based interpretations of these findings are not successful because the relevant epistemological issues only require that we examine final perception, in the sense of visual awareness of the everyday world. Finally, I argue that the epistemological consequences of theory-ladenness can be reduced by using a top-down/bottom-up theoretical framework and by adopting appropriate methodological procedures to data derived from individual observations. (shrink)

Combining active externalism in the form of the extended and distributed cognition hypotheses with virtue reliabilism can provide the long sought after link between mainstream epistemology and philosophy of science. Specifically, by reading virtue reliabilism along the lines suggested by the hypothesis of extended cognition, we can account for scientific knowledge produced on the basis of both hardware and software scientific artifacts. Additionally, by bringing the distributed cognition hypothesis within the picture, we can introduce the notion of epistemic group agents, (...) in order to further account for collective knowledge produced on the basis of scientific research teams. (shrink)

An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found already (...) in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)

This inaugural handbook documents the distinctive research field that utilizes history and philosophy in investigation of theoretical, curricular and pedagogical issues in the teaching of science and mathematics. It is contributed to by 130 researchers from 30 countries; it provides a logically structured, fully referenced guide to the ways in which science and mathematics education is, informed by the history and philosophy of these disciplines, as well as by the philosophy of education more generally. The first handbook to cover the (...) field, it lays down a much-needed marker of progress to date and provides a platform for informed and coherent future analysis and research of the subject. -/- The publication comes at a time of heightened worldwide concern over the standard of science and mathematics education, attended by fierce debate over how best to reform curricula and enliven student engagement in the subjects There is a growing recognition among educators and policy makers that the learning of science must dovetail with learning about science; this handbook is uniquely positioned as a locus for the discussion. -/- The handbook features sections on pedagogical, theoretical, national, and biographical research, setting the literature of each tradition in its historical context. Each chapter engages in an assessment of the strengths and weakness of the research addressed, and suggests potentially fruitful avenues of future research. A key element of the handbook’s broader analytical framework is its identification and examination of unnoticed philosophical assumptions in science and mathematics research. It reminds readers at a crucial juncture that there has been a long and rich tradition of historical and philosophical engagements with science and mathematics teaching, and that lessons can be learnt from these engagements for the resolution of current theoretical, curricular and pedagogical questions that face teachers and administrators. (shrink)

Scientific inquiry has led to immense explanatory and technological successes, partly as a result of the pervasiveness of scientific theories. Relativity theory, evolutionary theory, and plate tectonics were, and continue to be, wildly successful families of theories within physics, biology, and geology. Other powerful theory clusters inhabit comparatively recent disciplines such as cognitive science, climate science, molecular biology, microeconomics, and Geographic Information Science (GIS). Effective scientific theories magnify understanding, help supply legitimate explanations, and assist in formulating predictions. Moving from their (...) knowledge-producing representational functions to their interventional roles (Hacking 1983), theories are integral to building technologies used within consumer, industrial, and scientific milieus. -/- This entry explores the structure of scientific theories from the perspective of the Syntactic, Semantic, and Pragmatic Views. Each of these views answers questions such as the following in unique ways. What is the best characterization of the composition and function of scientific theory? How is theory linked with world? Which philosophical tools can and should be employed in describing and reconstructing scientific theory? Is an understanding of practice and application necessary for a comprehension of the core structure of a scientific theory? How are these three views ultimately related? (shrink)

In recent papers Hans Halvorson has offered a critique of the semantic view of theories, showing that theories may be the same although the corresponding sets of models are different and, conversely, that theories may be different although the corresponding sets of models are the same. This critique will be assessed, first, as it pertains to issues concerning scientific models in the empirical sciences and, second, independent of any concern with empirical science.

First, I discuss the older “theory-centered” and the more recent semantic conception of scientific theories. I argue that these two perspectives are nothing more than terminological variants of one another. I then offer a new theory-centered view of scientific theories. I argue that this new view captures the insights had by each of these earlier views, that it’s closer to how scientists think about their own theories, and that it better accommodates the phenomenon of inconsistent scientific theories.

Thirty years after the conference that gave rise to The Structure of Scientific Theories, there is renewed interest in the nature of theories and models. However, certain crucial issues from thirty years ago are reprised in current discussions; specifically: whether the diversity of models in the science can be captured by some unitary account; and whether the temporal dimension of scientific practice can be represented by such an account. After reviewing recent developments we suggest that these issues can be accommodated (...) within the partial structures formulation of the semantic or model-theoretic approach. (shrink)

Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

Debates about the ontological implications of the general theory of relativity have long oscillated between spacetime substantivalism and relationism. I evaluate such debates by claiming that we need a third option, which I refer to as “structural spacetime realism.” Such a tertium quid sides with the relationists in defending the relational nature of the spacetime structure, but joins the substantivalists in arguing that spacetime exists, at least in part, independently of particular physical objects and events, the degree of “independence” being (...) given by the extent to which geometrical laws exist “over and above” physical events exemplifying them. By showing that structural spacetime realism is the natural outcome of a semantic, model-theoretic approach to the nature of scientific theories, I conclude by arguing that the notion of partial isomorphic representation is the most plausible candidate to connect spacetime models with reality. (shrink)

In this article I give an overview of some recent work in philosophy of science dedicated to analysing the scientific process in terms of (conceptual) mathematical models of theories and the various semantic relations between such models, scientific theories, and aspects of reality. In current philosophy of science, the most interesting questions centre around the ways in which writers distinguish between theories and the mathematical structures that interpret them and in which they are true, i.e. between scientific theories as linguistic (...) systems and their non-linguistic models. In philosophy of science literature there are two main approaches to the structure of scientific theories, the statement or syntactic approach -- advocated by Carnap, Hempel and Nagel -- and the non- statement or semantic approach --advocated, among others, by Suppes, the structuralists, Beth, Van Fraassen, Giere, Wojcicki. In conclusion, I briefly review some of the usual realist inspired questions about the possibility and character of relations between scientific theories and reality as implied by the various approaches I discuss in the course of the article. The models of a scientific theory should indeed be adequate to the phenomena, but if the theory is 'adequate' to (true in) its conceptual (mathematical) models as well, we have a model-theoretic realism that addresses the possible meaning and reference of 'theoretical entities' without relapsing into the metaphysics typical of the usual scientific realist approaches. (shrink)

Carnap’s work was instrumental to the liberalization of empiricism in the 1930s that transformed the logical positivism of the Vienna Circle to what came to be known as logical empiricism. A central feature of this liberalization was the deployment of the Principle of Tolerance, originally introduced in logic, but now invoked in an epistemological context in “Testability and Meaning”. Immediately afterwards, starting with Foundations of Logic and Mathematics, Carnap embraced semantics and turned to interpretation to guide the choice of a (...) theoretical language for science. The first thesis of this paper is that recourse to an intended interpretation led to a partial retrenchment of the conventionalism implied by the Principle of Tolerance. It required that the choice of a language be based on abstraction from a context; this procedure later became a component of the process of explication that was distinctive to Carnap’s mature views. The interpretive origin of formal systems also ensured their likely syntactic consistency, an issue on which Carnap was strongly criticized by figures such as Beth and Gödel. The second thesis of this paper is that this reliance on an intended interpretation enabled constructed formal systems to be relevant to the development of empirical science. (shrink)

El año 1962 vio la introducción, por parte de Kuhn y Feyerabend, de la tesis de la inconmensurabilidad de las teorías científicas . Desde entonces, la tesis ha sido debatida ampliamente y ha atraído muchos críticos. Su influencia aún es considerable, particularmente en las áreas de la historia y la filosofía de la ciencia interesadas en el cambio y la elección de teorías. Esta influencia se debe, en gran medida, a la inmensa popularidad de la obra maestra de Kuhn, La (...) Estructura de las revoluciones científicas, la cual asegura que la idea de la inconmensurabilidad continúe alcanzando un público amplio. Sin embargo, no es tan ampliamente apreciado que la versión de Kuhn de la inconmensurabilidad ha ido sufriendo, con el tiempo, un proceso continuo de revisión y clarificación. Como resultado de esto, la versión de la tesis por la que Kuhn es mejor conocido difiere notablemente de la versión que él asume en el presente. En este artículo presento un estudio del proceso de cambio, caracterizando las etapas principales por las que transcurre el concepto kuhniano de inconmensurabilidad. (shrink)

This article distinguishes between Machian empiricism and the logical positivism of the Vienna Circle and associated philosophers. Mach's natural philosophy was a first order attempt to reform and reorganize physics, not a second order reconstruction of the "language" of physics. Mach's elements were not sense data but realistic events in the natural world and in minds, and Mach admitted unobserved elements as part of his world view. Mach's critique of metaphysics was far more subtle and concerned the elimination of sensory (...) visual imagery from natural science, leaving only concrete elements and functions, very much an inspiration to the young Einstein and Heisenberg and a useful engine of theory construction in physics. (shrink)

Halvorson argues that the semantic view of theories leads to absurdities. Glymour shows how to inoculate the semantic view against Halvorson's criticisms, namely by making it into a syntactic view of theories. I argue that this modified semantic-syntactic view cannot do the philosophical work that the original "language-free" semantic view was supposed to do.

Marian Przełęcki’s semantics for the Received View is a good explication of Carnap’s position on the subject, anticipates many discussions and results from both proponents and opponents of the Received View, and can be the basis for a thriving research program.

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 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)

Abstract In this essay, I will argue that images can play a substantial role in argumentation: exploiting information from the context, they can contribute directly and substantially to the communication of the propositions that play the roles of premises and conclusion. Furthermore, they can achieve this directly, i.e. without the need of verbalization. I will ground this claim by presenting and analyzing some arguments where images are essential to the argumentation process. Content Type Journal Article Pages 1-14 DOI 10.1007/s10503-011-9259-y Authors (...) Axel Arturo Barceló Aspeitia, Instituto de Investigaciones Filosóficas, Universidad Nacional Autónoma de México, Cto. Mario de la Cueva s/n, Cd. Universitaria, Coyoacán, 04500 DF, Mexico Journal Argumentation Online ISSN 1572-8374 Print ISSN 0920-427X. (shrink)

Recent philosophy of science has witnessed a shift in focus, in that significantly more consideration is given to how scientists employ models. Attending to the role of models in scientific practice leads to new questions about the representational roles of models, the purpose of idealizations, why multiple models are used for the same phenomenon, and many more besides. In this paper, I suggest that these themes resonate with central topics in feminist epistemology, in particular prominent versions of feminist empiricism, and (...) that model-based science and feminist epistemology each has crucial resources to offer the other's project. (shrink)

According to the semantic view of scientific theories, theories are classes of models. I show that this view -- if taken seriously as a formal explication -- leads to absurdities. In particular, this view equates theories that are truly distinct, and it distinguishes theories that are truly equivalent. Furthermore, the semantic view lacks the resources to explicate interesting theoretical relations, such as embeddability of one theory into another. The untenability of the semantic view -- as currently formulated -- threatens to (...) undermine scientific structuralism. (shrink)

Everything you always wanted to know about structural realism but were afraid to ask Content Type Journal Article Pages 227-276 DOI 10.1007/s13194-011-0025-7 Authors Roman Frigg, Department of Philosophy, Logic and Scientific Method, London School of Economics and Political Science, Houghton Street, London, WC2A 2AE UK Ioannis Votsis, Philosophisches Institut, Heinrich-Heine-Universität Düsseldorf, Universitätsstraße 1, Geb. 23.21/04.86, 40225 Düsseldorf, Germany Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 2.

Debates about evolution and creation inevitably raise philosophical issues about the nature of scientific knowledge. What is a theory? What is an explanation? How is science different from non- science? How should theories be evaluated? Does science achieve truth? The aim of this chapter is to give a concise and accessible introduction to the philosophy of science, focusing on questions relevant to understanding evolution by natural selection, creation, and intelligent design. For the questions just listed, I state what I think (...) is the best available answer and show how it applies to debates about evolution and creationism. I also indicate alternative answers that are preferred by other philosophers. I hope that the result will be useful for science educators and anyone else involved in controversies about evolution and creation. (shrink)

Science is always presupposing some basic concepts that are held to be useful. These absolute presuppositions (Collingwood) are rarely debated and form the framework for what has been termed paradigm by Kuhn. Our currently accepted scientific model is predicated on a set of presuppositions that have difficulty accommodating holistic structures and relationships and are not geared towards incorporating non-local correlations. Since the theoretical models we hold also determine what we perceive and take as scientifically viable, it is important to look (...) for an alternative model that can deal with holistic relationships. One approach is to generalise algebraic quantum theory, which is an inherently holistic framework, into a generic model. Relaxing some restrictions and definitions from quantum theory proper yields an axiomatic framework that can be applied to any type of system. Most importantly, it keeps the core of the quantum theoretical formalism. It is capable of handling complementary observables, i.e. descriptors which are non-commuting, incompatible and yet collectively required to fully describe certain situations. It also predicts a generalised form of non-local correlations that in quantum theory are known as entanglement. This generalised version is not quantum entanglement but an analogue form of holistic, non-local connectedness of elements within systems, predicted to occur whenever elements within systems are described by observables which are complementary to the description of the whole system. While a considerable body of circumstantial evidence supports the plausibility of the model, we are not yet in a position to use it for clear cut predictions that could be experimentally falsified. The series of papers offered in this special issue are the beginning of what we hope will become a rich scientific debate. (shrink)

I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (shrink)

Pluralism is a sound strategy in classifying disciplines of biology. The relevance of a particular classification depends on various methodological issues, on the way in which the scientist's problems are specified, and on factual matters.

The type-level abstraction is a formal way to represent molecular structures in biological practice. Graphical representations of molecular structures of biological objects are also used to identify functional processes of things. This paper will reveal that category theory is a formal mathematical language not only to visualize molecular structures of biological objects as type-level abstraction formally but also to understand how to infer biological functions from the molecular structures of biological objects. Category theory is a toolkit to understand biological knowledge (...) at the type-level formally, not individual token-level, as well as typical heuristic strategies in molecular biology. (shrink)

This paper provides an account of mid-level models, which calibrate highly theoretical agent-based models of scientific communities by incorporating empirical information from real-world systems. As a result, these models more closely correspond with real-world communities, and are better suited for informing policy decisions than extant how-possibly models. I provide an exemplar of a mid-level model of science funding allocation that incorporates bibliometric data from scientific publications and data generated from empirical studies of peer review into an epistemic landscape model. The (...) results of my model show that on a dynamic epistemic landscape, allocating funding by modified and pure lottery strategies performs comparably to a perfect selection funding allocation strategy. These results support the idea that introducing randomness into a funding allocation process may be a tractable policy worth exploring further through pilot studies. My exemplar shows that agent-based models need not be restricted to the abstract and the a-priori; they can also be informed by real empirical data. (shrink)

Two views of scientific theories dominated the philosophy of science during the twentieth century, the syntactic view of the logical empiricists and the semantic view of their successors. I show that neither view is adequate to provide a proper understanding of the connections that exist between theories at different times. I outline a new approach, a hybrid of the two, that provides the right structural connection between earlier and later theories, and that takes due account of the importance of the (...) mathematical models of a theory and of the various distinct formulations that pick out these models. (shrink)

Two complementary debates of the turn of the nineteenth and twentieth century are examined here: the debate on the legitimacy of hypotheses in the natural sciences and the debate on intentionality and ‘representations without object’ in philosophy. Both are shown to rest on two core issues: the attitude of the subject and the mode of presentation chosen to display a domain of phenomena. An orientation other than the one which contributed to shape twentieth-century philosophy of science is explored through the (...) analysis of the role given to assumptions in Boltzmann’s research strategy, where assumptions are contrasted to hypotheses, axioms, and principles, and in Meinong’s criticism of the privileged status attributed to representations in mental activities. Boltzmann’s computational style in mathematics and Meinong’s criticism of the confusion between representation and judgment give prominence to an indirect mode of presentation, adopted in a state of suspended belief which is characteristic of assumptions and which enables one to grasp objects that cannot be reached through direct representation or even analogies. The discussion shows how assumptions and the movement to fiction can be essential steps in the quest for objectivity. The conclusion restates the issues of the two debates in a contemporary perspective and shows how recent developments in philosophy of science and philosophy of language and mind can be brought together by arguing for a twofold conception of reference.Keywords: Assumption; Hypothesis; Description; Mode of presentation; Ludwig Boltzmann; Alexius Meinong. (shrink)

This paper examines the form of mental representation of scientific theories in scientists and nonscientists. It concludes that images and schemas are not the appropriate form of mental representation for scientific theories but that mental models and perceptual symbols do seem appropriate for representing physical/mechanical phenomena. These forms of mental representation are postulated to have an analogical relation with the world and it is this relationship that gives them strong explanatory power. It is argued that the construct of naïve theories (...) as used in developmental psychology may be the appropriate form of mental representation for non physical/mechanical domains. The paper adopts a strong form of psychologism in the philosophy of science and argues that model-based approaches to scientific theories are more appropriate forms of representation for scientific theories than the formalist approaches that dominate current philosophy of science. (shrink)

Theoretical works in economics usually have a core consisting of proofs that a “model-economy” has certain properties. The economist constructs a model that can be looked on as a description of an economy, and then proves that certain relations hold in this economy and/or that certain relations in this economy depend on certain specific characteristics. The model-economy is usually described as simplified or idealized.

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

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not (...) pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (shrink)