Scientific inquiry has led to immense explanatory and technological successes, partly as a result of the pervasiveness of scientific theories. Relativity theory, evolutionary theory, and plate tectonics were, and continue to be, wildly successful families of theories within physics, biology, and geology. Other powerful theory clusters inhabit comparatively recent disciplines such as cognitive science, climate science, molecular biology, microeconomics, and Geographic Information Science (GIS). Effective scientific theories magnify understanding, help supply legitimate explanations, and assist in formulating predictions. Moving from their (...) knowledge-producing representational functions to their interventional roles (Hacking 1983), theories are integral to building technologies used within consumer, industrial, and scientific milieus. -/- This entry explores the structure of scientific theories from the perspective of the Syntactic, Semantic, and Pragmatic Views. Each of these views answers questions such as the following in unique ways. What is the best characterization of the composition and function of scientific theory? How is theory linked with world? Which philosophical tools can and should be employed in describing and reconstructing scientific theory? Is an understanding of practice and application necessary for a comprehension of the core structure of a scientific theory? How are these three views ultimately related? (shrink)

A classification of models of reduction into three categories — theory reductionism, explanatory reductionism, and constitutive reductionism — is presented. It is shown that this classification helps clarify the relations between various explications of reduction that have been offered in the past, especially if a distinction is maintained between the various epistemological and ontological issues that arise. A relatively new model of explanatory reduction, one that emphasizes that reduction is the explanation of a whole in terms of its parts is (...) also presented in detail. Finally, the classification is used to clarify the debate over reductionism in molecular biology. It is argued there that while no model from the category of theory reduction might be applicable in that case, models of explanatory reduction might yet capture the structure of the relevant explanations. (shrink)

We inquire into the question whether the Aristotelean or classical \emph{ideal} of science has been realised by the Model Revolution, initiated at Stanford University during the 1950ies and spread all around the world of philosophy of science --- \emph{salute} P.\ Suppes. The guiding principle of the Model Revolution is: \emph{a scientific theory is a set of structures in the domain of discourse of axiomatic set-theory}, characterised by a set-theoretical predicate. We expound some critical reflections on the Model Revolution; the conclusions (...) will be that the philosophical problem of what a \emph{scientific theory} is has \emph{not} been solved yet --- \emph{pace} P.\ Suppes. While reflecting critically on the Model Revolution, we also explore a proposal of how to complete the Revolution and briefly address the intertwined subject of \emph{scientific representation}, which has come to occupy center stage in philosophy of science over the past decade. (shrink)

This is a comprehensive anthology of works concerning the nature of economics as a science, including classic texts and essays exploring specific branches and schools of economics. Apart from the classics, most of the selections in the third edition are new, as are the introduction and bibliography. No other anthology spans the whole field and offers a comprehensive introduction to questions about economic methodology.

This essay develops an inferential account of model explanation, based on Mauricio Suárez’s inferential conception of scientific representation and Alisa Bokulich’s counterfactual account of model explanation. It is suggested that the fact that a scientific model can explain is essentially linked to how a modeler uses an established model to make various inferences about the target system on the basis of results derived from the model. The inference practice is understood as a two-step activity, with the first step involving making (...) counterfactual statements about the model itself and the second step involving making hypothetical statements transferring over claims derived from the model onto the target. To illustrate how this two-step activity proceeds, an agent-based simulation model is discussed. (shrink)

Mark Wilson presents a highly original account of conceptual behavior that challenges many received views about concepts in analytic philosophy. Few attempts have been made to rationally reconstruct Wilson’s framework of patches and facades within a precise semantic framework. I will show how a modified version of the structuralist framework offers a semantic reconstruction of scientific theories capable of modeling Wilson’s ideas about conceptual behavior. Specifically, I will argue that Theory-Elements and a modified version of Theory-Nets explicate respectively Wilson’s patches (...) and facades. I will also demonstrate how several wandering phenomena described by Wilson can be adequately reconstructed within my framework. (shrink)

