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 the present article two possible meanings of the term mathematical structure are discussed: a formal and a nonformal one. It is claimed that contemporary mathematics is structural only in the nonformal sense of the term. Bourbaki's definition of structure is presented as one among several attempts to elucidate the meaning of that nonformal idea by developing a formal theory which allegedly accounts for it. It is shown that Bourbaki's concept of structure was, from a mathematical point of view, a (...) superfluous undertaking. This is done by analyzing the role played by the concept, in the first place, within Bourbaki's own mathematical output. Likewise, the interaction between Bourbaki's work and the first stages of category theory is analyzed, on the basis of both published texts and personal documents. (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)

The ArgumentThe belief in the existence of eternal mathematical truth has been part of this science throughout history. Bourbaki, however, introduced an interesting, and rather innovative twist to it, beginning in the mid-1930s. This group of mathematicians advanced the view that mathematics is a science dealing with structures, and that it attains its results through a systematic application of the modern axiomatic method. Like many other mathematicians, past and contemporary, Bourbaki understood the historical development of mathematics as a series of (...) necessary stages inexorably leading to its current state — meaning by this, the specific perspective that Bourbaki had adopted and were promoting. But unlike anyone else, Bourbaki actively put forward the view that their conception of mathematics was not only illuminating and useful for dealing with the current concerns of mathematics, but that this was in fact the ultimate stage in the evolution of mathematics, bound to remain unchanged by any future development of this science. In this way, they were extending in an unprecedented way the domain of validity of the belief in the eternal character of mathematical truths, from the body to the images of mathematical knowledge.Bourbaki were fond of presenting their insistence on the centrality of the modern axiomatic method as a way to ensure the eternal character of mathematical truth as an offshoot of Hilbert's mathematical heritage. A detailed examination of Hilbert's actual conception of the axiomatic method, however, brings to the fore interesting differences between it and Bourbaki's conception, thus underscoring the historically conditioned character of certain, fundamental mathematical beliefs. (shrink)

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

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)

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.

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)

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)

The relation between logic and philosophy of science, often taken for granted, is in fact problematic. Although current fashionable criticisms of the usefulness of logic are usually mistaken, there are indeed difficulties which should be taken seriously — having to do, amongst other things, with different scientific mentalities in the two disciplines (section 1). Nevertheless, logic is, or should be, a vital part of the theory of science. To make this clear, the bulk of this paper is devoted to the (...) key notion of a scientific theory in a logical perspective. First, various formal explications of this notion are reviewed (section 2), then their further logical theory is discussed (section 3). In the absence of grand inspiring programs like those of Klein in mathematics or Hilbert in metamathematics, this preparatory ground-work is the best one can do here. The paper ends on a philosophical note, discussing applicability and merits of the formal approach to the study of science (section 4). (shrink)

Summary The non-statement view of scientific theories contains a new conception of theoreticity: A function is „T-theoretical if T must be presupposed for its calculation. On the basis of this conception some philosophers came to the conclusion that scientific theories are not empirically testable because they contain T-theoretical functions. It is claimed that the attempt to test them ends in a circularity: The test of T presupposes T itself.

Michael Dummett, Frege and other philosophers. Oxford:Clarendon Press, 1991. xii + 330pp. £35. ISBN W.Balzer and C.U.Moulines, Structuralist theory of science:focal issues, new results, Berlin; de Gruyter, 1996. xi + 295 pp.DM 210. ISBN 3-11-014075-6 Henry Prakken, Logical tools for modeling legal argument a study of defeasible reasoning in law.Dordrecht, The Netherlands:Kluwer Academic, 1997, xiii + 314pp.£75.00/$125.00 J.Srzednicki and Z.Stachniak Lesniewski’s Systems.Protothetic.Nijhoff International Philosophy Series, 54, Dordrecht, Boston and London:Kluwer, 1998. xiv + 310 pp, £99. ISBN 0-7923-4504-5.

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)

