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)

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

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)

Recently several philosophers of science have proposed what has come to be known as the semantic account of scientific theories. It is presented as an improvement on the positivist account, which is now called the syntactic account of scientific theories. Bas van Fraassen claims that the syntactic account does not give a satisfactory definition of empirical adequacy and empirical equivalence. He contends that his own semantic account does define these notations acceptably, through the concept of embeddability, a concept which he (...) claims cannot be defined syntactically. Here, I define a syntactic relation which corresponds to the semantic relation of embeddability. I suggest that the critical differences between the positivist account and van Fraassen's account have nothing to do with the distinction between semantics and syntax. (shrink)

Analytical categories of scientific cultures have typically been used both exclusively and universally. For instance, when /styles of scientific research/ are employed in attempts to understand and narrate science, styles alone are usually employed. This article is a thought experiment in interweaving categories. What would happen if rather than employ a single category, we instead investigated several categories simultaneously? What would we learn about the practices and theories, the agents and materials, and the political-technological impact of science if we analyzed (...) and applied styles (à la Hacking and Crombie), paradigms (à la Kuhn), and models (à la van Fraassen and Cartwright) simultaneously? I address these questions in general and for a specific case study: /a brief history of systematics/. (shrink)

Laudan's thesis that conceptual problem solving is at least as important as empirical problem solving in scientific research is given support by a study of the relation between the chromosome theory and the Mendelian research program. It will be shown that there existed a conceptual tension between the chromosome theory and the Mendelian program. This tension was to be resolved by changing the constraints of the Mendelian program. The relation between the chromosome theory and the Mendelian program is shown to (...) be a good illustration of the influence of science itself on the rational standards governing scientific development. (shrink)

Research Programme and Development of Science. For Imre Lakatos his methodology of scientific research programmes was not only a philosophical theory of science and scientific change but also the conceptual foundation of empirical and historical studies of science. At least terminologically this view is today widely accepted: The concept of a research programme is used in all sorts of literature on science. In the present paper I argue that this concept can lead to serious distortions of empirical and historical studies (...) of science if it is not detached from the Lakatosian philosophical framework. The methodology of scientific research programmes has three main pitfalls, which may lead to disorientations of empirical and historical studies of science: (1) Contrary to what the term "research programme" may suggest, it offers no perspective on scientific research as an object of analysis sui generis; (2) its concept of science is too narrow and covers only minor parts of what counts as science in the real world; (3) it reduces history of science to a mere sequence of research programmes and thereby eliminates the fact that there is an evolution of the structure of research programmes, too. (shrink)

Summary For Imre Lakatos hismethodology of scientific research programmes was not only a philosophical theory of science and scientific change but also the conceptual foundation of empirical and historical studies of science. At least terminologically this view is today widely accepted: The concept of aresearch programme is used in all sorts of literature on science. In the present paper I argue that this concept can lead to serious distortions of empirical and historical studies of science if it is not detached (...) from the Lakatosian philosophical framework. Themethodology of scientific research programmes has three main pitfalls, which may lead to disorientations of empirical and historical studies of science: (1) Contrary to what the term research programme may suggest, it offers no perspective on scientific research as an object of analysissui generis; (2) its concept of science is too narrow and covers only minor parts of what counts as science in the real world; (3) it reduces history of science to a mere sequence of research programmes and thereby eliminates the fact that there is an evolution of the structure of research programmes, too. (shrink)

Some peculiarities of the evaluation of theories within scientific research programmes (SRPs) and of the assessing of rival SRPs are described assuming that scientists try to maximise an 'epistemic utility function' under economic and institutional constraints. Special attention is given to Lakatos' concepts of 'empirical progress' and 'theoretical progress'. A notion of 'empirical verisimilitude' is defended as an appropriate utility function. The neologism 'methodonomics' is applied to this kind of studies.

