The presence of symmetries in physical theories implies a pernicious form of underdetermination. In order to avoid this theoretical vice, philosophers often espouse a principle called Leibniz Equivalence, which states that symmetry-related models represent the same state of affairs. Moreover, philosophers have claimed that the existence of non-trivial symmetries motivates us to accept the Invariance Principle, which states that quantities that vary under a theory’s symmetries aren’t physically real. Leibniz Equivalence and the Invariance Principle are often seen as part of (...) the same package. I argue that this is a mistake: Leibniz Equivalence and the Invariance Principle are orthogonal to each other. This means that it is possible to hold that symmetry-related models represent the same state of affairs whilst having a realist attitude towards variant quantities. Various arguments have been presented in favour of the Invariance Principle: a rejection of the Invariance Principle is inter alia supposed to cause indeterminism, undetectability or failure of reference. I respond that these arguments at best support Leibniz Equivalence. (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)

Science provides us with representations of atoms, elementary particles, polymers, populations, genetic trees, economies, rational decisions, aeroplanes, earthquakes, forest fires, irrigation systems, and the world’s climate. It's through these representations that we learn about the world. This entry explores various different accounts of scientific representation, with a particular focus on how scientific models represent their target systems. As philosophers of science are increasingly acknowledging the importance, if not the primacy, of scientific models as representational units of science, it's important to (...) stress that how they represent plays a fundamental role in how we are to answer other questions in the philosophy of science. This entry begins by disentangling ‘the’ problem of scientific representation, before critically evaluating the current options available in the literature. (shrink)

Recent work in the philosophy of science has generated an apparent conflict between theories attempting to explicate the nature of scientific representation. On one side, there are what one might call 'informational' views, which emphasize objective relations (such as similarity, isomorphism, and homomorphism) between representations (theories, models, simulations, diagrams, etc.) and their target systems. On the other side, there are what one might call 'functional' views, which emphasize cognitive activities performed in connection with these targets, such as interpretation and inference. (...) The main sources of the impression of conflict here are arguments by some functionalists to the effect that informational theories are flawed: it is suggested that relations typically championed by informational theories are neither necessary nor sufficient for scientific representation, and that any theory excluding functions is inadequate. In this paper I critically examine these arguments, and contend that, as it turns out, informational and functional theories are importantly complementary. (shrink)

Carnap’s quasi-analysis is usually considered as an ingenious but definitively flawed approach in epistemology and philosophy of science. In this paper it is argued that this assessment is mistaken. Quasi-analysis can be reconstructed as a representational theory of constitution of structures that has applications in many realms of epistemology and philosophy of science. First, existence and uniqueness theorems for quasi-analytical representations are proved. These theorems defuse the classical objections against the quasi-analytical approach launched forward by Goodman and others. Secondly, the (...) constitution of various kinds of structures is treated in detail: order structures, comparative similarity structures, mereological, mereotopological, and topological structures are considered. In particular, it is pointed out that there exist interesting relations between quasi-analysis and modern theories of pointless topology. (shrink)

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

Part II: Suppes and the mature theory. Representation and uniqueness.

Developing some suggestions of Ramsey (1925), elementary logic is formulated with respect to an arbitrary categorial system rather than the categorial system of Logical Atomism which is retained in standard elementary logic. Among the many types of non-standard categorial systems allowed by this formalism, it is argued that elementary logic with predicates of variable degree occupies a distinguished position, both for formal reasons and because of its potential value for application of formal logic to natural language and natural science. This (...) is illustrated by use of such a logic to construct a theory of quantity which is argued to be scientifically superior to existing theories of quantity based on standard categorial systems, since it yields real-valued scales without the need for unrealistic existence assumptions. This provides empirical evidence for the hypothesis that the categorial structure of the physical world itself is non-standard in this sense. (shrink)

The aim of this paper is to defend the structural concept of representation, as defined by homomorphisms, against its main objections, namely: logical objections, the objection from misrepresentation, theobjection from failing necessity, and the copy theory objection. The logical objections can be met by reserving the relation.

How does mathematics apply to something non-mathematical? We distinguish between a general application problem and a special application problem. A critical examination of the answer that structural mapping accounts offer to the former problem leads us to identify a lacuna in these accounts: they have to presuppose that target systems are structured and yet leave this presupposition unexplained. We propose to fill this gap with an account that attributes structures to targets through structure generating descriptions. These descriptions are physical descriptions (...) and so there is no such thing as a solely mathematical account of a target system. (shrink)

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

It is argued that a number of important, and seemingly disparate, types of representation are species of a single relation, here called structural representation, that can be described in detail and studied in a way that is of considerable philosophical interest. A structural representation depends on the existence of a common structure between a representation and that which it represents, and it is important because it allows us to reason directly about the representation in order to draw conclusions about the (...) phenomenon that it depicts. The present goal is to give a general and precise account of structural representation, then to use that account to illuminate several problems of current philosophical interest — including some that do not initially seem to involve representation at all. In particular, it is argued that ontological reductions (like that of the natural numbers to sets), compositional accounts of semantics, several important sorts of mental representation, and (perhaps) possible worlds semantics for intensional logics are all species of structural representation and are fruitfully studied in the framework developed here. (shrink)

Extensive measurement theory is developed in terms of theratio of two elements of an arbitrary (not necessarily Archimedean) extensive structure; thisextensive ratio space is a special case of a more general structure called aratio space. Ratio spaces possess a natural family of numerical scales (r-scales) which are definable in non-representational terms; ther-scales for an extensive ratio space thus constitute a family of numerical scales (extensive r-scales) for extensive structures which are defined in a non-representational manner. This is interpreted as involving (...) arelational theory of quantity which contrasts in certain respects with thequalitative theory of quantity implicit in standard representational extensive measurement theory. The representational properties of extensiver-scales are investigated, and found to coincide withweak extensive measurement in the sense of Holman. This provides support for the thesis (developed in a separate paper) that weak extensive measurement is a more natural model of actual physical extensive scales than is the standard model using strong extensive measurement. Finally, the present apparatus is applied to slightly simplify the existing necessary and sufficient conditions for strong extensive measurement. (shrink)

I argue against theories that attempt to reduce scientific representation to similarity or isomorphism. These reductive theories aim to radically naturalize the notion of representation, since they treat scientist's purposes and intentions as non-essential to representation. I distinguish between the means and the constituents of representation, and I argue that similarity and isomorphism are common but not universal means of representation. I then present four other arguments to show that similarity and isomorphism are not the constituents of scientific representation. I (...) finish by looking at the prospects for weakened versions of these theories, and I argue that only those that abandon the aim to radically naturalize scientific representation are likely to be successful. (shrink)

Scientific models are frequently discussed in philosophy of science. A great deal of the discussion is centred on approximation, idealisation, and on how these models achieve their representational function. Despite the importance, distinct nature, and high presence of toy models, they have received little attention from philosophers. This paper hopes to remedy this situation. It aims to elevate the status of toy models: by distinguishing them from approximations and idealisations, by highlighting and elaborating on several ways the Kac ring, a (...) simple statistical mechanical model, is used as a toy model, and by explaining why toy models can be used to successfully carry out important work without performing a representational function. (shrink)

Van Fraassen argues that data provide the target-end structures required by structuralist accounts of scientific representation. But models represent phenomena not data. Van Fraassen agrees but argues that there is no pragmatic difference between taking a scientific model to accurately represent a physical system and accurately represent data extracted from it. In this article I reconstruct his argument and show that it turns on the false premise that the pragmatic content of acts of representation include doxastic commitments.

A serious flaw in Hartry Field’s instrumental account of applied mathematics, namely that Field must overestimate the extent to which many of the structures of our mathematical theories are reflected in the physical world, underlies much of the criticism of this account. After reviewing some of this criticism, I illustrate through an examination of the prospects for extending Field’s account to classical equilibrium statistical mechanics how this flaw will prevent any significant extension of this account beyond field theories. I note (...) in the conclusion that this diagnosis of Field’s program also points the way to modifications that may work. (shrink)

In this essay, I shall show that the so-called inferential (Suárez 2003 and 2004 ) and interpretational (Contessa 2007 ) accounts of scientific representation are respectively unsatisfactory and too weak to account for scientific representation ( pars destruens ). Along the way, I shall also argue that the pragmatic similarity (Giere 2004 and Giere 2010 ) and the partial isomorphism (da Costa and French 2003 and French 2003 ) accounts are unable to single out scientific representation. In the pars construens (...) I spell out a limiting case account which has explanatory surplus vis à vis the approaches which I have previously reviewed. My account offers an adequate treatment of scientific representation, or so I shall try to argue. Central to my account is the notion of a pragmatic limiting case, which will be characterized in due course. (shrink)

