The debate between critics of syntactic and semantic approaches to the formalization of scientific theories has been going on for over 50 years. I structure the debate in light of a recent exchange between Hans Halvorson, Clark Glymour, and Bas van Fraassen and argue that the only remaining disagreement concerns the alleged difference in the dependence of syntactic and semantic approaches on languages of predicate logic. This difference turns out to be illusory.

What is it reasonable to believe about our most successful scientific theories such as the general theory of relativity or quantum mechanics? That they are true, or at any rate approximately true? Or only that they successfully ‘save the phenomena’, by being ‘empirically adequate’? In earlier work I explored the attractions of a view called Structural Scientific Realism (hereafter: SSR). This holds that it is reasonable to believe that our successful theories are (approximately) structurally correct (and also that this is (...) the strongest epistemic claim about them that it is reasonable to make). In the first part of this paper I shall explain in some detail what this thesis means and outline the reasons why it seems attractive. The second section outlines a number of criticisms that have none the less been brought against SSR in the recent (and as we shall see, in some cases, not so recent) literature; and the third and final section argues that, despite the fact that these criticisms might seem initially deeply troubling (or worse), the position remains viable. (shrink)

`Quantum theory' is not a single physical theory but a framework in which many different concrete theories fit. As such, a solution to the quantum measurement problem ought to provide a recipe to interpret each such concrete theory, in a mutually consistent way. But with the exception of the Everett interpretation, the mainextant solutions either try to make sense of the abstract framework as if it were concrete, or else interpret one particular quantum theory under the fiction that it is (...) fundamental and exact. In either case, these approaches are unable to help themselves to the very theory-laden, level-relative ways in which quantum theory makes contact with experiment in mainstream physics, and so are committed to major revisionary projects which have not been carried out even in outline. As such, only the Everett interpretation is currently suited to make sense of quantum physics as we find it. (shrink)

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

Coherent, well organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition; Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories in both discussion and exercises. Ideal for undergraduates; no background in math or philosophy required.

This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still not generally discussed in philosophy of science. The authors focus mainly on the role played by the underlying formal apparatuses employed in the construction of the models of scientific theories, relating the discussion with the so-called semantic approach to scientific theories. The book (...) describes the role played by this metamathematical framework in three main aspects: considerations of formal languages employed to axiomatize scientific theories, the role of the axiomatic method itself, and the way set-theoretical structures, which play the role of the models of theories, are developed. The authors also discuss the differences and philosophical relevance of the two basic ways of aximoatizing a scientific theory, namely Patrick Suppes’ set theoretical predicates and the "da Costa and Chuaqui" approach. This book engages with important discussions of the nature of scientific theories and will be a useful resource for researchers and upper-level students working in philosophy of science. (shrink)

In this systematic study, Professor Achinstein analyzes such concepts as definitions, theories, and models, and contrasts his view with currently held positions that he finds inadequate.

The Ramsey-sentence H* of any hypothesis H is shown to be a synthetic proposition containing mathematics as a finite component. Far from being quasi-tautological, H* proves to have as much physical content as H itself.

Quantum mechanics, and classical mechanics, are framework theories that incorporate many different concrete theories which in general cannot be arranged in a neat hierarchy, but discussion of ‘the ontology of quantum mechanics’ tends to proceed as if quantum mechanics were a single concrete theory, specifically the physics of nonrelativistically moving point particles interacting by long-range forces. I survey the problems this causes and make some suggestions for how a more physically realistic perspective ought to influence the metaphysics of quantum mechanics.

Quantum mechanics, and classical mechanics, are framework theories that incorporate many different concrete theories which in general cannot be arranged in a neat hierarchy, but discussion of ‘the ontology of quantum mechanics’ tends to proceed as if quantum mechanics were a single concrete theory, specifically the physics of nonrelativistically moving point particles interacting by long-range forces. I survey the problems this causes and make some suggestions for how a more physically realistic perspective ought to influence the metaphysics of quantum mechanics.

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).

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)

Thirty years after the conference that gave rise to The Structure of Scientific Theories, there is renewed interest in the nature of theories and models. However, certain crucial issues from thirty years ago are reprised in current discussions; specifically: whether the diversity of models in the science can be captured by some unitary account; and whether the temporal dimension of scientific practice can be represented by such an account. After reviewing recent developments we suggest that these issues can be accommodated (...) within the partial structures formulation of the semantic or model-theoretic approach. (shrink)

Several recent works in history and philosophy of science have re-evaluated the alleged opposition between the theses put forth by logical empiricists such as Carnap and the so-called "post-positivists", such as Kuhn. Although the latter came to be viewed as having seriously challenged the logical positivist views of science, recent authors maintain that some of the most notable theses of the Kuhnian view of science have striking similarities with some aspects of Carnap's philosophy. Against that reading, Oliveira and Psillos argue (...) that within Carnap's philosophy there is no place for the Kuhnian theses of incommensurability, holism, and theory-ladenness of observations. This paper presents each of those readings and argues that Carnap and Kuhn have non-opposing views on holism, incommensurability, the theory-ladenness of observations, and scientific revolutions. We note at the very end - without dwelling on the point, however - that they come apart on other matters, such as their views on metaphysics and on the context of discovery/justification distinction. (shrink)

This work examines whether the environmentally-induced decoherence approach in quantum mechanics brings us any closer to solving the measurement problem, and whether it contributes to the elimination of subjectivism in quantum theory. A distinction is made between ,collapse, and ,decoherence,, so that an explanation for decoherence does not imply an explanation for collapse. After an overview of the measurement problem and of the open-systems paradigm, we argue that taking a partial trace is equivalent to applying the projection postulate. A criticism (...) of Zurek's decoherence approach to measurements is also made, based on the restriction that he must impose on the interaction between apparatus and environment. We then analyze the element of subjectivity involved in establishing the boundary between system and environment, and criticize the incorporation of Everett's branching of memory records into the decoherence research program. Sticking to this program, we end by sketching a proposal for ‘environmentally-induced collapse’. (shrink)

On the basis of the Suppes–Sneed structuralview of scientific theories, we take a freshlook at the concept of refutability,which was famously proposed by K.R. Popper in 1934 as a criterion for the demarcation of scientific theories from non-scientific ones, e.g., pseudo-scientificand metaphysical theories. By way of an introduction we argue that a clash between Popper and his critics on whether scientific theories are, in fact, refutablecan be partly explained by the fact Popper and his criticsascribed different meanings to the term (...) theoryThen we narrow our attention to one particular theory,namely quantum mechanics, in order to elucidate general matters discussed. We prove that quantum mechanics is irrefutable in a rather straightforward sense, but argue that it is refutable in a more sophisticated sense, which incorporates someobservations obtained by looking closely at the practiceof physics. We shall locate exactly where non-rigourous elements enter the evaluation of a scientific theory – thismakes us see clearly how fruitful mathematics isfor the philosophy of science. (shrink)

The aim of this essay is to distinguish and analyze several difficulties confronting attempts to reconcile the fundamental quantum mechanical dynamics with Born''s rule. It is shown that many of the proposed accounts of measurement fail at least one of the problems. In particular, only collapse theories and hidden variables theories have a chance of succeeding, and, of the latter, the modal interpretations fail. Any real solution demands new physics.

I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (shrink)

In this paper we discuss two approaches to the axiomatization of scientific theories in the context of the so called semantic approach, according to which (roughly) a theory can be seen as a class of models. The two approaches are associated respectively to Suppes’ and to da Costa and Chuaqui’s works. We argue that theories can be developed both in a way more akin to the usual mathematical practice (Suppes), in an informal set theoretical environment, writing the set theoretical predicate (...) in the language of set theory itself or, more rigorously (da Costa and Chuaqui), by employing formal languages that help us in writing the postulates to define a class of structures. Both approaches are called internal , for we work within a mathematical framework, here taken to be first-order ZFC. We contrast these approaches with an external one, here discussed briefly. We argue that each one has its strong and weak points, whose discussion is relevant for the philosophical foundations of science. (shrink)

A case for the project of excising of confusion and obfuscation in the contemporary quantum theory initiated and promoted by David Deutsch has been made. It has been argued that at least some theoretical entities which are conventionally labelled as “interpretations” of quantum mechanics are in fact full-blooded physical theories in their own right, and as such are falsifiable, at least in principle. The most pertinent case is the one of the so-called “Many-Worlds Interpretation” (MWI) of Everett and others. This (...) set of idea differs from other “interpretations” since it does not accept reality of the collapse of Schrödinger’s wavefunction. A survey of several important proposals for discrimination between quantum theories with and without wavefunction collapse appearing from time to time in the literature has been made, and the possibilities discussed in the framework of a wider taxonomy. (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)

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)

This chapter contains sections titled: Introduction The Once Received View (ORV) Criticisms of the ORV The “Model Model” of Scientific Theories Mechanisms: Investigating Nonformal Patterns in Scientific Theories Conclusion.

Thirty years after the conference that gave rise to The Structure of Scientific Theories, there is renewed interest in the nature of theories and models. However, certain crucial issues from thirty years ago are reprised in current discussions; specifically: whether the diversity of models in the science can be captured by some unitary account; and whether the temporal dimension of scientific practice can be represented by such an account. After reviewing recent developments we suggest that these issues can be accommodated (...) within the partial structures formulation of the semantic or model-theoretic approach. (shrink)

Structural Realism (SSR), as embodied in the Ramsey-sentence H of a theory H, is defended against the view that H reduces to a trivial statement about the cardinally of the domain of H, a view which arises from ignoring the central role of observation within science. Putnam's theses are examined and shown to support rather than undermine SSR. Finally: in view of its synthetic character, applied mathematics must enter into the formulation of H and hence to be shown axiomatisable; this (...) is done in the Appendix, which is the most important part of the paper. (shrink)

In this paper we examine some proposals to disprove the hypothesis that the interaction between mind and matter causes the collapse of the wave function, showing that such proposals are fundamentally flawed. We then describe a general experimental setup retaining the key features of the ones examined, and show that even a more general case is inadequate to disprove the mind-matter collapse hypothesis. Finally, we use our setup provided to argue that, under some reasonable assumptions about consciousness, such hypothesis is (...) unfalsifiable. (shrink)

The semantic view of theoriesis one according to which theoriesare construed as models of their linguisticformulations. The implications of thisview for scientific realism have been little discussed. Contraryto the suggestion of various champions of the semantic view,it is argued that this approach does not makesupport for a plausible scientific realism anyless problematic than it might otherwise be.Though a degree of independence of theory fromlanguage may ensure safety frompitfalls associated with logical empiricism, realism cannot be entertained unless models or (abstractedand/or idealized) (...) aspects thereof are spelled out in terms of linguistic formulations (such as mathematical equations),which can be interpreted in terms of correspondencewith the world. The putative advantage of thesemantic approach – its linguistic independence – isthus of no help to the realist. I consider recent treatmentsof the model-theoretic view (Suppe, Giere, Smith), and find that although some of these accounts harbour the promiseof realism, this promise is deceptive. (shrink)

Metaphysicians should pay attention to quantum mechanics. Why? Not because it provides definitive answers to many metaphysical questions-the theory itself is remarkably silent on the nature of the physical world, and the various interpretations of the theory on offer present conflicting ontological pictures. Rather, quantum mechanics is essential to the metaphysician because it reshapes standard metaphysical debates and opens up unforeseen new metaphysical possibilities. Even if quantum mechanics provides few clear answers, there are good reasons to think that any adequate (...) understanding of the quantum world will result in a radical reshaping of our classical world-view in some way or other. Whatever the world is like at the atomic scale, it is almost certainly not the swarm of particles pushed around by forces that is often presupposed. This book guides readers through the theory of quantum mechanics and its implications for metaphysics in a clear and accessible way. The theory and its various interpretations are presented with a minimum of technicality. The consequences of these interpretations for metaphysical debates concerning realism, indeterminacy, causation, determinism, holism, and individuality are explored in detail, stressing the novel form that the debates take given the empirical facts in the quantum domain. While quantum mechanics may not deliver unconditional pronouncements on these issues, the range of possibilities consistent with our knowledge of the empirical world is relatively small-and each possibility is metaphysically revisionary in some way. This book will appeal to researchers, students, and anybody else interested in how science informs our world-view. (shrink)

Quantum field theory (QFT) combines quantum mechanics with Einstein's special theory of relativity and underlies elementary particle physics. This book presents a philosophical analysis of QFT. It is the first treatise in which the philosophies of space-time, quantum phenomena, and particle interactions are encompassed in a unified framework. Describing the physics in nontechnical terms, and schematically illustrating complex ideas, the book also serves as an introduction to fundamental physical theories. The philosophical interpretation both upholds the reality of the quantum world (...) and acknowledges the irreducible cognitive elements in its representation. The interpretation is based on an analysis of our ways of thinking as the are embedded in the logical structure of QFT. The author argues that philosophical categories are significant only if they play active and essential roles in our knowledge and hence constitute part of the theories in actual use. Thus she regards physical theories as primary, extracts their categorical structure, and uses it to rethink key philosophical questions. Among the questions this book tries to answer are: What are the quantum properties independent of measurements? How do we refer to individual things in a continuous field? How do theories relate to objects? What are the general conditions of the world and of our ways of thinking that make possible our knowledge of the microscopic realm, which is so intangible and counterintuitive? As a penetrating analysis of vital themes in contemporary science, the book will engage the interest of students and professionals in physics and philosophy alike. (shrink)

When we speak about different interpretations of quantum mechanics it is suggested that there is one single quantum theory that can be interpreted in different ways. However, after an explicit characterization of what it is to interpret quantum mechanics, the right diagnosis is that we have a case of predictively equivalent rival theories. I extract some lessons regarding the resulting underdetermination of theory choice. Issues about theoretical identity, theoretical and methodological pluralism, and the prospects for a realist stance towards quantum (...) theory can be properly addressed once we recognize that interpretations of quantum mechanics are rival theories. (shrink)

This is a new volume of original essays on the metaphysics of quantum mechanics. The essays address questions such as: What fundamental metaphysics is best motivated by quantum mechanics? What is the ontological status of the wave function? Does quantum mechanics support the existence of any other fundamental entities, e.g. particles? What is the nature of the fundamental space of quantum mechanics? What is the relationship between the fundamental ontology of quantum mechanics and ordinary, macroscopic objects like tables, chairs, and (...) persons? This collection includes a comprehensive introduction with a history of quantum mechanics and the debate over its metaphysical interpretation focusing especially on the main realist alternatives. (shrink)