The niche has been central to ecology for most of the discipline’s history, yet there have been few attempts by philosophers to work out the ontology of the niche. A challenge is that there is a plurality of seemingly inconsistent definitions of the niche in ecology. This paper characterizes the population-level ecological niche by distinguishing among niche concepts, niche models, and the niche as a phenomenon. I argue that 'niche concepts' should be interpreted as theoretical frameworks or modelling strategies. I (...) also argue that there is a unified niche phenomenon underlying the seemingly heterogeneous models and definitions. The plurality of niche concepts in ecology should be seen as an expected consequence of the nature of modelling complex systems. (shrink)

This paper presents the results of two corpus studies investigating the discourse surrounding conspiracy theories and genuine theories. The results of these studies show that conspiracy theories lack the epistemic and scientific standing characteristic of theories more generally. Instead, our findings indicate that conspiracy theories are spread in a manner that resembles the dissemination of rumors and falsehoods. Based on these empirical results, we argue that it is time for both re-engineering conspiracy theory and for relabeling "conspiracy theory". We propose (...) relabelling conspiracy theories as either "conspiracy stories" or "conspiracy narratives" to more accurately convey their true nature. (shrink)

This is a paper about the methodology of normative ethics. I claim that much work in normative ethics can be interpreted as modelling, the form of inquiry familiar from science, involving idealised representations. I begin with the anti-theory debate in ethics, and note that the debate utilises the vocabulary of scientific theories without recognising the role models play in science. I characterise modelling, and show that work with these characteristics is common in ethics. This establishes the plausibility of my interpretation. (...) Taking methodological inspiration from modelling in science gives us new tools for managing idealisations, and a new perspective on pluralism. I demonstrate why this interpretation is a fruitful way of interpreting ethics, by looking at three case studies. First, I return to the anti-theory debate and argue that modelling opens up a new middle ground. Second, I argue that a modelling lens offers a new way of understanding impossibility theorems in population ethics, and their bearing on ethics as a whole. Finally, I show how viewing our work as modelling can be deployed in debates within ethics, using the debate over prioritarianism as an example. I close with further methodological suggestions for those who choose to see themselves as modellers. I discuss the role of counterexamples, our responses to moral disagreement, and the training of new ethicists. (shrink)

This essay presents a fully inferentialist-expressivist account of scientific representation. In general, inferentialist approaches to scientific representation argue that the capacity of a model to represent a target system depends on inferences from models to target systems. Inferentialism is attractive because it makes the epistemic function of models central to their representational capacity. Prior inferentialist approaches to scientific representation, however, have depended on some representational element, such as denotation or representational force. Brandom’s Making It Explicit provides a model of how (...) to fully discharge such representational vocabulary, but it cannot be applied directly to scientific representations. Pursuing a strategy parallel to Brandom’s, this essay begins with an account of how surrogative inference is justified. Scientific representation and the denotation of model elements are then explained in terms of surrogative inference by treating scientific representation and denotation as expressive, analogous to Brandom’s account of truth. The result is a thoroughgoing inferentialism: M is a scientific representation of T if and only if M has scientifically justified surrogative consequences that are answers to questions about T. (shrink)

Functional reductionism characterises inter-theoretic reduction as the recovery of the upper-level behaviour described by the reduced theory in terms of the lower-level reducing theory. For instance, finding a statistical mechanical realiser that plays the functional role of thermodynamic entropy allows for establishing a reductive link between thermodynamics and statistical mechanics. This view constitutes a unique approach to reduction that enjoys a number of positive features, but has received limited attention in the philosophy of science. -/- This paper aims to clarify (...) the meaning of functional reductionism in science, with a focus on physics, to define both its place with respect to other approaches to reduction and its connection to ontology. To do so, we develop and explore two alternative frameworks for functional reduction, called Syntactic Functional Reductionism and Semantic Functional Reductionism. They represent two different possible stances on the view that expand and improve the basic functional reductionist approach along different lines, and make clear how the approach works in practice. The former elaborates on David Lewis’ account, is connected with the syntactic view of theories, is committed to a logical characterisation of functional roles, and is embedded within Nagelian reductionism. The latter adopts a semantic view of theories, spells out functional roles mainly in terms of mathematical roles within the models of theories, and is expressed in terms of the related structuralist approach to reduction. The development of these frameworks has the final goal of advancing functional reductionism, to make it a fully-fledged alternative account for reduction in science. (shrink)

