This paper discusses Carnap’s attempts in the late 1920s to provide a formal reconstruction of modern axiomatics.1 One interpretive theme addressed in recent scholarly literature concerns Carnap’s underlying logicism in his philosophy of mathematics from that time, more specifically, his attempt to “reconcile” the logicist approach of reducing mathematics to logic with the formal axiomatic method. For instance, Awodey & Carus characterize Carnap’s manuscript Untersuchungen zur allgemeinen Axiomatik from 1928 as a “large-scale project to reconcile axiomatic definitions with (...) class='Hi'>logicism, and transform implicit into explicit definitions.” It is argued that Carnap’s central idea was to balance a Fregean foundational stance with the modern model-theoretic viewpoint introduced in Hilbert’s Grundlagen der Geometrie ). It was also shown in recent literature that Carnap’s attempt to provide a logicist reconstruction of axiomatics is limited in several ways.2 No closer attention, however, has so far been dedicated to some of the details of his proposed reconciliation. (shrink)

In this paper, the connection between logicism and the principle of tolerance in Carnap’s philosophy of logic and mathematics is to be presented in terms of the history of its development. Such development is conditioned by two lines of criticism to Carnap’s attempt to combine Logicism and Conventionalism, the first of which comes from Gödel, the second from Alfred Tarski. The presentation will take place in three steps. First, the Logicism of Carnap before the publication of The (...) Logical Syntax of Language will be analyzed in its main features. Second, the relationship between Logicism and the Principle of Tolerance at the time of the publication of Logical Syntax, and thirdly, in the so-called semantical phase of Carnap’s thought will be examined. On the basis of the two preceding points, we will then critically analyze two interpretations of the possibility to maintain a philosophical position like that of Carnap nowadays. (shrink)

One important achievement Rudolf Carnap claimed for his book, The Logical Syntax of Language, was that it effected a synthesis of two seemingly antithetical philosophies of mathematics, logicism and formalism. Reconciling these widely divergent conceptions had been a goal of Carnap’s for several years. But in the years in which Carnap’s synthesis evolved, important intellectual developments influenced the direction of his efforts and, ultimately, the final outcome. These developments were, first of all, the epoch-making theorems proved by Kurt Gödel, (...) which required the abandonment of several theses central to the aims of logicism and formalism. Of far greater significance, in the present context, are the changes in Carnap’s own philosophical outlook, brought about not only by Gödel’s theorems but concurrent discussions within the Vienna Circle as well as his own researches. Consequently, the exact sense in which Carnap attempted the synthesis of logicism and formalism in the Logical Syntax requires careful examination. In what follows below, the evolution of Carnap’s synthesis will be traced, from the first reconciliation he proposed , through the synthesis that appeared with the publication of The Logical Syntax of Language. The aim is to determine which modifications of Carnap’s synthesis were required by Gödel’s theorems, and which were motivated by changes in his own thinking. Although the characteristic theses of both logicism and formalism required profound modifications because of Gödel’s theorems, the philosophical impulses that originally fueled their programs retained much of their former virulence. But the changes in Carnap’s thought that ocurred in the years he was developing his synthesis especially affected his appreciation of the philosophical motivations underwriting the logicist approach, so that much of the philosophical insight that inspired it is lost, and Carnap’s combination of logicism and formalism is a putative synthesis at best. (shrink)

Thirty years after the publication of Thomas Kuhn’s The Structure of Scientific Revolutions, sharp disagreement persists concerning the implications of Kuhn’s "historicist" challenge to empiricism. I discuss the historicist movement over the past thirty years, and the extent to which the discourse between two branches of the historical school has been influenced by tacit assumptions shared with Rudolf Carnap’s empiricism. I begin with an examination of Carnap’s logicism --his logic of science-- and his 1960 correspondence with Kuhn. I focus (...) on problems in the analysis applied to the unit of metascientific study or appraisal, arguing for a reassessment of historicist treatment of the internal/external distinction and historiographic meta-methodology. The critique of objectivism and relativism that eventuates from this re-assessment is a double-edged blade, undercutting both objectivist and relativist treatments of cognitive evaluation and scientific change. I use it to cut across an otherwise diverse group of historicist-influenced writers, including Imre Lakatos, Larry Laudan, H. M. Collins, Stephen Stich. I. Introduction.. (shrink)

The past decade has seen notable development of conceptual engineering – a field of analytical philosophy that focuses on the critical evaluation of concepts. Most authors engaged with this area identify Rudolf Carnap’s ideas as its methodological framework and theoretical origin, placing particular emphasis on the philosopher’s method of explication. This article highlights the unquestionable influence Carnap’s thought had on conceptual engineering whilst by no means reducing it to the utilisation and advancement of explication within this field of analytical philosophy: (...) indeed, conceptual engineering has incorporated – and brought to the forefront – much broader tenets of Carnap’s concept. This study draws on a series of the philosopher’s works, as well as his ‘Intellectual Autobiography’, to trace the evolution of his ideas about language and describe the fundamental elements revealing the ‘engineering perspective’ in his reflection. Most clearly, this perspective is evident in his interpretation of logic as a conceptual tool for acquiring and processing knowledge, ‘assembling’ it into a structure and refining the procedures of logic itself. It is shown that the origins of the engineering perspective trace back, on the one hand, to Carnap’s interest in the methodological framework of physics, particularly the measurement problem and its epistemological analysis, and, on the other, his fascination with interpretations of the nature of mathematical theory and the idea of unifying logicism and formalism by introducing the principle of tolerance, which adds a pragmatic dimension to methodology. The article examines in detail the idea of explication and its theoretical origins, which lie, in particular, in Carnap’s intention to exactify the notions expressing the degree of validity and probability. His idea of a link between the results of explication and its goal became the central principle of conceptual engineering, distinguishing it from mere conceptual analysis. It is concluded that, when considered together, Carnap’s two major ideas – explication and the principle of tolerance – can be placed in a broader context of a project seeking a rational reconstruction of the life of society and providing it with knowledge-based underpinnings. (shrink)