This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of (...) a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science. (shrink)

Daniel R. Brooks and E. O. Wiley have proposed a theory of evolution in which fitness is merely a rate determining factor. Evolution is driven by non-equilibrium processes which increase the entropy and information content of species together. Evolution can occur without environmental selection, since increased complexity and organization result from the likely capture at the species level of random variations produced at the chemical level. Speciation can occur as the result of variation within the species which decreases the probability (...) of sharing genetic information. Critics of the Brooks-Wiley theory argue that they have abused terminology from information theory and t thermodynamics. In this paper I review the essentials of the theory, and give an account of hierarchical physical information systems within which the theory can be interpreted. I then show how the major conceptual objections can be answered. (shrink)

In this paper, a modest version of the Semantic View is motivated as both tenable and potentially fruitful for philosophy of science. An analysis is proposed in which the Semantic View is characterized by three main claims. For each of these claims, a distinction is made between stronger and more modest interpretations. It is argued that the criticisms recently leveled against the Semantic View hold only under the stronger interpretations of these claims. However, if one only commits to the modest (...) interpretation for all the claims, then the view obtained, the Modest Semantic View, is tenable and fruitful for the philosophy of science. (shrink)

The incommensurability thesis, as introduced by T.S. Kuhn and P.K. Feyerabend, states that incommensurable theories are conceptually incompatible theories which share a common domain of application. Such claim has often been regarded as incoherent, since it has been understood that the determination of a common domain of application at least requires a certain degree of conceptual compatibility between the theories. The purpose of this work is to contribute to the defense of the notion of local or gradual incommensurability, as proposed (...) by late Kuhn. The application of this notion would allow to render the incommensurability thesis coherent. To support this view, a typical example of incommensurability will be formally analyzed by applying the structuralist metatheory developed, among others by W. Balzer, C.U. Moulines and J.D. Sneed. The structural reconstruction of the relation between the phlogiston theory and the oxygen theory offered here will reveal that they are locally incommensurable, and will even make possible to determine the ontological reduction relation that they also exemplify. (shrink)

The present paper argues that there is an affinity between Kuhn's "The Structure of Scientific Revolutions" and Wittgenstein's philosophy. It is maintained, in particular, that Kuhn's notion of paradigm draws on such Wittgensteinian concepts as language games, family resemblance, rules, forms of life. It is also claimed that Kuhn's incommensurability thesis is a sequel of the theory of meaning supplied by Wittgenstein's later philosophy. As such its assessment is not fallacious, since it is not an empirical hypothesis and it does (...) not have the relativistic implications Kuhn's critics repeatedly indicated. Although concepts are indeed relative to a language game or paradigm, interparadigmatic intelligibility is preserved through the standard techniques of translation or praxis. The impossibility of radical translation which is captured by the claim of incommensurability lies with that which cannot be said but only shown. (shrink)

Michael Weisberg’s account of scientific models concentrates on the ways in which models are similar to their targets. He intends not merely to explain what similarity consists in, but also to capture similarity judgments made by scientists. In order to scrutinize whether his account fulfills this goal, I outline one common way in which scientists judge whether a model is similar enough to its target, namely maximum likelihood estimation method. Then I consider whether Weisberg’s account could capture the judgments involved (...) in this practice. I argue that his account fails for three reasons. First, his account is simply too abstract to capture what is going on in MLE. Second, it implies an atomistic conception of similarity, while MLE operates in a holistic manner. Third, Weisberg’s atomistic conception of similarity can be traced back to a problematic set-theoretic approach to the structure of models. Finally, I tentatively suggest how these problems might be solved by a holistic approach in which models and targets are compared in a non-set-theoretic fashion. (shrink)

In this paper, a new account of empirical claims in structuralism is developed. Its novelty derives from the use that is made of the linguistic approach to scientific theories despite the presumed incompatibility of structuralism with that approach. It is shown how the linguistic approach can be applied to the framework of structuralism if the semantic foundations of that approach are refined to do justice to the doctrine of indirect interpretation of theoretical terms. This doctrine goes back to Carnap but (...) has been advanced until the present day without a proper semantic explanation. (shrink)