La parution de la monographic de Sneed,The Logical Structure of Mathematical Physics a suscité un renouveau d'intérêt en philosophie contemporaine des sciences. Cet ouvrage arrivait à un moment où l'épistémologie des sciences, telle que développée dans les milieux germaniques et anglo-saxons, accusait de graves insuffisances dans la reconstruction rationnelle du développement historique des théories physiques. Mis sur la défensive par les thèses et arguments historiques de Kuhn et de Feyerabend, ces milieux « orthodoxes » devaient reconnaitre l'état embryonnaire de ce (...) qui devait être uneépistémologie diachroniquedes sciences, une épistémologie du changement scientifique où les méthodes d'analyse formelle puissent être aussi mises á contribution. A cela s'ajoutait un certain malaise, une certaine stagnation de la problématique, plus synchronique, de l'approche traditionnelle issue du mouvement empiriste logique. Le probleme de la dichotomielangage théorique—langage observationnel, ainsi que son fidèle compagnon, le problème destermes théoriques, le statut épistémologique desrègies de correspondance, la dèfinition du concept d'analyticitéen science, autant de questions qui avaient été discutées et critiquées, à maintes reprises, pour aboutir à des résultats peu concluants aux yeux des philosophes, comme à ceux des physiciens préoccupés des fondements de leur discipline et à qui la teneur de cette discussion semblait souvent étrangère à la pratique scientifique. (shrink)

In the history of Newtonian Mechanics physicists and astronomers did not rely on so-called inertial frames, indeed they were not able to identify such frames. So the usual neo-Newtonian formalism of Newtonian Mechanics contains some superfluous components. In the present paper I will formulate a formal system for classical particle mechanics in Leibnizian space-time, where a relation, a counterpart of the second law of motion, between force on bodies and derivative of their momentum will be defined relative to every, inertial (...) or not, reference frame. And I will present a view that in the research process under Newtonian mechanics the accumulation of those models of the relation that satisfied some realistic conditions determined an additional structure of non-rotating frames to Leibnizian space-time. (shrink)

In this paper it is argued that the general problem of indication, increasingly discussed in the field of psychotherapy in recent years, actually is a pseudoproblem with no solution to be expected. In its objectives and premises it is trongly suggestive of conceptions and ideas of early logical empiricism, to be considered as out-of-date today. The concept of indication is identified as ambiguous, and preliminary remarks aiming at an explication of the concept are made. Finally, the consequences of our arguments (...) for the immediate problem of integration of the different therapeutic approaches are pointed out. (shrink)

Drawing inspiration from Lakatos’s philosophy of science, the paper presents a notion of intertheory explanation that is suitable to explain, from the point of view of a successor theory, its predecessor theory’s success (where it is successful) as well as the latter’s failure (where it fails) at the same time. A variation of the Ramsey-test is used, together with a standard AGM belief revision model, to give a semantics for open and counterfactual conditionals and ’because’-sentences featuring in such intertheory explanations. (...) Pre-theoretically described idealizing assumptions play a crucial role in this model, especially when the predecessor theory and the successor theory contradict each other. (shrink)

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

The paper sketches an account of explanatory practice in which explanations are viewed as answers to explanation-requiring questions. To avoid difficulties in previous proposals, the paper uses the structuralist account of theory structure, arguing that theories are complex and evolving entities formed around a conceptual core and a set of intended applications. The argument is that this view does better justice to theories which involve a number of different kinds of theory-elements to give narrative explanations. Theories are, among other things, (...) devices which can be used to turn explanation-requiring questions into a form which allows assessment of potential answers. Evolutionary theory, both in Darwin's and the modern synthetic forms, are used as examples. The view advanced is that modern evolutionary theory need not have a unique core to which other theories serve as subcontractors. (shrink)