In 1929 Carnap gave a paper in Prague on Investigations in General Axiomatics; a briefsummary was published soon after. Its subject lookssomething like early model theory, and the mainresult, called the Gabelbarkeitssatz, appears toclaim that a consistent set of axioms is complete justif it is categorical. This of course casts doubt onthe entire project. Though there is no furthermention of this theorem in Carnap''s publishedwritings, his Nachlass includes a largetypescript on the subject, Investigations inGeneral Axiomatics. We examine this work here,showing (...) that it provides important insights intoCarnap''s development during this critical period, thetransition from Aufbau to Syntax,especially regarding the nature and motivation ofCarnap''s logicism. Moreover, we show how theAxiomatics influenced Carnap''s student Gödel inreaching the fundamental logical results that soonafterwards undermined Carnap''s project. (shrink)

The development of the systematic ontology of Bergmannes posthumous 1992 work New Foundations of Ontology from its roots in his early criticisms of R. Camap's work on semantics to his acceptance of fundamental Meinongian ideas, is traced, critically examined and compared to views of others, such as G.E. Moore, B. Russell, W.V. Quine, and J. Searle. The discussion, focusing on main themes of his final metaphysical system, deals with problems posed by universals and particulars, predication and the Bradley "paradox", facts, (...) truth, intentionality and non-existent objectives, classes and the membership relation, logic and the analytic-synthetic distinction, arithmetic and logicism, ontological categories and canons, modalities, internal relations, and the question of the phenomenological ground of ontological claims. Some of the critical analyses are developed into alternative analyses. (shrink)

In this thesis I defend and pursue that line about the foundations of probability theory which has come to be known as "the logicist view about probability", and, in particular, the shape which it took in Carnap's Inductive Logic. ;Most philosophers who now deal with probability theory claim that Carnap's program of Inductive Logic has failed. The main aim of my thesis is to show that this judgment is based on a fundamental misunderstanding about the nature and the aim of (...) inductive logic. To that end, I follow, in chapter 1, the events in the history of probability, logic and mathematics which led to choosing certain requirements as the requirements which any theory about the foundations of probability must fulfill in order to be acceptable. ;In chapter 2 I explain how Carnap's inductive logic fulfills those requirements and how the method it uses to give foundations to probability theory can also be used to solve another major problem about probability, namely, the problem of statistical inference. ;Chapter 3 shows how the ideas explained in chapter 2 were developed, formally, by Carnap, and how Carnap's program can be continued in a particular case, that of reasoning by analogy. ;Finally, in chapter 4, I attempt to show that subjectivism about probability theory, the rival theory to Carnap's logicism, does not succeed in meeting the most basic requirement for the acceptability of any theory about the foundations of probability. (shrink)

The faults of logical empiricist accounts of metascientific discourse are examined through a study of the modifications Carnap makes to his version of the program over four decades. As empiricists acquiesced on the distinction between theory and observation, Carnap attempted to retain and insulate an equally suspect sharp distinction between the theoretic and the pragmatic. Carnap's later philosophy was understood as a modification of the program in the direction of pragmatism. But neither the key notion of "external questions" nor an (...) instrumentalist understanding of "pragmatic utility" are genuinely compatible with pragmatism. This underlines the need to clarify what is unique to pragmatic views of cognitive evaluation and normative discourse as they affect scientific reasoning. I conclude by suggesting how pragmatic conceptions of metascientific discourse can work to correct misconceptions about norm generation and governance that are shared in logicist and historicist accounts. (shrink)

Throughout most of his career, Rudolf Carnap attempted to articulate an empiricist view. Central to this project is the understanding of how empiricism can be made compatible with abstract objects that seem to be invoked in mathematics. In this paper, I discuss and critically evaluate three moves made by Carnap to accommodate mathematical talk within his empiricist program: the “weak logicism” in the Aufbau; the combination of formalism and logicism in the Logische Syntax; and the distinction between internal (...) and external question characteristic of Carnap’s involvement with modality. As a result, the clear interplay between Carnap’s philosophy of science and his work in the philosophy of mathematics will emerge, as well as some challenges that need to be overcome along the way. (shrink)