Frank Plumpton Ramsey (1903–30) made seminal contributions to philosophy, mathematics and economics. Whilst he was acknowledged as a genius by his contemporaries, some of his most important ideas were not appreciated until decades later; now better appreciated, they continue to bear an influence upon contemporary philosophy. His historic significance was to usher in a new phase of analytic philosophy, which initially built upon the logical atomist doctrines of Bertrand Russell and Ludwig Wittgenstein, raising their ideas to a new level of (...) sophistication, but ultimately he became their successor rather than remain a mere acolyte. (shrink)

The article discusses Friedman's classic claim that economics can be based on irrealistic assumptions. It exploits Samuelson's distinction between two "F-twists" (that is, "it is an advantage for an economic theory to use irrealistic assumptions" vs "the more irrealistic the assumptions, the better the economic theory"), as well as Nagel's distinction between three philosophy-of-science construals of the basic claim. On examination, only one of Nagel's construals seems promising enough. It involves the neo-positivistic distinction between theoretical and non-theoretical ("observable") terms; so (...) Friedman would in some sense argue for the major role of theoretical terms in economics. The paper uses a model-theoretic apparatus to refine the selected construal and check whether it can be made to support the claim. This inquiry leads to essentially negative results for both F-twists, and the final conclusion is that they are left unsupported. (shrink)

In 1880, when Oliver Wendell Holmes (later to be a Justice of the U.S. Supreme Court) criticized the logical theology of law articulated by Christopher Columbus Langdell (the first Dean of Harvard Law School), neither Holmes nor Langdell was aware of the revolution in logic that had begun, the year before, with Frege's Begriffsschrift. But there is an important element of truth in Holmes's insistence that a legal system cannot be adequately understood as a system of axioms and corollaries; and (...) this element of truth is not obviated by the more powerful logical techniques that are now available. (shrink)

According to Kuhn's speciation analogy, scientific specialisation is fundamentally analogous to biological speciation. In this paper, we extend Kuhn's original language-centred formulation of the speciation analogy, to account for episodes of scientific specialisation centred around methodological differences. Building upon recent views in evolutionary biology about the process of speciation by genetic divergence, we will show how these methodology-centred episodes of scientific specialisation can be understood as cases of specialisation driven by value divergence. We will apply our model of specialisation by (...) value divergence to an episode of methodology-centred scientific specialisation: the emergence of molecular biology. (shrink)

First, I discuss the older “theory-centered” and the more recent semantic conception of scientific theories. I argue that these two perspectives are nothing more than terminological variants of one another. I then offer a new theory-centered view of scientific theories. I argue that this new view captures the insights had by each of these earlier views, that it’s closer to how scientists think about their own theories, and that it better accommodates the phenomenon of inconsistent scientific theories.

The leitmotif of Mario Bunge’s work was that the philosophy of science should be informed by a comprehensive scientific philosophy, and vice versa; with both firmly rooted in realism and materialism. Now Bunge left such a big oeuvre, comprising more than 70 books and hundreds of articles, that it is impossible to review it in its entirety. In addition to biographical remarks, this obituary will therefore restrict itself to some select issues of his philosophy: his scientific metaphysics, his philosophy of (...) physics, his concept of mechanismic explanation, his philosophy of social science and technology, and his approach to the demarcation problem. The final section will explore why Bunge, despite the extent and depth of his work, has not achieved a more prominent status in the philosophical community. (shrink)

