Criteria of empirical significance are supposed to state conditions under which reference to an unobservable object or property is “empirically meaningful.” The intended kind of empirical meaningfulness should be necessary for admissibility into the selective contexts of scientific inquiry. I defend Justus’s recent argument that the reasons generally given for rejecting the project of defining a significance criterion are unpersuasive. However, as I show, this project remains wedded to an overly narrow conception of its subject matter. Even the most cutting (...) edge significance criteria identify empirical significance with predictive power, and thereby rule out vocabulary with legitimate scientific functions. In a nutshell, the problem is that there are terms that reduce the computational burden of extracting predictions from theory, and that may therefore be scientifically useful, but that do not add to the theory’s observational consequences, and so are ruled scientifically inadmissibility by existing significance criteria. I spell out this objection by specifying shortcut terms that are ruled inadmissible by Creath’s and Schurz’s criteria. Having objected in this way to extant criteria, and to the equation of empirical significance with predictive power in general, I discuss an approach to defining empirical significance that is capable of avoiding my objection and, more ambitiously, that may break the cycle of “punctures and patches” that has plagued the project from the beginning. I gloss Goldfarb and Ricketts’s idea of “case-by-case” delineations of empirically significant terms as the provision of special rather than general explications of the informal concept of empirical significance. (shrink)

The relationship between Carnap’s Logical Syntax of Language and Wittgenstein’s Tractatus Logico-Philosophicus has been interpreted in several ways during past decades. One of the interpretations has gained keen advocates among Carnap scholars. It was originally provoked by what Caranp said in LSL, and it consists of two parts. First, it indicates that in TLP the possibility of speaking about the logical form of a language within the same language had been foresworn by Wittgenstein, but Carnap proved him wrong by producing (...) a book written exactly in the manner which had been proscribed by Wittgenstein. This is the debate about the possibility of speaking about logical form. Second, Wittgenstein’s dogmatism with regard to the existence of a unique correct grammar at the foundation of the language has been contrasted with Carnap’s open-mindedness in conceiving a boundless ocean of possibilities for constructing logical systems. Interestingly enough, Wittgenstein rambled with rage in reaction to Carnap’s view about the LSL-TLP relationship. But unlike Carnap’s view, which led to a dominant interpretation of the relationship, Wittgenstein’s testimony about the case has been strangely ignored in the history of analytic philosophy. In this paper, I try to make an inquiry about the grounds for Wittgenstein’s dissatisfaction with the Carnapian reading of the LSL-TLP relationship. I will show that Wittgenstein was not totally unfair in his judgment, and that some salient aspects of LSL could be best understood in the light, or rather the gloom, of TLP, and bear a significant resemblance to it. This, however, does not need to diminish the logical and historical significance of LSL. (shrink)

I look at the distinction between between realist and antirealist views of the quantum state. I argue that this binary classification should be reconceived as a continuum of different views about which properties of the quantum state are representationally significant. What's more, the extreme cases -- all or none --- are simply absurd, and should be rejected by all parties. In other words, no sane person should advocate extreme realism or antirealism about the quantum state. And if we focus on (...) the reasonable views, it's no longer clear who counts as a realist, and who counts as an antirealist. Among those taking a more reasonable intermediate view, we find figures such as Bohr and Carnap -- in stark opposition to the stories we've been told. (shrink)

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

The main task in this paper is to detail and investigate Carnap’s conception of a “linguistic framework”. On this basis, we will see whether Carnap’s dichotomies, such as the analytic-synthetic distinction, are to be construed as absolute/fundamental dichotomies or merely as relative dichotomies. I argue for a novel interpretation of Carnap’s conception of a LF and, on that basis, will show that, according to Carnap, all the dichotomies to be discussed are relative dichotomies; they depend on conventional decisions concerning the (...) logical syntax of LF. Thus, all of the dichotomies directly hinge on the conception of the LF. The LF’s logical structure, in turn, is an immediate consequence of adopting the linguistic doctrine of logical truths. As we will see, no appeal to any of these distinctions is necessary in establishing a LF and all of its components. I will also draw attention to the differences between what Carnap labels a “way of speaking”, “language”, and “artificial language”. Consequently, I will briefly conclude that none of Quine’s major objections address the main points of Carnap’s theory. (shrink)