"Homage to Rudolph Carnap."--Hempel, C. G. Rudolf Carnap, logical empiricist.--Wedberg, A. How Carnap built the world in 1928.--Eberle, R. A construction of quality classes improved upon the Aufbau.--Carnap, R. Observation language and theoretical language.--Kaplan, D. Significance and analyticity: a comment of some recent proposals of Carnap.--Wójcicki, R. The factual content of empirical theories.--Williams, P. M. On the conservative extensions of semantical systems: a contribution to the problem of analyticity.--Winnie, J. A. Theoretical analyticity.--Wedberg, A. Decision and belief in science.--Bohnert, H. G. (...) Carnap's logicism.--Hintikka, J. Carnap's heritage in logical semantics.--Partee, B. H. The semantics of belief-sentences.--Kasher, A. Pragmatic representations and language-games.--Carnap, R. Notes on probability and induction.--Jeffrey, R. C. Carnap's inductive logic.--Hilpinen, R. Carnap's new system of inductive logic.--Kuipers, T. A. F. A generalization of Carnap's inductive logic. Essler, W. K. Hintikka versus Carnap.--Hintikka, J. Carnap and Essler versus inductive generalization.--Shimony, A. Carnap on entropy, introduction to "Two essays on entropy" by Rudolf Carnap. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.3 (2001) 454-456 [Access article in PDF] Michael Potter. Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap.New York: Oxford University Press, 2000. Pp. x + 305. Cloth, $45.00. This book tells the story of a remarkable series of answers to two related questions:(1) How can arithmetic be necessary and knowable a priori? [End Page 454](2) What accounts for the applicability of (...) arithmetic to matters of empirical fact?These are philosophical questions, part of a "wider puzzle of explaining the link between experience, language, thought, and the world" (18). But answers to them are heavily constrained by technical results in logic and mathematics, and most of Potter's protagonists are either mathematicians (Frege, Dedekind, Ramsey, Hilbert, Gödel) or mathematically trained philosophers (Kant, Russell, Carnap). (Only Wittgenstein fits neither category.) Potter, whose doctorate was in pure mathematics, is an able guide.It is not hard to think of answers to these questions taken singly; what is hard is answering both at the same time. Formalists can easily explain why arithmetic does not depend for its justification on empirical fact—it is just a game with symbols, not responsible to anything beyond its own rules—but they then have trouble explaining why the world of empirical fact is constrained by this game. Empiricists can explain the applicability of arithmetic in just the same way they explain the applicability of physics, but they then must then explain away the apparent a prioricity and necessity of arithmetic. Kant was the first to propose a plausible answer to both questions: arithmetic is both necessary and empirically applicable because it is grounded in the spatio-temporal form of any possible experience.What unites Frege, Dedekind, Russell, Ramsey, Hilbert, and Carnap is that they reject Kant's answer while continuing to seek an answer to his question: how can arithmetic's necessity be reconciled with its applicability? Potter helpfully classifies their projects by the surrogates they substitute for Kant's appeal to the form of spatio-temporal intuition: Frege and Dedekind appeal to thought, Russell to necessary features of the world, Wittgenstein, Ramsey, and Carnap to language, and Hilbert to the necessary structure of our experience of finitary combinations of objects. (Revealingly, the logicists are not grouped together in Potter's taxonomy.) A chapter (or two) is devoted to each of these thinkers, plus Kant and Gödel.This breadth of coverage does not come at the price of superficiality: Potter's chapters are (by and large) accurate, penetrating, and full of interesting insights. I cannot think of another book that offers such clear explanations of the many mathematical concepts and distinctions one must grasp in order to follow debates in the philosophy of arithmetic. The Russell chapters are enhanced by numerous quotations from archival material. The exposition of Hilbert's programme and the implications for it of Gödel's theorems is the best I have seen. The discussions of Wittgenstein's views on arithmetic and of Carnap's syntactical approach also shine. The chapters on Kant and Frege are somewhat weaker; the discussion of Kant, in particular, would have benefited from some engagement with Michael Friedman's views.But the real contribution of Potter's book is its integration of these nine thinkers into a single coherent story. No one will be surprised that Russell's motivations can only be understood in light of Frege's failures, or that many features of Wittgenstein's cryptic work become clearer when seen in light of the specific problems with Russell's system. But there are also some less obvious payoffs: for example, Hilbert's programme is usefully compared with Russell's regressive method (227-8), and Carnap and Russell are shown to face a common dilemma (269, 286).If there is a central theme to Potter's story, it is "how often we have had to reject an [End Page 455] account not for philosophical reasons but for technical ones" (278). Frege's program founders on Russell's paradox, Russell's... (shrink)