The interpretive plasticity of Kuhn’s philosophical work has been reinforced by readings informed by other philosophical, historiographic or sociological projects. This paper highlights several aspects of Kuhn’s work that have been neglected by such readings. First, Kuhn’s early contribution to several subsequent philosophical developments has been unduly neglected. Kuhn’s postscript discussion of “exemplars” should be recognized as one of the earliest versions of a conception of theories as “mediating models.” Kuhn’s account of experimental practice has also been obscured by readings (...) that assimilate his views to Quinean holism. Second, three distinctive Kuhnian themes have been insufficiently recognized. Kuhn’s challenge to received philosophical views has been domesticated by reading him as offering an alternative conception of scientific knowledge. Kuhn is better understood as rejecting knowledge-centric accounts altogether, in favor of understanding the practice of research. Kuhn’s conception of that activity, as conceptual “articulation,” has accordingly also not been given its due. Finally, Kuhn’s career-long insistence on the mutual accountability of philosophy of science and the philosophy of mind and language calls attention to the extent to which these fields have now drifted apart. (shrink)

Large part of contemporary science is in fact technoscience, in the sense that it crucially depends on several technologies for the generation, collection, and analysis of data. This prompts a re-examination of the relations between science and technologies. In this essay, I advance the view that we’d better move beyond the ‘subordination view’ and the ‘instrumental’ view. The first aims to establish the primacy of science over technology, and the second uses technology instrumentally to support a realist position about theoretical (...) entities. I suggest that we should instead concentrate on how science and technology interact. This will reveal that technology has a poietic character, namely it actively partakes in the production of knowledge. But this poietic character can only be understood within the cognitive activity of scientific communities. Current research in molecular epidemiology, notably the projects funded within the ‘European exposome initiative’, serves as a motivation for such discussion and as an illustration of the claims made. (shrink)

This paper aims to study the foundations of applied mathematics, using a formalized base theory for applied mathematics: ZFCAσ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathsf {ZFCA}_{\sigma }$$\end{document} with atoms, where the subscript used refers to a signature specific to the application. Examples are given, illustrating the following five features of applied mathematics: comprehension principles, application conditionals, representation hypotheses, transfer principles and abstract equivalents.

According to a seminal paper by Barsalou , frames are attribute-value-matrices for representing exemplars or concepts. Frames have been used as a tool for reconstructing scientific concepts as well as conceptual change within scientific revolutions . In the frame-based representations of scientific concepts developed so far the semantic content of concepts is determined by a set of attribute-specific values. This way of representing semantic content works best for prototype concepts and defined concepts of a conceptual taxonomy satisfying the no-overlap principle. (...) In addition to the semantic content of prototype concepts and defined concepts, frames can also contain empirical knowledge that is represented as constraints between the values of the frame. Beside prototype concepts and defined concepts, theoretical concepts that are multiply operationalized play an important role in science. However, so far no frame-based representation of theoretical concepts has been proposed. In this paper, it will be shown that theoretical concepts can be represented by frames and that frame-based representations of prototype concepts and defined concepts have another structure than frame-based representations of theoretical concepts. In order to explicate this difference, we will develop a frame-based method for representing all three kinds of concepts by means of mathematical graph-theory. One important consequence will be that the constraints of a frame representing a theoretical concept are entailed by the structure of the frame, as opposed to a frame representing defined or prototype concepts. (shrink)

Primarily addressed to readers unfamiliar with the structuralist approach in philosophy of science, we introduce the basic concepts that the contributions to this special issue presuppose. By means of examples, we briefly review set-theoretic structures and predicates, the potential and actual models of an empirical theory, intended applications, as well as links and specializations that are applied, among others, in reconstructing the empirical claim associated with a theory element.

In this paper, the (possible) role of model theory forstructuralism and structuralist definitions of ``reduction'' arediscussed. Whereas it is somewhat undecisive with respect tothe first point – discussing some pro's and con's ofthe model theoretic approach when compared with a syntacticand a structuralist one – it emphasizes that severalstructuralist definitions of ``reducibility'' do not providegenerally acceptable explications of ``reducibility''. This claimrests on some mathematical results proved in this paper.

