It is well known that Felix Klein took a decisive step in investigating the invariants of transformation groups. However, less attention has been given to Klein’s considerations on the epistemological implications of his work on geometry. This paper proposes an interpretation of Klein’s view as a form of mathematical structuralism, according to which the study of mathematical structures provides the basis for a better understanding of how mathematical research and practice develop.

This thesis inquires what it means to interpret non-relativistic quantum mechanics (QM), and the philosophical limits of this interpretation. In pursuit of a scientific-realist stance, a metametaphysical method is expanded and applied to evaluate rival interpretations of QM, based on the conceptual distinction between ontology and metaphysics, for objective theory choice in metaphysical discussions relating to QM. Three cases are examined, in which this metametaphysical method succeeds in indicating what are the wrong alternatives to interpret QM in metaphysical terms. The (...) first two cases failed in doing so due to different kinds of underdetermination. In the third case, unlike underdetermination, where there are many choices to be made, a “null-determination” is proposed where there may be no metaphysical choices in the available metaphysical literature. Considering what has been discussed, an agnostic philosophic position is adopted concerning the possibility of interpreting QM from a scientific-realistic point of view. (shrink)

Following the proposal of a new kind of selective structural realism that uses as a basis the distinction between framework and interaction theories, this work discusses relevant applications in fundamental physics. An ontology for the different entities and properties of well-known theories is thus consistently built. The case of classical field theories—including general relativity as a classical theory of gravitation—is examined in detail, as well as the implications of the classification scheme for issues of realism in quantum mechanics. These applications (...) also shed light on the different range of applicability of the ontic and epistemic versions of structural realism. (shrink)

This paper argues for a representational semantic conception of scientific theories, which respects the bare claim of any semantic view, namely that theories can be characterised as sets of models. RSC must be sharply distinguished from structural versions that assume a further identity of ‘models’ and ‘structures’, which we reject. The practice-turn in the recent philosophical literature suggests instead that modelling must be understood in a deflationary spirit, in terms of the diverse representational practices in the sciences. These insights are (...) applied to some mathematical models, thus showing that the mathematical sciences are not in principle counterexamples to RSC. (shrink)

There is nowadays consensus in the community of didactics of science regarding the need to include the philosophy of science in didactical research, science teacher education, curriculum design, and the practice of science education in all educational levels. Some authors have identified an ever-increasing use of the concept of ‘theoretical model’, stemming from the so-called semantic view of scientific theories. However, it can be recognised that, in didactics of science, there are over-simplified transpositions of the idea of model. In this (...) sense, contemporary philosophy of science is often blurred or distorted in the science education literature. In this paper, we address the discussion around some meta-theoretical concepts that are introduced into didactics of science due to their perceived educational value. We argue for the existence of a ‘semantic family’, and we characterise four different versions of semantic views existing within the family. In particular, we seek to contribute to establishing a model-based didactics of science mainly supported in this semantic family. (shrink)

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

Scientific models are important, if not the sole, units of science. This thesis addresses the following question: in virtue of what do scientific models represent their target systems? In Part i I motivate the question, and lay out some important desiderata that any successful answer must meet. This provides a novel conceptual framework in which to think about the question of scientific representation. I then argue against Callender and Cohen’s attempt to diffuse the question. In Part ii I investigate the (...) ideas that scientific models are ‘similar’, or structurally morphic, to their target systems. I argue that these approaches are misguided, and that at best these relationships concern the accuracy of a pre-existing representational relationship. I also pay particular attention to the sense in which target systems can be appropriately taken to exhibit a ‘structure’, and van Fraassen’s recent argument concerning the pragmatic equivalence between representing phenomena and data. My next target is the idea that models should not be seen as objects in their own right, but rather what look like descriptions of them are actually direct descriptions of target systems, albeit not ones that should be understood literally. I argue that these approaches fail to do justice to the practice of scientific modelling. Finally I turn to the idea that how models represent is grounded, in some sense, in their inferential capacity. I compare this approach to anti-representationalism in the philosophy of language and argue that analogous issues arise in the context of scientific representation. Part iii contains my positive proposal. I provide an account of scientific representation based on Goodman and Elgin’s notion of representation-as. The result is a highly conventional account which is the appropriate level of generality to capture all of its instances, whilst remaining informative about the notion. I illustrate it with reference to the Phillips-Newlyn machine, models of proteins, and the Lotka-Volterra model of predator-prey systems. These examples demonstrate how the account must be understood, and how it sheds light on our understanding of how models are used. I finally demonstrate how the account meets the desiderata laid out at the beginning of the thesis, and outline its implications for further questions from the philosophy of science; not limited to issues surrounding the applicability of mathematics, idealisation, and what it takes for a model to be ‘true’. (shrink)

