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)

In this paper, I distinguish scientific models in three kinds on the basis of their ontological status—material models, mathematical models and fictional models, and develop and defend an account of fictional models as fictional objects—i.e. abstract objects that stand for possible concrete objects.

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)

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)

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)

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)

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)

Przedmiotem artykułu jest ukazanie realizmu strukturalnego jako stanowiska realistycznego w dyskusji, prowadzonej wokół realizmu naukowego – jego wybranych zalet i słabości. Realizm strukturalny jest odpowiedzią na wyzwanie, jakie realizmowi naukowemu stawiają historyczne fakty zmiany teorii w nauce. Nawiązuje on do semantycznego ujęcia teorii naukowych i wypracowanego w tym podejściu aparatu pojęciowego. Zgodnie z realizmem strukturalnym to, co zostaje zachowane z dojrzałych teorii naukowych po zmianie teorii, to ich sformułowania matematyczne, będące abstrakcyjnymi modelami teorii. Są one aproksymacyjnie prawdziwe, gdyż reprezentują realne (...) struktury rzeczywistości w sposób wolny od ontologicznej interpretacji, narzuconej przez język teorii. Realizm strukturalny i nawiązujący do niego semirealizm, który rozszerza niezmienniczość dojrzałych teorii na własności detekcyjne obiektów fizycznych, bronią tezy realizmu naukowego w kwestii aproksymacyjnej prawdziwości teorii naukowych, interpretując realistycznie zmiany teorii naukowych. Pozostawiają jednak na boku istotny dla realizmu problem reprezentowania rzeczywistości w teoriach naukowych. Oba wspomniane stanowiska, nawiązując do modelowego ujęcia teorii naukowych, przyjmują, że reprezentacja jest izomorfizmem struktur matematycznego modelu teorii i rzeczywistości. Takie rozumienie reprezentacji jest zbyt wąskie, nie uwzględnia, że struktura zjawisk nie jest jednoznacznie określona. Strukturę tę dla teorii zastępuje matematyczny model danych, który odzwierciedla zjawiska przedstawione jako związki własności określonych przez teorię. Realistyczna interpretacja modelu danych stanowi dla realizmu strukturalnego konieczne uzupełnienie, aby spełniał on naczelną tezę realizmu, głoszącą, że nauka poznaje świat taki, jaki jest niezależnie od teorii. Stanowi to podstawę, aby broniona w realizmie strukturalnym aproksymacyjna prawdziwość teorii naukowych miała ugruntowane uzasadnienie. Wskazanie potrzeby rozszerzenia realizmu strukturalnego i semirealizmu o odpowiednią dla nich koncepcję reprezentacji jest tezą tej pracy. W artykule zostały przedstawione podstawowe elementy współczesnej dyskusji wokół realizmu naukowego oraz stanowiska realizmu strukturalnego i semirealizmu jako uzgodnienie realizmu naukowego z faktem radykalnej zmiany teorii. Następnie zostały ukazane konsekwencje, jakie dla realizmu strukturalnego wynikają z semantycznego (modelowego) ujęcia teorii naukowych i związanego z tym pojęcia reprezentacji jako izomorfizmu struktur. Ostatni fragment został poświęcony wskazaniu, że aby spełnić postulaty realizmu naukowego zarówno realizm strukturalny, jak i semirealizm powinny być uzupełnione o interpretację reprezentacji rzeczywistości w modelu danych w duchu realizmu naukowego. -------------- Zgłoszono: 17/09/2020. Zrecenzowano: 12/10/2020. Zaakceptowano do publikacji: 09/11/2020. (shrink)

Artykuł nawiązuje do dyskusji wokół uzgodnienia realizmu naukowego z argumentem pesymistycznej indukcji (PI) i jest próbą jej rozwinięcia. Przedstawia propozycję dodatkowej argumentacji na rzecz realizmu naukowego, odwołującą się do pominiętej w realizmie strukturalnym i semirealizmie relacji korespondencji między następującymi po sobie teoriami. Pokazuje, że choć sposób argumentowania przyjęty w dotychczasowej dyskusji, opierający się na strategii divide et impera, trafnie odnosi się do przypadków zmiany teorii podobnych, do zastąpienia teorii optycznej Fresnela teorią elektromagnetyczną światła, to nie jest odpowiedni dla przypadków zmiany (...) teorii, w których poprzedniczka i następczyni pozostają w relacji korespondencji. Rozwiązanie Worralla pomija istotne przesłanki, jakie z tej relacji wynikają dla rozumienia ciągłości teoretycznej. Uwzględnienie specyficznej różnicy zakresu zjawisk w następujących po sobie teoriach, które łączy relacja korespondencji, pozwoliło wskazać inny rodzaj ciągłości między teoriami i sformułować dodatkowe uzasadnienie dla realistycznego stanowiska wobec tego typu zmiany teorii. Wykazano, że w przypadku relacji korespondencji aproksymacyjna prawdziwość teorii i jej ciągłość mają inny charakter niż przyjmowany w strategii divide et impera, gdyż opierają się na innej relacji między następującymi po sobie teoriami. Odwołanie się do ograniczonego zakresu poprzedniczki i jej „lokalnego” względem następczyni charakteru pozwoliło uniknąć niektórych zarzutów, wysuwanych przeciwko argumentom na rzecz realizmu naukowego, odwołujących się do relacji korespondencji. W świetle przeprowadzonych rozważań teza, że zmiana dojrzałych teorii, odnoszących sukces, przeczy ich aproksymacyjnej prawdziwości, nie znajduje właściwego odniesienia do przypadków zmiany teorii, w wyniku której poprzedniczkę i następczynię łączy relacja korespondencji. Przedstawiona argumentacja uchyla zarzut PI w stosunku do tego rodzaju zmiany teorii i nie narzuca niektórych ograniczeń realizmu naukowego wynikających z realizmu strukturalnego. --------------- Zgłoszono: 24/03/2021. Zrecenzowano: 18/06/2021. Zaakceptowano do publikacji: 05/07/2021. (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)

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)

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)

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)

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.

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)

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)

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)

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)

In “The Toolbox of Science” (1995) together with Towfic Shomar we advocated a form of instrumentalism about scientific theories. We separately developed this view further in a number of subsequent works. Steven French, James Ladyman, Otavio Bueno and Newton Da Costa (FLBD) have since written at least eight papers and a book criticising our work. Here we defend ourselves. First we explain what we mean in denying that models derive from theory – and why their failure to do so should (...) be lamented. Second we defend our use of the London model of superconductivity as an example. Third we point out both advantages and weaknesses of FLBD’s techniques in comparison to traditional Anglophone versions of the semantic conception. Fourth we show that FLBD’s version of the semantic conception has not been applied to our case study. We conclude by raising doubts about FLBD’s overall project. (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)

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.

The process of abstraction and concretisation is a label used for an explicative theory of scientific model-construction. In scientific theorising this process enters at various levels. We could identify two principal levels of abstraction that are useful to our understanding of theory-application. The first level is that of selecting a small number of variables and parameters abstracted from the universe of discourse and used to characterise the general laws of a theory. In classical mechanics, for example, we select position and (...) momentum and establish a relation amongst the two variables, which we call Newton’s 2nd law. The specification of the unspecified elements of scientific laws, e.g. the force function in Newton’s 2nd law, is what would establish the link between the assertions of the theory and physical systems. In order to unravel how and with what conceptual resources scientific models are constructed, how they function and how they relate to theory, we need a view of theory-application that can accommodate our constructions of representation models. For this we need to expand our understanding of the process of abstraction to also explicate the process of specifying force functions etc. This is the second principal level at which abstraction enters in our theorising and in which I focus. In this paper, I attempt to elaborate a general analysis of the process of abstraction and concretisation involved in scientific- model construction, and argue why it provides an explication of the construction of models of the nuclear structure. (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)

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)

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)

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)

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)

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)

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)

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)

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.

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)

We develop an account of how mutually inconsistent models of the same target system can provide coherent information about the system. Our account makes use of ideas from the debate surrounding rob...

Speaking: from Intention to Articulation Willem J. M. Levelt, 1989 (1993 paperback) Cambridge, MA: MIT Press ISBN: 0–262–12137–9(hb), 0–262–62089–8(pb)Rules for Reasoning Richard E. Nisbett (Ed.), 1993 Hillsdale, NJ, Lawrence Erlbaum Associates ISBN: 0–8058–1256–3(hb), 0–8085–1257–1 (pb)Readings in Philosophy and Cognitive Science Alvin I. Goldman, 1993 Cambridge, MA, MIT Press ISBN: 0–262–07153–3(hb), 0–262–57100–5(pb)Language Comprehension in Ape and Child, Monographs of the Society for Research in Child Development, Serial No. 233, Vol. 58, Nos 3–4 Sue Savage‐Rumbaugh, Jeannine Murphy, Rose A. Sevcik, Karen E. (...) Brakke, Shelly L. Williams & Duane M. Rumbaugh, with commentary by Elizabeth Bates, and a reply by the authors, 1993 Chicago: University of Chicago Press ISBN: 0–226–73542–7Language, Music and Mind Diana Raffman, 1993 Cambridge, MIT Press/Bradford Books ISBN: 0–262–18150–9Psychology of Proof Lance J. Rips, 1994 Cambridge, MA, MIT Press ISBN: 0–262–18153–3Human and Machine Thinking P. Johnson‐Laird, 1993 Hillsdale, NJ, Erlbaum ISBN: 0–8058–0921‐XIntelligent Behavior in Animals and Robots David McFarland & Thomas Bosser, 1993 Cambridge, MA and London, UK: MIT Press/ Bradford Books ISBN: 0–262–13293–1The Eye and the Mind: Reflections on Perception and the Problem of Knowledge Charles Landesman, 1993 Dordrecht: Kluwer Academic Publishers ISBN: 0–7923–2586–9The Moral Self GilG. Noam & Thomas E. Wren (Eds), in cooperation with Gertud Nunner‐Winkler & Wolfgang Edelstein, 1993 Cambridge, MA: MIT Press ISBN: 0–262–14052–1The Logic of Discovery: A Theory of the Rationality of Scientific Research Scott A. Kleiner, 1993 Dordrecht: Kluwer Academic Publishers ISBN: 0–7923–2371–8Folk Psychology and the Philosophy of Mind S.M. Christenson & D.R. Turner (Eds), 1993 Hillsdale, NJ: Lawrence Erlbaum ISBN: 0–805–80931–7. (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)

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)

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)

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.

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)

Cartwright and her collaborators have elaborated a provocative view of science which emphasises the independence from theory &unknown;in methods and aims&unknown; of phenomenological model building. This thesis has been supported in a recent paper by an analysis of the London and London model of superconductivity. In the present work we begin with a critique of Cartwright's account of the relationship between theoretical and phenomenological models before elaborating an alternative picture within the framework of the partial structures version of the semantic (...) approach to theories. Drawing on the recent histories of superconductivity by Dahl and Gavroglu, together with the original works by London and London and by F. London separately, and taking due consideration of the heuristic aspects, we argue that the historical details fail to support Cartwright et al.'s claims but that they fit comfortably within the partial structures framework. (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)

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)