This paper aims to set forth Carnapian structuralism, i.e., a syntactic view of the structuralist approach which is deeply inspired by Carnap’s dual level conception of scientific theories. At its core is the axiomatisation of a metatheoretical concept AE(T) which characterises those extensions of an intended application that are admissible in the sense of being models of the theory-element T and that satisfy all links, constraints and specialisations. The union of axiom systems of AE(T) (where T is an element of (...) the theory-net N) will allow us to present scientific theories in an axiomatic fashion so that deductive reasoning in science can be formalised. Thereupon defeasible and paraconsistent means of reasoning will be introduced. The logical study of scientific reasoning is the key motivation of Carnapian structuralism. A further motivation is to help overcome the syntactic-semantic split in the philosophy of science. (shrink)

Fundamentismus und Skeptizismus-Anarchismus sind zwei entgegengesetzte Positionen in der traditionellen Erkenntnistheorie und in der modernen Wissenschaftstheorie. Zwischen ihnen gibt es einen dritten Standpunkt, den Evolutionismus. Beispiele sind zwei neuere Arbeiten von Putnam und Stegmüller . Im Gegensatz zum logisch-statischen Fundamentismus berücksichtigt der Evolutionismus auch dynamische und naturalistische Ansätze. Stegmüller folgend entlehnen wir in der vorliegenden Untersuchung aus der Sprachphilosophie pragmatische Gesichtspunkte, um die logische Syntax und Semantik, die Werkzeuge des Fundamentismus, zu ersetzen. Wir zeigen die Kraft der Pragmatik bei der (...) Behandlung von Problemen wie Erkenntniswachstum, Begriffswechsel, Theorien- und Bedeutungsdynamik, wissenschaftliche Entdeckung und besonders beim Problem der Inkommensurabilität. Unser nicht-fundamentistischer Vorschlag ist ein heuristisches Modell, das auf der modernen genetischen Theorie basiert. (shrink)

In this article, we redefine classical notions of theory reduction in such a way that model-theoretic preferential semantics becomes part of a realist depiction of this aspect of science. We offer a model-theoretic reconstruction of science in which theory succession or reduction is often better - or at a finer level of analysis - interpreted as the result of model succession or reduction. This analysis leads to 'defeasible reduction', defined as follows: The conjunction of the assumptions of a reducing theory (...) T with the definitions translating the vocabulary of a reduced theory T' to the vocabulary of T, defeasibly entails the assumptions of reduced T'. This relation of defeasible reduction offers, in the context of additional knowledge becoming available, articulation of a more flexible kind of reduction in theory development than in the classical case. Also, defeasible reduction is shown to solve the problems of entailment that classical homogeneous reduction encounters. Reduction in the defeasible sense is a practical device for studying the processes of science, since it is about highlighting different aspects of the same theory at different times of application, rather than about naive dreams concerning a metaphysical unity of science. (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)

An account of physical explanation derived from the instance view of scientific explanation is outlined, and it is shown that this account does not cover explanations by theories which contain theoretical functions. An alternative account, also derived from the instance view, is proposed on the basis of Sneed's account of theories. It is shown that this account does cover theoretical explanations. Finally, it is shown that this account can accommodate explananda that record errors of measurement.

The structuralist program has developed a useful metascientific resource: ontological reductive links (ORLs) between the constituents of the potential models of reduced and reducing theories. This resource was developed initially to overcome an objection to structuralist ``global'' accounts of the intertheoretic reduction relation. But it also illuminates the way that concepts at a higher level of scientific investigation (e.g., cognitive psychology) become ``structured through reduction'' to lower-level investigations (e.g., cellular/molecular neuroscience). After (briefly) explaining this structuralist background, I demonstrate how this (...) resource illuminates an actual, emerging scientific example: the link between the psychological concept of a ``consolidation switch'' from short-term to long-term memory and the cellular/molecular mechanisms of the transition from early- to late-phases of long-term potentiation (LTP) (an important type of synaptic plasticity in mammalian hippocampus and cortex). (shrink)