This paper defends two related claims about belief. First, the claim that unlike numerical degrees of belief, comparative beliefs are primitive and psychologically real. Second, the claim that the fundamental norm of Probabilism is not that numerical degrees of belief should satisfy the probability axioms, but rather that comparative beliefs should satisfy certain constraints.

We discuss three problems concerning the use of formal languages in theoretical physics: (i) the definability of time and spacetime in classical physical theories; (ii) how to cope with indistinguishable elementary particles in quantum mechanics without labeling them; and (iii) how to get a formal picture of quantum states jumping.

In “The Toolbox of Science” (1995) together with Towfic Shomar we advocated a form of instrumentalism about scientific theories. We separately developed this view further in a number of subsequent works. Steven French, James Ladyman, Otavio Bueno and Newton Da Costa (FLBD) have since written at least eight papers and a book criticising our work. Here we defend ourselves. First we explain what we mean in denying that models derive from theory – and why their failure to do so should (...) be lamented. Second we defend our use of the London model of superconductivity as an example. Third we point out both advantages and weaknesses of FLBD’s techniques in comparison to traditional Anglophone versions of the semantic conception. Fourth we show that FLBD’s version of the semantic conception has not been applied to our case study. We conclude by raising doubts about FLBD’s overall project. (shrink)

In this paper a theory of finitistic and frequentistic approximations — in short: f-approximations — of probability measures P over a countably infinite outcome space N is developed. The family of subsets of N for which f-approximations converge to a frequency limit forms a pre-Dynkin system $${{D\subseteq\wp(N)}}$$. The limiting probability measure over D can always be extended to a probability measure over $${{\wp(N)}}$$, but this measure is not always σ-additive. We conclude that probability measures can be regarded as idealizations of (...) limiting frequencies if and only if σ-additivity is not assumed as a necessary axiom for probabilities. We prove that σ-additive probability measures can be characterized in terms of so-called canonical and in terms of so-called full f-approximations. We also show that every non-σ-additive probability measure is f-approximable, though neither canonically nor fully f-approximable. Finally, we transfer our results to probability measures on open or closed formulas of first-order languages. (shrink)

