This paper offers a novel way of reconstructing conceptual change in empirical theories. Changes occur in terms of the structure of the dimensions—that is to say, the conceptual spaces—underlying the conceptual framework within which a given theory is formulated. Five types of changes are identified: (1) addition or deletion of special laws, (2) change in scale or metric, (3) change in the importance of dimensions, (4) change in the separability of dimensions, and (5) addition or deletion of dimensions. Given this (...) classification, the conceptual development of empirical theories becomes more gradual and rationalizable. Only the most extreme type—replacement of dimensions—comes close to a revolution. The five types are exemplified and applied in a case study on the development within physics from the original Newtonian mechanics to special relativity theory. (shrink)

This paper is a conceptual analysis of the theory debate in psychology, as carried out by cognitivists and radical behaviorists. The debate has focused on the necessity of theories in psychology. However, the logically primary issue is the nature of theories, or what theories are. This claim stems from the fact that cognitivists and radical behaviorists adopt disparate accounts of the nature of theories. The cognitivists' account is closely akin to the received view from logical positivism, where theories are collections (...) of statements and theoretical terms are restricted to designate unobservable entities. Radical behaviorists also conceive theories as collections of statements, but restrict theoretical terms in psychology to designate observable entities. If each side approaches the necessity issue with its preferred account, both agree that theories are necessary in psychology. Hence, there is no disagreement over the necessity of theories in psychology per se, only over the nature of theories. The received view, however, has been shown to suffer from irreparable difficulties that have led to its total rejection in post-positivistic philosophy of science. Alternative accounts, like the structuralist and semantic views, do not raise the issue of whether theories are necessary in psychology. (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)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

In this paper we discuss three examples of the appropriation of Kuhn’s ideas in philosophy of science. First we deal with classical logical empiricism. Perhaps somewhat surprisingly, the arch-logical empiricist Carnap considered Kuhn’s socio-historical account as a useful complementation, and not as a threat of the philosophy of science of logical empiricism. As a second example we consider the attempt of the so-called struc- turalist philosophy of science to provide a “rational reconstruction” of Kuhn’s approach. Finally, we will deal with (...) Friedman’s proposal to apply Kuhn’s ideas to the formulation of a modernized, historically enlightened Kantian approach that is based on the concept of a non-apodictic constitutive and historically moving a priori. (shrink)

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

A new approach to analyze scientific methods as patternsof state transitions is proposed and exemplified by the two mostimportant, general methods: induction and deduction. Though only`local' states of science are considered in this paper, includinghypotheses, data, approximation and degree of fit, the approach caneasily be extended to more comprehensive kinds of states. Two `pure'forms of induction are distinguished, enumerative and hypothesisconstruction induction. A combination of these two forms is proposedto yield a more adequate picture of induction. While the pure forms (...) ofinduction are clearly distinct from the deductive pattern, the patternof the combined form of induction is very similar to the latter. Thepresent account of scientific methods not only points out thedifferences between different methods but – in contrast to usualdiscussions of methodology – also clarifies what they have in common. (shrink)

Arguably, there is no substantial, general answer to the question of what makes for the approximate truth of theories. But in one class of cases, the issue seems simply resolved. A wide class of applied dynamical theories can be treated as two-component theories—one component specifying a certain kind of abstract geometrical structure, the other giving empirical application to this structure by claiming that it replicates, subject to arbitrary scaling for units etc., the geometric structure to be found in some real-world (...) dynamical phenomenon. In such a case, a theory is approximately true just if the one geometric structure approximately replicates the other (and if problems remain here, they are problems in geometry, of specifying suitable metric approximation relations, not conceptual problems). This article amplifies and defends this simple approach to approximate truth for dynamical theories. (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)

Luciano Floridi’s informational structural realism takes a constructionist attitude towards the problems of epistemology and metaphysics, but the question of the nature of the semantical component of his view remains vexing. In this paper, I propose to dispense with the semantical component of ISR completely. I outline a Syntactical version of ISR. The unified entropy-based framework of information has been adopted as the groundwork of SISR. To establish its realist component, SISR should be able to dissolve the latching problem. We (...) have to be able to account for the informational structures–reality relationship in the absence of the standard semantical resources. The paper offers a pragmatic solution to the latching problem. I also take pains to account for the naturalistic plausibility of this solution by grounding it in the recent computational neuroscience of the predictive coding and the free energy principle. (shrink)

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)

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)

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)

