Structural realism is considered by many realists and antirealists alike as the most defensible form of scientific realism. There are now many forms of structural realism and an extensive literature about them. There are interesting connections with debates in metaphysics, philosophy of physics and philosophy of mathematics. This entry is intended to be a comprehensive survey of the field.

In The Uses of Argument, Stephen Toulmin proposed a model for the layout of arguments: claim, data, warrant, qualifier, rebuttal, backing. Since then, Toulmin’s model has been appropriated, adapted and extended by researchers in speech communications, philosophy and artificial intelligence. This book assembles the best contemporary reflection in these fields, extending or challenging Toulmin’s ideas in ways that make fresh contributions to the theory of analysing and evaluating arguments.

Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress, pragmatism and belief revision.

This paper defends two related claims about belief. First, the claim that unlike numerical degrees of belief, comparative beliefs are primitive and psychologically real. Second, the claim that the fundamental norm of Probabilism is not that numerical degrees of belief should satisfy the probability axioms, but rather that comparative beliefs should satisfy certain constraints.

This paper discusses a challenge for Comparativists about belief, who hold that numerical degree of belief (in particular, subjective probability) is a useful fiction, unlike comparative belief, which they regard as real. The challenge is to make sense of claims like ‘I am twice as confident in A as in B’ in terms of comparative belief only. After showing that at least some Comparativists can meet this challenge, I discuss implications for Zynda’s [2000] and Stefánsson’s [2017] defences of Comparativism.

The paper builds on the basically Humean idea that A is a cause of B iff A and B both occur, A precedes B, and A raises the metaphysical or epistemic status of B given the obtaining circumstances. It argues that in pursuit of a theory of deterministic causation this ‘status raising’ is best explicated not in regularity or counterfactual terms, but in terms of ranking functions. On this basis, it constructs a rigorous theory of deterministic causation that successfully deals (...) with cases of overdetermination and pre-emption. It finally indicates how the account's profound epistemic relativization induced by ranking theory can be undone. Introduction Variables, propositions, time Induction first Causation Redundant causation Objectivization. (shrink)

I explore a type of computational social simulation known as artificial societies. Artificial society simulations are dynamic models of real-world social phenomena. I explore the role that these simulations play in social explanation, by situating these simulations within contemporary philosophical work on explanation and on models. Many contemporary philosophers have argued that models provide causal explanations in science, and that models are necessary mediators between theory and data. I argue that artificial society simulations provide causal mechanistic explanations. I conclude that (...) in their current form, these simulations are based on methodologically individualist assumptions that could limit their potential scope of social explanation. (shrink)

This volume is the record of a symposium on the structer of scientific theories held in urbana, Illinois in the spring of 1969. ofSeven main papers, commentaries, discussions, and a postscript form the bulk of the book. The rest is a nearly 240-page monograph-in-the-guise-of-an-introduction by the editor titled “The Search for Philosophic Understanding of Scientific Theories”.

The issue of what consequences to draw from the existence of non-classical logical systems has been the subject of an interesting debate across a diversity of fields. In this paper the matter of alternative logics is considered with reference to a specific belief system and its propositions :the Azande are said to maintain beliefs about witchcraft which, when expressed propositionally, appear to be inconsistent. When the Azande have been presented with such inconsistencies, they either fail to see them as such (...) or else accept them as non-problematical. Is our knowledge of logical truths a relative and culturally determined phenomenon, or is there some (transcendent) criterion that allows us to adjudicate between alternative logical systems? The authors propose an approach for resolving disputes about the status of Azande reasoning which assumes a paraconsistent framework, thus providing a new perspective on this debate. (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)

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)

On our ordinary representations of space, space is composed of indivisible, dimensionless points; extended regions are understood as infinite sets of points. Region-based theories of space reverse this atomistic picture, by taking as primitive several relations on extended regions, and recovering points as higher-order abstractions from regions. Over the years, such theories have focused almost exclusively on the topological and geometric structure of space. We introduce to region-based theories of space a new primitive binary relation (‘qualitative probability’) that is tied (...) to _measure_. It expresses that one region is _smaller than or equal in size_ to another. Algebraic models of our theory are _separation_ _σ_-_algebras with qualitative probability_: \((\mathbb {B}, \ll, \preceq )\), where \(\mathbb {B}\) is a Boolean _σ_-algebra, ≪ is a separation relation on \(\mathbb {B}\), and ≼ is a qualitative probability on \(\mathbb {B}\). We show that from algebraic models of this kind we can, in an interesting class of cases, recover a compact Hausdorff topology _X_, together with a countably additive measure _μ_ on a _σ_-field of Borel subsets of that topology, and that \((\mathbb {B}, \ll, \preceq )\) is isomorphic to a ‘standard model’ arising out of the pair (_X_, _μ_). It follows from one of our main results that any closed ball in Euclidean space, \(\mathbb {R}^{n}\), together with Lebesgue measure arises in this way from a separation _σ_-algebra with qualitative probability. (shrink)

Several case studies and theoretical reports indicate that the structuralist concept of a constraint has a central role in the reconstruction of physical theories. It is surprising that there is, in the literature, only little theoretical discussion on the relevance of constraints for the reconstruction of social scientific theories. Almost all structuralist reconstructions of social theorizing are vacuously constrained. Consequently, constraints are methodologically irrelevant.In this paper I try to show that there really exist constraint-type assumptions in mathematical modelling in the (...) social sciences. Methodologically constraints have exactly the same role in the context of social mathematical modelling as they have in physical theories. In typical cases of mathematical modelling in the social sciences, the related constraints work as empirical hypotheses and should be tested by statistical means. (shrink)

Assuming an essential difference between scientific data and phenomena, this paper argues for the view that we have to understand how empirical findings get transformed into scientific phenomena. The work of scientists is seen as largely consisting in constructing these phenomena which are then utilized in more abstract theories. It is claimed that these matters are of importance for discussions of theory choice and progress in science. A case study is presented as a starting point: paleomagnetism and the use of (...) paleomagnetic data in early discussions of continental drift. Some general features of this study are presented in formalized language. It is suggested that the presentation given is particularly suited for a semantic conception of theories. Even though the construction of scientific phenomena is the main topic of this paper, the view presented here is more adapted to realism than social constructivism. (shrink)

Two views of scientific theories dominated the philosophy of science during the twentieth century, the syntactic view of the logical empiricists and the semantic view of their successors. I show that neither view is adequate to provide a proper understanding of the connections that exist between theories at different times. I outline a new approach, a hybrid of the two, that provides the right structural connection between earlier and later theories, and that takes due account of the importance of the (...) mathematical models of a theory and of the various distinct formulations that pick out these models. (shrink)

The intent of the present work is chiefly the presentation of a running commentary, preponderantly historical in complexion, on the detail of the text of St. Anselm's dialogue De Grammatico. At the same time the making intelligible of that text has demanded the concurrent proffering of logical elucidations. The framework adopted for the latter is the Ontology of S. Lesniewski. The unsuitability of other current systems of logic for the analysis of medieval doctrines has been suggested in HLM I. Hereunder (...) the line of analyses proposed in HDG (an introduc tory study of De Grammatico) will for the most part be maintained, with only a few modifications. Changes which further study might demand would in any case involve not so much an abrogation of the HDG ver sions, but rather certain complications of detail on the lines indicated in HLM, HEE, and Hoi. Readers who happen to be out of sympathy either with modem logic as a whole, or with the Lesniewskian systems in particular, may be assured that the historical thread of the commentary remains for the most part unaffected by issues connected with such logics. Much of the historical material contained in the commentary consists of quotations from the logical works of Boethius. Some of that material may at first sight appear prosaic and tedious. (shrink)

The work of Gleason and of Kochen and Specker has been thought to refute a naïve realist approach to quantum mechanics. The argument of this paper substantially bears out this conclusion. The assumptions required by their work are not arbitrary, but have sound theoretical justification. Moreover, if they are false, there seems no reason why their falsity should not be demonstrable in some sufficiently ingenious experiment. Suitably interpreted, the work of Bell and Wigner may be seen to yield independent arguments (...) for the falsity of naïve realistic approach to quantum mechanics. Quantum mechanics is no more like classical statistical mechanics than its creators thought it was. (shrink)

In the epistemological tradition, there are two main interpretations of the semantic relation that an empirical theory may bear to the real world. According to realism, the theory-world relationship should be conceived as truth; according to instrumentalism, instead, it should be limited to empirical adequacy. Then, depending on how empirical theories are conceived, either syntactically as a class of sentences, or semantically as a class of models, the concepts of truth and empirical adequacy assume different and specific forms. In this (...) paper, we review two main conceptions of truth (one sentence-based and one model-based) and two of empirical adequacy (one sentence-based and one model-based), we point out their respective difficulties, and we give a first formulation of a new general view of the theory-world relationship, which we call Methodological Constructive Realism (MCR). We then show how the content of MCR can be further specified and expressed in a definite and precise form. The bulk of the paper shows in detail how it is possible to accomplish this goal for the special case of deterministic dynamical phenomena and their correlated deterministic models. This special version of MCR is formulated as an axiomatic extension of set theory, whose specific axioms constitute a formal ontology that provides an adequate framework for analyzing the two semantic relations of truth and empirical correctness, as well as their connections. (shrink)

I argue for an intentional conception of representation in science that requires bringing scientific agents and their intentions into the picture. So the formula is: Agents (1) intend; (2) to use model, M; (3) to represent a part of the world, W; (4) for some purpose, P. This conception legitimates using similarity as the basic relationship between models and the world. Moreover, since just about anything can be used to represent anything else, there can be no unified ontology of models. (...) This whole approach is further supported by a brief exposition of some recent work in cognitive, or usage-based, linguistics. Finally, with all the above as background, I criticize the recently much discussed idea that claims involving scientific models are really fictions. (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)

ABSTRACTIan Hacking puts forward a distinction between two kinds of scientific realism. According to scientific realism about theories, scientific theories are accepted as approximately true; according to scientific realism about unobservable entities, the theoretical terms occurring in scientific theories refer to existing, real entities. This article seeks to show that Claude Bernard's philosophy of science is a realist one about scientific theories, but anti-realist about unobservable entities. The term “fictionalism” is used here to stand for this sort of anti-realism about (...) unobservable entities. (shrink)

It is widely held that quantum mechanics is the first scientific theory to present scientifically internal, fundamental difficulties for a realistic interpretation (in the philosophical sense). The standard (Copenhagen) interpretation of the quantum theory is often described as the inevitable instrumentalistic response. It is the purpose of the present article to argue that quantum theory doesnot present fundamental new problems to a realistic interpretation. The formalism of quantum theory has the same states—it will be argued—as the formalisms of older physical (...) theories and is capable of the same kinds of philosophical interpretation. This result is reached via an analysis of what it means to give a realistic interpretation to a theory. The main point of difference between quantum mechanics and other theories—as far as the possibilities of interpretation are concerned—is the special treatment given tomeasurement by the “projection postulate.” But it is possible to do without this postulate. Moreover, rejection of the projection postulate does not, in spite of what is often maintained in the literature, automatically lead to the many-worlds interpretation of quantum mechanics. A realistic interpretation is possible in which only the reality ofone (our) world is recognized. It is argued that the Copenhagen interpretation as expounded by Bohr is not in conflict with the here proposed realistic interpretation of quantum theory. (shrink)

We present a kind of logic named multideductive logic and outline an application of it in the problem of theoretic-formal unification of physical theories dealing with the Bohr atom theory. This is just a preliminary study that will be developed in future papers.

In this paper a constructive empiricist account of scientific change is put forward. Based on da Costa's and French's partial structures approach, two notions of empirical adequacy are initially advanced (with particular emphasis on the introduction of degrees of empirical adequacy). Using these notions, it is shown how both the informativeness and the empirical adequacy requirements of an empiricist theory of scientific change can then be met. Finally, some philosophical consequences with regard to the role of structures in this context (...) are drawn.Now, we daily see what science is doing for us. This could not be unless it taught us something about reality; the aim of science is not things themselves, as the dogmatists in their simplicity imagine, but the relations between things; outside those relations there is no reality knowable. (shrink)

A non-monotonic logic, the Logic of Plausible Reasoning (LPR), capable of coping with the demands of what we call complex reasoning, is introduced. It is argued that creative complex reasoning is the way of reasoning required in many instances of scientific thought, professional practice and common life decision taking. For managing the simultaneous consideration of multiple scenarios inherent in these activities, two new modalities, weak and strong plausibility, are introduced as part of the Logic of Plausible Deduction (LPD), a deductive (...) logic specially designed to serve as the monotonic support for LPR. Axiomatics and semantics for LPD, together with a completeness proof, are provided. Once LPD has been given, LPR may be defined via a concept of extension over LPD. Although the construction of LPR extensions is first presented in standard style, for the sake of comparison with existing non-monotonic formalisms, alternative more elegant and intuitive ways for constructing non-monotonic LPR extensions are also given and proofs of their equivalence are presented. (shrink)

Hale proposes a neo-logicist definition of real numbers by abstraction as ratios defined on a complete ordered domain of quantities (magnitudes). I argue that Hale's definition faces insuperable epistemological and ontological difficulties. On the epistemological side, Hale is committed to an explanation of measurement applications of reals which conflicts with several theorems in measurement theory. On the ontological side, Hale commits himself to the necessary and a priori existence of at least one complete ordered domain of quantities, which is extremely (...) implausible because science treats the logical structure of quantities as subject to experimentally and theoretically motivated refinements and revisions. (shrink)