Cognitive architectures - task-general theories of the structure and function of the complete cognitive system - are sometimes argued to be more akin to frameworks or belief systems than scientific theories. The argument stems from the apparent non-falsifiability of existing cognitive architectures. Newell was aware of this criticism and argued that architectures should be viewed not as theories subject to Popperian falsification, but rather as Lakatosian research programs based on cumulative growth. Newell's argument is undermined because he failed to demonstrate (...) that the development of Soar, his own candidate architecture, adhered to Lakatosian principles. This paper presents detailed case studies of the development of two cognitive architectures, Soar and ACT-R, from a Lakatosian perspective. It is demonstrated that both are broadly Lakatosian, but that in both cases there have been theoretical progressions that, according to Lakatosian criteria, are pseudo-scientific. Thus, Newell's defense of Soar as a scientific rather than pseudo-scientific theory is not supported in practice. The ACT series of architectures has fewer pseudo-scientific progressions than Soar, but it too is vulnerable to accusations of pseudo-science. From this analysis, it is argued that successive versions of theories of the human cognitive architecture must explicitly address five questions to maintain scientific credibility. (shrink)

This paper concerns the problem of how to give historical explanations of scientist's decisions to prefer one theory over another. It is argued that such explanations ought to contain only statements about the beliefs and preferences of the agents involved, and, in particular, ought not to include evaluative premises about the theories themselves. It is argued that Lakatos's attempt to build into such historical explanations premises of an evaluative kind is deficient. The arguments of Laudan to the effect that such (...) explanations depend crucially upon evaluative assumptions about the rationality or irrationality of decisions are examined. It is argued that they do not establish the need for such assumptions. Similar criticisms are then shown to be applicable to a version of the 'hermeneutical' model of explanation for human actions. (shrink)

A case study of the development of quantum field theory and of S-matrix theory, from their inceptions to the present, is presented. The descriptions of science given by Kuhn and by Lakatos are compared and contrasted as they apply to this case study. The episodes of the developments of these theories are then considered as candidates for competing research programs in Lakatos' methodology of scientific research programs. Lakatos' scheme provides a reasonable overall description and a plausible assessment of the relative (...) value of these two programs in terms of progressive and degenerating problem shifts. Also discussed are the roles of various types of models as they have been used in these areas of theoretical high-energy physics. (shrink)

In this paper I assess the obstacles to a transfer of Lakatos's methodology of scientific research programmes to mathematics. I argue that, if we are to use something akin to this methodology to discuss modern mathematics with its interweaving theoretical development, we shall require a more intricate construction and we shall have to move still further away from seeing mathematical knowledge as a collection of statements. I also examine the notion of rivalry within mathematics and claim that this appears to (...) be significant only at a high level. In addition, ideas of ‘progress’ in mathematics are outlined. (shrink)

Abstract The paper is an attempt to interpret Imre Lakatos's methodology of scientific research programmes (MSRP) on the basis of his mathematical methodology, the method of proofs and refutations (MPR). After sketching MSRP and MPR and analysing their relationship to Popper's and Poly a's work, I argue that MSRP was originally conceived as a methodology in the same sense as MPR. The most conspicuous difference between the two, namely that MSRP is fundamentally backward?looking, whereas MPR is primarily forward?looking, is due (...) to the fact that Lakatos could not carry out his project in the full sense. I also explain why he could not. (shrink)

In the first part of this article I investigated the Popperian roots of Lakatos's Proofs and Refutations, which was an attempt to apply, and thereby to test, Popper's theory of knowledge in a field-mathematics-to which it had not primarily been intended to apply. While Popper's theory of knowledge stood up gloriously to this test, the new application gave rise to new insights into the heuristic of mathematical development, which necessitated further clarification and improvement of some Popperian methodological maxims. In the (...) present part I analyze this second phase in the development of Lakatos's Popperian programme in mathematics, and its connection to the methodology of scientific research programmes. (shrink)

In this paper I explore possibilities of bringing post-positivist philosophies of empirical science to bear on the dynamics of mathematical development. This is done by way of a convergent accommodation of a mathematical version of Lakatos's methodology of research programmes, and a version of Kuhn's account of scientific change that is made applicable to mathematics by cleansing it of all references to the psychology of perception. The resulting view is argued in the light of two case histories of radical conceptual (...) innovations. (shrink)

