The use of models of scientific theories should not be done without qualifications about the mathematics being used to build the models. This looks obvious, at least for logicians, but generally, it is not to the philosopher of science. Thus, some details about this point seem useful for both. Since any quick revision in the literature shows that in most cases, mainly after the raising of the semantic approach, the models are taken to be set-theoretical structures, in discussing the issue (...) we shall be concerned more with set theories, the locus where the play is usually developed. (shrink)

In this paper I consider some logical and mathematical aspects of the discussion of the identity and individuality of quantum entities. I shall point out that for some aspects of the discussion, the logical basis cannot be put aside; on the contrary, it leads us to unavoidable conclusions which may have consequences in how we articulate certain concepts related to quantum theory. Behind the discussion, there is a general argument which suggests the possibility of a metaphysics of non-individuals, based on (...) a reasonable interpretation of quantum basic entities. I close the paper with a suggestion that consists in emphasizing that quanta should be referred to by the cardinalities of the collections to which they belong, for which an adequate mathematical framework seems to be possible. (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)

A standard formalization of a scientific theory is a system of axioms for that theory in a first-order language (possibly many-sorted; possibly with the membership primitive $$\in$$ ). Suppes (in: Carvallo M (ed) Nature, cognition and system II. Kluwer, Dordrecht, 1992) expressed skepticism about whether there is a “simple or elegant method” for presenting mathematicized scientific theories in such a standard formalization, because they “assume a great deal of mathematics as part of their substructure”. The major difficulties amount to these. (...) First, as the theories of interest are mathematicized, one must specify the underlying applied mathematics base theory, which the physical axioms live on top of. Second, such theories are typically geometric, concerning quantities or trajectories in space/time: so, one must specify the underlying physical geometry. Third, the differential equations involved generally refer to coordinate representations of these physical quantities with respect to some implicit coordinate chart, not to the original quantities. These issues may be resolved. Once this is done, constructing standard formalizations is not so difficult—at least for the theories where the mathematics has been worked out rigorously. Here we give what may be claimed to be a simple and elegant means of doing that. This is for mathematicized scientific theories comprising differential equations for $$\mathbb{R}$$ -valued quantities Q (that is, scalar fields), defined on n (“spatial” or “temporal”) dimensions, taken to be isomorphic to the usual Euclidean space $$\mathbb{R}^n$$. For illustration, I give standard (in a sense, “text-book”) formalizations: for the simple harmonic oscillator equation in one-dimension and for the Laplace equation in two dimensions. (shrink)

This paper aims to study the foundations of applied mathematics, using a formalized base theory for applied mathematics: ZFCAσ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathsf {ZFCA}_{\sigma }$$\end{document} with atoms, where the subscript used refers to a signature specific to the application. Examples are given, illustrating the following five features of applied mathematics: comprehension principles, application conditionals, representation hypotheses, transfer principles and abstract equivalents.

This article argues that the much-maligned ‘notational variants’ of a given formal linguistic theory play a role similar to alternative numerical measurement scales. Thus, they can be used to identify the invariant components of the grammar; i.e., those features that do not depend on the choice of empirically equivalent representation. Treating these elements as the ‘meaningful’ structure of language has numerous consequences for the philosophy of science and linguistics. I offer several such examples of how linguistic theorizing can profit from (...) adopting a measurement-theoretic viewpoint. The first concerns a measurement-theoretic response to a famous criticism of Quine's. Others follow from issues of simplicity in the current biolinguistics program. An unexpected similarity with behaviorist practices is also uncovered. I then argue that managable and useful steps can be taken in this area. (shrink)

How can mathematical models which represent the causal structure of the world incompletely or incorrectly have any scientific value? I argue that this apparent puzzle is an artifact of a realist emphasis on representation in the philosophy of modeling. I offer an alternative, pragmatic methodology of modeling, inspired by classic papers by modelers themselves. The crux of the view is that models developed for purposes other than explanation may be justified without reference to their representational properties.

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)

On the received view, the Representational Theory of Measurement reduces measurement to the numerical representation of empirical relations. This account of measurement has been widely criticized. In this article, I provide a new interpretation of the Representational Theory of Measurement that sidesteps these debates. I propose to view the Representational Theory of Measurement as a library of theorems that investigate the numerical representability of qualitative relations. Such theorems are useful tools for concept formation that, in turn, is one crucial aspect (...) of measurement for a broad range of cases in linguistics, rational choice, metaphysics, and the social sciences. (shrink)

The paper conceptualizes economic models as metaphors. It presents two different approaches to economic modeling. In the first one, economic models are treated as isolations which aim at representing the real world. In the second, they are conceptualized according to various philosophical approaches that are close to fictionalism. The aim of such modeling is to persuade and not to represent. Next, the author tries to escape the dichotomy between models as isolations and models as purely rhetorical devices by referring to (...) N. Cartwright’s understanding of economic models. The issue of their realism is also considered. The final conclusion states that models are very similar to metaphors. (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)

The object of this paper is to look at the extent and nature of the uses of analogy during the ªrst century following the so-called scientiªc revolution. Using the research tool provided by JSTOR we systematically analyze the uses of “analog” and its cognates (analogies, analogous, etc.) in the Philosophical Transactions of the Royal Society of London for the period 1665–1780. In addition to giving the possibility of evaluating quantitatively the proportion of papers explicitly using analogies, this approach makes it (...) possible to go beyond the maybe idiosyncratic cases of Descartes, Kepler, Galileo, and other much studied giants of the so-called Scientiªc Revolution. As a result a classiªcation of types of uses is proposed. Relations between types of analogies and research ªelds are also established. In this paper we are less interested in discussing the “real nature” or “essence” or even the cognitive limitations of analogical thinking than in describing its various uses and different meanings as they changed over the course of a century. (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)

This paper offers a novel way of reconstructing conceptual change in empirical theories. Changes occur in terms of the structure of the dimensions—that is to say, the conceptual spaces—underlying the conceptual framework within which a given theory is formulated. Five types of changes are identified: (1) addition or deletion of special laws, (2) change in scale or metric, (3) change in the importance of dimensions, (4) change in the separability of dimensions, and (5) addition or deletion of dimensions. Given this (...) classification, the conceptual development of empirical theories becomes more gradual and rationalizable. Only the most extreme type—replacement of dimensions—comes close to a revolution. The five types are exemplified and applied in a case study on the development within physics from the original Newtonian mechanics to special relativity theory. (shrink)

In the epistemological tradition, there are two main interpretations of the semantic relation that an empirical theory may bear to the real world. According to realism, the theory-world relationship should be conceived as truth; according to instrumentalism, instead, it should be limited to empirical adequacy. Then, depending on how empirical theories are conceived, either syntactically as a class of sentences, or semantically as a class of models, the concepts of truth and empirical adequacy assume different and specific forms. In this (...) paper, we review two main conceptions of truth (one sentence-based and one model-based) and two of empirical adequacy (one sentence-based and one model-based), we point out their respective difficulties, and we give a first formulation of a new general view of the theory-world relationship, which we call Methodological Constructive Realism (MCR). We then show how the content of MCR can be further specified and expressed in a definite and precise form. The bulk of the paper shows in detail how it is possible to accomplish this goal for the special case of deterministic dynamical phenomena and their correlated deterministic models. This special version of MCR is formulated as an axiomatic extension of set theory, whose specific axioms constitute a formal ontology that provides an adequate framework for analyzing the two semantic relations of truth and empirical correctness, as well as their connections. (shrink)

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 essay will be divided into three parts. In the first part, we discuss the case of infintesimals seen as a bridge between the discrete and the continuous. This leads in the second part to a discussion of the nature of numbers. In the last part, we follow up with some observations on the obvious applicability of mathematics.

The first invariance principle, called “meaningfulness,” is germane to the common practice requiring that the form of a scientific law must not be altered by a change of the units of the measurement scales. By itself, meaningfulness does not put any constraint on the possible data. The second principle requires that the output variable is “order-invariant” with respect to any transformation (of one of the input variables) belonging to a particular family or class of such transformations which are characteristic of (...) the law. These principles are formulated as axioms of a theory. Taken together, meaningfulness and order-invariance axioms have strong consequences on the feasible theories. Three applications of our results are discussed in details, involving the Lorentz–FitzGerald contraction, Beer's law, and the Monomial laws, each of which is derived from three axioms implementing meaningfulness and order-invariance concepts. (An “initial condition” axiom is also used.) Not all scientific laws are order-invariant in the sense of this paper. An example is van der Waals' equation. (shrink)

We discuss Kunen’s algorithmic implementation of a proof for the Paris–Harrington theorem, and the author’s and da Costa’s proposed “exotic” formulation for the P = NP hypothesis. Out of those two examples we ponder the relation between mathematics within an axiomatic framework, and intuitive or informal mathematics.

In this paper we study in details a system of two weakly coupled harmonic oscillators from the point of view of Bohm’s interpretation of quantum mechanics. This system may be viewed as a simple model for the interaction between a photon and a photodetector. We obtain exact solutions for the general case. We then compute approximate solutions for the case where one oscillator is initially in its first excited state (a single photon) reaching the other oscillator in its ground state (...) (the photodetector). The approximate solutions represent the state of both oscillators after the interaction, which is not an eigenstate of the individual hamiltonians for each oscillator, and therefore the energies for each oscillator do not exist in the Copenhagen interpretation of Quantum Mechanics. We use the approximate solutions that we obtained to compute Bohmian trajectories and to study the energy transfer between the oscillators. We conclude that, even using the Bohmian view, the energy of each individual oscillator is not well defined, as the nonlocal quantum potential is not negligible even after the coupling is turned off. (shrink)

In this work, the first of a series, we study the nature of informal inconsistency in physics, focusing mainly on the foundations of quantum theory, and appealing to the concept of quasi-truth. We defend a pluralistic view of the philosophy of science, grounded on the existence of inconsistencies and on quasi-truth. Here, we treat only the ‘classical aspects’ of the subject, leaving for a forthcoming paper the ‘non-classical’ part.

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.

This article argues that the credibility of both theoretical and empirical models in economics is best understood through their connection with the empirical aspects of the real world. The discussion herein demonstrates that the similarity between the model and the real world is not enough to justify a theoretical model’s explanatory power. The best way to secure the model’s credibility is to prove the existence of representation theorems.

We shall address from a conceptual perspective the duality between algebra and geometry in the framework of the refoundation of algebraic geometry associated to Grothendieck’s theory of schemes. To do so, we shall revisit scheme theory from the standpoint provided by the problem of recovering a mathematical structure A from its representations \ into other similar structures B. This vantage point will allow us to analyze the relationship between the algebra-geometry duality and the structure-semiotics duality. Whereas in classical algebraic geometry (...) a certain kind of rings can be recovered by considering their representations with respect to a unique codomain B, Grothendieck’s theory of schemes permits to reconstruct general rings by considering representations with respect to a category of codomains. The strategy to reconstruct the object from its representations remains the same in both frameworks: the elements of the ring A can be realized—by means of what we shall generally call Gelfand transform—as quantities on a topological space that parameterizes the relevant representations of A. As we shall argue, important dualities in different areas of mathematics can be understood as particular cases of this general pattern. In the wake of Majid’s analysis of the Pontryagin duality, we shall propose a Kantian-oriented interpretation of this pattern. We shall use this conceptual framework to argue that Grothendieck’s notion of functor of points can be understood as a “relativization of the a priori” that generalizes the relativization already conveyed by the notion of domain extension to more general variations of the corresponding domains. (shrink)

This contribution claims that the two fundamental notions of causation at work in the health sciences are manipulative and mechanistic, and investigates what kinds of evidence matter for the assessment of causal relations. This article is a development of our 2007 article, ‘Plurality of Causality’, where we argue for a pluralistic account of causation with an eye to econometrics and a single medical example. The present contribution has a wider focus, and considers the notion of evidence within a whole range (...) of disciplines belonging to the health sciences. Section 1 addresses the relations between kinds of evidence and causal accounts, and it is shown how different notions of causation can be employed in various medical cases. Section 2 calls attention to issues crucial for any adequate epistemological theory of causation, such as the distinctions between types and tokens, observational and experimental regimes, explanation and prediction. Lastly, the notion of context is articulated, highlighted in its role in the assessment of causal links. All these issues are tackled in the framework of what we label a ‘bottom–up’ epistemology. (shrink)

After recalling the distinction between logic as reasoning and logic as theory of reasoning, we first examine the question of relativity of logic arguing that the theory of reasoning as any other science is relative. In a second part we discuss the emergence of universal logic as a general theory of logical systems, making comparison with universal algebra and the project of mathesis universalis. In a third part we critically present three lines of research connected to universal logic: logical pluralism, (...) non-classical logics and cognitive science. (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)

In this paper we study in details a system of two weakly coupled harmonic oscillators from the point of view of Bohm's interpretation of quantum mechanics. This system may be viewed as a simple model for the interaction between a photon and a photodetector. We obtain exact solutions for the general case. We then compute approximate solutions for the case where one oscillator is initially in its first excited state (a single photon) reaching the other oscillator in its ground state (...) (the photodetector). The approximate solutions represent the state of both oscillators after the interaction, which is not an eigenstate of the individual hamiltonians for each oscillator, and therefore the energies for each oscillator do not exist in the Copenhagen interpretation of Quantum Mechanics. We use the approximate solutions that we obtained to compute Bohmian trajectories and to study the energy transfer between the oscillators. We conclude that, even using the Bohmian view, the energy of each individual oscillator is not well defined, as the nonlocal quantum potential is not negligible even after the coupling is turned off. (shrink)

The problem of understanding how statistical inference is, and can be, applied in empirical sciences is important for the methodology of science. It is the objective of this paper to gain a better understanding of the role of statistical methods in scientific modeling. The important question of whether the applicability reduces to the representational properties of statistical models is discussed. It will be shown that while the answer to this question is positive, representation in statistical models is not purely structural. (...) In spite of the fact that representation in statistical models is based on the structural similarities between the statistical model and the empirical systems under study, these relationships are shown to be appropriate for representing relations in the target system by agent function, too. A second aspect of the paper involves the claim that agent-based components of statistical modeling are: a) interpretation of random variables, b) selection of the goal of statistical research, and c) selection of estimator properties. To justify these claims, a preliminary discussion will be presented on the role of statistics in modeling, as in regression and other structural models. This role will be explored and realized using a structural viewpoint. Also the role of statistical estimation in statistical modeling is discussed to explain the representational role of models and the inferential role of the agent in modeling. (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)

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)

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)

This paper aims to set forth Carnapian structuralism, i.e., a syntactic view of the structuralist approach which is deeply inspired by Carnap’s dual level conception of scientific theories. At its core is the axiomatisation of a metatheoretical concept AE(T) which characterises those extensions of an intended application that are admissible in the sense of being models of the theory-element T and that satisfy all links, constraints and specialisations. The union of axiom systems of AE(T) (where T is an element of (...) the theory-net N) will allow us to present scientific theories in an axiomatic fashion so that deductive reasoning in science can be formalised. Thereupon defeasible and paraconsistent means of reasoning will be introduced. The logical study of scientific reasoning is the key motivation of Carnapian structuralism. A further motivation is to help overcome the syntactic-semantic split in the philosophy of science. (shrink)

This article concerns the split between syntactic and semantic approaches to scientific theories. It aims at showing that an axiomatic representation of a scientific theory is a precondition of comprehending if the models of contain infinite entities. This result is established on the basis of the proposition that the human mind—which is finitely bounded for all we know—is not capable of directly grasping infinite entities. In view of this cognitive limitation, an indirect and finite representation of possibly infinite components of (...) the models of a scientific theory proves to be indispensable. Sets of axioms and sets of axiom schemes provide such a representation. These considerations will be cast into an argument for an axiomatic conception of scientific theories. The article concludes with a case study of the ideal gas model. (shrink)

Designing models of complex phenomena is a difficult task in engineering that can be tackled by composing a number of partial models to produce a global model of the phenomena. We propose to embed the partial models in software agents and to implement their composition as a cooperative negotiation between the agents. The resulting multiagent system provides a global model of a phenomenon. We applied this approach in modelling two complex physiological processes: the heart rate regulation and the glucose-insulin metabolism. (...) Beyond the effectiveness demonstrated in these two applications, the idea of using models associated to software agents to give reason of complex phenomena is in accordance with current tendencies in epistemology, where it is evident an increasing use of computational models for scientific explanation and analysis. Therefore, our approach has not only a practical, but also a theoretical significance: agents embedding models are a technology suitable both to representing and to investigating reality. (shrink)

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)

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