Since the beginning of the 20th century, philosophers of science have asked, "what kind of thing is a scientific theory?" The logical positivists answered: a scientific theory is a mathematical theory, plus an empirical interpretation of that theory. Moreover, they assumed that a mathematical theory is specified by a set of axioms in a formal language. Later 20th century philosophers questioned this account, arguing instead that a scientific theory need not include a mathematical component; or that the mathematical component need (...) not be specified by a set of axioms in a formal language. We survey various accounts of scientific theories entertained in the 20th century -- removing some misconceptions, and clearing a path for future research. (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.

Over the years, mathematics and statistics have become increasingly important in the social sciences1 . A look at history quickly confirms this claim. At the beginning of the 20th century most theories in the social sciences were formulated in qualitative terms while quantitative methods did not play a substantial role in their formulation and establishment. Moreover, many practitioners considered mathematical methods to be inappropriate and simply unsuited to foster our understanding of the social domain. Notably, the famous Methodenstreit also concerned (...) the role of mathematics in the social sciences. Here, mathematics was considered to be the method of the natural sciences from which the social sciences had to be separated during the period of maturation of these disciplines. All this changed by the end of the century. By then, mathematical, and especially statistical, methods were standardly used, and their value in the social sciences became relatively uncontested. The use of mathematical and statistical methods is now ubiquitous: Almost all social sciences rely on statistical methods to analyze data and form hypotheses, and almost all of them use (to a greater or lesser extent) a range of mathematical methods to help us understand the social world. Additional indication for the increasing importance of mathematical and statistical methods in the social sciences is the formation of new subdisciplines, and the establishment of specialized journals and societies. Indeed, subdisciplines such as Mathematical Psychology and Mathematical Sociology emerged, and corresponding journals such as The Journal of Mathematical Psychology (since 1964), The Journal of Mathematical Sociology (since 1976), Mathematical Social Sciences (since 1980) as well as the online journals Journal of Artificial Societies and Social Simulation (since 1998) and Mathematical Anthropology and Cultural Theory (since 2000) were established. What is more, societies such as the Society for Mathematical Psychology (since 1976) and the Mathematical Sociology Section of the American Sociological Association (since 1996) were founded. Similar developments can be observed in other countries. The mathematization of economics set in somewhat earlier (Vazquez 1995; Weintraub 2002). However, the use of mathematical methods in economics started booming only in the second half of the last century (Debreu 1991). Contemporary economics is dominated by the mathematical approach, although a certain style of doing economics became more and more under attack in the last decade or so. Recent developments in behavioral economics and experimental economics can also be understood as a reaction against the dominance (and limitations) of an overly mathematical approach to economics. There are similar debates in other social sciences. It is, however, important to stress that problems of one method (such as axiomatization or the use of set theory) can hardly be taken as a sign of bankruptcy of mathematical methods in the social sciences tout court. This chapter surveys mathematical and statistical methods used in the social sciences and discusses some of the philosophical questions they raise. It is divided into two parts. Sections 1 and 2 are devoted to mathematical methods, and Sections 3 to 7 to statistical methods. As several other chapters in this handbook provide detailed accounts of various mathematical methods, our remarks about the latter will be rather short and general. Statistical methods, on the other hand, will be discussed in-depth. (shrink)

Science depends on judgments of the bearing of evidence on theory. Scientists must judge whether an observation or the result of an experiment supports, disconfirms, or is simply irrelevant to a given hypothesis. Similarly, scientists may judge that, given all the available evidence, a hypothesis ought to be accepted as correct or nearly so, rejected as false, or neither. Occasionally, these evidential judgments can be made on deductive grounds. If an experimental result strictly contradicts a hypothesis, then the truth of (...) the data deductively entails the falsity of the hypothesis. In the great majority of cases, however, the connection between evidence and hypothesis is non-demonstrative, or inductive. In particular, this is so whenever a general hypothesis is inferred to be correct on the basis of the available data, since the truth of the data will not deductively entail the truth of the hypothesis. It always remains possible that the hypothesis is false even though the data are correct. (shrink)

Our aim in this article is to show how the theory of conceptual spaces can be useful in describing diachronic changes to conceptual frameworks, and thus useful in understanding conceptual change in the empirical sciences. We also compare the conceptual space approach to Moulines’s typology of intertheoretical relations in the structuralist tradition. Unlike structuralist reconstructions, those based on conceptual spaces yield a natural way of modeling the changes of a conceptual framework, including noncumulative changes, by tracing the changes to the (...) dimensions that reconstitute a conceptual framework. As a consequence, the incommensurability of empirical theories need not be viewed as a matter of conceptual representation. (shrink)

In this paper we consider the notions of structure and models within the semantic approach to theories. To highlight the role of the mathematics used to build the structures which will be taken as the models of theories, we review the notion of mathematical structure and of the models of scientific theories. Then, we analyse a case-study and argue that if a certain metaphysical view of quantum objects is adopted, one seeing them as non-individuals, then there would be strong reasons (...) to ask for a different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks (those worked on within standard mathematics), we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science (if touched). (shrink)

According to the semantic view, a theory is characterized by a class of models. In this paper, we examine critically some of the assumptions that underlie this approach. First, we recall that models are models of something. Thus we cannot leave completely aside the axiomatization of the theories under consideration, nor can we ignore the metamathematics used to elaborate these models, for changes in the metamathematics often impose restrictions on the resulting models. Second, based on a parallel between van Fraassen’s (...) modal interpretation of quantum mechanics and Skolem’s relativism regarding set-theoretic concepts, we introduce a distinction between relative and absolute concepts in the context of the models of a scientific theory. And we discuss the significance of that distinction. Finally, by focusing on contemporary particle physics, we raise the question: since there is no general accepted unification of the parts of the standard model (namely, QED and QCD), we have no theory, in the usual sense of the term. This poses a difficulty: if there is no theory, how can we speak of its models? What are the latter models of? We conclude by noting that it is unclear that the semantic view can be applied to contemporary physical theories. (shrink)

I provide an explicit formulation of empirical adequacy, the central concept of constructive empiricism, and point out a number of problems. Based on one of the inspirations for empirical adequacy, I generalize the notion of a theory to avoid implausible presumptions about the relation of theoretical concepts and observations, and generalize empirical adequacy with the help of approximation sets to allow for lack of knowledge, approximations, and successive gain of knowledge and precision. As a test case, I provide an application (...) of these generalizations to a simple interference phenomenon. (shrink)

Set-valued choice functions provide a framework that is general enough to encompass a wide variety of theories that are significant to the study of rationality but, at the same time, offer enough structure to articulate consistency conditions that can be used to characterize some of the theories within this encompassed variety. Nonetheless, two-tiered choice functions, such as those advocated by Isaac Levi, are not easily characterized within the framework of set-valued choice functions. The present work proposes conditional choice functions as (...) the proper carriers of synchronic rationality. The resulting framework generalizes the familiar one mentioned above without emptying it and, moreover, provides a natural setting for two-tiered choice rules. (shrink)

In the study of contextualism, the most noticeable and at the same time ambiguous problem is how to ascertain the boundaries of context. This article tries to explore the boundaries of context and the significance of the contextualizing movement which began in the 1980s. The establishment of boundaries can be analyzed from three aspects: the syntactic boundary, the semantic boundary, and the pragmatic boundary. This differentiation offers meaningful perspectives for grasping the method of contextual analysis, strengthening its position and influence (...) in scientific explanation. (shrink)

In this first paper of a series of works on the foundations of science, we examine the significance of logical and mathematical frameworks used in foundational studies. In particular, we emphasize the distinction between the order of a language and the order of a structure to prevent confusing models of scientific theories with first-order structures, and which are studied in standard model theory. All of us are, of course, bound to make abuses of language even in putatively precise contexts. This (...) is not a problem—in fact, it is part of scientific and philosophical practice. But it is important to be sensitive to the dierent uses that structure, model, and language have. In this paper, we examine these topics in the context of classical logic; only in the last section we touch upon briefly on non-classical ones. (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)

This paper aims to meet an objection that has been raised against structural empiricism known as the “loss of reality objection.” I argue that an inferential approach to scientific representation allows the structural empiricist to account for the representation of phenomena by data models and ensures that such a representation is not arbitrary. By the notions of immersion, derivation, and interpretation, I show how data models are able to represent phenomena in a non-arbitrary manner. I conclude this paper with a (...) programmatic outline of a view that arises from the theses defended throughout the article and that I would like to call “semantic structuralism.”. (shrink)

We inquire into the question whether the Aristotelean or classical \emph{ideal} of science has been realised by the Model Revolution, initiated at Stanford University during the 1950ies and spread all around the world of philosophy of science --- \emph{salute} P.\ Suppes. The guiding principle of the Model Revolution is: \emph{a scientific theory is a set of structures in the domain of discourse of axiomatic set-theory}, characterised by a set-theoretical predicate. We expound some critical reflections on the Model Revolution; the conclusions (...) will be that the philosophical problem of what a \emph{scientific theory} is has \emph{not} been solved yet --- \emph{pace} P.\ Suppes. While reflecting critically on the Model Revolution, we also explore a proposal of how to complete the Revolution and briefly address the intertwined subject of \emph{scientific representation}, which has come to occupy center stage in philosophy of science over the past decade. (shrink)

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)