Sometimes themes can be found in common across very different systems in which change occurs. Imre Lakatos developed a theory of change in science, and one involving entities visible at different levels. There are theories defended at a particular time, and there are also research programs, larger units that bundle together a sequence of related theories and within which many scientists may work. Research programs are competing higher-level units within a scientific field. Scientific change involves change within research programs, and (...) change in the ensemble of research programs present at a time, where some will be growing, some shrinking, some progressing, some degenerating. These are also themes in biological evolution. Recent biology has often found itself dealing with the relation between change at a level of "collectives" – such as organisms like us – and change at a lower level – the level of cells, genes, and other evolving parts. This work is continuous with an older discussion, one that arose when biological evolution was no more than a vague speculation, round the beginning of the 19th century. What is the living individual? What is the basic unit of life or living organization? Questions like this were pursued by Goethe, by Erasmus Darwin, the grandfather of Charles, and many others. Initially it was plants, especially, that were seen to raise these problems, and then newly described marine animals with strange life cycles. The discussion was influenced by the rise of the cell theory in the early 19th century, but some writers looked for individuals well below the level of the cell. (shrink)

This paper analyzes the main features of rational choice theory and evaluates it with respect to the conceptions of Lakatos' research program and Laudan's research tradition. The analysis reveals that the thin rationality assumption, the axiomatic method and the reduction to the micro level are the only features shared by all rational choice models. On these grounds, it is argued that rational choice theory cannot be characterized as a research program. This is due to the fact that the thin rationality (...) assumption cannot be understood as a hard core in Lakatos' terms. It is argued that Laudan's conception of a research tradition better characterizes rational choice theory. On the basis of this conclusion, certain important criticisms of rational choice theory are answered. First, the criticisms concerning the core assumptions of rational choice theory are countered. It is argued that this critique is based on a misunderstanding of rational choice theory as a unified set of models, such as Lakatos' research program. Second, Green and Shapiro's rational choice 'pathologies' - inconsistent predictions, post hoc theory development and arbitrary domain restrictions - are evaluated. Contrary to Green and Shapiro, it is argued that post hoc theory development is a more preferable strategy for developing RCT than domain restrictions based on ex ante rules. (shrink)

This note is intended to address one particular issue in the relative status of Quantum Chemistry in comparison to both Chemistry and Physics. It has been suggested, in the context of the question of the reduction relations between Chemistry and Physics that Quantum Chemistry as a research programme is incapable of furnishing useful guidance to practising chemists. If true, this claim will let us qualify Quantum Chemistry as a degenerating research programme, which, due to its complexity has difficulty to be (...) applied to Chemistry. This claim is shown to be false. The replacement claim I wish to make is that Quantum Chemistry is perfectly capable of furnishing such guidance, but renders the ontological status of many models favored by chemists problematic. Quantum Chemistry, however, validates these models in an instrumental fashion. I will argue that Quantum Chemistry is a progressive research programme. (shrink)

Lakatos, I. History of science and its rational reconstructions.--Clark, P. Atomism vs. thermodynamics.--Worrall, J. Thomas Young and the "rufutation" of Newtonian optics.--Musgrave, A. Why did oxygen supplant phlogiston?--Zahar, E. Why did Einstein's programme supersede Lorentz's?--Frické, M. The rejection of Avogadro's hypotheses.--Feyerabend, P. On the critique of scientific reason.

In this paper a model is presented for the growth of knowledge in a dynamic scientific system. A system which is in some respects an idealization of a Lakatosian research program. The kinematics of the system is described in terms of two probabilistic variables, one of which is related to the evolution of its theoretical component and the other--to the growth of the empirical component. It is shown that when the empirical growth is faster than the theoretical growth the posterior (...) probability of the theoretical component increases. Thus, empirical progressiveness of a research program, as explicated in this model, is accompanied by an increase in the degree of confirmation. In such a case the system grows in a Popperian-like spirit, while learning from experience in a Bayesian manner. (shrink)

: Heuristic is a central concept of Lakatos' philosophy both in his early works and in his later work, the methodology of scientific research programs (MSRP). The term itself, however, went through significant change of meaning. In this paper I study this change and the ‘metaphysical' commitments behind it. In order to do so, I turn to his mathematical heuristic elaborated in Proofs and Refutations. I aim to show the dialogical character of mathematical knowledge in his account, which can open (...) a door to hermeneutic studies of mathematical practice. (shrink)

Research programmes are sets of problems preferred on epistemic grounds and including preferred heuristics for inquiry. Charles Lyell's research programme for biogeograpy includes the problem of explaining the distribution of species constrained by laws governing locomotion and containment of species. Included in the programme are laws governing the supernatural introduction of replacement species. Wallace and Darwin derected arguments against the putative intelligibility of this aspect of Lyell's programme before discovering natural selection, and their defence, at this time of natural laws (...) governing the introduction of new species is interesting as a defence of a noval programme of research, not a defence of a proposed theroy. These arguments are presented and an epistemological foundation is offered for them. 1 The author is indebted to a referee for helpful comments on an earlier draft of this paper. (shrink)