We present a reconstruction of so-called classical, formal or Mendelian genetics using a notation which we believe is more legible than that of earlier accounts, and lends itself easily to computer implementation, for instance in PROLOG. By drawing from, and emending, earlier work of Balzer and Dawe (1986,1997), the present account presents the three most important lines of development of classical genetics: the so-called Mendel's laws, linkage genetics and gene mapping, in the form of a theory-net. This shows that the (...) set theoretic representation format used in the structuralist approach to the philosophy of science also applies to the domain of genetic theories. There construction is intended to lend more clarity to theme thodological, philosophical and didactical discussions of the foundations of genetics, and on the other hand to defend a formally, logically minded view of theories which seems to have become contested through the work of Feyerabend, Kuhn and Kitcher. (shrink)

Points of view are a central phenomenon in human cognition. Although the concept of point of view is ambiguous, there exist common elements in different notions. A point of view is a certain way to look at things around us. In conceptual points of view, things are looked at or interpreted through conceptual lenses. Conceptual points of view are important for epistemology, cognitive science, and philosophy of science. In this article, a new method to formalize conceptual points of view is (...) introduced. It is based on the conceptual space approach, where concepts are regions of multi-dimensional quality spaces. Points of view, as defined in this article, consist of a selection of relevant dimensions, referred to here as determinables, and of a certain supposition, referred to here as a theory, about the subject content. After considering some early efforts to formalize points of view, the notion of conceptual space is defined and explored. One concept of point of view is defined and developed in the framework of conceptual space, and a new logic for points of view is also outlined. The problem of mind–body correlation is discussed as an example of the application of the notion of points of view. To conclude, the meaning and applications of the new concepts and tools developed in the article are discussed. (shrink)

In spite of the ‘experimental turn’ now fashionable in the philosophy of science, the question of the structure and identity criteria of scientific theories continues to be a central issue for the philosophical analysis of empirical science. We need a precise metatheory of empirical theories to deal with this issue. Metatheoretical structuralism appears to offer the most adequate approach in this sense so far. First, some basic intuitions about what empirical theories are, and how they are structured, are laid out. (...) Then, the main notions used by metatheoretical structuralism to analyze theories are explained, and they are illustrated by applying them to an example of a simple physical theory. Finally, it is argued that the picture of the structure and identity of empirical theories coming out of structuralistic analysis adequately corresponds to the basic intuitions stated at the beginning. (shrink)

The focus of this paper is the recent revival of interest in structuralist approaches to science and, in particular, the structural realist position in philosophy of science . The challenge facing scientific structuralists is three-fold: i) to characterize scientific theories in ‘structural’ terms, and to use this characterization ii) to establish a theory-world connection (including an explanation of applicability) and iii) to address the relationship of ‘structural continuity’ between predecessor and successor theories. Our aim is to appeal to the notion (...) of shared structure between models to reconsider all of these challenges, and, in so doing, to classify the varieties of scientific structuralism and to offer a ‘minimal’ construal that is best viewed from a methodological stance. (shrink)

Operationalism and theoretical entities. The thesis of the“theory ladenness” of observation leads to an antinomy. In order to solve this antinomy a technical operationalism is sketched, according to which theories should in principle not contain anything that cannot be reduced to technical procedures. This implies the rejection of Quine's underdeterminacy thesis and of many views about the theoretical-observational distinction, e.g. neopositivistic views, van Fraassen's view, Sneed-Stegmüller's view. Then I argue for the following theses: 1. All scientific concepts are theory laden (...) in the sense that they allow us to anticipate possible experiences, but they have to be in principle fully observable, i.e. integrally convertible into operational-technical applications. 2. The observation/theory distinction can be maintained as a historical one: what is observable depends on the instruments that are available at any stage of the development of science. 3.In principle theoretical entities are empirically real in Hacking's sense. However, some aspects of Hacking's realism are to be criticized. Theoretical entities are to be resolved into the totality of the interrelated properties accessible to us by means of theoretical points of view embodied in scientific instruments. (shrink)

Virtually all philosophers of science have construed fundamental theories as descriptions of entities, properties, and/or structures. Call this the “descriptive-ontological” view. I argue that this view is incorrect, at least insofar as physical theories are concerned. I propose a novel construal of theories that I call the “prescriptive-dynamical” view. The central tenet of this view, roughly put, is that the _essential_ content of fundamental physical theories is a _prescription for interfacing with natural systems and translating local data into compact theoretical (...) language_. The descriptive-ontological aspects of theories, if any, are taken as _inessential_ content on this view: they do not contribute to the predictive success of the theory. Rather than describing _what is there_, the essence of a physical theory is to tell us _what to do_ when interfacing with a physical system. (shrink)