This paper argues for theoretical modeling and model-construction as central (but not necessarily the only) types of activities that philosophers of social ontology (in the analytic tradition) engage in. This claim is defended through a detailed case study and revisionary interpretation of Raimo Tuomela’s account of the we-perspective. My interpretation is grounded in Ronald Giere’s account of scientific models, and argued to be compatible with, but less demanding than Tuomela’s own description of his account as a philosophical theory of the (...) social world. My approach is also suggested to be applicable to many (but not necessarily all) other methodologically naturalist accounts of collective intentionality and social ontology. (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)

Two metascientific concepts that have been ― and still are ― object of philosophical analysis are the concepts of model and theory. But while the concept of scientific theory was one of the concepts to which philosophers of science devoted most attention during the 20th century, it is only in recent decades that the concept of scientific model has come to occupy a central position in philosophical reflection. However, it has done so in such a way that, at present, as (...) Jim Bogen states in the back cover of the book Scientific Models in the Philosophy of Science, by Daniela Bailer-Jones, “[t]he standard philosophical literature on the role of models in scientific reasoning is voluminous, disorganized, and confusing”. In spite of this, one of the axes that would allow us to organize at least part of this literature, and with which Bailer-Jones’ book closes, is that which is identified as one of the “contemporary philosophical issues: how theories and models relate to each other” (Bailer-Jones 2009, p. 208).That is why, in this introduction to the special issues of Metatheoria devoted to the topic of “Models and Theories in Biology”, we will present the main advances that have been made in the philosophical analysis of the concepts of model and theory in general and in biology in particular, and we will also do the same with the answers that have been given to the problem of "how theories and models relate to each other”. (shrink)

Semantic realism can be characterised as the idea that scientific theories are truth-bearers, and that they are true or false in virtue of the world. This notion is often assumed, but rarely discussed in the literature. I examine how it fares in the context of the semantic view of theories and in connection with the literature on scientific representation. Making sense of semantic realism requires specifying the conditions of application of theoretical models, even for models that are not actually used, (...) which leads to several difficulties. My conclusion is that semantic realism is far more demanding than one would expect. Finally, I briefly examine some pragmatist alternatives. (shrink)

There has been a growing trend to include non-causal models in accounts of scientific explanation. A worry addressed in this paper is that without a higher threshold for explanation there are no tools for distinguishing between models that provide genuine explanations and those that provide merely potential explanations. To remedy this, a condition is introduced that extends a veridicality requirement to models that are empirically underdetermined, highly-idealised, or otherwise non-causal. This condition is applied to models of electroweak symmetry breaking beyond (...) the Standard Model. (shrink)

'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. (...) Moreover, it provides possible gateways from modern deadlocks of theory either through approaches to consciousness or through historical critique of intellectual authorities. This work will be of interest to those either researching or studying in colleges and universities, especially in the departments of philosophy, history of science, philosophy of science, philosophy of physics and quantum mechanics, history of ideas and culture. Greek and Latin Literature students and instructors may also find this book to be both a fascinating and valuable point of reference. (shrink)

The concept of linguistic infinity has had a central role to play in foundational debates within theoretical linguistics since its more formal inception in the mid-twentieth century. The conceptualist tradition, marshalled in by Chomsky and others, holds that infinity is a core explanandum and a link to the formal sciences. Realism/Platonism takes this further to argue that linguistics is in fact a formal science with an abstract ontology. In this paper, I argue that a central misconstrual of formal apparatus of (...) recursive operations such as the set-theoretic operation merge has led to a mathematisation of the object of inquiry, producing a strong analogy with discrete mathematics and especially arithmetic. The main product of this error has been the assumption that natural, like some formal, languages are discretely infinite. I will offer an alternative means of capturing the insights and observations related to this posit in terms of scientific modelling. My chief aim will be to draw from the larger philosophy of science literature in order to offer a position of grammars as models compatible with various foundational interpretations of linguistics while being informed by contemporary ideas on scientific modelling for the natural and social sciences. (shrink)