According to the semantic view, a theory is characterized by a class of models. In this paper, we examine critically some of the assumptions that underlie this approach. First, we recall that models are models of something. Thus we cannot leave completely aside the axiomatization of the theories under consideration, nor can we ignore the metamathematics used to elaborate these models, for changes in the metamathematics often impose restrictions on the resulting models. Second, based on a parallel between van Fraassen’s (...) modal interpretation of quantum mechanics and Skolem’s relativism regarding set-theoretic concepts, we introduce a distinction between relative and absolute concepts in the context of the models of a scientific theory. And we discuss the significance of that distinction. Finally, by focusing on contemporary particle physics, we raise the question: since there is no general accepted unification of the parts of the standard model, we have no theory, in the usual sense of the term. This poses a difficulty: if there is no theory, how can we speak of its models? What are the latter models of? We conclude by noting that it is unclear that the semantic view can be applied to contemporary physical theories. (shrink)

In this work, we discuss a formal way of dealing with the properties of contextual systems. Our approach is to assume that properties describing the same physical quantity, but belonging to different measurement contexts, are indistinguishable in a strong sense. To construct the formal theoretical structure, we develop a description using quasi-set theory, which is a set-theoretical framework built to describe collections of elements that violate Leibnitz's principle of identity of indiscernibles. This framework allows us to consider a new ontology (...) in order to study the properties of quantum systems. (shrink)