The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a profound influence on the development of philosophy in the twentieth century. This volume of classic, revised and newly written essays by William Demopoulos examines logicism's principal legacy for philosophy: its elaboration of notions of analysis and reconstruction. The essays reflect on the deployment of these ideas (...) by the principal figures in the history of the subject - Frege, Russell, Ramsey and Carnap - and in doing so illuminate current concerns about the nature of mathematical and theoretical knowledge. Issues addressed include the nature of arithmetical knowledge in the light of Frege's theorem; the status of realism about the theoretical entities of physics; and the proper interpretation of empirical theories that postulate abstract structural constraints. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:82 Reviews c:\users\arlene\documents\rj issues\type3501\rj 3501 061 red.docx 2015-07-10 4:07 PM LOGICISM BEYOND PRINCIPIA MATHEMATICA Chris Pincock Philosophy / Ohio State U. Columbus, oh 43210–1365, usa [email protected] William Demopoulos. Logicism and Its Philosophical Legacy. Cambridge: Cambridge U. P., 2013. Pp. xii, 272. isbn: 9781107029804.£60.00; us$104.99 (hb). his book brings together eight previously published essays along with three new essays and a brief introduction. In one way or another, (...) each essay pursues either logicism or some broader implication of logicism that a major figure like Russell or Carnap explored. In a narrow sense, logicism is just the position that grounds the concepts and claims of arithmetic (or all of mathematics) in logic. However, in Demopoulos’ hands, logicism becomes a project of much greater significance. A note added to Chapter 5, the classic 1985 article “Bertrand Russell’s The Analysis of Matter” (co-authored with Michael Friedman), indicates this broader scope and Demopoulos’ own take on logicism. Originally Demopoulos and Friedman had concluded their article with both the observation that there are serious “intellectual tensions produced by logicism’s attempt to account for both pure mathematics and applied mathematics (mathematical physics)” and the pessimistic conclusion that “it appears that we can account for the distinctive character of the one only at the expense of the other” (p. 107). Now Demopoulos indicates that even though “something close to [this] is true of Carnap’s Ramsey-sentence q= Reviews 83 c:\users\arlene\documents\rj issues\type3501\rj 3501 061 red.docx 2015-07-10 4:07 PM reconstruction of the language of science”, “the four previous chapters are an extended argument against” the earlier conjecture. For Demopoulos, the main problem is to make sense of both pure and applied mathematics in something like the original logicist form found in Frege, Russell and Carnap.The solution to this problem arises only when we have pinpointed exactly where these logicist projects failed and how their failures can be overcome. Chapter 1 focuses on Frege and his logicism for arithmetic. Demopoulos’ main contention is that Frege aims to reduce arithmetic to logic in order to demonstrate the autonomy of arithmetic from geometric intuition and empirical experience. Frege’s worry about intuition is not motivated by scepticism or by a concern about the cogency of our knowledge of arithmetic (p. 11).The point of logicism is to free arithmetic from the obscurity associated with intuition and to get a clearer grasp of the generality that is characteristic of arithmetic. (Chapters 8 and 9 develop this point in more detail and use it to motivate a brand of logicism for arithmetic that is taken to improve on current neo-Fregean approaches.) For this reason Hume’s Principle takes a central role in Frege’s reconstruction of arithmetic for it not only establishes the autonomy of arithmetic, but also secures the core use of arithmetic in application, i.e. in counting (p. 19). Unlike Dummett and other commentators Demopoulos does not think that this aspect of Frege’s logicism is flawed. Instead, flaws arise only with the accounts of applied mathematics offered by later figures like Russell and Carnap.The root of these problems is that they extend a particular logicist strategy to other areas of mathematics, such as geometry, and to our scientific knowledge more generally. Chapter 2 considers “Carnap’sThesis”, which Demopoulos summarizes as “the assertion that certain applied mathematical theories are not factual” (p. 28). Although the thesis is clearly central to Carnap throughout his career, Demopoulos ultimately argues for a non-Carnapian basis for the factual/nonfactual distinction.The root of the difference is the kind of criteria of identity that are appropriate for the objects at the heart of the theory: … the factuality of an applied mathematical theory will be shown to turn on the recognition that the criteria of identity appropriate to its objects are empirically constrained in a way that the criteria of identity appropriate to the objects of a nonfactual theory are not. (P. 28) For arithmetic, the natural numbers associated with two sortal concepts are identical just in case the objects that... (shrink)

This paper compares the claims about our knowledge of the external world presented by Rudolf Carnap, in the book known as the Aufbau, to those of Clarence Irving Lewis, in Mind and the World-Order. This comparison is made in terms of the opposition to Kantian epistemology that both books establish; the Aufbau is regarded as the peak of the logicist tradition and Mind and the World-Order is taken in continuity with pragmatism. It is found that both books present knowledge of (...) the external world as a consequence of a structural organization of human experience. However, there is an important point of divergence: the concept of verification each author adopts is different, such a concept was even a matter of discussion between Lewis and the Vienna Circle. This paper shows this disagreement but also shows how Carnap changed his point of view in the decade after the Aufbau was published, towards a standpoint which is much closer to Lewis’s ideas. In that process, nevertheless, Carnap changed his focus and did not deal with the problem of the external world anymore. This paper also seeks to draw attention to some features of the relation between Carnap and the pragmatist tradition which have only recently started to attract interest. (shrink)