Since the early 20th century underdetermination has been one of the most contentious problems in the philosophy of science. In this article I relate the underdetermination problem to models in biology and defend two main lines of argument: First, the use of models in this discipline lends strong support to the underdetermination thesis. Second, models and theories in biology are not determined strictly by the logic of representation of the studied phenomena, but also by other constraints such as research traditions, (...) backgrounds of the scientists, aims of the research and available technology. Convincing evidence for the existence of underdetermination in biology, where models abound, comes both from the fact that for a natural phenomenon we can create a number of candidate models but also from the fact that we do not have a universal rule that would adjudicate among them. This all makes a strong case for the general validity of underdetermination thesis. (shrink)

This book analyses the impact computerization has had on contemporary science and explains the origins, technical nature and epistemological consequences of the current decisive interplay between technology and science: an intertwining of formalism, computation, data acquisition, data and visualization and how these factors have led to the spread of simulation models since the 1950s. -/- Using historical, comparative and interpretative case studies from a range of disciplines, with a particular emphasis on the case of plant studies, the author shows how (...) and why computers, data treatment devices and programming languages have occasioned a gradual but irresistible and massive shift from mathematical models to computer simulations. -/- . (shrink)

In the early 1970s it is was realized that there is a striking formal analogy between the Laws of black-hole mechanics and the Laws of classical thermodynamics. Before the discovery of Hawking radiation, however, it was generally thought that the analogy was only formal, and did not reflect a deep connection between gravitational and thermodynamical phenomena. It is still commonly held that the surface gravity of a stationary black hole can be construed as a true physical temperature and its area (...) as a true entropy only when quantum effects are taken into account; in the context of classical general relativity alone, one cannot cogently construe them so. Does the use of quantum field theory in curved spacetime offer the only hope for taking the analogy seriously? I think the answer is 'no'. To attempt to justify that answer, I shall begin by arguing that the standard argument to the contrary is not physically well founded, and in any event begs the question. Looking at the various ways that the ideas of "temperature" and "entropy" enter classical thermodynamics then will suggest arguments that, I claim, show the analogy between classical black-hole mechanics and classical thermodynamics should be taken more seriously, without the need to rely on or invoke quantum mechanics. In particular, I construct an analogue of a Carnot cycle in which a black hole "couples" with an ordinary thermodynamical system in such a way that its surface gravity plays the role of temperature and its area that of entropy. Thus, the connection between classical general relativity and classical thermodynamics on their own is already deep and physically significant, independent of quantum mechanics. (shrink)

Influential classical and recent approaches to explicate confirmation, explanation, or explanatory power define these relations or degrees between hypotheses and evidence. This holds for both deductive and Bayesian approaches. However, this neglects the role of data, which for many everyday and scientific examples cannot simply be classified as evidence. I present arguments to sharply distinguish data from evidence in Bayesian approaches. Taking into account this distinction, we can rewrite Schupbach and Sprenger’s measure of explanatory power and show the strengths of (...) this adaptation by applying it to the example of the detection of gravitational waves in physics. (shrink)

In recent years, increasing attention has been devoted to the underrepresentation, exclusion or outright discrimination experienced by women and members of other visible minority groups in academic philosophy. Much of this debate has focused on the state of contemporary Anglophone philosophy, which is dominated by the tradition of analytic philosophy. Moreover, there is growing interest in academia and society more generally for issues revolving around linguistic justice and linguistic discrimination (sometimes called ‘linguicism’ or ‘languagism’) (see e.g. Van Parijs 2011). Globalization (...) and the increasing adoption of English as global linguistic vehicle or lingua franca push these issues at the forefront of much of the world’s attention. The convergence of these two trends suggests the appropriateness of an analysis of the condition of non-native speakers of English in analytic philosophy. (shrink)

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches of (...) this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done. (shrink)

