The aim of the article is to outline the historical background and the present state of the methodology of deductive systems invented by Alfred Tarski in the thirties. Key notions of Tarski's methodology are presented and discussed through, the recent development of the original concepts and ideas.

Les questions qui ont suscité le présent texte concernent la relation entre la théorie et le réel empirique: comment peut-on identifier le contenu empirique d'une théorie? Dans quelle mesure sa prétention à révéler le réel estelle justifiée? La première tâche que ces interrogations commandent est celle d'exposer les conceptions de la structure des théories scientifiques les plus marquantes de ce siècle. Dans cette période la philosophie des sciences a d'abord été dominée par l'empirisme logique et son approche formelle de la (...) structure des théories scientifiques. L'empirisme logique est certes un mouvement qui a eu une histoire mouvementée et qui a été le théâtre de nombreuses modifications, mais une de ses thèses les plus persistantes peut le caractériser de façon générale: sa représentation de la théorie sous la forme d'un système d'énoncés. Pour désigner cette position, nous utiliserons l'expression «conception assertive» comme traduction de statement view. L'approche sémantique est une conception plus récente de la structure de la théorie qui semble peu à peu vouloir prendre la place de la conception assertive. Nous décrirons donc dans un premier temps ces deux approches afin de déterminer chaque fois la fagon dont le rapport de la théorie au réel est envisagé. (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)

On the dominant view of vagueness, if it is vague whether Harry is bald, then all the specific facts about the distribution of hair on Harry's head, together with all the facts about Harry's comparison class, together with all the facts about our community-wide use of the word ‘bald’, fail to settle whether Harry is bald. On the dominant view, if it is vague whether Harry is bald, then nothing settles whether Harry is bald—it is unsettled, not merely epistemically, but (...) metaphysically, whether Harry is bald. Call this view vagueness-as-indeterminacy. Vagueness-as-indeterminacy entails the following proposition: that clear vagueness as to whether Harry is bald clearly does not entail that Harry is bald. I argue against this proposition, and thus against vagueness-as-indeterminacy. My argument consists of a defence of the following rival proposition: that it is vague whether clear vagueness as to whether Harry is bald entails that Harry is bald. The argument itself is short. Most of the paper is devoted to responding to various objections to the argument, as well as attempting to explain away the initial appeal of the proposition that clear vagueness as to whether Harry is bald clearly does not entail that Harry is bald. (shrink)

On the dominant view of vagueness, if it is vague whether Harry is bald, then it is unsettled, not merely epistemically, but metaphysically, whether Harry is bald. In other words, vagueness is a type of indeterminacy. On the standard alternative, vagueness is a type of ignorance: if it is vague whether Harry is bald, then, even though it is metaphysically settled whether Harry is bald, we cannot know whether Harry is bald. On my view, vagueness is neither a type of (...) indeterminacy nor a type of ignorance. Rather, it is sui generis. (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)

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.