In this paper, a solution to the problem of theoretical terms is developed that is based on Carnap’s doctrine of indirect interpretation of theoretical terms. This doctrine will be given a semantic, model-theoretic explanation that is not given by Carnap himself as he remains content with a syntactic explanation. From that semantic explanation, rules for the truth-value assignment to postulates, i.e. sentences that determine the meaning of theoretical terms, are derived. The logical status of postulates will be clarified thereby in (...) such a way that the problem of theoretical terms disappears. (shrink)

Manfred Eigen extended Erwin Schroedinger’s concept of “life is physics and chemistry” through the introduction of information theory and cybernetic systems theory into “life is physics and chemistry and information.” Based on this assumption, Eigen developed the concepts of quasispecies and hypercycles, which have been dominant in molecular biology and virology ever since. He insisted that the genetic code is not just used metaphorically: it represents a real natural language.However, the basics of scientific knowledge changed dramatically within the second half (...) of the 20th century.Unfortunately, Eigen ignored the results of the philosophy of science discourse on essential features of natural languages and codes: a natural language or code emerges from populations of living agents that communicate. This contribution will look at some of the highlights of this historical development and the results relevant for biological theories about life. (shrink)

Since the beginning of the 20th century, philosophers of science have asked, "what kind of thing is a scientific theory?" The logical positivists answered: a scientific theory is a mathematical theory, plus an empirical interpretation of that theory. Moreover, they assumed that a mathematical theory is specified by a set of axioms in a formal language. Later 20th century philosophers questioned this account, arguing instead that a scientific theory need not include a mathematical component; or that the mathematical component need (...) not be specified by a set of axioms in a formal language. We survey various accounts of scientific theories entertained in the 20th century -- removing some misconceptions, and clearing a path for future research. (shrink)

The present note is intended to draw the reader's attention to the analysis of the relation between Newtonian Mechanics and Special Relativity Mechanics (henceforth to be referred to as NM and SRM), given by Philipp Frank, one of the classics of Logical Empiricism (in Frank [1938]). Frank's analysis of the relation between NM and SRM is interesting in many ways. Firstly, it shows clearly that problems of disruptive changes and of conceptual disparity were known to and discussed by Logical Empiricists (...) and that, therefore, some of them at least were not at all blinded to 'dynamic' problems of changes in actual science by their view of physical theories as interpreted axiomatic systems and did not deal with those theories as 'static, frozen in logical mold'. Secondly, it reveals some of the reasons for the Logical Empiricist rejection of what came to be known later as the incommensurability claim. (shrink)

From 1953 to 1959 Gödel worked on a response to Carnap’s philosophy of mathematics. The drafts display Gödel’s familiarity with Carnap’s position from The Logical Syntax of Language, but they received a dismissive reaction on their eventual, posthumous, publication. Gödel’s two principal points, however, will here be defended. Gödel, though, had wished simply to append a few paragraphs to show that the same arguments apply to Carnap’s later views. Carnap’s position, however, had changed significantly in the intervening years, and to (...) a significant extent, this mature position realizes much of what Gödel himself wanted out of a philosophy of mathematics. (shrink)

Criteria of empirical significance are supposed to state conditions under which reference to an unobservable object or property is “empirically meaningful”. The intended kind of empirical meaningfulness should be necessary for admissibility into the selective contexts of scientific inquiry. I defend Justus’s recent argument that the reasons generally given for rejecting the project of defining a significance criterion are unpersuasive. However, as I show, this project remains wedded to an overly narrow conception of its subject matter. Even the most cutting (...) edge significance criteria identify empirical significance with predictive power, and thereby rule out vocabulary with legitimate scientific functions. In a nutshell, the problem is that there are terms that reduce the computational burden of extracting predictions from theory, and that may therefore be scientifically useful, but that do not produce any additional predictions, and so are ruled scientifically inadmissibility by existing significance criteria. I spell out this objection by specifying terms of this kind that are ruled inadmissible by Creath’s and Schurz’s criteria. Having objected in this way to extant criteria, and to the equation of empirical significance with predictive power in general, I discuss an approach to defining empirical significance that is capable of avoiding my objection and, more ambitiously, that may break the cycle of “punctures and patches” that has plagued the project from the beginning: I gloss Goldfarb and Ricketts’s idea of “case-by-case” delineations of empirically significant terms as the provision of special rather than general explications of the informal concept of empirical significance. (shrink)