Analytical categories of scientific cultures have typically been used both exclusively and universally. For instance, when styles of scientific research are employed in attempts to understand and narrate science, styles alone are usually employed. This article is a thought experiment in interweaving categories. What would happen if rather than employ a single category, we instead investigated several categories simultaneously? What would we learn about the practices and theories, the agents and materials, and the political-technological impact of science if we analyzed (...) and applied styles, paradigms, and models simultaneously? I address these questions in general and for a specific case study: a brief history of systematics. (shrink)

Scientific discourse is rife with passages that appear to be ordinary descriptions of systems of interest in a particular discipline. Equally, the pages of textbooks and journals are filled with discussions of the properties and the behavior of those systems. Students of mechanics investigate at length the dynamical properties of a system consisting of two or three spinning spheres with homogenous mass distributions gravitationally interacting only with each other. Population biologists study the evolution of one species procreating at a constant (...) rate in an isolated ecosystem. And when studying the exchange of goods, economists consider a situation in which there are only two goods, two perfectly rational agents, no restrictions on available information, no transaction costs, no money, and dealings are done immediately. Their surface structure notwithstanding, no competent scientist would mistake descriptions of such systems as descriptions of an actual system: we know very well that there are no such systems. These descriptions are descriptions of a model-system, and scientists use model-systems to represent parts or aspects of the world they are interested in. Following common practice, I refer to those parts or aspects as target-systems. What are we to make of this? Is discourse about such models merely a picturesque and ultimately dispensable façon de parler? This was the view of some early twentieth century philosophers. Duhem (1906) famously guarded against confusing model building with scientific theorizing and argued that model building has no real place in science, beyond a minor heuristic role. The aim of science was, instead, to construct theories, with theories understood as classificatory or representative structures systematically presented and formulated in precise symbolic.. (shrink)

Climatology is a paradigmatic complex systems science. Understanding the global climate involves tackling problems in physics, chemistry, economics, and many other disciplines. I argue that complex systems like the global climate are characterized by certain dynamical features that explain how those systems change over time. A complex system's dynamics are shaped by the interaction of many different components operating at many different temporal and spatial scales. Examining the multidisciplinary and holistic methods of climatology can help us better understand the nature (...) of complex systems in general. -/- Questions surrounding climate science can be divided into three rough categories: foundational, methodological, and evaluative questions. "How do we know that we can trust science?" is a paradigmatic foundational question (and a surprisingly difficult one to answer). Because the global climate is so complex, questions like "what makes a system complex?" also fall into this category. There are a number of existing definitions of `complexity,' and while all of them capture some aspects of what makes intuitively complex systems distinctive, none is entirely satisfactory. Most existing accounts of complexity have been developed to work with information-theoretic objects (signals, for instance) rather than the physical and social systems studied by scientists. -/- Dynamical complexity, a concept articulated in detail in the first third of the dissertation, is designed to bridge the gap between the mathematics of contemporary complexity theory (in particular the formalism of "effective complexity" developed by Gell-Mann and Lloyd [2003]) and a more general account of the structure of science generally. Dynamical complexity provides a physical interpretation of the formal tools of mathematical complexity theory, and thus can be used as a framework for thinking about general problems in the philosophy of science, including theories, explanation, and lawhood. -/- Methodological questions include questions about how climate science constructs its models, on what basis we trust those models, and how we might improve those models. In order to answer questions about climate modeling, it's important to understand what climate models look like and how they are constructed. Climate model families are significantly more diverse than are the model families of most other sciences (even sciences that study other complex systems). Existing climate models range from basic models that can be solved on paper to staggeringly complicated models that can only be analyzed using the most advanced supercomputers in the world. I introduce some of the central concepts in climatology by demonstrating how one of the most basic climate models might be constructed. I begin with the assumption that the Earth is a simple featureless blackbody which receives energy from the sun and releases it into space, and show how to model that assumption formally. I then gradually add other factors (e.g. albedo and the greenhouse effect) to the model, and show how each addition brings the model's prediction closer to agreement with observation. After constructing this basic model, I describe the so-called "complexity hierarchy" of the rest of climate models, and argue that the sense of "complexity" used in the climate modeling community is related to dynamical complexity. -/- With a clear understanding of the basics of climate modeling in hand, I then argue that foundational issues discussed early in the dissertation suggest that computation plays an irrevocably central role in climate modeling. "Science by simulation" is essential given the complexity of the global climate, but features of the climate system--the presence of non-linearities, feedback loops, and chaotic dynamics--put principled limits on the effectiveness of computational models. This tension is at the root of the staggering pluralism of the climate model hierarchy, and suggests that such pluralism is here to stay, rather than an artifact of our ignorance. Rather than attempting to converge on a single "best fit" climate model, we ought to embrace the diversity of climate models, and view each as a specialized tool designed to predict and explain a rather narrow range of phenomena. Understanding the climate system as a whole requires examining a number of different models, and correlating their outputs. This is the most significant methodological challenge of climatology. -/- Climatology's role contemporary political discourse raises an unusually high number of evaluative questions for a physical science. The two leading approaches to crafting policy surrounding climate change center on mitigation (i.e. stopping the changes from occurring) and adaptation (making post hoc changes to ameliorate the harm caused by those changes). Crafting an effective socio-political response to the threat of anthropogenic climate change, however, requires us to integrate multiple perspectives and values: the proper response will be just as diverse and pluralistic as the climate models themselves, and will incorporate aspects of both approaches. I conclude by offering some concrete recommendations about how to integrate this value pluralism into our socio-political decision making framework. (shrink)

