In this paper, I explore Rosen’s ‘transcendental’ objection to constructive empiricism—the argument that in order to be a constructive empiricist, one must be ontologically committed to just the sort of abstract, mathematical objects constructive empiricism seems committed to denying. In particular, I assess Bueno’s ‘partial structures’ response to Rosen, and argue that such a strategy cannot succeed, on the grounds that it cannot provide an adequate metalogic for our scientific discourse. I conclude by arguing that this result provides some interesting (...) consequences in general for anti-realist programmes in the philosophy of science.Keywords: Constructive empiricism; Mathematical fictionalism; Partial structures; Modality. (shrink)

Though it is held that some models in science have explanatory value, there is no conclusive agreement on what provides them with this value. One common view is that models have explanatory value vis-à-vis some target systems because they are developed using an abstraction process. Though I think this is correct, I believe it is not the whole picture. In this paper, I argue that, in addition to the well-known process of abstraction understood as an omission of features or information, (...) there is also a family of abstraction processes that involve aggregation of features or information and that these processes play an important role in endowing the models they are used to build with explanatory value. After offering a taxonomy of abstraction processes involving aggregation, I show by considering in detail several models drawn from different sciences that the abstraction processes involving aggregation that are used to build these models are responsible for their having explanatory value. (shrink)

Proponents of the semantic approach to scientific theories cite a number of critical publications as the origins of their positions. While the semantic view experienced widespread adoption by philosophers of science in the decades leading up to the 1990s, over the last two decades opposition to the view has increased demonstrably. This growing disaffection suggests a two-part question: What exactly are the objections to the semantic view of scientific theories, and does the view have the conceptual resources to combat its (...) opposition? This essay seeks to answer this question by performing a careful analysis of the positions of both advocates and adversaries of the semantic view. In addition, it is argued that to save the semantic view it is necessary to locate the source of the position’s problems and to retool its conceptual foundations. To ensure that the semantic approach has the resources to meet objections to it, exegetical analysis is performed, which demonstrates that the source of the view’s present-day woes lies in a subtle conflation contained in one seminal articulation of the view, van Fraassen’s The Scientific Image. It is argued that supplanting central aspects of that work with ideas from Suppes is the remedy needed to provide the semantic view with the necessary resources for becoming wholly defensible against its oppositions. (shrink)

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

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)

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)

Different conceptions of scientific theories, such as the state spaces approach of Bas van Fraassen, the phase spaces approach of Frederick Suppe, the set-theoretical approach of Patrick Suppes, and the structuralist view of Joseph Sneed et al. are usually put together into one big family. In addition, the definite article is normally used, and thus we speak of the semantic conception of theories and of its different approaches . However, in The Semantic Conception of Theories and Scientific Realism , starting (...) from certain remarks already made in “Theory Structure” , Current Research in Philosophy of Science, East Lansing: Philosophy of Science Association, 1979, pp. 317–338), Frederick Suppe excludes the structuralist view as well as other “European” versions from the semantic conception of theories. In this paper I will critically examine the reasons put forward by Suppe for this decision and, later, I will provide a general characterization of the semantic family and of the structuralist view of theories in such a way as to justify the inclusion of the structuralist view as a member of this family. (shrink)

O presente trabalho utiliza a chamada “concepção semântica” das teorias físicas para examinar o estudo realizado por Descartes sobre o fenômeno do arco-íris. Essa concepção parece ser a mais adequada para esse caso, tendo em vista o privilégio dos modelos na abordagem cartesiana. Nesse sentido, não parece ser possível concluir que esse estudo se configure como uma teoria física, como estimam alguns autores, embora Descartes tenha obtido valores corretos para o raio do arco-íris,ao fazer uso da lei de refração.

Marian Przełęcki’s semantics for the Received View is a good explication of Carnap’s position on the subject, anticipates many discussions and results from both proponents and opponents of the Received View, and can be the basis for a thriving research program.

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

An account of scientific representation in terms of partial structures and partial morphisms is further developed. It is argued that the account addresses a variety of difficulties and challenges that have recently been raised against such formal accounts of representation. This allows some useful parallels between representation in science and art to be drawn, particularly with regard to apparently inconsistent representations. These parallels suggest that a unitary account of scientific and artistic representation is possible, and our article can be viewed (...) as laying the groundwork for such an account—although, as we shall acknowledge, significant differences exist between these two forms of representation. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between these (...) scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can be (...) accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed. (shrink)

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not (...) pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (shrink)