Popper has provided a model for the scientific explanation of human actions and a metaphysical theory of man which can guide scientific research. In this paper I discuss the problems of the empirical content and nomicity of the Rationality Principle and extend the method of situational analysis to the problem of explaining beliefs. The domain of applicability of the Rationality Principle is bounded on one side by cases in which behavior is determined by processes which can not be influenced by (...) criticism and on the other side by the phenomenon of substantive creativity. However, a large part of human activity lies within its scope. (shrink)

Although, when first introduced, Copernicus's theory considered as a whole was not superior to the Ptolemaic theory according to any of the usual criteria for comparing theories and determining their acceptability, it did have features which provided the early Copernicans with good reasons for entertaining it and trying to develop it further. These features are discussed and then three plausibility considerations which seem to be operative in this case are formulated.

Recent research shows that research programmes (quantitative, qualitative and mixed) in education are not displaced (as suggested by Kuhn) but rather lead to integration. The objective of this study is to present a rationale for mixed methods (integrative) research programs based on contemporary philosophy of science (Lakatos, Giere, Cartwright, Holton, Laudan). This historical reconstruction of episodes from physical science (spanning a period of almost 300 years, 17 th to 20 th century) does not agree with the positivist image of science. (...) Quantitative data (empirical evidence) by itself, does not facilitate progress (despite widespread belief to the contrary), neither in the physical sciences nor in the social sciences (education) A historical reconstruction shows that both Piaget and Pascual-Leone's research programs in cognitive psychology, follow the Galilean idealisation quite closely, similar to the research programs of Newton, Mendeleev, Einstein, Thomson, Rutherford, Millikan and Perl in the physical sciences. This relationship does not imply that researchers in education have to emulate research in the physical sciences. A major argument in favor of mixed methods (integrative) research programs is that it provides a rationale for hypotheses, theories, guiding assumptions and presuppositions to compete and provide alternatives. Similar to the physical sciences, this proliferation of hypotheses leads to controversies and rivalries, and thus facilitates the decision making process of the scientific community. It is concluded that mixed methods research programs (not paradigms) in education can facilitate the construction of robust strategies, provided we let the problem situation (as studied by practicing researchers) decide the methodology. (shrink)

Summary This paper presents an immanent criticism of Lakatos' reconstruction of the degenerating phase of Bohr's atomic theory. That is to say, the historiographical methods used are exclusively of a Lakatosian kind. Such a closer Lakatosian look at the historical episode in question shows that Lakatos' own reconstruction is incorrect on three essential points. These are the role of the correspondence principle, the position of the hard core in Bohr's programme, and the presence of important novel predicted facts. I conclude (...) that these defects are irreparable within the framework of Lakatos' methodology of scientific research programmes. (shrink)

The problem of the critical assessment of theories across paradigms raised by Kuhn is not resolved, it is argued, either by Scheffler's appeal to initial credibility or by Lakatos' conception of a research program. It is argued further that, in these contexts, the notion of reasonable choice by individuals makes no sense. The conclusion supports Feyerabend's position of "epistemological anarchism.".

This paper addresses the intellectual motivation of some of those involved in the intelligent design movement. It identifies their concerns with the critique of the claim that Darwinism offers an adequate explanation of prima facie teleological features in biology, a critique of naturalism, and the concern on the part of some of these authors including Dembski, with the revival of 'Old Princeton' apologetics. It is argued that their work is interesting and is in principle intellectually legitimate. It is also suggested, (...) however, that it needs to be appraised qua 'research programme' (after the fashion of the early work of Lakatos), and that, seen in that light, what needs to be accomplished might seem daunting. (shrink)

This book offers a distinctive treatment of Hayek's ideas as a "research program". It presents a detailed account of aspects of Hayek's intellectual development and of problems that arise within his work, and then offers some broad suggestions as to ways in which the program initiated in his work might be developed further. The book discusses how Popper and Lakatos' ideas about "research programs" might be applied within political theory. There then follows a distinctive presentation of Hayek's intellectual development up (...) to The Road to Serfdom, together with critical engagement with his later ideas. The discussion draws on a full range of his writings, makes use of some neglected earlier work on social theory and law, and also draws on archival material. This book should appeal to anyone with an interest in Hayek's work, as well as to those with a concern for twentieth century intellectual history. (shrink)