Most scientific models are not physical objects, and this raises important questions. What sort of entity are models, what is truth in a model, and how do we learn about models? In this paper I argue that models share important aspects in common with literary fiction, and that therefore theories of fiction can be brought to bear on these questions. In particular, I argue that the pretence theory as developed by Walton (1990, Mimesis as make-believe: on the foundations of the (...) representational arts. Harvard University Press, Cambridge/MA) has the resources to answer these questions. I introduce this account, outline the answers that it offers, and develop a general picture of scientific modelling based on it. (shrink)

Science continually contributes new models and rethinks old ones. The way inferences are made is constantly being re-evaluated. The practice and achievements of science are both shaped by this process, so it is important to understand how models and inferences are made. But, despite the relevance of models and inference in scientific practice, these concepts still remain contro-versial in many respects. The attempt to understand the ways models and infer-ences are made basically opens two roads. The first one is to (...) produce an analy-sis of the role that models and inferences play in science. The second one is to produce an analysis of the way models and inferences are constructed, especial-ly in the light of what science tells us about our cognitive abilities. The papers collected in this volume go both ways. (shrink)

Many standard philosophical accounts of scientific practice fail to distinguish between modeling and other types of theory construction. This failure is unfortunate because there are important contrasts among the goals, procedures, and representations employed by modelers and other kinds of theorists. We can see some of these differences intuitively when we reflect on the methods of theorists such as Vito Volterra and Linus Pauling on the one hand, and Charles Darwin and Dimitri Mendeleev on the other. Much of Volterra's and (...) Pauling's work involved modeling; much of Darwin's and Mendeleev's did not. In order to capture this distinction, I consider two examples of theory construction in detail: Volterra's treatment of post-WWI fishery dynamics and Mendeleev's construction of the periodic system. I argue that modeling can be distinguished from other forms of theorizing by the procedures modelers use to represent and to study real-world phenomena: indirect representation and analysis. This differentiation between modelers and non-modelers is one component of the larger project of understanding the practice of modeling, its distinctive features, and the strategies of abstraction and idealization it employs. (shrink)