My two daughters would love to go tobogganing down the hill by themselves, but they are just toddlers and I am an apprehensive parent, so, before letting them do so, I want to ensure that the toboggan won’t go too fast. But how fast will it go? One way to try to answer this question would be to tackle the problem head on. Since my daughters and their toboggan are initially at rest, according to classical mechanics, their final velocity will (...) be determined by the forces they will be subjected to between the moment the toboggan will be released at the top of the hill and the moment it will reach its highest speed. The problem is that, throughout their downhill journey, my daughters and the toboggan will be subjected to an incredibly large number of forces—from the gravitational pull of any massive object in the universe to the weight of the snowflake that is sitting on the tip of one of my youngest daughter’s hairs—so that any attempt to apply the theory directly to the real-world system in all its complexity seems to be doomed to failure. (shrink)

Today most philosophers of science believe that models play a central role in science and that one of the main functions of scientific models is to represent systems in the world. Despite much talk of models and representation, however, it is not yet clear what representation in this context amounts to nor what conditions a certain model needs to meet in order to be a representation of a certain system. In this thesis, I address these two questions. First, I will (...) distinguish three senses in which something, a vehicle, can be said to be a representation of something else, a target—which I will call respectively denotation, epistemic representation, and faithful epistemic representation—and I will argue that the last two senses are the most important in this context. I will then outline a general account of what makes a vehicle an epistemic representation of a certain target for a certain user—which, according to the account I defend, is the fact that a user adopts what I call an interpretation of the vehicle in terms of the target—and of what makes an epistemic representation of a certain target a faithful epistemic representation of it—which, according to the account I defend, is a specific sort of structural similarity between the vehicle and the target. (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)

Structural realism as developed by John Worrall and others can claim philosophical roots as far back as the late 19th century, though the discussion at that time does not unambiguously favor the contemporary form, or even its realism. After a critical examination of some aspects of the historical background some severe critical challenges to both Worrall's and Ladyman's versions are highlighted, and an alternative empiricist structuralism proposed. Support for this empiricist version is provided in part by the different way in (...) which we can do justice to Worrall's original demands and in part by the viewpoint it provides (in contrast to e.g. Michael Friedman's) on the stability maintained through scientific theory change. Planck against the heretics 1.1 Poincaré on the meaning of Maxwell's equations 1.2 Two responses: reification and structuralism On the road to structuralism 2.1 The microscope 2.2 Mathematization of the world picture 2.3 The 18th–20th century The new structural realism 3.1 From scientific realism to structuralism 3.2 The Ladyman variant: objectivity and invariance 3.3 How is structural realism supported? An empiricist structuralism 4.1 Royal succession in science 4.2 Defence of the empiricist version 4.3 Structure: an empiricist view. (shrink)

Recent semantic approaches to scientific structuralism, aiming to make precise the concept of shared structure between models, formally frame a model as a type of set-structure. This framework is then used to provide a semantic account of (a) the structure of a scientific theory, (b) the applicability of a mathematical theory to a physical theory, and (c) the structural realist’s appeal to the structural continuity between successive physical theories. In this paper, I challenge the idea that, to be so used, (...) the concept of a model and so the concept of shared structure between models must be formally framed within a single unified framework, set-theoretic or other. I first investigate the Bourbaki-inspired assumption that structures are types of set-structured systems and next consider the extent to which this problematic assumption underpins both Suppes’ and recent semantic views of the structure of a scientific theory. I then use this investigation to show that, when it comes to using the concept of shared structure, there is no need to agree with French that “without a formal framework for explicating this concept of ‘structure-similarity’ it remains vague, just as Giere’s concept of similarity between models does ...” (French, 2000, Synthese, 125, pp. 103–120, p. 114). Neither concept is vague; either can be made precise by appealing to the concept of a morphism, but it is the context (and not any set-theoretic type) that determines the appropriate kind of morphism. I make use of French’s (1999, From physics to philosophy (pp. 187–207). Cambridge: Cambridge University Press) own example from the development of quantum theory to show that, for both Weyl and Wigner’s programmes, it was the context of considering the ‘relevant symmetries’ that determined that the appropriate kind of morphism was the one that preserved the shared Lie-group structure of both the theoretical and phenomenological models. (shrink)

A first step is taken towards articulating a constructive empiricist philosophy of mathematics, thus extending van Fraassen's account to this domain. In order to do so, I adapt Field's nominalization program, making it compatible with an empiricist stance. Two changes are introduced: (a) Instead of taking conservativeness as the norm of mathematics, the empiricist countenances the weaker notion of quasi-truth (as formulated by da Costa and French), from which the formal properties of conservativeness are derived; (b) Instead of quantifying over (...) spacetime regions, the empiricist only admits quantification over occupied regions, since this is enough for his or her needs. (shrink)

This paper studies the structure of semantic theories over modular computational systems and applies the algebraic Theory of Institutions to provide a logical representation of such theories. A modular semantic theory is here defined by a cluster of semantic theories, each for a single program's module, and by a set of relations connecting models of different semantic theories. A semantic theory of a single module is provided in terms of the set of ∑‐models mapped from the category Th of ∑‐theories (...) and generating a hierarchy of structures from an abstract model to a concrete model of data. The collection of abstract models representing different modules of a program is formalised as the category of institutions INS, where theory morphisms express refinements, integrations, and compositions between couples of modules. Finally, it is required that a morphism in INS at any level occurs iff the same morphism occurs at the lower level alongside the Th hierarchy. (shrink)

En este artículo —conmemorativo de los cien años del Tractatus— me centraré en la primera gran obra de Wittgenstein y, en lo que sería su objetivo central que, como él mismo lo reconoce en la introducción, no es otro que el de “Trazar unos límites al pensamiento, o mejor, no al pensamiento, sino a la expresión de los pensamientos”, destacando en el lenguaje la proposición, pues es en esta donde aquel se expresa sensiblemente. Para el temprano Wittgenstein, los límites del (...) pensamiento solo se pueden trazar en el lenguaje y no por fuera de él, pues “lo que está al otro lado del límite no tiene sentido”. (shrink)

Wir Menschen streben danach, die Wirklichkeit zu verstehen. Eine Welt, die wir gut verstehen, ist eine, die wir "im Griff" haben, mit der wir gut umgehen können. Aber was heißt es genau, ein Phänomen der Wirklichkeit zu verstehen? Wie sieht unser Weltbild aus, wenn wir ein Phänomen verstanden haben? Welche Bedingungen müssen erfüllt sein, damit Verstehen gelingt? Die Kernthese des Buches ist, dass wir Phänomene der Wirklichkeit durch noetische Integration verstehen. Wir verstehen Phänomene, indem wir den entsprechenden Informationseinheiten eine sinnvolle (...) und angemessene Position in unserem Weltbild zuschreiben und insofern unser Weltbild in gewissem Maße der Wirklichkeit entspricht. (shrink)

In this paper I begin with a recent challenge to the Semantic Approach and identify an underlying assumption, namely that identity conditions for theories should be provided. Drawing on previous work, I suggest that this demand should be resisted and that the Semantic Approach should be seen as a philosophical device that we may use to represent certain features of scientific practice. Focussing on the partial structures variant of that approach, I then consider a further challenge that arises from a (...) concern with the role of idealisations in that practice. I argue that the partial structures approach is capable of meeting this challenge and I conclude with some broader observations about the role of such formal accounts within the philosophy of science. (shrink)

Pessimistic meta-induction is a powerful argument against scientific realism, so one of the major roles for advocates of scientific realism will be trying their best to give a sustained response to this argument. On the other hand, it is also alleged that structural realism is the most plausible form of scientific realism; therefore, the plausibility of scientific realism is threatened unless one is given the explicit form of a structural continuity and minimal structural preservation for all our current theories. This (...) essay aims to present what we call expansive structures, which are the structures that can be reconstructed from geometrized Newtonian gravitation and are capable of expanding into general relativity, explicitly. In this way, pessimistic meta-induction will be undermined. (shrink)

What is the role of the imagination in scientific practice? Here I focus on the nature and role of invitations to imagine in certain scientific texts as represented by the example of Einstein’s Special Relativity paper from 1905. Drawing on related discussions in aesthetics, I argue, on the one hand, that this role cannot be simply subsumed under ‘supposition’ but that, on the other, concerns about the impact of genre and symbolism can be dealt with, and hence present no obstacle (...) to regarding imagination as appropriately belief-like. By applying the framework of ‘semi- propositional representations’ and ‘quasi-truth’ to this case I thereby offer a new unitary framework for understanding the epistemology of scientific imagination. (shrink)

Inconsistency toleration is the phenomenon of working with inconsistent information without threatening one’s rationality. Here I address the role that ignorance plays for the tolerance of contradictions in the empirical sciences. In particular, I contend that there are two types of ignorance that, when present, can make epistemic agents to be rationally inclined to tolerate a contradiction. The first is factual ignorance, understood as temporary undecidability of the truth values of the conflicting propositions. The second is what I call “ignorance (...) of theoretical structure”, which is lack of knowledge of relevant inference patterns within a specific theory. I argue that these two types of ignorance can be explanatory of the scientists’ rational disposition to be tolerant towards contradictions, and I illustrate this with a case study from neutrino physics. (shrink)

I show that extant attempts to capture and generalize empirical adequacy in terms of partial structures fail. Indeed, the motivations for the generalizations in the partial structures approach are better met by the generalizations via approximation sets developed in “Generalizing Empirical Adequacy I”. Approximation sets also generalize partial structures.

According to standard accounts of mathematical representations of physical phenomena, positing structure-preserving mappings between a physical target system and the structure picked out by a mathematical theory is essential to such representations. In this paper, I argue that these accounts fail to give a satisfactory explanation of scientific representations that make use of inconsistent mathematical theories and present an alternative, robustly inferential account of mathematical representation that provides not just a better explanation of applications of inconsistent mathematics, but also a (...) compelling explanation of mathematical representations of physical phenomena in general. 1Inconsistent Mathematics and the Problem of Representation2The Early Calculus3Mapping Accounts and the Early Calculus3.1Partial structures3.2Inconsistent structures3.3Related total consistent structures4A Robustly Inferential Account of the Early Calculus in Applications 4.1The robustly inferential conception of mathematical representation4.2The robustly inferential conception and inconsistent mathematics4.3The robustly inferential conception and mapping accounts5Beyond Inconsistent Mathematics. (shrink)

This thesis aims to propose and defend a new way of analysing and understanding the origin of genetics (from Mendel to Bateson). Traditionally philosophers used to analyse the history of genetics in terms of theories. However, I will argue that this theory-based approach is highly problematic. In Chapter 1, I shall critically review the theory-driven approach to analysisng the history of genetics and diagnose its problems. In Chapter 2, inspired by Kuhn’s concept “exemplar”, I shall make a new interpretation of (...) exemplar and introduce an exemplar-based approach. Before introducing my exemplar-based analysis, I find it necessary to scrutinise the origin of genetics from Mendel to Bateson. In Chapter 3, I shall reinterpret Mendel’s work on Pisum by re-examining Mendel’s paper (1865) and its historical research context. In Chapter 4, by carefully examining the conceptual changes, I argue that the rediscovery event in 1900 should be better characterised as attempts of incorporating Mendel’s work with the work of “rediscoverers” (i.e. de Vries, Correns, Tschermak, and Bateson) rather than a mere reintroduction to Mendel’s work. In Chapter 5, I shall use the exemplar-based approach to analysing and interpreting the origin of genetics from Mendel to Bateson. In Chapter 6, I shall defend my exemplar-based characterisation of the origin of genetics by dismissing the potential responses from the theory-driven one, critically examining a potential mechanism-based analysis, and making the further notes on the implication of taking the exemplar-based approach to investigate scientific practice. (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)

In this paper I elicit a prediction from structural realism and compare it, not to a historical case, but to a contemporary scientific theory. If structural realism is correct, then we should expect physics to develop theories that fail to provide an ontology of the sort sought by traditional realists. If structure alone is responsible for instrumental success, we should expect surplus ontology to be eliminated. Quantum field theory (QFT) provides the framework for some of the best confirmed theories in (...) science, but debates over its ontology are vexed. Rather than taking a stand on these matters, the structural realist can embrace QFT as an example of just the kind of theory SR should lead us to expect. Yet, it is not clear that QFT meets the structuralist's positive expectation by providing a structure for the world. In particular, the problem of unitarily inequivalent representations threatens to undermine the possibility of QFT providing a unique structure for the world. In response to this problem, I suggest that the structuralist should endorse pluralism about structure. (shrink)

The aim of this paper is to provide a unified account of scientific and mathematical change in a thoroughly empiricist setting. After providing a formal modelling in terms of embedding, and criticising it for being too restrictive, a second modelling is advanced. It generalises the first, providing a more open-ended pattern of theory development, and is articulated in terms of da Costa and French's partial structures approach. The crucial component of scientific and mathematical change is spelled out in terms of (...) partial embeddings. Finally, an application of this second pattern is made, with the examination of the early formulation of set theory. (shrink)

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

Scientific change has two important dimensions: conceptual change and structural change. In this paper, I argue that the existence of conceptual change brings serious difficulties for scientific realism, and the existence of structural change makes structural realism look quite implausible. I then sketch an alternative account of scientific change, in terms of partial structures, that accommodates both conceptual and structural changes. The proposal, however, is not realist, and supports a structuralist version of van Fraassen’s constructive empiricism (structural empiricism).