economists. According to Rosenberg, Milton Friedman's positive methodology is being supplanted by Lakatos's methodology of scientific research programs (MSRP). At any rate, the Kuhnian wave of the seventies is being swallowed up by the Lakatosian program. (Redman 142) There have been a number of attempts to comprehend mainstream (bourgeois) economics as a Lakatosian research program, or as a set of competing research programs. (Latsis, ed. passim; de Marchi and Blaug, eds.)i In contrast, the extent to which the Marxian study of (...) capitalism can be interpreted from this perspective has hardly been explored.ii In the following sections some provisional steps in this direction will be taken. I shall first introduce a reading of Marx's Capital that emphasizes the systematic dialectic of economic categories unifying that work. I shall then ask whether we can arrive at a better understanding of Marx's systematic dialectic through considering how it contributes to a scientific research 1 program in Lakatos's sense of the term. Two other themes will arise along the way. Certain shortcomings in Lakatos's framework will be discussed. Also, a number of reasons for considering the Marxian research program superior to that of neoclassical economics will be mentioned. It should be stressed that the main topic of the present paper is the role of systematic dialectics in the Marxian research program. The other themes go far beyond the scope of single paper. Lakatos's work can be understood as a response to the dead-end of naive falsificationism. According to this simplistic methodology, theories are to be tested by deducing predictions from them and then determining whether the events predicted occur. If the predicted events do take place at some later time, this does not verify the validity of the theory. That would be to commit the fallacy of affirming the consequent; there may be many other theories that also lead to the prediction in question. In contrast, if the predicted events do not take place, that is sufficient to falsify the proposed theory.. (shrink)

Why did Copernicus's research programme supersede Ptolemy's?’, Lakatos and Zahar argued that, on Zahar's criterion for ‘novel fact’, Copernican theory was objectively scientifically superior to Ptolemaic theory. They are mistaken, Lakatos and Zahar applied Zahar's criterion to ‘a historical thought-experiment’—fictional rather than real history. Further, in their fictional history, they compared Copernicus to Eudoxus rather than Ptolemy, ignored Tycho Brahe, and did not consider facts that would be novel for geostatic theories. When Zahar's criterion is applied to real history, the (...) results are distinctly different. Finally, most of the historical and conceptual problems in applying Zahar's criterion to the Copernican Revolution primarily arise from a deep difficulty in Lakatos's programme: the necessity of individuating research programmes and identifying their originators. 1 Working closely with David Dahl was crucial in developing this paper. Robert Westman's valiant effort to keep me on the historical straight and narrow drastically limited my tendency to a priori historical pronouncements. The Vassar Philosophy Department, John Tompsich, and Jean Sterling were also helpful. (shrink)

In this paper we show that any reasoning process in which conclusions can be both fallible and corrigible can be formalized in terms of two approaches: (i) syntactically, with the use of defeasible reasoning, according to which reasoning consists in the construction and assessment of arguments for and against a given claim, and (ii) semantically, with the use of partial structures, which allow for the representation of less than conclusive information. We are particularly interested in the formalization of scientific reasoning, (...) along the lines traced by Lakatos’ methodology of scientific research programs. We show how current debates in cosmology could be put into this framework, shedding light on a very controversial topic. (shrink)

Bernard Lavor and John Kadvany argue that Lakatos’s Hegelian approach to the philosophy of mathematics and science enabled him to overcome all competing philosophies. His use of the approach Hegel developed in his Phenomenology enabled him to show how mathematics and science develop, how they are open-ended, and that they are not subject to rules, even though their rationality may be understood after the fact. Hegel showed Lakatos how to falsify the past to make progress in the present. A critique (...) based on normal standards of fairness and honesty finds this argument an attack on rationality. The similarity of the methods Lakatos used as a Stalinist politician and those he used as a philosopher are pointed out. The Hegelian interpretation of his philosophy is an excuse for his misdeeds. Key Words: Lakatos • Popper • Agassi • research program • historiography. (shrink)

It has often been argued, by philosophers and more recently by developmental psychologists, that our common-sense conception of the mind should be regarded as a scientific theory. However, those who advance this view rarely say much about what they take a scientific theory to be. In this paper, I look at one specific proposal as to how we should interpret the theory view of folk psychology--namely, by seeing it as having a structure analogous to that of a Lakatosian research program. (...) I argue that although the Lakatosian model may seem promising--particularly to those who are interested in studying the development of children's understanding of the mind--the analogy between Lakatosian research programs and folk psychology cannot be made good because folk psychology does not possess anything analogous to the positive heuristic of a Lakatosian research program. I also argue that Lakatos' account of theories may not be the best one for developmental psychologists to adopt because of the emphasis which Lakatos places on the social embeddedness of scientific theorising. (shrink)

Some peculiarities of the evaluation of theories within scientific research programmes (SRPs) and of the assessing of rival SRPs are described assuming that scientists try to maximise an ‘epistemic utility function’ under economic and institutional constraints. Special attention is given to Lakatos' concepts of ‘empirical progress’ and ‘theoretical progress’. A notion of ‘empirical verisimilitude’ is defended as an appropriate utility function. The neologism ‘methodonomics’ is applied to this kind of studies.

Gerhard Schurz [2001, Journal for General Philosophy of Science, 32, 65-107] has proposed to reconstruct auxiliary hypothesis addition, e.g., postulation of Neptune to immunize Newtonian mechanics, with concepts from non-monotonous inference to avoid the retention of false predictions that are among the consequence-set of the deductive model. However, the non-monotonous reconstruction retains the observational premise that is indeed rejected in the deductive model. Hence, his proposal fails to do justice to Lakatos' core-belt model, therefore fails to meet what Schurz coined (...) "Lakatos' challenge". It is argued that Lakatos's distinction between core and belt of a research program is not mapable onto premise-set and consequence-set and that Schurz's understanding of a ceteris paribus clause as a transfinite list of (absent) interfering factors is problematic. I propose a simple reading of Lakatos's use of the term ceteris paribus clause and motivate why the term hypothesis addition, despite not being interpretable literally, came to be entrenched. (shrink)

Much if not most recent literature in philosophy of biology concerns the extent to which biological theories conform to what is known as the "received" philosophical view of scientific theories, a descendant of the logical-empiricist view of theories. But the received view currently faces a competitor--a very different view of theories known as the "semantic" view. It is argued here that the semantic view is more sensitive to the nature and limitations of evolutionary theory than is the received view. In (...) particular, the semantic view better accomodates the fact that evolutionary theory is bound to change as a result of the evolutionary process itself. This unusual feature of evolutionary theory provides a good reason for reconsidering the received view and paying close attention to the semantic view. (shrink)

Recently some philosophers have urged that connectionist artificial intelligence is (potentially) eliminative for the propositional attitudes of folk psychology. At the same time, however, these philosophers have also insisted that since philosophy of science has failed to provide criteria distinguishing ontologically retentive from eliminative theory changes, the resulting eliminativism is not principled. Application of some resources developed within the semantic view of scientific theories, particularly recent formal work on the theory reduction relation, reveals these philosophers to be wrong in this (...) second contention, yet by and large correct in the first. (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)

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)

Paul Thompson, John Beatty, and Elisabeth Lloyd argue that attempts to resolve certain conceptual issues within evolutionary biology have failed because of a general adherence to the received view of scientific theories. They maintain that such issues can be clarified and resolved when one adopts a semantic approach to theories. In this paper, I argue that such conceptual issues are just as problematic on a semantic approach. Such issues arise from the complexity involved in providing formal accounts of theoretical laws (...) and scientific explanations. That complexity is due to empirical and pragmatic considerations, not one's adherence to a particular formal approach to theories. This analysis raises a broader question. How can any formal account properly represent the complex nature of empirical phenomena? (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)

The central concern of this paper is whether the Semantic Approach to theories has the resources to appropriately capture the core tenets of structural realism. Chakravartty, for example, has argued that a realist notion of correspondence cannot be accommodated without introducing a linguistic component which undermines the Approach itself. We suggest first of all, that this worry can be addressed by an appropriate understanding of the role of language with respect to the Semantic Approach. Secondly, we argue that an appropriately (...) structuralist account of representation can serve the structural realist’s needs. However, the real challenge, we feel, is whether a core notion of ‘explanatory approximate truth’ can be incorporated into this account and in such a way that the emphasis on structure is retained. The extent to which this challenge can be met is something on which even the authors are divided! (shrink)

Models occupy a central role in the scientific endeavour. Among the many purposes they serve, representation is of great importance. Many models are representations of something else; they stand for, depict, or imitate a selected part of the external world (often referred to as target system, parent system, original, or prototype). Well-known examples include the model of the solar system, the billiard ball model of a gas, the Bohr model of the atom, the Gaussian-chain model of a polymer, the MIT (...) bag model of quark confinement, the Lorenz model of the atmosphere, the Lotka-Volterra model of the predator-prey interaction, or the hydraulic model of an economy, to mention just a few. All these models represent their target systems (or selected parts of them) in one way or another. (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)

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)

There are two major approaches to the individuation of scientific theories, that have been called syntactic and semantic. We prefer to call them the linguistic and non-linguistic conceptions. On the linguistic view, also known as the received view, theories are identified with (pieces of) languages. On the non-linguistic view, theories are identified with extra-linguistic structures, known as models. We would like to distinguish between strong and weak formulations of each approach. On the strong version of the linguistic approach, theories are (...) identified with certain formal-syntactic calculi, whereas on a weaker reading, theories are merely analyzed as collections of claims or propositions. Correspondingly, the strong semantic approach identifies.. (shrink)

The semantic view of scientific theories has been defended as more adequate than the "received" view, especially with respect to biological theories. However, the semantic view has not been evaluated on its own terms. In this paper it is first shown how the theory of sociobiology propounded by E.O. Wilson can be understood on the semantic approach. The criticism that Wilson's theory is beset by the problem of unreliable generalizations is discussed. It is suggested that this problem results from the (...) use of the model-building strategy in theory construction. The author concludes that the problem is pressing enough to impugn the semantic view as an adequate account of sociobiological theory. (shrink)

Abstract Multiply realizable properties are those whose realizers are physically diverse. It is often argued that theories which contain them are ipso facto irreducible. These arguments assume that physical explanations are restricted to the most specific descriptions possible of physical entities. This assumption is descriptively false, and philosophically unmotivated. I argue that it is a holdover from the late positivist axiomatic view of theories. A semantic view of theories, by contrast, correctly allows scientific explanations to be couched in the most (...) perspicuous, powerful language available. On a semantic view, traditional notions of multiple realizability are thus very hard to motivate. At best, one must abandon either the idea that multiple realizability is an interesting scientific notion, or else admit that multiply realizable properties do not automatically block scientific reductions. Content Type Journal Article Pages 1-13 DOI 10.1007/s11098-011-9839-6 Authors Colin Klein, Department of Philosophy, University of Illinois at Chicago, 1420 University Hall, MC 267, 601 S Morgan St., Chicago, IL 60607, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

According to the semantic view, a theory is characterized by a class of mod- els. In this paper, we examine critically some of the assumptions that underlie this approach. First, we recall that models are models of something. Thus we cannot leave completely aside the axiomatization of the theories under consider- ation, nor can we ignore the metamathematics used to elaborate these models, for changes in the metamathematics often impose restrictions on the resulting models. Second, based on a parallel between (...) van Fraassen’s modal interpre- tation of quantum mechanics and Skolem’s relativism regarding set-theoretic concepts, we introduce a distinction between relative and absolute concepts in the context of the models of a scientific theory. And we discuss the significance of that distinction. Finally, by focusing on contemporary particle physics, we raise the question: since there is no general accepted unification of the parts of the standard model (namely, QED and QCD), we have no theory, in the usual sense of the term. This poses a difficulty: if there is no theory, how can we speak of its models? What are the latter models of? We conclude by noting that it is unclear that the semantic view can be applied to contemporary physical theories. (shrink)

Abstract. This paper examines the impact of two formalizations of evolutionary biology on the antiselectionist critiques of the Intelligent Design (ID) movement. It looks first at attempts to apply the syntactic framework of the physical sciences to biology in the twentieth century, and to their effect upon the ID movement. It then examines the more heuristic account of biological-theory structure, namely, the semantic model. Finally, it concludes by advocating the semantic conception and emphasizing the problems that the semantic model creates (...) for ID's negative and positive theses. (shrink)