Michael Weisberg’s account of scientific models concentrates on the ways in which models are similar to their targets. He intends not merely to explain what similarity consists in, but also to capture similarity judgments made by scientists. In order to scrutinize whether his account fulfills this goal, I outline one common way in which scientists judge whether a model is similar enough to its target, namely maximum likelihood estimation method. Then I consider whether Weisberg’s account could capture the judgments involved (...) in this practice. I argue that his account fails for three reasons. First, his account is simply too abstract to capture what is going on in MLE. Second, it implies an atomistic conception of similarity, while MLE operates in a holistic manner. Third, Weisberg’s atomistic conception of similarity can be traced back to a problematic set-theoretic approach to the structure of models. Finally, I tentatively suggest how these problems might be solved by a holistic approach in which models and targets are compared in a non-set-theoretic fashion. (shrink)

This book defends a two-tiered account of epistemic representation--the sort of representation relation that holds between representations such as maps and scientific models and their targets. It defends a interpretational account of epistemic representation and a structural similarity account of overall faithful epistemic representation.

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (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)

The philosophy of science of Patrick Suppes is centered on two important notions that are part of the title of his recent book (Suppes 2002): Representation and Invariance. Representation is important because when we embrace a theory we implicitly choose a way to represent the phenomenon we are studying. Invariance is important because, since invariants are the only things that are constant in a theory, in a way they give the “objective” meaning of that theory. Every scientific theory gives a (...) representation of a class of structures and studies the invariant properties holding in that class of structures. In Suppes’ view, the best way to define this class of structures is via axiomatization. This is because a class of structures is given by a definition, and this same definition establishes which are the properties that a single structure must possess in order to belong to the class. These properties correspond to the axioms of a logical theory. In Suppes’ view, the best way to characterize a scientific structure is by giving a representation theorem for its models and singling out the invariants in the structure. Thus, we can say that the philosophy of science of Patrick Suppes consists in the application of the axiomatic method to scientific disciplines. What I want to argue in this paper is that this application of the axiomatic method is also at the basis of a new approach that is being increasingly applied to the study of computer science and information systems, namely the approach of formal ontologies. The main task of an ontology is that of making explicit the conceptual structure underlying a certain domain. By “making explicit the conceptual structure” we mean singling out the most basic entities populating the domain and writing axioms expressing the main properties of these primitives and the relations holding among them. So, in both cases, the axiomatization is the main tool used to characterize the object of inquiry, being this object scientific theories (in Suppes’ approach), or information systems (for formal ontologies). In the following section I will present the view of Patrick Suppes on the philosophy of science and the axiomatic method, in section 3 I will survey the theoretical issues underlying the work that is being done in formal ontologies and in section 4 I will draw a comparison of these two approaches and explore similarities and differences between them. (shrink)

I develop an account of scientific representations building on Charles S. Peirce's rich, and still underexplored, notion of iconicity. Iconic representations occupy a central place in Peirce's philosophy, in his innovative approach to logic and in his practice as a scientist. Starting from a discussion of Peirce's approach to diagrams, I claim that Peirce's own representations are in line with his formulation of iconicity, and that they are more broadly connected to the pragmatist philosophy he developed in parallel with his (...) scientific work. I then defend the contemporary relevance of Peirce's approach to iconic representations, and specifically argue that Peirce offers a useful ‘third way’ between what Mauricio Suárez has recently described as the ‘analytical’ and ‘practical’ inquiries into the concept of representation. As a philosophically minded scientist and an experimentally inclined philosopher, Peirce never divorced the practice of representing from questions about what counts as a representation... (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)

A dialectical contradiction can be appropriately described within the framework of classical formal logic. It is in harmony with the law of noncontradiction. According to our definition, two theories make up a dialectical contradiction if each of them is consistent and their union is inconsistent. It can happen that each of these two theories has an intended model. Plenty of examples are to be found in the history of science.

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)

The similarity view of scientific representation has recently been subjected to strong criticism. Much of this criticism has been directed against a ?naive? similarity account, which tries to explain representation solely in terms of similarity between scientific models and the world. This article examines the more sophisticated account offered by the similarity view's leading proponent, Ronald Giere. In contrast to the naive account, Giere's account appeals to the role played by the scientists using a scientific model. A similar move is (...) often made by defenders of resemblance theories of depiction, who invoke the role played by the artist, or by the viewers of a painting. In this article I look to debates over depiction to assess the difficulties facing those who wish to defend the similarity view of scientific representation. I then turn to examine Giere's account. Ultimately, I argue, this account is unsuccessful: while appealing to the role of scientists offers a promising way to defend the similarity view, Giere's own account does not capture what it is that scientists do when they use a model to represent the world. (shrink)

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to make the (...) theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. -/- The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments. (shrink)

