Models as Mediators discusses the ways in which models function in modern science, particularly in the fields of physics and economics. Models play a variety of roles in the sciences: they are used in the development, exploration and application of theories and in measurement methods. They also provide instruments for using scientific concepts and principles to intervene in the world. The editors provide a framework which covers the construction and function of scientific models, and explore the ways in which they (...) enable us to learn about both theories and the world. The contributors to the volume offer their own individual theoretical perspectives to cover a wide range of examples of modelling, from physics, economics and chemistry. These papers provide ideal case-study material for understanding both the concepts and typical elements of modelling, using analytical approaches from the philosophy and history of science. (shrink)

Bas C. van Fraassen presents an original exploration of how we represent the world.

The no-miracles argument for realism and the pessimistic meta-induction for anti-realism pull in opposite directions. Structural Realism---the position that the mathematical structure of mature science reflects reality---relieves this tension.

Introduction -- Sanctioning models : theories and their scope -- Methodology for a virtual world -- A tale of two methods -- When theories shake hands -- Models of climate : values and uncertainties -- Reliability without truth -- Conclusion.

Many people assume that the claims of scientists are objective truths. But historians, sociologists, and philosophers of science have long argued that scientific claims reflect the particular historical, cultural, and social context in which those claims were made. The nature of scientific knowledge is not absolute because it is influenced by the practice and perspective of human agents. Scientific Perspectivism argues that the acts of observing and theorizing are both perspectival, and this nature makes scientific knowledge contingent, as Thomas Kuhn (...) theorized forty years ago. Using the example of color vision in humans to illustrate how his theory of “perspectivism” works, Ronald N. Giere argues that colors do not actually exist in objects; rather, color is the result of an interaction between aspects of the world and the human visual system. Giere extends this argument into a general interpretation of human perception and, more controversially, to scientific observation, conjecturing that the output of scientific instruments is perspectival. Furthermore, complex scientific principles—such as Maxwell’s equations describing the behavior of both the electric and magnetic fields—make no claims about the world, but models based on those principles can be used to make claims about specific aspects of the world. Offering a solution to the most contentious debate in the philosophy of science over the past thirty years, Scientific Perspectivism will be of interest to anyone involved in the study of science. (shrink)

Suppe, F. The search for philosophic understanding of scientific theories (p. [1]-241)--Proceedings of the symposium.--Bibliography, compiled by Rew A. Godow, Jr. (p. [615]-646).

Robert Batterman examines a form of scientific reasoning called asymptotic reasoning, arguing that it has important consequences for our understanding of the scientific process as a whole. He maintains that asymptotic reasoning is essential for explaining what physicists call universal behavior. With clarity and rigor, he simplifies complex questions about universal behavior, demonstrating a profound understanding of the underlying structures that ground them. This book introduces a valuable new method that is certain to fill explanatory gaps across disciplines.

This is a book that no one but Weyl could have written--and, indeed, no one has written anything quite like it since.

Frederick Suppe has come to enjoy a position of undisputed leadership in the post-positivistic philosophy of science.

Mark Wilson presents a highly original and broad-ranging investigation of the way we get to grips with the world conceptually, and the way that philosophical problems commonly arise from this. He combines traditional philosophical concerns about human conceptual thinking with illuminating data derived from a large variety of fields including physics and applied mathematics, cognitive psychology, and linguistics. Wandering Significance offers abundant new insights and perspectives for philosophers of language, mind, and science, and will also reward the interest of psychologists, (...) linguists, and anyone curious about the mysterious ways in which useful language obtains its practical applicability. (shrink)

Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.

Reasons are given to justify the claim that computer simulations and computational science constitute a distinctively new set of scientific methods and that these methods introduce new issues in the philosophy of science. These issues are both epistemological and methodological in kind.

The Novum Organum, (or Novum Organum Scientiarum - "New Instrument of Science"), is a philosophical work by Francis Bacon, originally published in 1620. The title is a reference to Aristotle's work Organon, which was his treatise on logic and syllogism. In Novum Organum, Bacon details a new system of logic he believes to be superior to the old ways of syllogism. This is now known as the Baconian method.