This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual revolutions. (...) -/- In order to analyze and compare the conception of conceptual change provided by these different models, I rely on several historical reconstructions of episodes of scientific conceptual change. The historical episodes of scientific change that figure in this work include the emergence of the morphological concept of fish in biological taxonomies, the development of scientific conceptions of temperature, the Church-Turing thesis and related axiomatizations of effective calculability, the history of the concept of polyhedron in 17th and 18th century mathematics, Hamilton’s invention of the quaternions, the history of the pre-abstract group concepts in 18th and 19th century mathematics, the expansion of Newtonian mechanics to viscous fluids forces phenomena, and the chemical revolution. I will also present five different formal and informal improvements of four specific models of conceptual change. I will first present two different improvements of Carnapian explication, a formal and an informal one. My informal improvement of Carnapian explication will consist of a more fine-grained version of the procedure that adds an intermediate, third step to the two steps of Carnapian explication. I will show how this novel three-step version of explication is more suitable than its traditional two-step relative to handle complex cases of explications. My second, formal improvement of Carnapian explication will be a full explication of the concept of explication itself within the theory of conceptual spaces. By virtue of this formal improvement, the whole procedure of explication together with its application procedures and its pragmatic desiderata will be reconceptualized as a precise procedure involving topological and geometrical constraints inside the theory of conceptual spaces. My third improved model of conceptual change will consist of a formal explication of Darwinian models of conceptual change that will make vast use of Godfrey-Smith’s population-based Darwinism for targeting explicitly mathematical conceptual change. My fourth improvement will be dedicated instead to Wilson’s indeterminate model of conceptual change. I will show how Wilson’s very informal framework can be explicated within a modified version of the structuralist model-theoretic reconstructions of scientific theories. Finally, the fifth improved model of conceptual change will be a belief-revision-like logical framework that reconstructs Thagard’s model of conceptual revolution as specific revision and contraction operations that work on conceptual structures. -/- At the end of this work, a general conception of conceptual change in science and philosophy emerges, thanks to the combined action of the three layers of my methodology. This conception takes conceptual change to be a multi-faceted phenomenon centered around the dynamics of groups of concepts. According to this conception, concepts are best reconstructed as plastic and inter-subjective entities equipped with a non-trivial internal structure and subject to a certain degree of localized holism. Furthermore, conceptual dynamics can be judged from a weakly normative perspective, bound to be dependent on shared values and goals. Conceptual change is then best understood, according to this conception, as a ubiquitous phenomenon underlying all of our intellectual activities, from science to ordinary linguistic practices. As such, conceptual change does not pose any particular problem to value-laden notions of scientific progress, objectivity, and realism. At the same time, this conception prompts all our concept-driven intellectual activities, including philosophical and metaphilosophical reflections, to take into serious consideration the phenomenon of conceptual change. An important consequence of this conception, and of the analysis that generated it, is in fact that an adequate understanding of the dynamics of philosophical concepts is a prerequisite for analytic philosophy to develop a realistic and non-idealized depiction of itself and its activities. (shrink)

The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that such debate, (...) at least in the terms commonly expressed, can be misleading. We argue that the traditional notion of “interpretation” within the syntax/semantic debate is not the same as that of the debate concerning the interpretation of quantum mechanics. As much as the term is the same, the term “interpretation” as employed in quantum mechanics has its meaning beyond (pure) logic. Our main focus here lies on the formal aspects of the solutions to the measurement problem. There are many versions of quantum theory, many of them incompatible with each other. In order to encompass a wider variety of approaches to quantum theory, we propose a different one with an emphasis on pure formalism. This perspective has the intent of elucidating the role of each so-called “interpretation” of quantum mechanics, as well as the precise origin of the need to interpret it. (shrink)

Nonrelativistic quantum mechanics (QM) works perfectly well for all practical purposes. Once one admits, however, that a successful scientific theory is supposed not only to make predictions but also to tell us a story about the world in which we live, a philosophical problem emerges: in the specific case of QM, it is not possible to associate with the theory a unique scientific image of the world; there are several images. The fact that the theory may be compatible with distinct (...) ontologies, and that those ontologies may themselves be associated with a plurality of metaphysical approaches, gives rise to the problem of metaphysical underdetermination. This paper concludes that the available metametaphysical criteria fail to deliver objectivity in theory choice, and it puts forward its own criterion based on a tension between two methods of metaphysical inquiry: one that is closely related to science and another that is not. (shrink)

Suppose that a decision-maker's aim, under certainty, is to maximise some continuous value, such as lifetime income or continuous social welfare. Can such a decision-maker rationally satisfy what has been called "continuity for easy cases" while at the same time satisfying what seems to be a widespread intuition against the full-blown continuity axiom of expected utility theory? In this note I argue that the answer is "no": given transitivity and a weak trade-off principle, continuity for easy cases violates the anti-continuity (...) intuition. I end the note by exploring an even weaker continuity condition that is consistent with the aforementioned intuition. (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)

In this article my primary intention is to engage in a discussion on the inherent constraints of models, taken as models of theories, that reaches beyond the epistemological level. Naturally the paper takes into account the ongoing debate between proponents of the syntactic and the semantic view of theories and that between proponents of the various versions of scientific realism, reaching down to the most fundamental, subjective level of discourse. In this approach, while allowing for a limited discussion of physical (...) and positive science models, I am primarily focused on the structure and ontology of mathematical models, in particular Cohen’s forcing models and to a lesser extent Gödel’s constructible universe, to the extent that these were designed to answer questions bearing on the scope, the capacity and ultimately the ontology of models themselves, therefore influencing in one or the other way the status of models in general. This status, it is argued, is largely defined by the way models subsume a set-theoretical structure whose constraints, reducible to an extra-linguistic level of discourse, may implicitly condition the epistemic status of models as representations of axiomatic theories. In the last section I deal extensively with the inner constraints of theories as subjectively originated in a less technical philosophically oriented discussion with certain prompts from phenomenology. (shrink)

The paper presents an argument for treating certain types of computer simulation as having the same epistemic status as experimental measurement. While this may seem a rather counterintuitive view it becomes less so when one looks carefully at the role that models play in experimental activity, particularly measurement. I begin by discussing how models function as “measuring instruments” and go on to examine the ways in which simulation can be said to constitute an experimental activity. By focussing on the connections (...) between models and their various functions, simulation and experiment one can begin to see similarities in the practices associated with each type of activity. Establishing the connections between simulation and particular types of modelling strategies and highlighting the ways in which those strategies are essential features of experimentation allows us to clarify the contexts in which we can legitimately call computer simulation a form of experimental measurement. (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)

This article provides a spatial analysis of the conceptual framework of fluid dynamics during the nineteenth century, focusing on the transition from the Euler equation to the Navier–Stokes equation. A dynamic version of Peter Gärdenfors's theory of conceptual spaces is applied which distinguishes changes of five types: addition and deletion of special laws; change of metric; change in importance; change in separability; addition and deletion of dimensions. The case instantiates all types but the deletion of dimensions. We also provide a (...) new view upon limiting case reduction at the conceptual level that clarifies the relation between the predecessor and successor conceptual framework. The nineteenth-century development of fluid dynamics is argued to be an instance of normal science development. (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)

This book explores the interplay between logic and science, describing new trends, new issues and potential research developments.

Philosophy can shed light on mathematical modeling and the juxtaposition of modeling and empirical data. This paper explores three philosophical traditions of the structure of scientific theory—Syntactic, Semantic, and Pragmatic—to show that each illuminates mathematical modeling. The Pragmatic View identifies four critical functions of mathematical modeling: (1) unification of both models and data, (2) model fitting to data, (3) mechanism identification accounting for observation, and (4) prediction of future observations. Such facets are explored using a recent exchange between two groups (...) of mathematical modelers in plant biology. Scientific debate can arise from different modeling philosophies. (shrink)

‘The problem with simulations is that they are doomed to succeed.’ So runs a common criticism of simulations—that they can be used to ‘prove’ anything and are thus of little or no scientific value. While this particular objection represents a minority view, especially among those who work with simulations in a scientific context, it raises a difficult question: what standards should we use to differentiate a simulation that fails from one that succeeds? In this paper we build on a structural (...) analysis of simulation developed in previous work to provide an evaluative account of the variety of ways in which simulations do fail. We expand the structural analysis in terms of the relationship between a simulation and its real-world target emphasizing the important role of aspects intended to correspond and also those specifically intended not to correspond to reality. The result is an outline both of the ways in which simulations can fail and the scientific importance of those various forms of failure. (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)

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.

En el presente trabajo intentaré poner de manifiesto las debilidades de los argumentos dados por Contessa para sustentar, como fuente del representar, a los razonamientos subrogantes válidos por sobre los sólidos. En primer lugar, analizo ciertas ventajas epistémicas del criterio sustentado sobre los RS sólidos, evidenciando, consecuentemente, los límites del criterio estipulado por Contessa. En segundo lugar, muestro que los argumentos utilizados por Contessa para descartar el criterio instituido en los RS sólidos son deficientes, ya que, en el mejor de (...) los casos, no demuestran nada y, en el peor de los casos, o bien se comete una falacia por ambigüedad o bien se comete una petición de principio. (shrink)