In order to develop an account of scientific rationality, two problems need to be addressed: (i) how to make sense of episodes of theory change in science where the lack of a cumulative development is found, and (ii) how to accommodate cases of scientific change where lack of consistency is involved. In this paper, we sketch a model of scientific rationality that accommodates both problems. We first provide a framework within which it is possible to make sense of scientific revolutions, (...) but which still preserves some (partial) relations between old and new theories. The existence of these relations help to explain why the break between different theories is never too radical as to make it impossible for one to interpret the process in perfectly rational terms. We then defend the view that if scientific theories are taken to be quasi-true, and if the underlying logic is paraconsistent, it's perfectly rational for scientists and mathematicians to entertain inconsistent theories without triviality. As a result, as opposed to what is demanded by traditional approaches to rationality, it's not irrational to entertain inconsistent theories. Finally, we conclude the paper by arguing that the view advanced here provides a new way of thinking about the foundations of science. In particular, it extends in important respects both coherentist and foundationalist approaches to knowledge, without the troubles that plague traditional views of scientific rationality. (shrink)

For several decades now philosophers have discussed apparent examples of internally inconsistent scientific theories. However, there is still much controversy over how exactly we should conceive of scientific theories in the first place. Here I argue for a new approach, whereby all of the truly important questions about inconsistency in science can be asked and answered without disagreements about theories and theory-content getting in the way. Three examples commonly described as ‘internally inconsistent theories’ are analysed in the light of this (...) approach. In the process, the question ‘Is the theory inconsistent or not?’ is identified as a bad, or at least unimportant, question. (shrink)

I provide an explicit formulation of empirical adequacy, the central concept of constructive empiricism, and point out a number of problems. Based on one of the inspirations for empirical adequacy, I generalize the notion of a theory to avoid implausible presumptions about the relation of theoretical concepts and observations, and generalize empirical adequacy with the help of approximation sets to allow for lack of knowledge, approximations, and successive gain of knowledge and precision. As a test case, I provide an application (...) of these generalizations to a simple interference phenomenon. (shrink)

Everything you always wanted to know about structural realism but were afraid to ask Content Type Journal Article Pages 227-276 DOI 10.1007/s13194-011-0025-7 Authors Roman Frigg, Department of Philosophy, Logic and Scientific Method, London School of Economics and Political Science, Houghton Street, London, WC2A 2AE UK Ioannis Votsis, Philosophisches Institut, Heinrich-Heine-Universität Düsseldorf, Universitätsstraße 1, Geb. 23.21/04.86, 40225 Düsseldorf, Germany Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 2.

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)

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

The thesis of the empirical underdetermination of theories (U-thesis) maintains that there are incompatible theories which are empirically equivalent. Whether this is an interesting thesis depends on how the term incompatible is understood. In this paper a structural explication is proposed. More precisely, the U-thesis is studied in the framework of the model theoretic or emantic approach according to which theories are not to be taken as linguistic entities, but rather as families of mathematical structures. Theories of similarity structures are (...) studied as a paradigmatic case. The structural approach further reveals that the U-thesis is related to problems of uniqueness in the representational theory of measurement, questions of geometric conventionalism, and problems of structural underdetermination in mathematics. (shrink)

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

This paper explores varieties of scientific structuralism. Central to our investigation is the notion of `shared structure'. We begin with a description of mathematical structuralism and use this to point out analogies and disanalogies with scientific structuralism. Our particular focus is the semantic structuralist's attempt to use the notion of shared structure to account for the theory-world connection, this use being crucially important to both the contemporary structural empiricist and realist. We show why minimal scientific structuralism is, at the very (...) least, a powerful methodological standpoint. Our investigation also makes explicit what more must be added to this minimal structuralist position in order to address the theory-world connection, namely, an account of representation. (shrink)

Modal logic has been applied in many different areas, as reasoning about time, knowledge and belief, necessity and possibility, to mention only some examples. In the present paper, an attempt is made to use modal logic to account for the semantics of theoretical sentences in scientific language. Theoretical sentences have been studied extensively since the work of Ramsey and Carnap. The present attempt at a modal analysis is motivated by there being several intended interpretations of the theoretical terms once these (...) terms are introduced through the axioms of a theory. (shrink)

One important role of belief systems is to allow us to represent information about a certain domain of inquiry. This paper presents a formal framework to accommodate such information representation. Three cognitive models to represent information are discussed: conceptual spaces, state-spaces, and the problem spaces familiar from artificial intelligence. After indicating their weakness to deal with partial information, it is argued that an alternative, formulated in terms of partial structures, can be provided which not only captures the positive features of (...) these models, but also accommodates the partiality of information ubiquitous in science and mathematics. (shrink)