I argue for an intentional conception of representation in science that requires bringing scientific agents and their intentions into the picture. So the formula is: Agents (1) intend; (2) to use model, M; (3) to represent a part of the world, W; (4) for some purpose, P. This conception legitimates using similarity as the basic relationship between models and the world. Moreover, since just about anything can be used to represent anything else, there can be no unified ontology of models. (...) This whole approach is further supported by a brief exposition of some recent work in cognitive, or usage-based, linguistics. Finally, with all the above as background, I criticize the recently much discussed idea that claims involving scientific models are really fictions. (shrink)

This paper examines contemporary attempts to explicate the explanatory role of mathematics in the physical sciences. Most such approaches involve developing so-called mapping accounts of the relationships between the physical world and mathematical structures. The paper argues that the use of idealizations in physical theorizing poses serious difficulties for such mapping accounts. A new approach to the applicability of mathematics is proposed.

This paper examines the role of mathematical idealization in describing and explaining various features of the world. It examines two cases: first, briefly, the modeling of shock formation using the idealization of the continuum. Second, and in more detail, the breaking of droplets from the points of view of both analytic fluid mechanics and molecular dynamical simulations at the nano-level. It argues that the continuum idealizations are explanatorily ineliminable and that a full understanding of certain physical phenomena cannot be obtained (...) through completely detailed, non-idealized representations. (shrink)

Isaac Newton's Scientific Method examines Newton's argument for universal gravity and his application of it to resolve the problem of deciding between geocentric and heliocentric world systems by measuring masses of the sun and planets. William L. Harper suggests that Newton's inferences from phenomena realize an ideal of empirical success that is richer than prediction. Any theory that can achieve this rich sort of empirical success must not only be able to predict the phenomena it purports to explain, but also (...) have those phenomena accurately measure the parameters which explain them. Harper explores the ways in which Newton's method aims to turn theoretical questions into ones which can be answered empirically by measurement from phenomena, and to establish that propositions inferred from phenomena are provisionally accepted as guides to further research. This methodology, guided by its rich ideal of empirical success, supports a conception of scientific progress that does not require construing it as progress toward Laplace's ideal limit of a final theory of everything, and is not threatened by the classic argument against convergent realism. Newton's method endorses the radical theoretical transformation from his theory to Einstein's. Harper argues that it is strikingly realized in the development and application of testing frameworks for relativistic theories of gravity, and very much at work in cosmology today. (shrink)

A basic aim of E. Beth's work in philosophy of science was to explore the use of formal semantic methods in the analysis of physical theories. We hope to show that a general framework for Beth's semantic analysis is provided by the theory of semi-interpreted languages, introduced in a previous paper. After developing Beth's analysis of nonrelativistic physical theories in a more general form, we turn to the notion of the 'logic' of a physical theory. Here we prove a result (...) concerning the conditions under which semantic entailment in such a theory is finitary. We argue, finally, that Beth's approach provides a characterization of physical theory which is more faithful to current practice in foundational research in the sciences than the familiar picture of a partly interpreted axiomatic theory. (shrink)

A traditional view of mathematical modeling holds, roughly, that the more details of the phenomenon being modeled that are represented in the model, the better the model is. This paper argues that often times this ‘details is better’ approach is misguided. One ought, in certain circumstances, to search for an exactly solvable minimal model—one which is, essentially, a caricature of the physics of the phenomenon in question.

Using an example of a computer simulation of the convective structure of a red giant star, this paper argues that simulation is a rich inferential process, and not simply a “number crunching” technique. The scientific practice of simulation, moreover, poses some interesting and challenging epistemological and methodological issues for the philosophy of science. I will also argue that these challenges would be best addressed by a philosophy of science that places less emphasis on the representational capacity of theories and more (...) emphasis on the role of theory in guiding the construction of models. (shrink)