The philosophy of information (PI) is a new area of research with its own field of investigation and methodology. This article, based on the Herbert A. Simon Lecture of Computing and Philosophy I gave at Carnegie Mellon University in 2001, analyses the eighteen principal open problems in PI. Section 1 introduces the analysis by outlining Herbert Simon's approach to PI. Section 2 discusses some methodological considerations about what counts as a good philosophical problem. The discussion centers on Hilbert's famous analysis (...) of the central problems in mathematics. The rest of the article is devoted to the eighteen problems. These are organized into five sections: problems in the analysis of the concept of information, in semantics, in the study of intelligence, in the relation between information and nature, and in the investigation of values. (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)

This paper argues that scientific studies distinguish themselves from other studies by a combination of their processes, their (knowledge) elements and the roles of these elements. This is supported by constructing a process model. An illustrative example based on Newtonian mechanics shows how scientific knowledge is structured according to the process model. To distinguish scientific studies from research and scientific research, two additional process models are built for such processes. We apply these process models: (1) to argue that scientific progress (...) should emphasize both the process of change and the content of change; (2) to chart the major stages of scientific study development; and (3) to define “science”. (shrink)

My two daughters would love to go tobogganing down the hill by themselves, but they are just toddlers and I am an apprehensive parent, so, before letting them do so, I want to ensure that the toboggan won’t go too fast. But how fast will it go? One way to try to answer this question would be to tackle the problem head on. Since my daughters and their toboggan are initially at rest, according to classical mechanics, their final velocity will (...) be determined by the forces they will be subjected to between the moment the toboggan will be released at the top of the hill and the moment it will reach its highest speed. The problem is that, throughout their downhill journey, my daughters and the toboggan will be subjected to an incredibly large number of forces—from the gravitational pull of any massive object in the universe to the weight of the snowflake that is sitting on the tip of one of my youngest daughter’s hairs—so that any attempt to apply the theory directly to the real-world system in all its complexity seems to be doomed to failure. (shrink)

Today most philosophers of science believe that models play a central role in science and that one of the main functions of scientific models is to represent systems in the world. Despite much talk of models and representation, however, it is not yet clear what representation in this context amounts to nor what conditions a certain model needs to meet in order to be a representation of a certain system. In this thesis, I address these two questions. First, I will (...) distinguish three senses in which something, a vehicle, can be said to be a representation of something else, a target—which I will call respectively denotation, epistemic representation, and faithful epistemic representation—and I will argue that the last two senses are the most important in this context. I will then outline a general account of what makes a vehicle an epistemic representation of a certain target for a certain user—which, according to the account I defend, is the fact that a user adopts what I call an interpretation of the vehicle in terms of the target—and of what makes an epistemic representation of a certain target a faithful epistemic representation of it—which, according to the account I defend, is a specific sort of structural similarity between the vehicle and the target. (shrink)

In this paper, I distinguish scientific models in three kinds on the basis of their ontological status—material models, mathematical models and fictional models, and develop and defend an account of fictional models as fictional objects—i.e. abstract objects that stand for possible concrete objects.

The semantic, or model-theoretic, approach to theories has recently come under criticism on two fronts: (i) it is claimed that it cannot account for the wide diversity of models employed in scientific practice—a claim which has led some to propose a “deflationary” account of models; (ii) it is further contended that the sense of “model” used by the approach differs from that given in model theory. Our aim in the present work is to articulate a possible response to these claims, (...) drawing on recent developments within the semantic approach itself. Thus, the first is answered by utilizing the notion of a “partial structure”, first introduced in this context by da Costa and French in 1990. The second claim is undermined by consideration of van Fraassen's understanding of “model” which corresponds well with that evinced by modem mathematicians. This latter discussion, in particular, has an impact on the continuing debate regarding the relative merits of the semantic and syntactic views and the developments presented here can be taken to provide further support to the former. (shrink)