In economics, the concept of time discounting introduces weights on future goods to make these less valuable. Yet, both the conceptual motivation for time discounting and its specic functional form remain contested. To address these problems, this paper provides a measurement-theoretic framework of representation for time discounting. The representation theorem characterises time discounting factors by representations of time dierences. This general result can be interpreted with existing theories of time discounting to clarify their formal and conceptual assumptions. It also provides (...) a conceptually neutral framework for comparing the descriptive and normative merits of those theories. (shrink)

The anti-causal prophecies of last century have been disproved. Causality is neither a ‘relic of a bygone’ nor ‘another fetish of modern science’; it still occupies a large part of the current debate in philosophy and the sciences. This investigation into causal modelling presents the rationale of causality, i.e. the notion that guides causal reasoning in causal modelling. It is argued that causal models are regimented by a rationale of variation, nor of regularity neither invariance, thus breaking down the dominant (...) Human paradigm. The notion of variation is shown to be embedded in the scheme of reasoning behind various causal models: e.g. Rubin’s model, contingency tables, and multilevel analysis. It is also shown to be latent – yet fundamental – in many philosophical accounts. Moreover, it has significant consequences for methodological issues: the warranty of the causal interpretation of causal models, the levels of causation, the characterisation of mechanisms, and the interpretation of probability. This book offers a novel philosophical and methodological approach to causal reasoning in causal modelling and provides the reader with the tools to be up to date about various issues causality rises in social science. (shrink)

In this contribution, I comment on Raffaella Campaner’s defense of explanatory pluralism in psychiatry (in this volume). In her paper, Campaner focuses primarily on explanatory pluralism in contrast to explanatory reductionism. Furthermore, she distinguishes between pluralists who consider pluralism to be a temporary state on the one hand and pluralists who consider it to be a persisting state on the other hand. I suggest that it would be helpful to distinguish more than those two versions of pluralism – different understandings (...) of explanatory pluralism both within philosophy of science and psychiatry – namely moderate/temporary pluralism, anything goes pluralism, isolationist pluralism, integrative pluralism and interactive pluralism. Next, I discuss the pros and cons of these different understandings of explanatory pluralism. Finally, I raise the question of how to implement or operationalize explanatory pluralism in scientific practice; how to structure the “genuine dialogue” or shape “the pluralistic attitude” Campaner is referring to. As tentative answers, I explore a question-based framework for explanatory pluralism as well as social-epistemological procedures for interaction among competing approaches and explanations. (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)

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 central component to scientific practice is the construction and use of scientific models. Scientists believe that the success of a model justifies making claims that go beyond the model itself. However, philosophical analysis of models suggests that drawing inferences about the world from successful models is more complex. In this dissertation I develop a framework that can help disentangle the related strands of evaluation of model success, model extendibility, and the ability to draw ampliative inferences about the world from (...) models. I present and critically assess two leading accounts of model assessment, arguing that neither is sufficient to provide a complete understanding of model evaluation. I introduce a more powerful framework incorporating elements of the two views, which can help answer these three questions: What is the target of evaluation in model assessment? How does that evaluation proceed? What licenses us in making inferences about the real world, based on the evaluation of our models as successful? The framework identifies two distinct targets of model evaluation: representational similarity between the model and target system, and the adequacy of the model as a tool to answer questions. Both assessments must be relativized to a purpose, of which there are three general kinds: descriptive, predictive, and explanatory. These purposes differ in the way they inform the similarity relation, which is relevant for the similarity assessment, and the output they produce, which is relevant for the adequacy assessment. Any model can be assessed relative to any purpose, however a model encodes certain decisions made during the model’s construction, which impact its ability to be applied to a new purpose or new domain. My framework shows that extending a model, and drawing inferences from it, depends on its representational similarity. I apply this framework to several examples taken from astrophysics showing in detail how it can help illuminate the structure of the models, as well as make the justification for inferences made from them clear. The final chapter is a detailed analysis of a contemporary debate surrounding the use of models in astrophysics, between proponents of MOND and the standard ΛCDM model. (shrink)

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)