This paper offers an explanation of how philosophy of science in the second half of the 20th century came to be so conspicuously silent on the problem of how to explain the applicability of mathematics. It examines the idea of the early logicists that the analyticity of mathematics accounts for its applicability, and how this idea was transformed during Carnap's efforts to establish a consistent and substantial philosophy of mathematics within the larger framework of Logical Empiricism. I argue that at (...) the end point of this development, philosophical discussion of the applicability problem was terminated although important aspects of the logicists' original response to the applicability problem had had to be sacrificed along the way. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:360 HUME'S NATURALI Z EP PHILOSOPHY In "Epistemology Naturalized," Quine claimed that the failure of reductive-foundationalist attempts in epistemology, after the model of Carnap' s Aufbau, must lead to a redefinition of epistemology's task. Instead of setting out to reconstruct the whole fabric of our knowledge from absolute data through deductive operations, we should investigate how human subjects derive their knowledge of nature from sensory inputs. Thus epistemology is (...) to be conceived as a branch of natural science, cognate with psychology, not as the study of the foundations of science any more. In the present paper, I will first outline Quine's position and his related interpretation of Hume's philosophical enterprise. Then, I will try to assess the relevance and fairness of Quine's account and consider in what measure it allows us to understand the novelty of Hume's conception of philosophy, since Hume also advocated a nonfoundationalist conception of philosophy which bears some striking analogy to naturalized epistemology. Finally, I will suggest which consequences are to be drawn from this unusual view of Hume, especially as regards the self-reference of philosophy. Quine's position in the matter of epistemology is well known. For him, under its traditional form and program, epistemology used to deal with the foundations of science, be it mathematics or the science of nature. This foundationalist approach had two connected aspects, one which Quine calls conceptual; the other he calls doctrinal. As Quine 361 puts it "the conceptual studies are concerned with clarifying concepts by defining them, some in terms of others" (Quine, p. 69). In the same manner, the doctrinal studies attempt to establish laws "by proving them, some on the basis of others" (Quine, p. 69). Derivative concepts will be defined in terms of the clearer ones and complex laws will be proved from primitive and obvious ones. Thus the traditional or classical conception of epistemology involves simultaneously a theory of concepts or meanings and a theory of truth. These two branches (Quine speaks of a duality of structure or bifurcation) converge so as to provide an analysis of the way our knowledge of nature -- and our knowledge in general — stems from and is built upon our sensory experience which validates it. In so characterizing epistemology, Quine simply restates in his own terms the f oundationalist and reductivist program of positivist epistemology, which itself tied in with the logicist program in mathematics. Then Quine suggests that Hume dealt with both sides of this program, the conceptual and the doctrinal. To begin with, Hume developed what might be called a theory of concepts or meanings in terms of our sensory data. Such is the point of his theory of ideas which consists in tracing them back to the original impressions they are derived from. In spite of its limitations, which hinge on the lack of an approach in terms of statements, Hume's phenomenalism does the job of a theory of meaning and concepts. Hume also attempted to give an answer to the question of the truth of our knowledge. In this case again, his phenomenalist stand allows him to account for the truth of our singular statements concerning our perceptions, even though this result is achieved at the cost of identifying objects and sensory data. 362 However, when Hume comes to general statements and singular statements concerning future events, his attempt fails. This is not surprising. According to Quine, if it were possible to improve on Hume's theory of meaning and concepts, especially through the use of contextual definition techniques, by contrast, all the attempts to logically derive the truth of our knowledge from true premises have failed. In matter of induction, we are not one step further than Hume was. "The most modest of generalizations about observable traits will cover more cases than its utterer can have had occasions actually to observe. The hopelessness of grounding natural science upon immediate experience in a firmly logical way was acknowledged" (Quine, p. 74). Or "the Humean predicament is the human predicament." For Quine, foundationalist attempts of the sort Hume engaged in involve two cardinal principles of empiricism which remain unchallenged. One of these principles is to the effect... (shrink)

Most commentators have overlooked the impact of Russell on Quine, focusing instead on the influence of Carnap. In what follows, I will argue that the early Quine’s engagement with Russell’s logicism was a crucial stage in the development of his philosophy. More specifically, we can see Quine’s naturalism as developing out of a certain strand of Russell’s thought concerning scientific philosophy. In addition to giving us a better sense of the origins of Quine’s philosophy, this reading also shows how (...) his early work, focusing mostly on technical areas of logic, is deeply related to his later and more famous philosophical views. In particular, his reworking of Principia Mathematica can be understood as the technical working-out of his view that the purpose of philosophy is the clarification our conceptual scheme. (shrink)

Carnap’s 1931–2 paper ‘The Elimination of Metaphysics through the Logical Analysis of Language’ is surveyed, and Carnap’s criticisms of metaphysics are elucidated. The relationship between Carnap’s views and the critique of metaphysics of the Tractatus is described. Carnap’s criticisms of metaphysics are compared with Wittgenstein’s later critique of metaphysics.

"By looking at Frege's lectures on logic through the eyes of the young Carnap, this book casts new light on the history of logic and analytic philosophy. As two introductory essays by Gottfried Gabriel and by Erich H. Reck and Steve Awodey explain, Carnap's notes allow us to better understand Frege's deep influence on Carnap and analytic philosophy, as well as the broader philosophical matrix from which both continental and analytic styles of thought emerged in the 20th century."--BOOK JACKET.

