Rudolf Carnap. The Logical Syntax of Language. Routledge & Kegan Paul, London, 1949.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....annotations allow the programmer to splice in computations that result in object code. I am told that the idea of quasi quotation originates in the work of the logicians Willard V. Quine in his book Mathematical Logic [83] and Rudolph Carnap in his book The Logical Syntax of Language [15]. A description of the early use of quasi quotation appears in Guy Steele s The evolution of LISP [73] where he describes various dialects of MacLISP which supported a feature he calls pseudo quoting Pseudo quoting allowed the code to compute a replacement value, to occur within the template ....

R. Carnap. The Logical Syntax of Language. Kegan Paul, Trench and Trubner, 1937.

....can be synonymous, while places cannot. 12 As Quine points out [59] the use of quotation marks is the main practical measure against confusing objects with their names. Frege was the first logician to use quotation marks formally to distinguish use and mention of expressions (see Carnap [14] for further discussion) Quotations can also be applied to non atomic expressions. For example, to say that a statement has a given property, e.g. the semantic property of truth or falsehood, we attach the appropriate predicate to the name of the statement in question, and not to the statement ....

R. Carnap. The Logical Syntax of Language. Kegan Trench Trubner, London, 1937.

....annotations allow the programmer to splice in computations that result in object code. I am told that the idea of quasi quotation originates in the work of the logicians Willard V. Quine in his book Mathematical Logic [83] and Rudolph Carnap in his book The Logical Syntax of Language [15]. A description of the early use of quasi quotation appears in Guy Steele s The evolution of LISP [73] where he describes various dialects of MacLISP which supported a feature he calls pseudo quoting Pseudo quoting allowed the code to compute a replacement value, to occur within the template ....

R. Carnap. The Logical Syntax of Language. Kegan Paul, Trench and Trubner, 1937.

....this or that particular 80 The details of the criteria of adequacy for definitions which have been proposed are well worth studying for the light they throw on the general concept of synonymy. There is some discussion of various formal constraints in Rudolf Carnap s Logical Syntax of Language [5]. Such studies have not been popular because the much favored course among logicians is to relegate definitions to the meta language and to regard them as purely abbreviative. And, given their usual purposes, this is quite reasonable. Church points out [IML, p. 76, note 168] that Lesniewski s ....

Rudolf Carnap, The logical syntax of language, Kegan Paul Trench, Trubner & Co., London, 1937.

....if we do not prove first that we need indexical languages, Kaplan s argument is founded on a sort of petitio principii. 15 A different argument is proposed by Bar Hillel. He notices that behind the explicit decision of some philosophers (e.g. Carnap in his The logical construction of the world [5]) not to undertake a logic of indexical language there is the assumption that non indexical languages are sufficient for the formulation of any given body of knowldge . However, BarHillel notices that language is not used only for the formulation of bodies of knowledge, but also for ....

R. Carnap. The Logical Syntax of Language. London, 1937.

....the expression representing the argument is an application in second order l calculus: G PQ: N[Q x] G P: x:M] N , G Q: M (Appl) N[Q x] denotes the expression obtained by substituting Q for the variable x in N. This operation is formally definable [deBruijn72]. We shall also write N(Q) instead of N[Q x] Let red denote the relation between an application of a constructive inference to an argument and the value which is constructively derived from that argument. This relation corresponds to b reduction in second order l calculus: G (lx:M.P) Q ....

Carnap, R., The Logical Syntax of Language, Routledge & Kegan Paul Ltd, London, 1937.

....sense. It is not clear that Carnap would have disagreed with Quine on this point. As Stathis Psillos (1997) notes, Carnap had affirmed much earlier that linguistic rules are not rigid: All rules are laid down with the reservation that they may be altered as soon as it seems expedient to do so. (Carnap 1937, p. 318) This doesn t sound like the view of someone who thinks that pragmatic issues can be quarantined in science. But whether Carnap disagrees with Quine or not, the point isn t essential to his anti metaphysical view. I want to turn to the issue which does seem to separate Quine from Carnap, ....

Carnap, R. 1937: The Logical Syntax of Language (London: RKP).

No context found.

Rudolf Carnap. The Logical Syntax of Language. Routledge & Kegan Paul, London, 1949.

No context found.

Rudolf Carnap. The Logical Syntax of Language. Routledge & Kegan Paul, London, 1949.

No context found.

Carnap, R., "The Logical Syntax of Language", translated by A. Smeaton, London (Routledge and Kegan Paul), 1937.

No context found.

Carnap, Rudolph. 1937. The Logical Syntax of Language, Routledge, London.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC