Editing Rudolf Carnap (section)

=== The logical analysis of language ===
At that point in his career, Carnap attempted to develop a full theory of the logical structure of scientific language. This theory, exposed in ''Logische Syntax der Sprache'' (1934; translated as ''The Logical Syntax of Language'', 1937) gives the foundations to his idea that scientific language has a specific formal structure and that its signs are governed by the rules of deductive logic. Moreover, the theory of logical syntax expounds a method with which one can talk about a language: it is a formal meta-theory about the pure forms of language. In the end, because Carnap argues that philosophy aims at the logical analysis of the language of science and thus is the logic of science, the theory of the logical syntax can be considered as a definite language and a conceptual framework for philosophy.

The logical syntax of language is a formal theory. It is not concerned with the contextualized meaning or the truth-value of sentences. In contrast, it considers the general structure of a given language and explores the different structural relations that connect the elements of that language. Hence, by explaining the different operations that allow specific transformations within the language, the theory is a systematic exposition of the rules that operate within that language. In fact, the basic function of these rules is to provide the principles to safeguard coherence, to avoid contradictions, and to deduce justified conclusions. Carnap sees language as a calculus. This calculus is a systematic arrangement of symbols and relations. The symbols of the language are organized according to the class that they belong to—and it is through their combination that we can form sentences. The relations are different conditions under which a sentence can be said to follow, or to be the consequence, of another sentence. The definitions included in the calculus state the conditions under which a sentence can be considered of a certain type and how those sentences can be transformed. We can see the logical syntax as a method of formal transformation, i.e., a method for calculating and reasoning with symbols.

Finally, Carnap introduces his well-known "principle of tolerance." This principle suggests that there is no moral in logic. When it comes to using a language, there is no good or bad, fundamentally true or false. In this perspective, the philosopher's task is not to bring authoritative interdicts prohibiting the use of certain concepts. In contrast, philosophers should seek general agreements over the relevance of certain logical devices. According to Carnap, those agreements are possible only through the detailed presentation of the meaning and use of the expressions of a language. In other words, Carnap believes that every logical language is correct only if this language is supported by exact definitions and not by philosophical presumptions. Carnap embraces a formal conventionalism. That implies that formal languages are constructed and that everyone is free to choose the language they find more suited to their purpose. There should not be any controversy over which language is the correct language; what matters is agreeing over which language best suits a particular purpose. Carnap explains that the choice of a language should be guided according to the security it provides against logical inconsistency. Furthermore, practical elements like simplicity and fruitfulness in certain tasks influence the choice of a language. Clearly enough, the principle of tolerance was a sophisticated device introduced by Carnap to dismiss any form of dogmatism in philosophy.