In this collection of recent and unpublished essays, leading analytic philosopher Scott Soames traces milestones in his field from its beginnings in Britain and Germany in the late nineteenth and early twentieth century, through its subsequent growth in the United States, up to its present as the world's most vigorous philosophical tradition. The central essay chronicles how analytic philosophy developed in the United States out of American pragmatism, the impact of European visitors and immigrants, the midcentury transformation of the Harvard (...) philosophy department, and the rapid spread of the analytic approach that followed. Another essay explains the methodology guiding analytic philosophy, from the logicism of Frege and Russell through Wittgenstein's linguistic turn and Carnap's vision of replacing metaphysics with philosophy of science. Further essays review advances in logic and the philosophy of mathematics that laid the foundation for a rigorous, scientific study of language, meaning, and information. Other essays discuss W.V.O. Quine, David K. Lewis, Saul Kripke, the Frege-Russell analysis of quantification, Russell's attempt to eliminate sets with his "no class theory," and the Quine-Carnap dispute over meaning and ontology. The collection then turns to topics at the frontier of philosophy of language. The final essays, combining philosophy of language and law, advance a sophisticated originalist theory of interpretation and apply it to U.S. constitutional rulings about due process. (shrink)

In Carnap’s autobiography, he tells the story how one night in January 1931, “the whole theory of language structure” in all its ramifications “came to [him] like a vision”. The shorthand manuscript he produced immediately thereafter, he says, “was the first version” of Logical Syntax of Language. This document, which has never been examined since Carnap’s death, turns out not to resemble Logical Syntax at all, at least on the surface. Wherein, then, did the momentous insight of 21 January 1931 (...) consist? We seek to answer this question by placing Carnap’s shorthand manuscript in the context of his previous efforts to accommodate scientific theories and metalinguistic claims within Wittgenstein’s Tractatus theory of meaning. The breakthrough of January 1931 consists, from this viewpoint, in the rejection of the Tractatus theory in favor of the meta-mathematical perspective of Hilbert, Gödel, and Tarski. This was not yet the standpoint of the published Logical Syntax, as we show, but led naturally to the “principle of tolerance” and thus to Carnap’s mature philosophy, in which the inconsistencies between this first view and the principle of tolerance, which survived into the published Syntax, were overcome. (shrink)

Ontology is the study of what there is, what kinds of things make up reality. Ontology seems to be a very difficult, rather speculative discipline. However, it is trivial to conclude that there are properties, propositions and numbers, starting from only necessarily true or analytic premises. This gives rise to a puzzle about how hard ontological questions are, and relates to a puzzle about how important they are. And it produces the ontologyobjectivity dilemma: either (certain) ontological questions can be trivially (...) answered using only uncontroversial premises, or the uncertainties of ontology are really a threat to the truth of basically everything we say or believe. The main aim of this dissertation is to resolve these puzzles and to shed some light on the discipline of ontology. I defend a view inspired by Carnap’s internal-external distinction about what there is, but one according to which both internal and external questions are fully factual and meaningful. In particular, I argue that the trivial arguments are valid, but they do not answer any ontological questions. Furthermore, I propose an account of the function of our talk about properties, propositions and natural numbers. According to this account our talk about them has no ontological presuppositions for its literal and objective truth. This avoids the ontology-objectivity dilemma, and solves the puzzles about ontology. To do this I look at quantification and noun phrases in general, and at their relation to ontology. I argue that quantifiers are semantically underspecified in a certain respect, and play two different roles in communication. I discuss the relation between syntactic form and information structure, the function of certain non-referential, non-quantificational noun phrases, the uses of bare number determiners, and how arithmetic truths are learned and taught. The more metaphysical issues discussed include: inexpressible properties, logicism about arithmetic, nominalism, Carnap’s view about ontology, the problem of universals, the relationship between ontology and objectivity, different projects within ontology, non-existent.... (shrink)

The authors explore Carnap’s (1931) famous critique of Heidegger’s metaphysics and argue that, from the perspective of contemporary formal semantics of natural language, Carnap’s criticism is not convincing. Moreover, they provide direct empirical objections to Carnap’s criticism. In particular, using empirical evidence from languages like Russian that have negative concord, they show that Heidegger cannot be accused of assigning illegitimate logical forms to his sentences about Nothing because terms like “Nothing” can be used non-quantificationally and the fact that it is (...) not clear how their reference is established cannot be the reason why the corresponding sentences are ungrammatical (as Carnap seemed to suggest). The authors also critically discuss the view that natural language is insensitive to meaninglessness or contradiction. With reference to the work of J. Gajewsky, they show that this view is not true either. As a result of this investigation, they arrive at a position that an appeal to ungrammaticality like the one proposed by Carnap does not provide legitimate evidence against metaphysics. This conclusion relates to some recent criticism of the so-called non-analytical philosophers that can be traced back to Carnap’s paper. (shrink)

This paper considers the question whether the notion of the relative apriori, central to Michael Friedman’s transcendentalist programme for philosophy of science, is available also to philosophers who reject appeals to a synthetic a priori. After tracing the rediscovery of the relative a priori and delineating its potential, the question is considered whether Friedman’s arguments against Quinean naturalism and Carnap’s attenuated logicism tell against a conception of philosophy as scientific metatheory that combines logical and empirical inquiries. Finding an opening (...) here it is argued that this conception can also help itself to the notion of a relative a priori which, it is agreed, is central to historically informed theorising about science. (shrink)