We examine, from the partial structures perspective, two forms of applicability of mathematics: at the “bottom” level, the applicability of theoretical structures to the “appearances”, and at the “top” level, the applicability of mathematical to physical theories. We argue that, to accommodate these two forms of applicability, the partial structures approach needs to be extended to include a notion of “partial homomorphism”. As a case study, we present London's analysis of the superfluid behavior of liquid helium in terms of Bose‐Einstein (...) statistics. This involved both the introduction of group theory at the top level, and some modeling at the “phenomenological” level, and thus provides a nice example of the relationships we are interested in. We conclude with a discussion of the “autonomy” of London's model. (shrink)

Using an example of a computer simulation of the convective structure of a red giant star, this paper argues that simulation is a rich inferential process, and not simply a "number crunching" technique. The scientific practice of simulation, moreover, poses some interesting and challenging epistemological and methodological issues for the philosophy of science. I will also argue that these challenges would be best addressed by a philosophy of science that places less emphasis on the representational capacity of theories (and ascribes (...) that capacity instead to models) and more emphasis on the role of theory in guiding (rather than determining) the construction of models. (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)

This paper examines a fundamental problem in applied mathematics. How can one model the behavior of materials that display radically different, dominant behaviors at different length scales. Although we have good models for material behaviors at small and large scales, it is often hard to relate these scale-based models to one another. Macroscale models represent the integrated effects of very subtle factors that are practically invisible at the smallest, atomic, scales. For this reason it has been notoriously difficult to model (...) realistic materials with a simple bottom-up-from-the-atoms strategy. The widespread failure of that strategy forced physicists interested in overall macro-behavior of materials toward completely top-down modeling strategies familiar from traditional continuum mechanics. The problem of the ``tyranny of scales'' asks whether we can exploit our rather rich knowledge of intermediate micro- scale behaviors in a manner that would allow us to bridge between these two dominant methodologies. Macroscopic scale behaviors often fall into large common classes of behaviors such as the class of isotropic elastic solids, characterized by two phenomenological parameters---so-called elastic coefficients. Can we employ knowledge of lower scale behaviors to understand this universality---to determine the coefficients and to group the systems into classes exhibiting similar behavior? (shrink)

In this paper (a sequel to [4]) I put forward a "local" interpretation of mathematical concepts based on notions derived from category theory. The fundamental idea is to abandon the unique absolute universe of sets central to the orthodox set-theoretic account of the foundations of mathematics, replacing it by a plurality of local mathematical frameworks - elementary toposes - defined in category-theoretic terms.

This paper sets out a new framework for discussing a long-standing problem in the philosophy of mathematics, namely the connection between the physical world and a mathematical domain when the mathematics is applied in science. I argue that considering counterfactual situations raises some interesting challenges for some approaches to applications, and consider an approach that avoids these challenges.

It is often claimed that the bulk of the laws of physics –including such venerable laws as Universal Gravitation– are violated in many (or even all) circumstances because they havecounter-instances that result when a system is not isolated fromother systems. Various accounts of how one should interpretthese (apparently) violated laws have been provided. In thispaper, I examine two accounts of (apparently) violated laws, thatthey are merely ceteris paribus laws and that they aremanifestations of capacities. Through an examination of theprimary example (...) that motivated these views, I show that given aproper understanding of the situation, neither view is optimalbecause the law is not even apparently violated. Along the way, Iam able to diagnose what has led to the mistaken belief: I showthat it originates from an element of the standard empiricistconception of laws. I then evaluate the suggestions of how tointerpret violated laws with respect to other examples and findthem wanting there too. (shrink)

This paper investigates some metaphysical and epistemological assumptions behind Bogen and Woodward’s data-to-phenomena inferences. I raise a series of points and suggest an alternative possible Kantian stance about data-to-phenomena inferences. I clarify the nature of the suggested Kantian stance by contrasting it with McAllister’s view about phenomena as patterns in data sets.

