Available for the first time in 20 years, here is the Rudolf Carnap's famous principle of tolerance by which everyone is free to mix and match the rules of ...

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

An essay on Wittgenstein's conception of nonsense and its relation to his idea that "logic must take care of itself". I explain how Wittgenstein's theory of symbolism is supposed to resolve Russell's paradox, and I offer an alternative to Cora Diamond's influential account of Wittgenstein's diagnosis of the error in the so-called "natural view" of nonsense.

P.M.S. Hacker has argued that there are numerous misconceptions in James Conant's account of Wittgenstein's views and of those of Carnap. I discuss only Hacker's treatment of Conant on logical syntax in the _Tractatus. I try to show that passages in the _Tractatus which Hacker takes to count strongly against Conant's view do no such thing, and that he himself has not explained how he can account for a significant passage which certainly appears to support Conant's reading.

The relation between linguistics and logic has been discussed in a, recent paper by Bar-Hillel} where it is argued that a disregard for workin logical syntax and semantics has caused linguists to limit themselves too narrowly in their inquiries, and to fall into several errors. In particular, Bar-Hillel asserts, they have attempted to derive relations of synonymy and so-called ‘rules of transfOI`1'Il8.tiOH,, such as the active—pussive relation, from distributional studies alone, and they have hesitated to rely on considerations (...) of meaning in linguistic analysis. No one can quarrel with the suggestion that linguists interest themselves in meaning or transformation rules, but the relevance of logical syntax and semsmticsz (at least as we now know them) to this study is very dubious. I think that a closer investigation of the assumptions and concems of logical syntax and semantics will show that the hope of applying the results which have been achieved in these fields to the solution of linguistic problems is illusory. (shrink)

Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees and truth tables to test propositions for logical properties; and how to construct and strategically use derivation rules in proofs.

Recent work on the acquisition of number words has emphasized the importance of integrating linguistic and developmental perspectives [Musolino, J. (2004). The semantics and acquisition of number words: Integrating linguistic and developmental perspectives. Cognition93, 1-41; Papafragou, A., Musolino, J. (2003). Scalar implicatures: Scalar implicatures: Experiments at the semantics-pragmatics interface. Cognition, 86, 253-282; Hurewitz, F., Papafragou, A., Gleitman, L., Gelman, R. (2006). Asymmetries in the acquisition of numbers and quantifiers. Language Learning and Development, 2, 76-97; Huang, Y. T., Snedeker, J., Spelke, (...) L. (submitted for publication). What exactly do numbers mean?]. Specifically, these studies have shown that data from experimental investigations of child language can be used to illuminate core theoretical issues in the semantic and pragmatic analysis of number terms. In this article, I extend this approach to the logico-syntactic properties of number words, focusing on the way numerals interact with each other (e.g. Three boys are holding two balloons) as well as with other quantified expressions (e.g. Three boys are holding each balloon). On the basis of their intuitions, linguists have claimed that such sentences give rise to at least four different interpretations, reflecting the complexity of the linguistic structure and syntactic operations involved. Using psycholinguistic experimentation with preschoolers (n=32) and adult speakers of English (n=32), I show that (a) for adults, the intuitions of linguists can be verified experimentally, (b) by the age of 5, children have knowledge of the core aspects of the logical syntax of number words, (c) in spite of this knowledge, children nevertheless differ from adults in systematic ways, (d) the differences observed between children and adults can be accounted for on the basis of an independently motivated, linguistically-based processing model [Geurts, B. (2003). Quantifying kids. Language Acquisition, 11(4), 197-218]. In doing so, this work ties together research on the acquisition of the number vocabulary with a growing body of work on the development of quantification and sentence processing abilities in young children [Geurts, 2003; Lidz, J., Musolino, J. (2002). Children's command of quantification. Cognition, 84, 113-154; Musolino, J., Lidz, J. (2003). The scope of isomorphism: Turning adults into children. Language Acquisition, 11(4), 277-291; Trueswell, J., Sekerina, I., Hilland, N., Logrip, M. (1999). The kindergarten-path effect: Studying on-line sentence processing in young children. Cognition, 73, 89-134; Noveck, I. (2001). When children are more logical than adults: Experimental investigations of scalar implicature. Cognition, 78, 165-188; Noveck, I., Guelminger, R., Georgieff, N., & Labruyere, N. (2007). What autism can tell us about every. . . not sentences. Journal of Semantics,24(1), 73-90. On a more general level, this work confirms the importance of integrating formal and developmental perspectives [Musolino, 2004], this time by highlighting the explanatory power of linguistically-based models of language acquisition and by showing that the complex structure postulated by linguists has important implications for developmental accounts of the number vocabulary. (shrink)

'My endeavour in these pages is to explain the main features of the method of philosophizing which we, the Vienna Circle, use, and by using try to develop further. It is the method of the logical analysis of science, or more precisely, of the syntactical analysis of scientific language.... The purpose of the book -- as of the lectures -- is to give a first impression of our method and of the direction of our questions and investigations to those (...) who are not yet acquainted with them.' -- From the Preface. (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)

The strong and the weak deontic operators, O and p, Have been employed as operators on names of acts (e.G. By g h von wright) and on imperatives (e.G. By m fisher), But most commonly as proposition forming operators on propositions (e.G. By a n prior). But a strong case can be made out for the introduction of two kinds of adverbial deontic operator operating respectively on a proposition and on a predicate. These two operators can be used to symbolize (...) the kantian notions of acting in accordance with the moral law and acting out of respect for the moral law. In this paper the syntactic properties of these adverbial operators are examined in detail and a start is made on the symbolization of a system, A system of kantian deontic logic, Containing them. (shrink)

This volumes aim is to provide an introduction to Carnaps book from a historical and philosophical perspective, each chapter focusing on one specific issue. The book will be of interest not only to Carnap scholars but to all those interested in the history of analytical philosophy.

, Rudolf Carnap became a chief proponent of the doctrine that the statements of intuitionism carry nonstandard intuitionistic meanings. This doctrine is linked to Carnap's ‘Principle of Tolerance’ and claims he made on behalf of his notion of pure syntax. From premises independent of intuitionism, we argue that the doctrine, the Principle, and the attendant claims are mistaken, especially Carnap's repeated insistence that, in defining languages, logicians are free of commitment to mathematical statements intuitionists would reject. I am grateful (...) to Nathan Carter, Gary Ebbs, Janet Folina, Luise Prior McCarty, Stewart Shapiro, Neil Tennant, Christopher Tillman, Beth Tropman, Wen-fang Wang, and two anonymous referees for their comments and suggestions. CiteULike Connotea Del.icio.us What's this? (shrink)

There are two implicit semantic postulates underlying modern predicate logic. Hence predicate logic is not semantically neutral. The author proposes to take semantically neutral languages, which have no predicate categorial structure but replace the notion of predicate with general notion of function. Some function calculi for different semantics are demonstrated.

Der Aufsatz wendet sich gegen die verbreitete Auffassung, Frege sei der Vater der modernen mathematischen Logik und Leibniz sei sein berühmtester Vorlaufer. Leibniz kann nur in einem sehr allgemeinen Sinne als Vorlaufer der mathematischen Logik in Anspruch genommen werden. Er mufß vielmehr als größter Vertreter der traditionellen Syllogistik bezeichnet werden. Denn Leibniz geht mit der Tradition aus vom kategorischen Satz, in welchem ein Prädikat von einem Subjekt ausgesagt wird. Im Gegensattz dazu legt Frege seiner Logik die Korrelation zwischen Fünktion und (...) Argument zugrunde. Fur Leibniz und die Tradition sind daher die Quantoren, die in der mathematischen Logik eine zentrale Rolle spielen, von untergeordneter Bedeutung. Für die Syllogistik bereiten Relationssätze besondere Probleme. Daß Leibniz versucht hat, diese Satze in die Syllogistik einzubeziehen, zeigt, daft er die Leistungsfahigkeit der formalen Logik besser erkannt hat als alle anderen. Fred Sommers und seine Schule haben Leibniz' Pläne zur Vollendung geführt. (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)

In this essay I focus on the idea of the univocity of being, championed by Duns Scotus and given prominence more recently by Deleuze. Although I am interested in how this idea can be established, my primary concern is with something more basic: how the idea can even be properly thought. In the course of exploring this issue, which I do partly by borrowing some ideas about logical syntax from Wittgenstein's Tractatus, I try to show how there can (...) be dialogue between analytic philosophers and those of other traditions. (shrink)

Pierre Wagner (ed.): Carnap’s logical syntax of language . Palgrave-MacMillan, 2009, 288pp, £57.00 HB Content Type Journal Article Pages 1-2 DOI 10.1007/s11016-011-9522-8 Authors Alan Richardson, Department of Philosophy, University of British Columbia, 1866 Main Mall—E370, Vancouver, BC V6T 1Z1 Canada Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

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)

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)