Particle theories intend to describe the fundamental constituents from which all matter is constructed and the interactions among them. These constituents include atoms and molecules as well as their subatomic constituents, nuclei and their component parts including elementary particles. We consider an alternative to the usual particle theories, but dealing with the same phenomena. We call these theories ‘QT’s’. This is an attempt to provide a formal description of the essential features of elementary particle theories within the framework of metatheoretical (...) structuralism. (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)

Suppes proposes an analysis of the structure and identity of empirical theories with his model-theoretical approach and undertakes effective reconstructions of theories in diverse disciplinary fields. Here the authors analyse the results of these examinations under the optics of questions concerning the assumed ontological commitments, and for how they satisfy economic and other criteria.

The connection between scientific knowledge and our empirical access to realityis not well explained within the structuralist approach to scientific theories. I arguethat this is due to the use of a semantics not rich enough from the philosophical pointof view. My proposal is to employ Sellars–Brandom's inferential semantics to understand how can scientific terms have empirical content, and Hintikka's game-theoretical semantics to analyse how can theories be empirically tested. The main conclusions are that scientific concepts gain their meaning through `basic (...) theories' grounded on `common sense’, and that scientific method usually allows the pragmatic verification and falsification of scientific theories. (shrink)

Our aim in this article is to show how the theory of conceptual spaces can be useful in describing diachronic changes to conceptual frameworks, and thus useful in understanding conceptual change in the empirical sciences. We also compare the conceptual space approach to Moulines’s typology of intertheoretical relations in the structuralist tradition. Unlike structuralist reconstructions, those based on conceptual spaces yield a natural way of modeling the changes of a conceptual framework, including noncumulative changes, by tracing the changes to the (...) dimensions that reconstitute a conceptual framework. As a consequence, the incommensurability of empirical theories need not be viewed as a matter of conceptual representation. (shrink)

In this paper the general notion of Bourbaki structures, interpreted in terms of Suppes predicates, will be used to axiomatize a system of meta-rankings in the sense introduced by A. K. Sen. It will be argued that this axiomatization must take place in a Kantian-ruled world in order to provide a link between meta-rankings and individual actions.Dedicated to Prof. Francisco A. Doria on his 50th birthday.

This is the Spanish translation, by Cláudio Abreu and René Campis, of Wolfgang Stegmüller’s German text “Walther von der Vogelweides Lied von der Traumliebe und Quasar 3 C 273 – Betrachtungen zum sogenannten Zirkel des Verstehens und zur sogenannten Theorienbeladenheit der Beobachtungen”, published in 1979.

This article provides a spatial analysis of the conceptual framework of fluid dynamics during the nineteenth century, focusing on the transition from the Euler equation to the Navier–Stokes equation. A dynamic version of Peter Gärdenfors's theory of conceptual spaces is applied which distinguishes changes of five types: addition and deletion of special laws; change of metric; change in importance; change in separability; addition and deletion of dimensions. The case instantiates all types but the deletion of dimensions. We also provide a (...) new view upon limiting case reduction at the conceptual level that clarifies the relation between the predecessor and successor conceptual framework. The nineteenth-century development of fluid dynamics is argued to be an instance of normal science development. (shrink)

Applied sociology will be understood in the following discussion as a unique and original form of sociology; i.e., in its logic and practice distinguished from traditional sociology it is understood as an explanatory body of knowledge and an intellectual discourse about intentional/purposeful social action and behavior. The application of sociology proper to such substantive fields as family, art, law and sport, commonly called applied sociology, which reproduce the body of sociological knowledge just a second time, is not part of such (...) understanding. Applied sociology in its original sense has its own logic in which purpose, implementation and the process of social-problem solution are crucial. It will in the end lead to an applied action or implementation theory. It is, to paraphrase Lazarsfeld, the methodology of “sociology in action” (1960). (shrink)

This paper develops the first parts of a logical framework for the empirical sciences, by means of a redefinition of theory structuralism as originally developed by Joseph Sneed, Wolfgang Stegmüller, and others, in the context of a ‘rigid’ logic as based on a fixed (therefore rigid) ontology. The paper defends a formal conception of the empirical sciences that has an irreducible ontological basis and is unable, in general, to provide purely structural characterizations of the domain of a theory. The extreme (...) rationalist utopia of a characterization of the real world ‘up to isomorphism’, therefore, is rejected. (shrink)

The aim of the present paper is to contribute to the discussion on the constitutive a priori in science by linking it with the discussion on scientific laws and theories, in such a way to show how the different senses of the notion of constitutive a priori are not incompatible to each other and that they can be precised in a unified, though differentiated, manner.