Discussions of the foundations of Classical Equilibrium Statistical Mechanics (SM) typically focus on the problem of justifying the use of a certain probability measure (the microcanonical measure) to compute average values of certain functions. One would like to be able to explain why the equilibrium behavior of a wide variety of distinct systems (different sorts of molecules interacting with different potentials) can be described by the same averaging procedure. A standard approach is to appeal to ergodic theory to justify this (...) choice of measure. A different approach, eschewing ergodicity, was initiated by A. I. Khinchin. Both explanatory programs have been subjected to severe criticisms. This paper argues that the Khinchin type program deserves further attention in light of relatively recent results in understanding the physics of universal behavior. (shrink)

Let us begin with the simple observation that applied mathematics can be very tough! It is a common occurrence that basic physical principle instructs us to construct some syntactically simple set of differential equations, but it then proves almost impossible to extract salient information from them. As Charles Peirce once remarked, you can’t get a set of such equations to divulge their secrets by simply tilting at them like Don Quixote. As a consequence, applied mathematicians are often forced to pursue (...) roundabout and shakily rationalized expedients if any useful progress is to be made. Often these provisional and quasi-empirical procedures within applied mathematics loom large in motivating the “anti-realist” or “anti-unificationist” conclusions of Nancy Cartwright and allied authors. (shrink)

Proponents of Bayesian confirmation theory believe that they have the solution to a significant, recalcitrant problem in philosophy of science. It is the identification of the logic that governs evidence and its inductive bearing in science. That is the logic that lets us say that our catalog of planetary observations strongly confirms Copernicus’ heliocentric hypothesis; or that the fossil record is good evidence for the theory of evolution; or that the 3oK cosmic background radiation supports big bang cosmology. The definitive (...) solution to this problem would be a significant achievement. The problem is of central importance to philosophy of science, for, in the end, what distinguishes science from myth making is that we have good evidence for the content of science, or at least of mature sciences, whereas myths are evidentially ungrounded fictions. The core ideas shared by all versions of Bayesian confirmation theory are, at a good first approximation, that a scientist’s beliefs are or should conform to a probability measure; and that the incorporation of new evidence is through conditionalization using Bayes’ theorem. While the burden of this chapter will be to inventory why critics believe this theory may not be the solution after all, it is worthwhile first to summarize here the most appealing virtues of this simple account. There are three. First, the theory reduces the often nebulous notion of a logic of.. (shrink)

Any advanced theory of physics contains modules defined as essential components that are themselves theories with different domains of application. Different kinds of modules can be distinguished according to the way in which they fit in the symbolic and interpretive apparatus of a theory. The number and kind of the modules of a given theory vary as the theory evolves in time. The relative stability of modules and the variability of their insertion in other theories play a vital role in (...) the application, comparison, construction, and communication of theories. Modularity conveys some global unity to physics through the sharing of modules by diverse theories. This alternative to rigid hierarchies and holistic totalities permits a dynamical, plastic, and symbiotic approach to physical theory. (shrink)

In order to develop an account of scientific rationality, two problems need to be addressed: (i) how to make sense of episodes of theory change in science where the lack of a cumulative development is found, and (ii) how to accommodate cases of scientific change where lack of consistency is involved. In this paper, we sketch a model of scientific rationality that accommodates both problems. We first provide a framework within which it is possible to make sense of scientific revolutions, (...) but which still preserves some (partial) relations between old and new theories. The existence of these relations help to explain why the break between different theories is never too radical as to make it impossible for one to interpret the process in perfectly rational terms. We then defend the view that if scientific theories are taken to be quasi-true, and if the underlying logic is paraconsistent, it's perfectly rational for scientists and mathematicians to entertain inconsistent theories without triviality. As a result, as opposed to what is demanded by traditional approaches to rationality, it's not irrational to entertain inconsistent theories. Finally, we conclude the paper by arguing that the view advanced here provides a new way of thinking about the foundations of science. In particular, it extends in important respects both coherentist and foundationalist approaches to knowledge, without the troubles that plague traditional views of scientific rationality. (shrink)