In this paper I examine the question of logic’s normative status in the light of Carnap’s Principle of Tolerance. I begin by contrasting Carnap’s conception of the normativity of logic with that of his teacher, Frege. I identify two core features of Frege’s position: first, the normative force of the logical laws is grounded in their descriptive adequacy; second, norms implied by logic are constitutive for thinking as such. While Carnap breaks with Frege’s absolutism about logic and hence with the (...) notion that any system of logic should have a privileged claim to correctness, I argue that there is a sense in which Carnap’s framework-relative conception of logical norms has a constitutive role to play: though they are not constitutive for the conceptual activity for thinking, they do nevertheless set the ground rules that make certain forms of scientific inquiry possible in the first place. I conclude that Carnap’s principle of tolerance is tamer than one might have thought and that, despite remaining differences, Frege’s and Carnap’s conceptions of logic have more in common than one might have thought. (shrink)

I provide a brief history of pragmatics as it relates to explanation, highlighting the great neglect of pragmatics and pragmatic considerations in regard to explanation during the mid-twentieth century. In order to understand pragmatic considerations regarding explanation, I utilize the work of Bas C. van Fraassen, Peter Achinstein, and Jan Faye. These thinkers provide crucial tools for understanding pragmatics, especially with regard to concepts such as context and exigence. The work of these thinkers provides the platform from which I compose (...) a definition of pragmatic considerations. (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)

The aim of the paper is to show that W. V. O. Quine's animadversions against modal logic did not get the same attention that is considered to be the case nowadays. The community of logicians focused solely on the technical aspects of C. I. Lewis’ systems and did not take Quine's arguments and remarks seriously—or at least seriously enough to respond. In order to assess Quine's place in the history, however, his relation to Carnap is considered since their notorious break (...) was about the status of extensionality and modal logic. Since much of the works about the history of analytic philosophy is centered on the relationship of Quine and Carnap, their break about modality deserves much more attention—it also sheds some light on why should anyone wonder about Quine's early arguments against modal logic. The paper ends with some further considerations regarding the early formation of modal logic and hitherto unconsidered problematic issues. (shrink)

My goal, in this paper, is to critically assess the categorization of “interpretations of probability” as it appears in the literature. In some sources only Carnap’s treatment of probability is understood to be the best example of “logical” probability. This is surprisingly narrow and I will here suggest otherwise. In fact, I believe that certain forms of Baysianism should also be included in the logical camp.

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)

Jules-Henri Poincare is universally acknowledged to have been one of the greatest scientific minds of the nineteenth century. The development of his genius from childhood precociousness was unusually smooth. By the end of his life he had been accorded virtually every international honour in the field of science.

The paper, as a continuation of the paper Hanzel , provides a methodological generalization of Newton’s method of theory construction as applied in Book I and Book III of his Principia. It reconstructs also the method of measures applied in those books. Finally, it shows how the term “harmonic law” changes its meaning in the Principia.

This article concerns the split between syntactic and semantic approaches to scientific theories. It aims at showing that an axiomatic representation of a scientific theory is a precondition of comprehending if the models of contain infinite entities. This result is established on the basis of the proposition that the human mind—which is finitely bounded for all we know—is not capable of directly grasping infinite entities. In view of this cognitive limitation, an indirect and finite representation of possibly infinite components of (...) the models of a scientific theory proves to be indispensable. Sets of axioms and sets of axiom schemes provide such a representation. These considerations will be cast into an argument for an axiomatic conception of scientific theories. The article concludes with a case study of the ideal gas model. (shrink)

The paper reconstructs three main stages in the development of Carnap’s approach to language in the years 1931 – 1947. It starts with Carnap’s approach to metalogic in his Viennese Zirkelprotokolle and his Logische Syntax der Sprache from the point of view of one-level approach to the relation between metalanguage and its object-language. It then analyzes Tarski’s turn to semantics in his paper presented at the Paris conference in September 1935, as well as the implications of his view for Carnap’s (...) approach to semantics from 1935 until 1943. Finally, it analyzes Church’s rediscovery of Frege and its impact on Carnap’s shift to the extension/intension distinction in his semantics in the years 1943 – 1947. (shrink)

Both Carnap and Quine made significant contributions to the philosophy of mathematics despite their diversed views. Carnap endorsed the dichotomy between analytic and synthetic knowledge and classified certain mathematical questions as internal questions appealing to logic and convention. On the contrary, Quine was opposed to the analytic-synthetic distinction and promoted a holistic view of scientific inquiry. The purpose of this paper is to argue that in light of the recent advancement of experimental mathematics such as Monte Carlo simulations, limiting mathematical (...) inquiry to the domain of logic is unjustified. Robustness studies implemented in Monte Carlo Studies demonstrate that mathematics is on par with other experimental-based sciences. (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.