The importance of the comparative notion of versimilitude, or truthlikeness, for a realist conception of knowledge follows from two modest ‘realist’ assumptions, namely, that the aim of an enquiry, as an enquiry, is the truth of some matter; and that one false theory may realize this aim better than another. However, there seem to be two ways in which one (false) theory can realize this aim better than another. One (false) theory can be closer to the truth than another either (...) by being preponderantly more accurate in its predictions or by providing more comprehensive information about the system (or class of systems) at issue. This paper presents a model-theoretic approach to the analysis of the comprehensiveness-related component of the comparative notion of versimilitude. The machinery of the ‘semantic’ view of theories is applied to the problem of providing necessary and sufficient conditions for the truth of sentences of the form, ‘B is truth-increasing with respect to A’, where A and B are taken to be sets of structures. (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. 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, then their further logical theory is discussed. 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. (shrink)

Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

Exact philosophy consists of various disciplines scattered and separated. Formal semantics and philosophy of science are good examples of two such disciplines. The aim of this paper is to show that there is possible to find some integrating bridge topics between the two fields, and to show how insights from the one are illuminating and suggestive in the other.

In this article I give an overview of some recent work in philosophy of science dedicated to analysing the scientific process in terms of (conceptual) mathematical models of theories and the various semantic relations between such models, scientific theories, and aspects of reality. In current philosophy of science, the most interesting questions centre around the ways in which writers distinguish between theories and the mathematical structures that interpret them and in which they are true, i.e. between scientific theories as linguistic (...) systems and their non-linguistic models. In philosophy of science literature there are two main approaches to the structure of scientific theories, the statement or syntactic approach -- advocated by Carnap, Hempel and Nagel -- and the non- statement or semantic approach --advocated, among others, by Suppes, the structuralists, Beth, Van Fraassen, Giere, Wojcicki. In conclusion, I briefly review some of the usual realist inspired questions about the possibility and character of relations between scientific theories and reality as implied by the various approaches I discuss in the course of the article. The models of a scientific theory should indeed be adequate to the phenomena, but if the theory is 'adequate' to (true in) its conceptual (mathematical) models as well, we have a model-theoretic realism that addresses the possible meaning and reference of 'theoretical entities' without relapsing into the metaphysics typical of the usual scientific realist approaches. (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 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.

Carnap’s search for a criterion of empirical significance is usually considered a failure. I argue that the results from two out of his three different approaches are at the very least problematic, but that one approach led to success. Carnap’s criterion of translatability into logical syntax is too vague to allow for definite results. His criteria for terms—introducibility by chains of reduction sentences and his criterion from “The Methodological Character of Theoretical Concepts”—are almost trivial and have no clear relation to (...) the empirical significance of sentences. However, his criteria for sentences—translatability, verifiability, falsifiability, confirmability—are usable, and under the assumptions needed for the Carnap sentence approach, verifiability, falsifiability, and translatability become equivalent. As a result of the Carnap sentence approach, metaphysics is rendered analytic. (shrink)

Carnap suggests that philosophy can be construed as being engaged solely in conceptual engineering. I argue that since many results of the sciences can be construed as stemming from conceptual engineering as well, Carnap’s account of philosophy can be methodologically naturalistic. This is also how he conceived of his account. That the sciences can be construed as relying heavily on conceptual engineering is supported by empirical investigations into scientific methodology, but also by a number of conceptual considerations. I present a (...) new conceptual consideration that generalizes Carnap’s conditions of adequacy for analytic–synthetic distinctions and thus widens the realm in which conceptual engineering can be used to choose analytic sentences. I apply these generalized conditions of adequacy to a recent analysis of scientific theories and defend the relevance of the analytic–synthetic distinction against criticisms by Quine, Demopoulos, and Papineau. (shrink)

Abstract Artificial language philosophy (also called ‘ideal language philosophy’) is the position that philosophical problems are best solved or dissolved through a reform of language. Its underlying methodology—the development of languages for specific purposes—leads to a conventionalist view of language in general and of concepts in particular. I argue that many philosophical practices can be reinterpreted as applications of artificial language philosophy. In addition, many factually occurring interrelations between the sciences and philosophy of science are justified and clarified by the (...) assumption of an artificial language methodology. (shrink)

Section 1 recalls a point noted by A. N. Prior forty years ago: that a certain formula in the language of a purely implicational intermediate logic investigated by R. A. Bull is unprovable in that logic but provable in the extension of the logic by the usual axioms for conjunction, once this connective is added to the language. Section 2 reminds us that every formula is interdeducible with (i.e. added to intuitionistic logic, yields the same intermediate logic as) some conjunction-free (...) formula. Thus it would seem that any detour going via formulas with conjunction can be avoided, which raises a puzzle: how is this consistent with the point from Section 1? Sections 3 and 4 raise and discuss this puzzle. In fact, the puzzle turns out on closer inspection not to be so puzzling after all, but it does serve as a convenient centrepiece around which to organize a discussion of the phenomenon illustrated by the Bull–Prior example. Section 5 notes that Prior's observation can be extended to the case of the result of adding disjunction to Bull's logic, while Section 6 includes some further remarks aimed at diagnosing one source of possible residual puzzlement. A subtext of our discussion—spanning several of the notes—is that this work by Bull and Prior has been overlooked, their results having to be rediscovered, by many algebraists and logicians in more recent years. (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)

Several philosophers of science construe models of scientific theories as set-theoretic structures. Some of them moreover claim that models should not be construed as structures in the sense of model theory because the latter are language-dependent. I argue that if we are ready to construe models as set-theoretic structures (strict semantic view), we could equally well construe them as model-theoretic structures of higher-order logic (liberal semantic view). I show that every family of set-theoretic structures has an associated language of higher-order (...) logic and an up to signature isomorphism unique model-theoretic counterpart, which is able to serve the same purposes. This allows to carry over every syntactic criterion of equivalence for theories in the sense of the liberal semantic view to theories in the sense of the strict semantic view. Taken together, these results suggest that the recent dispute about the semantic view and its relation to the syntactic view can be resolved. (shrink)

In this paper an analysis of scientific theories and theory change including meaning change is presented by using intensional logic. Several cases of scientific progress are distinguished and special attention is given to incommensurability. It is argued that ,in all cases the comparison of rival theories is possible via translation. Finally two different forms of theory-Iadenness of observation are analysed.

Quine's reasons for recommending naturalist epistemology are: (1) knowledge, Mind and meaning are part of the world they have to do with, (2) since the cartesian quest for certainty and reductionism of carnap's 'aufbau' type have failed, Rational reconstruction has no more any advantage over psychology, (3) since phenomenalist validation of science is no longer our concern, It is not circular to appeal to psychology. Against this it is argued that (a) no definite methodological policy can be based on (1) (...) alone; (b) certainty and phenomenalist reduction are not the only purposes of rational reconstruction; (c) it would be circular to appeal to psychology in developing a theory of rational method of acquiring knowledge: (d) logic and psychology of science are complementary not mutually exclusive. (shrink)

The sheer multitude of criteria of empirical significance has been taken as evidence that the pre-analytic notion being explicated is too vague to be useful. I show instead that a significant number of these criteria—by Ayer, Popper, Przełęcki, Suppes, and David Lewis, among others—not only form a coherent whole, but also connect directly to the theory of definition, the notion of empirical content as explicated by Ramsey sentences, and the theory of measurement; two criteria by Carnap and Sober are trivial, (...) but can be saved and connected to the other criteria by slight modifications. A corollary is that the ordinary language defense of Lewis, the conceptual arguments by Ayer and Popper, the theoretical considerations by Przełęcki, and the practical considerations by Suppes all apply to the same criterion or closely related criteria. Furthermore, the equivalence of some criteria allows for their individual justifications to be taken cumulatively and, together with the entailment relations between nonequivalent criteria, suggest criteria for general auxiliary assumptions, comparative criteria, and more liberal conceptions of observation. (shrink)

I provide a compact reformulation of Carnap’s conditions of adequacy for the analytic and the synthetic component of a theory and show that, contrary to arguments by Winnie and Demopoulos, Carnap’s conditions of adequacy need not be supplemented by another condition. This has immediate implications for the analytic component of reduction sentences.

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

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