Autour du Manifeste de Vienne se trouvent reunis des textes fondateurs ecrits autour de 1929. Leurs auteurs: Carnap, Hahn, Neurath, Schlick l'ame du Cercle de Vienne, et Waismann plus proche de Wittgenstein, temoignent d'un courant philosophique constituant aujourd'hui la tradition analytique de source continentale a la fois empiriste et logique. Forme de maniere informelle a Vienne, au coeur de l'Europe, le Cercle reunissait des savants de differentes branches qui voulaient se donner une philosophie susceptible d' unifier leurs vues. Echo aux (...) reves d'unite de la science, cette philosophie en exprime aussi le renversement complet. Veritable Discours de la methode, mais d'esprit anti-cartesien, elle entend reconstruire la science de maniere a evincer la speculation metaphysique, le but etant qu'aucun enonce ne soit laisse a l'exterieur de cette grande architecture de symboles s'il etait pourvu de sens. La declaration de guerre contre la metaphysique est un geste de militance a une epoque riche en differents manifestes. Incomprehensible en dehors du contexte socio-politique viennois de ces annees, elle porte aussi un programme de reconstruction rationnelle qui, au dela du langage de la science, devait toucher tous les secteurs de la vie. Plus complexe qu'il n'y parait, ce programme contient, en reference a Wittgenstein, son prestigieux representant a cote d'Einstein et Russell, une mise en garde contre differentes formes d'irrationalismes, qui est d'actualite. (shrink)

Carnap's philosophy is examined from new viewpoints, including three important distinctions: (i) language as calculus vs language as universal medium; (ii) different senses of completeness: (iii) standard vs nonstandard interpretations of (higher-order) logic. (i) Carnap favored in 1930-34 the "formal mode of speech," a corollary to the universality assumption. He later gave it up partially but retained some of its ingredients, e.g., the one-domain assumption. (ii) Carnap's project of creating a universal self-referential language is encouraged by (ii) and by the (...) author's recent work. (iii) Carnap was aware of (iii) and occasionally used the standard interpretation, but was not entirely clear of the nature of the contrast. (shrink)

In Untersuchungen zur allgemeinen Axiomatik and Abriss der Logistik, Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap’s attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to (...) be. By providing such a reassessment, the paper contributes to a reevaluation of Carnap’s contributions to the development of modern logic. (shrink)

This paper concerns Carnap’s early contributions to formal semantics in his work on general axiomatics between 1928 and 1936. Its main focus is on whether he held a variable domain conception of models. I argue that interpreting Carnap’s account in terms of a fixed domain approach fails to describe his premodern understanding of formal models. By drawing attention to the second part of Carnap’s unpublished manuscript Untersuchungen zur allgemeinen Axiomatik, an alternative interpretation of the notions ‘model’, ‘model extension’ and ‘submodel’ (...) in his theory of axiomatics is presented. Specifically, it is shown that Carnap’s early model theory is based on a convention to simulate domain variation that is not identical but logically comparable to the modern account. (shrink)

Do numbers exist? Carnap (1956 [1950]) famously argues that this question can be understood in an “internal” and in an “external” sense, and calls “external” questions “non-cognitive”. Carnap also says that external questions are raised “only by philosophers” (p. 207), which means that, in his view, philosophers raise ”non-cognitive” questions. However, it is not clear how the internal/external distinction and Carnap’s related views about philosophy should be understood. This paper provides a new interpretation. I draw attention to Carnap’s distinction between (...) purely external statements, which are independent from all frameworks, and pragmatic external statements, which concern which framework one should adopt, and argue that the latter express noncognitive mental states. Specifically, I argue that “frameworks” are systems of rules for the assessment of statements, which are utterances of ordinary language sentences. Pragmatic external statements express noncognitive dispositions to follow only certain rules of assessment. For instance, “numbers exist” understood as a pragmatic external statement expresses a noncognitive disposition to use only rules of assessment according to which numbers do exist. Carnap can thereby be understood as proposing a distinctive form of noncognitivism about ontology that is in some respects analogous to norm-expressivism in metaethics. (shrink)

Carnap's ideal of explication has become a key concept in analytic philosophy and the basis of a method of analysis which may be considered as an alternative to various forms of naturalism, including Quine's conception of a naturalized epistemology. More recently, new light has been shed on this aspect of the classical Carnap-Quine debate by contemporary philosophers. Whereas Michael Friedman articulated a notion of relativized a priori which owes much to Carnap's internal/external distinction, André Carus attempted to restate Carnap's ideal (...) of explication in a way that bridges the gap between conceptual engineering and naturalism. On the other hand, Mark Wilson argued that concepts develop in unpredictable ways and cannot be planned in the way classical analytic philosophy has assumed from Frege and Russell onwards. This book consists of a series of defences as well as critiques of Carnap's programme, setting it in its historical context, discussing specific cases of explications, and enriching the on-going debate on conceptual engineering and naturalism in analytic philosophy.Carnap's ideal of explication has become a key concept in analytic philosophy and the basis of a method of analysis which may be considered as an alternative to various forms of naturalism, including Quine's conception of a naturalized epistemology. More recently, new light has been shed on this aspect of the classical Carnap-Quine debate by contemporary philosophers. Whereas Michael Friedman articulated a notion of relativized a priori which owes much to Carnap's internal/external distinction, André Carus attempted to restate Carnap's ideal of explication in a way that bridges the gap between conceptual engineering and naturalism. On the other hand, Mark Wilson argued that concepts develop in unpredictable ways and cannot be planned in the way classical analytic philosophy has assumed from Frege and Russell onwards. This book consists of a series of defences as well as critiques of Carnap's programme, setting it in its historical context, discussing specific cases of explications, and enriching the on-going debate on conceptual engineering and naturalism in analytic philosophy. (shrink)