This paper discusses critically the fundamental elements of the Stegmüller/Sneed-reconstruction of Kuhn's normal science concept. It is argued that a) Kuhn himself cannot accept this reconstruction if he wants to describe theory dynamics in the past; b) the reconstruction is not based on a pure non-statement view; c) to have a theory in the sense of Kuhn, should be related to the ordered pair <K,Iₒ> to ensure the desired constancy over time; d) the reconstruction implies, contrary to Kuhn, the ability (...) of rejecting a theory without having an alternative one; e) the rejection of a theory can be the result of a falsifying procedure and, therefore, theories are not immune from falsification; f) the reconstruction still contains rationality gaps; g) the reconstruction shows more precisely than Kuhn's work that Popper is right when he attacks normal scientist's behaviour; h) the positions of the Kuhnians and of the criticists could be reconciled partially. (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)

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)

A Constructivist Foundation of the Objects of Scientific Empirical Theories. The following considerations are guided by the assumption that the objects of any scientific empirical theory are constructs as well as the theories themselves, the construction of these object-constructs being fundamentally dependent on the theories' functioning in the provision of practically relevant empirical explanations. The relevance of these explanations consists in their contribution to the improvement of at least one practical capacity through enabling the invention of at least one improving (...) kind of practical actions. In an excursus on the origination and the development of the notion of theory within human history the view is held, in contrast to Aristotle, that theorization has always aimed at practical relevance, however in a broader sense of "practical" than that in which Aristotle uses the term "πρακτικός", and that only the practical functions of theory-construction have changed over the times, and their object-constructs correspondingly. The latest form of theory with the above-mentioned function in the development of social practice is the scientific explanatory empirical theory with the descriptive empirical theory now no longer fulfilling a practical function of its own, but only a service-function of data acquisition for the explanatory theory. The object-constructs of strictly scientific empirical theories in the sense of explanatory theories for the improvement of practical capacities are here considered to be empirical quasi-actions, those of the dependent descriptive empirical theories either quasi-instruments or quasi-products or quasi-materials of the respective kind of quasi-actions of the explanatory theory. The empirical quasi-action is here conceived as the latest in a sequence of developing object-constructs that have resulted from different and successively more effective attempts at better survival of human beings and even from prehuman stages of evolution. The author envisages a differentiation of empirical quasi-actions into further sub-categories to provide the conceptual bases for the construction of objects of new kinds of scientific explanatory empirical theories that might become practically relevant for the improvement of new kinds of practical capacities to be preferably improved for the advancement of social practice: Beside the already relevant category of empirical processes are here proposed the further categories of empirical originations of meaning and of empirical originations of practical actions as conceptual bases for object-constructs of future scientific empirical theories. (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)

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

My target article did not attribute a pervasive ontological significance to phenomenology, so it escapes Bogdan's “epistemological illusion.” Pust correctly pinpoints an ambiguity between content-inclusive and content-exclusive forms of folk functionalism. Contrary to Fodor, however, only the former is plausible, and hence my third argument against functionalism remains a threat. Van Brakel's charity approach to first-person authority cannot deal with authority vis-a-vis sensations, and it has some extremely odd consequences.

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)

Patrick Suppes'' set-theoretical approach to the analysis of theories, and Joseph D. Sneed''s metatheory are briefly outlined. The notions of observation, illusion and hallucination are reconstructed according to these approaches. It is argued that the terms perception and truth are theoretical with respect to observation but nontheoretical with respect to illusion and hallucination. Hallucination is construed as a special kind of illusion.

Dogmatic, naive and sophisticated falsificationism are construed as being distinguished by different views on the revisability of scientific theories. Then Lakatos's methodology of scientific research programs (SRP) is reinterpreted: The structure of an SRP is a target theory equipped with a priority structure for hypothetical revisions that accommodate idealizing assumptions. Idealizations pointing "backwards" capture predecessor theories, thus showing both their virtues and limitations. The core of an SRP is assigned top priority; its positive heuristics consists in a strategy of how (...) to work off the idealizing assumptions. In the dynamics of SRP's, progressive intertheoretic relations within an SRP are characterized as generating continuity through revisions, while those that hold across SRP's only have excess empirical content. Finally, we contrast our account with a reconstruction of Lakatos's in the structuralist philosophy of science (W. Stegmüller). (shrink)