Putnam's ``model-theoretic'' argument against metaphysical realism presupposes that an ideal scientific theory is expressible in a first order language. The central aim of this paper is to show that Putnam's ``first orderization'' of science, although unchallenged by numerous critics, makes his argument unsound even for adequate theories, never mind an ideal one. To this end, I will argue that quantitative theories, which dominate the natural sciences, can be adequately interpreted and evaluated only with the help of so-called theories of measurement (...) whose epistemological and methodological purpose is to justify systematic assignments of quantitative values to objects in the world. And, in order to fulfill this purpose, theories of measurement must have an essentially higher order logical structure. As a result, Putnam's argument fails because much of science turns out to rest on essentially higher order theoretical assumptions about the world. (shrink)

There is nowadays consensus in the community of didactics of science regarding the need to include the philosophy of science in didactical research, science teacher education, curriculum design, and the practice of science education in all educational levels. Some authors have identified an ever-increasing use of the concept of ‘theoretical model’, stemming from the so-called semantic view of scientific theories. However, it can be recognised that, in didactics of science, there are over-simplified transpositions of the idea of model. In this (...) sense, contemporary philosophy of science is often blurred or distorted in the science education literature. In this paper, we address the discussion around some meta-theoretical concepts that are introduced into didactics of science due to their perceived educational value. We argue for the existence of a ‘semantic family’, and we characterise four different versions of semantic views existing within the family. In particular, we seek to contribute to establishing a model-based didactics of science mainly supported in this semantic family. (shrink)

Ranking finite subsets of a given set X of elements is the formal object of analysis in this article. This problem has found a wide range of economic interpretations in the literature. The focus of the article is on the family of rankings that are additively representable. Existing characterizations are too complex and hard to grasp in decisional contexts. Furthermore, Fishburn (1996), Journal of Mathematical Psychology 40, 64–77 showed that the number of sufficient and necessary conditions that are needed to (...) characterize such a family has no upper bound as the cardinality of X increases. In turn, this article proposes a way to overcome these difficulties and allows for the characterization of a meaningful (sub)family of additively representable rankings of sets by means of a few simple axioms. Pattanaik and Xu’s (1990), Recherches Economiques de Louvain 56, 383–390) characterization of the cardinality-based rule will be derived from our main result, and other new rules that stem from our general proposal are discussed and characterized in even simpler terms. In particular, we analyze restricted-cardinality based rules, where the set of “focal” elements is not given ex-ante; but brought out by the axioms. (shrink)

Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which empiricism cannot go, where there (...) lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (shrink)

In this paper we motivate and develop the analytic theory of measurement, in which autonomously specified algebras of quantities (together with the resources of mathematical analysis) are used as a unified mathematical framework for modeling (a) the time-dependent behavior of natural systems, (b) interactions between natural systems and measuring instruments, (c) error and uncertainty in measurement, and (d) the formal propositional language for describing and reasoning about measurement results. We also discuss how a celebrated theorem in analysis, known as Gelfand (...) representation, guarantees that autonomously specified algebras of quantities can be interpreted as algebras of observables on a suitable state space. Such an interpretation is then used to support (i) a realist conception of quantities as objective characteristics of natural systems, and (ii) a realist conception of measurement results (evaluations of quantities) as determined by and descriptive of the states of a target natural system. As a way of motivating the analytic approach to measurement, we begin with a discussion of some serious philosophical and theoretical problems facing the well-known representational theory of measurement. We then explain why we consider the analytic approach, which avoids all these problems, to be far more attractive on both philosophical and theoretical grounds. (shrink)

Two metascientific concepts that have been ― and still are ― object of philosophical analysis are the concepts of model and theory. But while the concept of scientific theory was one of the concepts to which philosophers of science devoted most attention during the 20th century, it is only in recent decades that the concept of scientific model has come to occupy a central position in philosophical reflection. However, it has done so in such a way that, at present, as (...) Jim Bogen states in the back cover of the book Scientific Models in the Philosophy of Science, by Daniela Bailer-Jones, “[t]he standard philosophical literature on the role of models in scientific reasoning is voluminous, disorganized, and confusing”. In spite of this, one of the axes that would allow us to organize at least part of this literature, and with which Bailer-Jones’ book closes, is that which is identified as one of the “contemporary philosophical issues: how theories and models relate to each other” (Bailer-Jones 2009, p. 208).That is why, in this introduction to the special issues of Metatheoria devoted to the topic of “Models and Theories in Biology”, we will present the main advances that have been made in the philosophical analysis of the concepts of model and theory in general and in biology in particular, and we will also do the same with the answers that have been given to the problem of "how theories and models relate to each other”. (shrink)