According to the semantic view of scientific theories, theories are classes of models. I show that this view -- if taken seriously as a formal explication -- leads to absurdities. In particular, this view equates theories that are truly distinct, and it distinguishes theories that are truly equivalent. Furthermore, the semantic view lacks the resources to explicate interesting theoretical relations, such as embeddability of one theory into another. The untenability of the semantic view -- as currently formulated -- threatens to (...) undermine scientific structuralism. (shrink)

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

Based on da Costa's and French's notions of partial structures and pragmatic truth, this paper examines two possible characterizations of the concept of empirical adequacy, one depending on the notion of partial isomorphism, the other on the hierarchy of partial models of phenomena, and both compatible with an empiricist view. These formulations can then be employed to illuminate certain aspects of scientific practice.An empirical theory must single out a specific part of the world, establish reference to that part, and say—by (...) way of contingent, substantial claim about the world—that its models fit that. Now, how exactly can this be done? Bas C. van Fraassen. (shrink)

Halvorson argues that the semantic view of theories leads to absurdities. Glymour shows how to inoculate the semantic view against Halvorson's criticisms, namely by making it into a syntactic view of theories. I argue that this modified semantic-syntactic view cannot do the philosophical work that the original "language-free" semantic view was supposed to do.

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)

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

Halvorson argues through a series of examples and a general result due to Myers that the “semantic view” of theories has no available account of formal theoretical equivalence. De Bouvere provides criteria overlooked in Halvorson’s paper that are immune to his counterexamples and to the theorem he cites. Those criteria accord with a modest version of the semantic view that rejects some of Van Fraassen’s apparent claims while retaining the core of Patrick Suppes’s proposal. I do not endorse any version (...) of the semantic view of theories. (shrink)

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

Achinstein, Putnam, and others have urged the rejection of the received view on theories (which construes theories as axiomatic calculi where theoretical terms are given partial observational interpretations by correspondence rules) because (i) the notion of partial interpretation cannot be given precise formulation, and (ii) the observational-theoretical distinction cannot be drawn satisfactorily. I try to show that these are the wrong reasons for rejecting the received view since (i) is false and it is virtually impossible to demonstrate the truth of (...) (ii). Nonetheless, the received view should be rejected because it obscures a number of epistemologically important features of scientific theorizing. I show this by sketching an alternative analysis which reveals some of these features and gives a more faithful picture of scientific theorizing. (shrink)

The positivistic Received View construed scientific theories syntactically as axiomatic calculi where theoretical terms were given a partial semantic interpretation via correspondence rules connecting them to observation statements. This paper assesses what, with hindsight, seem the most important defects in the Received View; surveys the main proposed successor analyses to the Received View--various Semantic Conception versions and the Structuralist Analysis; evaluates how well they avoid those defects; examines what new problems they face and where the most promising require further development (...) or leave unanswered questions; explores implications of recent work on models for understanding theories; and rebuts the few criticisms of the Semantic Conception that have surfaced. (shrink)

This paper explores a new reason for preferring a model-theoretic approach to understanding the nature of scientific theories. Identifying the models in philosophers' model-theoretic accounts of theories with the concepts in cognitive scientists' accounts of categorization suggests a structure to families of models far richer than has commonly been assumed. Using classical mechanics as an example, it is argued that families of models may be "mapped" as an array with "horizontal" graded structures, multiply hierarchical "vertical" structures, and local "radial" structures. (...) These structures promise important implications for how scientific theories are learned and used in actual scientific practice. (shrink)

En este artículo se arguye que pueden distinguirse cuatro tipos fundamentales de estructuras diacrónicas en la ciencia y que estos cuatro tipos pueden representarse formalmente mediante una versión refinada del aparato del estructuralismo metateórico. Los cuatro tipos pueden describirse como: cristalización, evolución teórica, incrustación y suplantación con inconmensurabilidad . Ellos se elucidan primeramente en términos intuitivos, informales, y se sugieren algunos ejemplos históricos . En la segunda parte del ensayo, los cuatro tipos se caracterizan formalmente en términos estructuralistas; en ello (...) tienen un papel central las nociones de subestructura parcial escalonada y de red teórica diacrónica. Se exponen los ejemplos del desarrollo de la termodinámica fenomenológica de Clausius como caso de cristalización, y de la mecánica newtoniana y de la termodinámica gibbsiana como casos de evolución teórica. (shrink)

During the last ten years John Beatty, Elisabeth Lloyd and I have argued that the semantic conception of theories is, in the context of biological theorizing, a richer conception of theory structure than the syntactic ("received view") conception. Specifically, I have argued semantic conception of theory structure better represents the structure of evolutionary theory and the relationship of this theory to phenomena. One aspect of the semantic conception that is in need of greater attention is the nature of explanation on (...) this conception. In this paper, I argue that the semantic conception provides a richer mo accurate account of scientific explanation, in particular, of evolutionary explanations. In essence, I argue that explanation involves an appeal to numerous theories in addition to the putative explanatory theory. Employment of these theories is not formally possible in a syntactic conception but is in a semantic conception. (shrink)

It is the Introduction to Metatheoria’s Special Issue in homage to Joseph D. Sneed, in the fortieth anniversary of the publication of Sneed’s The Logical Structure of Mathematical Physics (Dordrecht: Reidel, 1971, 2nd revised ed. 1979) first edition, which marks the birth of metatheoretical structuralism.