This paper critically reviews Philip Kitcher's most recent epistemology of science, real realism . I argue that this view is unstable under different understandings of the term 'representation', and that the arguments offered for the position are either unsound or invalid depending on the understanding employed. Suitably modified those arguments are however convincing in favor of a deflationary version of real realism, which I refer to as the bare view . The bare view accepts Kitcher's Galilean strategy, and the ensuing (...) commitment to the existence of unobservables; but it does not trade on a correspondence or copy theory of representation. So the bare view, unlike real realism, does not entail that our representations match reality even approximately. (shrink)

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)

Mundy (1983) presented the formal apparatus of certain relationist theories of space and space-time taking quantitative relations as primitive. The present paper discusses the philosophical and physical interpretation of such theories, and replies to some objections to such theories and to relationism in general raised in Field (1985). Under an appropriate second-order naturalistic Platonist interpretation of the formalism, quantitative relationist theories are seen to be entirely comparable to spatialist ones in respect of the issues raised by Field. Moreover, it appears (...) that even if accepted as sound, Field's general line of criticism would not diminish the significance of relationism for philosophy of science, since this derives primarily from its connection to physical rather than to mathematical or philosophical ontology. (shrink)

According to standard accounts of mathematical representations of physical phenomena, positing structure-preserving mappings between a physical target system and the structure picked out by a mathematical theory is essential to such representations. In this paper, I argue that these accounts fail to give a satisfactory explanation of scientific representations that make use of inconsistent mathematical theories and present an alternative, robustly inferential account of mathematical representation that provides not just a better explanation of applications of inconsistent mathematics, but also a (...) compelling explanation of mathematical representations of physical phenomena in general. 1Inconsistent Mathematics and the Problem of Representation2The Early Calculus3Mapping Accounts and the Early Calculus3.1Partial structures3.2Inconsistent structures3.3Related total consistent structures4A Robustly Inferential Account of the Early Calculus in Applications 4.1The robustly inferential conception of mathematical representation4.2The robustly inferential conception and inconsistent mathematics4.3The robustly inferential conception and mapping accounts5Beyond Inconsistent Mathematics. (shrink)

What is the philosophical significance of the soundness and completeness theorems for first-order logic? In the first section of this paper I raise this question, which is closely tied to current debate over the nature of logical consequence. Following many contemporary authors' dissatisfaction with the view that these theorems ground deductive validity in model-theoretic validity, I turn to measurement theory as a source for an alternative view. For this purpose I present in the second section several of the key ideas (...) of measurement theory, and in the third and central section of the paper I use these ideas in an account of the relation between model theory, formal deduction, and our logical intuitions. (shrink)

Academia’s mathematical metaphysics are briefly explored en route to an elaboration of the qualitatively rigorous requirements underpinning the calibration and unambiguous interpretation of quantitative instrumentation in any science. Of particular interest are Gadamer’s emphases on number as the paradigm of the noetic, on the role of play in interpretation, and on Hegel’s sense of method as the activity of the thing itself that thought experiences. These point toward and overlap with (1) Latour’s study of the metrological social networks through which (...) technological phenomena are brought into language as modes of being that can be understood, and (2) the way that Rasch’s models for measurement comprise a potential beginning for metaphysically astute, qualitatively and quantitatively integrated, mathematical methods in the social sciences. The paper closes with observations on the general problem that is philosophy, the need to remain open to multiplicities of meaning even as clear understandings are sought and obtained. (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)

The aim of this paper is to undermine structural realism by testing the soundness of its three main theses. The first section presents the epistemic and ontic forms of structural realism. The following section defends that if scientific theories represent the structure of the world, structural realism needs a general account of representation. Representation is the crux of structural realism. Section 3 argues that structure/ontology distinction collapses. Mathematical structures are ontologyladen. Lastly, section 4 is devoted to analyse whether there is (...) a retention of mathematical structure across theory change. (shrink)

The formal methods of the representational theory of measurement (RTM) are applied to the extensive scales of physical science, with some modifications of interpretation and of formalism. The interpretative modification is in the direction of theoretical realism rather than the narrow empiricism which is characteristic of RTM. The formal issues concern the formal representational conditions which extensive scales should be assumed to satisfy; I argue in the physical case for conditions related to weak rather than strong extensive measurement, in the (...) sense of Holman 1969 and Colonius 1978. The problem of justifying representational conditions is addressed in more detail than is customary in the RTM literature; this continues the study of the foundations of RTM begun in an earlier paper. The most important formal consequence of the present interpretation of physical extensive scales is that the basic existence and uniqueness properties of scales (representation theorem) may be derived without appeal to an Archimedean axiom; this parallels a conclusion drawn by Narens for representations of qualitative probability. It is concluded that there is no physical basis for postulation of an Archimedean axiom. (shrink)