Philosophers of science have recently focused on the scientific activity of modeling phenomena, and explicated several of its properties, as well as the activities embedded into it. A first approach to modeling has been elaborated in terms of representing a target system: yet other epistemic functions, such as producing data or detecting phenomena, are at least as relevant. Additional useful distinctions have emerged, such as the one between phenomenological and mechanistic models. In biological sciences, besides mathematical models, models now come (...) in three forms: in vivo, in vitro and in silico. Each has been investigated separately, and many specific problems they raised have been laid out. Another relevant distinction is disciplinary: do models differ in significant ways according to the discipline involved—medicine or biology, evolutionary biology or earth science? Focusing on either this threefold distinction or the disciplinary boundaries reveals that they might not be sufficient from a philosophical perspective. On the contrary, focusing on the interaction between these various kinds of models, some interesting forms of explanation come to the fore, as is exemplified by the papers included in this issue. On the other hand, a focus on the use of models, rather than on their content, shows that the distinction between biological and medical models is theoretically sound. (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)

Simulation techniques, especially those implemented on a computer, are frequently employed in natural as well as in social sciences with considerable success. There is mounting evidence that the "model-building era" (J. Niehans) that dominated the theoretical activities of the sciences for a long time is about to be succeeded or at least lastingly supplemented by the "simulation era". But what exactly are models? What is a simulation and what is the difference and the relation between a model and a simulation? (...) These are some of the questions addressed in this article. I maintain that the most significant feature of a simulation is that it allows scientists to imitate one process by another process. "Process" here refers solely to a temporal sequence of states of a system. Given the observation that processes are dealt with by all sorts of scientists, it is apparent that simulations prove to be a powerful interdisciplinarily acknowledged tool. Accordingly, simulations are best suited to investigate the various research strategies in different sciences more carefully. To this end, I focus on the function of simulations in the research process. Finally, a somewhat detailed case-study from nuclear physics is presented which, in my view, illustrates elements of a typical simulation in physics. (shrink)

It is now part and parcel of the official philosophical wisdom that models are essential to the acquisition and organisation of scientific knowledge. It is also generally accepted that most models represent their target systems in one way or another. But what does it mean for a model to represent its target system? I begin by introducing three conundrums that a theory of scientific representation has to come to terms with and then address the question of whether the semantic view (...) of theories, which is the currently most widely accepted account of theories and models, provides us with adequate answers to these questions. After having argued in some detail that it does not, I conclude by pointing out in what direction a tenable account of scientific representation might be sought. (shrink)

We develop an account of laboratory models, which have been central to the group selection controversy. We compare arguments for group selection in nature with Darwin's arguments for natural selection to argue that laboratory models provide important grounds for causal claims about selection. Biologists get information about causes and cause-effect relationships in the laboratory because of the special role their own causal agency plays there. They can also get information about patterns of effects and antecedent conditions in nature. But to (...) argue that some cause is actually responsible in nature, they require an inference from knowledge of causes in the laboratory context and of effects in the natural context. This process, cause detection, forms the core of an analogical argument for group selection. We discuss the differing roles of mathematical and laboratory models in constructing selective explanations at the group level and apply our discussion to the units of selection controversy to distinguish between the related problems of cause determination and evaluation of evidence. Because laboratory models are at the intersection of the two problems, their study is crucial for framing a coherent theory of explanation for evolutionary biology. (shrink)

Accounts of the relation between theories and models in biology concentrate on mathematical models. In this paper I consider the dual role of models as representations of natural systems and as a material basis for theorizing. In order to explicate the dual role, I develop the concept of a remnant model, a material entity made from parts of the natural system(s) under study. I present a case study of an important but neglected naturalist, Joseph Grinnell, to illustrate the extent to (...) which mundane practices in a museum setting constitute theorizing. I speculate that historical and sociological analyses of institutions can play a specific role in the philosophical analysis of model-building strategies. (shrink)