The first volume of the Library of Living Philosophers (LLP) appeared in 1939, the brainchild of the late Professor Paul A. Schilpp. Schilpp saw that it would help to eliminate confusion and endless sterile disputes over interpretation if great philosophers could be confronted by their capable philosophical peers and asked to reply. As well as a number of critical essays with the chosen philosopher's replies to each essay, each volume would include an intellectual autobiography and an up-to-date bibliography The LLP (...) series has exceeded even Schilpp's expectations, enabling great philosophers to do more than clarify by extending and elaborating their thoughts. A volume in the Library of Living Philosophers is not merely a commentary on a philosopher's work; it is a critical part of that work. (shrink)

As a leading member of the Vienna Circle, Rudolph Carnap's aim was to bring about a "unified science" by applying a method of logical analysis to the empirical data of all the sciences. This work, first published in English in 1934, endeavors to work out a way in which the observation statements required for verification are not private to the observer. The work shows the strong influence of Wittgenstein, Russell, and Frege.

Quine’s criticism of the notion of analyticity applies, at best, to Carnap’s notion, not to those of Frege or Husserl. The failure of logicism is also the failure of Frege’s definition of analyticity, but it does not even touch Husserl’s views, which are based on logical form. However, some relatively concrete number-theoretic statements do not admit such a formalization salva veritate. A new definition of analyticity based not on syntactical but on semantical logical form is proposed and argued for.

We take Carnap’s problem to be to what extent standard consequence relations in various formal languages fix the meaning of their logical vocabulary, alone or together with additional constraints on the form of the semantics. This paper studies Carnap’s problem for basic modal logic. Setting the stage, we show that neighborhood semantics is the most general form of compositional possible worlds semantics, and proceed to ask which standard modal logics (if any) constrain the box operator to be interpreted as in (...) relational Kripke semantics. Except when restricted to finite domains, no modal logic characterizes all the Kripkean interpretation of P. Moreover, we show that, in contrast with the case of first-order logic, the obvious requirement of permutation invariance is not adequate in the modal case. After pointing out some known facts about modal logics that nevertheless force the Kripkean interpretation, we focus on another feature often taken to embody the gist of modal logic: locality. We show that invariance under point-generated subframes (properly defined) does single out the Kripkean interpretations, but only among topological interpretations, not in general. Finally, we define a notion of bisimulation invariance — another aspect of locality — that, together with a reasonable closure condition, gives the desired general result. Along the way, we propose a new perspective on normal neighborhood frames as filter frames, consisting of a set of worlds equipped with an accessibility relation, and a free filter at every world. (shrink)

In broadest terms, this thesis is concerned to answer the question of whether the view that arithmetic is analytic can be maintained consistently. Lest there be much suspense, I will conclude that it can. Those who disagree claim that accounts which defend the analyticity of arithmetic are either unable to give a satisfactory account of the foundations of mathematics due to the incompleteness theorems, or, if steps are taken to mitigate incompleteness, then the view loses the ability to account for (...) the applicability of mathematics in the sciences. I will show that this criticism is not successful against every view whereby arithmetic is analytic by showing that the brand of "conventionalism" about mathematics that Rudolf Carnap advocated in the 1930s, especially in Logical Syntax of Language, does not suffer from these difficulties. There, Carnap develops an account of logic and mathematics that ensures the analyticity of both. It is based on his famous "Principle of Tolerance", and so the major focus of this thesis will to defend this principle from certain criticisms that have arisen in the 80 years since the book was published. I claim that these criticisms all share certain misunderstandings of the principle, and, because my diagnosis of the critiques is that they misunderstand Carnap, the defense I will give is of a primarily historical and exegetical nature. Again speaking broadly, the defense will be split into two parts: one primarily historical and the other argumentative. The historical section concerns the development of Carnap's views on logic and mathematics, from their beginnings in Frege's lectures up through the publication of Logical Syntax. Though this material is well-trod ground, it is necessary background for the second part. In part two we shift gears, and leave aside the historical development of Carnap's views to examine a certain family of critiques of it. We focus on the version due to Kurt Gödel, but also explore four others found in the literature. In the final chapter, I develop a reading of Carnap's Principle - the `wide' reading. It is one whereby there are no antecedent constraints on the construction of linguistic frameworks. I argue that this reading of the principle resolves the purported problems. Though this thesis is not a vindication of Carnap's view of logic and mathematics tout court, it does show that the view has more plausibility than is commonly thought. (shrink)

Carnap’s lectures at the 1935 Paris Congress for the Unity of Science marked the beginning of his mature metaphilosophy. This paper considers what role remained for epistemology once it was “purified” of all psychological elements as Carnap there demanded. It is argued that while this did mean the end of traditional epistemology, room was found for nontraditional versions in the course of the further development of Carnap’s logic of science.

This is the Spanish translation, by Valeria Sol Valiño, of Rudolf Carnap’s classical text “Die logizistische Grundlegung der Mathematik”, which was originally presented at the Königsberg’s Symposium on Philosophy of Mathematics in 1930, and finally published in Erkenntnis in 1931.