Single-case and long-run propensity theories are among the main objective interpretations of probability. There have been various objections to these theories, e.g. that it is difficult to explain why propensities should satisfy the probability axioms and, worse, that propensities are at odds with these axioms, that the explication of propensities is circular and accordingly not informative, and that single-case propensities are metaphysical and accordingly non-scientific. We consider various propensity theories of probability and their prospects in light of these objections. We (...) argue that while propensity theories face challenges, these challenges do not undermine their validity as prospective interpretations of probability in science. (shrink)

Relationist theories of space or space-time based on embedding of a physical relational system A into a corresponding geometrical system B raise problems associated with the degree of uniqueness of the embedding. Such uniqueness problems are familiar in the representational theory of measurement (RTM), and are dealt with by imposing a condition of uniqueness of embeddings up to composition with an "admissible transformation" of the space B. Friedman (1983) presents an alternative treatment of the uniqueness problem for embedding relationist theories, (...) developed independently of RTM. Friedman's approach differs from that of RTM in securing uniqueness by adding new primitives to the physical system A in contrast to the RTM approach which adds new axioms. Friedman's proposal has recently been developed and defended by Catton and Solomon (1988). This method of solving the uniqueness problem is here argued to be substantially inferior to the RTM method, both in practice and in principle. In practice we find that in none of the concrete examples offered to illustrate the method is the uniqueness problem actually solved in general. Moreover we find that in the most interesting case (addition to the system A of a finite number of relations of finite degree) the method is in principle incapable of success for mathematical reasons. In addition to these technical difficulties there are compelling methodological reasons for preferring the RTM method to the method of adding primitives. (shrink)

From recent writings of Brent Mundy and Michael Friedman we reconstruct two different representation-theoretic or embedding accounts of space-time relationalism, involving two different conditions on embeddings: respectively, uniqueness up to symmetry and uniqueness up to indistinguishability. We discuss the properties of these two accounts, and, with respect specifically to Friedman's projects, assess their merits and demerits.

Part II: Suppes and the mature theory. Representation and uniqueness.

"Accessibility" is a crucial concept of possible worlds semantics. The simplest approach to accessibility is the "magical theory" that construes this relation as analogous to spatial or temporal relations. In this paper I give a nonmagical structural account of the accessibility relation that can be used to give a necessitarian account of kinds and laws. Laws are characterized in a structural way as stable invariants of the world's gestalt. Finally, I point out how the structural approach can be embedded in (...) a general representational theory of modality. (shrink)

Interpretation plays a central role in using scientific models to explain natural phenomena: Meaning must be bestowed upon a model in terms of what it is and what it represents to be used for model explanations. However, it remains unclear how capacious and complex interpretation in models can be, particularly when conducted by the same group of scientists in the context of one explanatory project. This paper sheds light upon this question by examining modelling and explanatory practices related to the (...) Olami-Feder-Christensen model of earthquakes. This case study shows that various interpretations are intricately connected in the overall meaning of a model used for model explanations. This leads to a manifold picture of interpretation, according to which scientific models are construed as networks of interconnected meanings. As scientists ponder and integrate these various interpretations, guided by locally attended epistemic interests, they achieve model explanations with layers of content, both in their explanantia and explananda. (shrink)

This paper argues for the theoretical and practical validity of similarity as a useful epistemological tool in scientific knowledge generation, specifically in chemistry. Classical analyses of similarity in philosophy of science do not account for the concept’s practical significance in scientific activities. We recur to examples from chemistry to counter the claim of authors like Quine or Goodman to the effect that similarity must be excluded from scientific practices . In conclusion we argue that more recent conceptualizations of the notion (...) of similarity, particularly Giere’s one, are appropriate for a philosophical analysis that considers scientific practices on equal terms with scientific theory. (shrink)

The thesis of the empirical underdetermination of theories (U-thesis) maintains that there are incompatible theories which are empirically equivalent. Whether this is an interesting thesis depends on how the term incompatible is understood. In this paper a structural explication is proposed. More precisely, the U-thesis is studied in the framework of the model theoretic or emantic approach according to which theories are not to be taken as linguistic entities, but rather as families of mathematical structures. Theories of similarity structures are (...) studied as a paradigmatic case. The structural approach further reveals that the U-thesis is related to problems of uniqueness in the representational theory of measurement, questions of geometric conventionalism, and problems of structural underdetermination in mathematics. (shrink)