Rudolf Carnap

Last updated

Rudolf Carnap
Rudolf Carnap (1891 - 1970).jpg
Rudolf Carnap, 1935, by Francis Schmidt
Born(1891-05-18)May 18, 1891
DiedSeptember 14, 1970(1970-09-14) (aged 79)
Education University of Jena (PhD, 1921)
University of Vienna (Dr. phil. hab., 1926)
Era 20th-century philosophy
Region Western philosophy
School Analytic
Nominalism [1]
Vienna Circle
Logical positivism
Logical atomism [2]
Logical behaviorism [3]
  • Der Raum: Ein Beitrag zur Wissenschaftslehre (Space: A Contribution to the Theory of Science) (1921)
  • Der logische Aufbau der Welt (The Logical Structure of the World) (1926)
Main interests
Logic  · Epistemology
Philosophy of science
Notable ideas
Physicalism [4]
Phenomenalism in linguistic terms
Logical behaviorism [3]
Analytic–synthetic distinction (revised)
Internal–external distinction
Constitution theory
Semantics for modal logic
Constructed systems
Conceptual schemes
Formal epistemology
Framework-relative constitutive a priori [5]
Functor [6]
Beobachtungssatz (observational statement)
Carnap's categoricity (Monomorphie) [7] problem
Forkability theorem (Gabelbarkeitssatz): "every complete axiom system is also categorical (monomorph)" [8] [9]
Logical positivism
Epistemic structural realism [10]
L-true (logically true) statements [11]
Carnap sentences [11]
Three kinds of space: formal, physical and perceptual
Elimination of metaphysics through logical analysis [12]
Omega-rule [11]
Carnapian (concept) explication [13]
Principle of tolerance [14]

Rudolf Carnap ( /ˈkɑːrnæp/ ; [15] German: [ˈkaɐ̯naːp] ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism. He is considered "one of the giants among twentieth-century philosophers." [16]



Carnap's birthplace in Wuppertal Wuppertal Ronsdorf - Villa Carnap 01 ies.jpg
Carnap's birthplace in Wuppertal

Carnap's father had risen from the status of a poor ribbon-weaver to become the owner of a ribbon-making factory. His mother came from academic stock; her father was an educational reformer and her oldest brother was the archaeologist Wilhelm Dörpfeld. As a ten-year-old, Carnap accompanied his uncle on an expedition to Greece. [17] Carnap was raised in a religious family, but later became an atheist. [18]

He began his formal education at the Barmen Gymnasium. From 1910 to 1914, he attended the University of Jena, intending to write a thesis in physics. But he also studied carefully Kant's Critique of Pure Reason during a course taught by Bruno Bauch, and was one of very few students to attend Gottlob Frege's courses in mathematical logic. While Carnap held moral and political opposition to World War I, he felt obligated to serve in the German army. After three years of service, he was given permission to study physics at the University of Berlin, 1917–18, where Albert Einstein was a newly appointed professor. Carnap then attended the University of Jena, where he wrote a thesis defining an axiomatic theory of space and time. The physics department said it was too philosophical, and Bruno Bauch of the philosophy department said it was pure physics. Carnap then wrote another thesis in 1921, with Bauch's supervision, on the theory of space in a more orthodox Kantian style, and published as Der Raum (Space) in a supplemental issue of Kant-Studien (1922).

Frege's course exposed him to Bertrand Russell's work on logic and philosophy, which put a sense of the aims to his studies. He accepted the effort to surpass traditional philosophy with logical innovations that inform the sciences. He wrote a letter to Russell, who responded by copying by hand long passages from his Principia Mathematica for Carnap's benefit, as neither Carnap nor his university could afford a copy of this epochal work. In 1924 and 1925, he attended seminars led by Edmund Husserl, [19] the founder of phenomenology, and continued to write on physics from a logical positivist perspective.

Carnap discovered a kindred spirit when he met Hans Reichenbach at a 1923 conference. Reichenbach introduced Carnap to Moritz Schlick, a professor at the University of Vienna who offered Carnap a position in his department, which Carnap accepted in 1926. Carnap thereupon joined an informal group of Viennese intellectuals that came to be known as the Vienna Circle, directed largely by Moritz Schlick and including Hans Hahn, Friedrich Waismann, Otto Neurath, and Herbert Feigl, with occasional visits by Hahn's student Kurt Gödel. When Wittgenstein visited Vienna, Carnap would meet with him. He (with Hahn and Neurath) wrote the 1929 manifesto of the Circle, and (with Hans Reichenbach) initiated the philosophy journal Erkenntnis .

In February 1930 Tarski lectured in Vienna, and during November 1930 Carnap visited Warsaw. On these occasions he learned much about Tarski's model theoretic method of semantics. Rose Rand, another philosopher in the Vienna Circle, noted, "Carnap's conception of semantics starts from the basis given in Tarski's work but a distinction is made between logical and non-logical constants and between logical and factual truth... At the same time he worked with the concepts of intension and extension and took these two concepts as a basis of a new method of semantics." [20]

In 1931, Carnap was appointed Professor at the German University of Prague. In 1933, W. V. Quine met Carnap in Prague and discussed the latter's work at some length. Thus began the lifelong mutual respect these two men shared, one that survived Quine's eventual forceful disagreements with a number of Carnap's philosophical conclusions.

Carnap, whose socialist and pacifist beliefs put him at risk in Nazi Germany, emigrated to the United States in 1935 and became a naturalized citizen in 1941. Meanwhile, back in Vienna, Moritz Schlick was murdered in 1936. From 1936 to 1952, Carnap was a professor of philosophy at the University of Chicago. During the late 1930s, Carnap offered an assistant position in philosophy to Carl Gustav Hempel, who accepted and became one of his most significant intellectual collaborators. Thanks partly to Quine's help, Carnap spent the years 1939–41 at Harvard, where he was reunited with Tarski. Carnap (1963) later expressed some irritation about his time at Chicago, where he and Charles W. Morris were the only members of the department committed to the primacy of science and logic. (Their Chicago colleagues included Richard McKeon, Charles Hartshorne, and Manley Thompson.) Carnap's years at Chicago were nonetheless very productive ones. He wrote books on semantics (Carnap 1942, 1943, 1956), modal logic, and on the philosophical foundations of probability and induction (Carnap 1950, 1952).

After a stint at the Institute for Advanced Study in Princeton, he joined the philosophy department at UCLA in 1954, Hans Reichenbach having died the previous year. He had earlier refused an offer of a similar job at the University of California, Berkeley, because accepting that position required that he sign a loyalty oath, a practice to which he was opposed on principle. While at UCLA, he wrote on scientific knowledge, the analytic–synthetic distinction, and the verification principle. His writings on thermodynamics and on the foundations of probability and induction, were published posthumously as Carnap (1971, 1977, 1980).

Carnap taught himself Esperanto when he was 14 years of age, and remained sympathetic to it (Carnap 1963). He later attended the World Congress of Esperanto in 1908 and 1922, and employed the language while traveling.

Carnap had four children by his first marriage to Elizabeth Schöndube, which ended in divorce in 1929. He married his second wife, Elizabeth Ina Stöger, in 1933. [17] Ina committed suicide in 1964.

Philosophical work

Below is an examination of the main topics in the evolution of the philosophy of Rudolf Carnap. It is not exhaustive, but it outlines Carnap's main works and contributions to modern epistemology and philosophy of logic.

Der Raum

From 1919 to 1921, Carnap worked on a doctoral thesis called Der Raum: Ein Beitrag zur Wissenschaftslehre (Space: A Contribution to the Theory of Science, 1922). In this dissertation on the philosophical foundations of geometry, Carnap tried to provide a logical basis for a theory of space and time in physics. Considering that Carnap was interested in pure mathematics, natural sciences and philosophy, his dissertation can be seen as an attempt to build a bridge between the different disciplines that are geometry, physics and philosophy. For Carnap thought that in many instances those disciplines use the same concepts, but with totally different meanings. The main objective of Carnap's dissertation was to show that the inconsistencies between theories concerning space only existed because philosophers, as well as mathematicians and scientists, were talking about different things while using the same “space” word. Hence, Carnap characteristically argued that there had to be three separate notions of space. “Formal” space is space in the sense of mathematics: it is an abstract system of relations. “Intuitive” space is made of certain contents of intuition independent of single experiences. “Physical” space is made of actual spatial facts given in experience. The upshot is that those three kinds of “space” imply three different kinds of knowledge and thus three different kinds of investigations. It is interesting to note that it is in this dissertation that the main themes of Carnap's philosophy appear, most importantly the idea that many philosophical contradictions appear because of a misuse of language, and a stress on the importance of distinguishing formal and material modes of speech.

Der Logische Aufbau der Welt

From 1922 to 1925, Carnap worked on a book which became one of his major works, namely Der logische Aufbau der Welt (translated as The Logical Structure of the World, 1967), which was accepted in 1926 as his habilitation thesis at the University of Vienna and published as a book in 1928. [21] That achievement has become a landmark in modern epistemology and can be read as a forceful statement of the philosophical thesis of logical positivism. Indeed, the Aufbau suggests that epistemology, based on modern symbolic logic, is concerned with the logical analysis of scientific propositions, while science itself, based on experience, is the only source of knowledge of the external world, i.e. the world outside the realm of human perception. According to Carnap, philosophical propositions are statements about the language of science; they aren’t true or false, but merely consist of definitions and conventions about the use of certain concepts. In contrast, scientific propositions are factual statements about the external reality. They are meaningful because they are based on the perceptions of the senses. In other words, the truth or falsity of those propositions can be verified by testing their content with further observations.

In the Aufbau, Carnap wants to display the logical and conceptual structure with which all scientific (factual) statements can be organized. Carnap gives the label "constitution theory" to this epistemic-logical project. It is a constructive undertaking that systematizes scientific knowledge according to the notions of symbolic logic. Accordingly, the purpose of this constitutional system is to identify and discern different classes of scientific concepts and to specify the logical relations that link them. In the Aufbau, concepts are taken to denote objects, relations, properties, classes and states. Carnap argues that all concepts must be ranked over a hierarchy. In that hierarchy, all concepts are organized according to a fundamental arrangement where concepts can be reduced and converted to other basic ones. Carnap explains that a concept can be reduced to another when all sentences containing the first concept can be transformed into sentences containing the other. In other words, every scientific sentence should be translatable into another sentence such that the original terms have the same reference as the translated terms. Most significantly, Carnap argues that the basis of this system is psychological. Its content is the "immediately given", which is made of basic elements, namely perceptual experiences. These basic elements consist of conscious psychological states of a single human subject. In the end, Carnap argues that his constitutional project demonstrates the possibility of defining and uniting all scientific concepts in a single conceptual system on the basis of a few fundamental concepts.

Overcoming metaphysics

From 1928 to 1934, Carnap published papers (Scheinprobleme in der Philosophie, 1928; translated as Pseudoproblems in Philosophy, 1967) in which he appears overtly skeptical of the aims and methods of metaphysics, i.e. the traditional philosophy that finds its roots in mythical and religious thought. Indeed, he discusses how, in many cases, metaphysics is made of meaningless discussions of pseudo-problems. For Carnap, a pseudo-problem is a philosophical question which, on the surface, handles concepts that refer to our world while, in fact, these concepts do not actually denote real and attested objects. In other words, these pseudo-problems concern statements that do not, in any way, have empirical implications. They do not refer to states of affairs and the things they denote cannot be perceived. Consequently, one of Carnap's main aim has been to redefine the purpose and method of philosophy. According to him, philosophy should not aim at producing any knowledge transcending the knowledge of science. In contrast, by analyzing the language and propositions of science, philosophers should define the logical foundations of scientific knowledge. Using symbolic logic, they should explicate the concepts, methods and justificatory processes that exist in science.

Carnap believed that the difficulty with traditional philosophy lay in the use of concepts that are not useful for science. For Carnap, the scientific legitimacy of these concepts was doubtful, because the sentences containing them do not express facts. Indeed, a logical analysis of those sentences proves that they do not convey the meaning of states of affairs. In other words, theses sentences are meaningless. Carnap explains that to be meaningful, a sentence should be factual. It can be so, for one thing, by being based on experience, i.e. by being formulated with words relating to direct observations. For another, a sentence is factual if one can clearly state what are the observations that could confirm or disconfirm that sentence. After all, Carnap presupposes a specific criterion of meaning, namely the Wittgensteinian principle of verifiability. Indeed, he requires, as a precondition of meaningfulness, that all sentences be verifiable, what implies that a sentence is meaningful only if there is a way to verify if it is true or false. To verify a sentence, one needs to expound the empirical conditions and circumstances that would establish the truth of the sentence. As a result, it is clear for Carnap that metaphysical sentences are meaningless. They include concepts like “god”, “soul” and “the absolute” that transcend experience and cannot be traced back or connected to direct observations. Because those sentences cannot be verified in any way, Carnap suggests that science, as well as philosophy, should neither consider nor contain them.

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 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.

It is in the logical syntax that Carnap introduces his notable 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 it finds more suited to his 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.

Inductive logic

After having considered problems in semantics, i.e. the theory of the concepts of meaning and truth (Foundations of Logic and Mathematics, 1939; Introduction to Semantics, 1942; Formalization of Logic, 1943), Carnap turned his attention to the subject of probability and inductive logic. His views on that subject are for the most part exposed in Logical foundations of probability (1950) where Carnap aims to give a sound logical interpretation of probability. Carnap thought that according to certain conditions, the concept of probability had to be interpreted as a purely logical concept. In this view, probability is a basic concept anchored in all inductive inferences, whereby the conclusion of every inference that holds without deductive necessity is said be more or less likely to be the case. In fact, Carnap claims that the problem of induction is a matter of finding a precise explanation of the logical relation that holds between a hypothesis and the evidence that supports it. An inductive logic is thus based on the idea that probability is a logical relation between two types of statements: the hypothesis (conclusion) and the premises (evidence). Accordingly, a theory of induction should explain how, by pure logical analysis, we can ascertain that certain evidence establishes a degree of confirmation strong enough to confirm a given hypothesis.

Carnap was convinced that there was a logical as well as an empirical dimension in science. He believed that one had to isolate the experiential elements from the logical elements of a given body of knowledge. Hence, the empirical concept of frequency used in statistics to describe the general features of certain phenomena can be distinguished from the analytical concepts of probability logic that merely describe logical relations between sentences. For Carnap, the statistical and the logical concepts must be investigated separately. Having insisted on this distinction, Carnap defines two concepts of probability. The first one is logical and deals with the degree to which a given hypothesis is confirmed by a piece of evidence. It is the degree of confirmation. The second is empirical, and relates to the long run rate of one observable feature of nature relative to another. It is the relative frequency. Statements belonging to the second concepts are about reality and describe states of affairs. They are empirical and, therefore, must be based on experimental procedures and the observation of relevant facts. On the contrary, statements belonging to the first concept do not say anything about facts. Their meaning can be grasped solely with an analysis of the signs they contain. They are analytical sentences, i.e. true by virtue of their logical meaning. Even though these sentences could refer to states of affairs, their meaning is given by the symbols and relations they contain. In other words, the probability of a conclusion is given by the logical relation it has to the evidence. The evaluation of the degree of confirmation of a hypothesis is thus a problem of meaning analysis.

Clearly, the probability of a statement about relative frequency can be unknown; because it depends on the observation of certain phenomena, one may not possess the information needed to establish the value of that probability. Consequently, the value of that statement can be confirmed only if it is corroborated with facts. In contrast, the probability of a statement about the degree of confirmation could be unknown, in the sense that one may miss the correct logical method to evaluate its exact value. But, such a statement can always receive a certain logical value, given the fact that this value only depends on the meaning of its symbols.

Primary source materials

The Carnap Papers consist of approximately 10,000 personal letters of correspondence. The papers were donated by his daughter, Hanna Carnap-Thost in 1974. Documents that contain financial, medical, and personal information are restricted. [22] These were written over his entire life and career. Carnap used the mail regularly to discuss philosophical problems with hundreds of others. The most notable were: Herbert Feigl, Carl Gustav Hempel, Felix Kaufmann, Otto Neurath, and Moritz Schlick. Photographs are also part of the collection and were taken throughout his life. Family pictures and photographs of his peers and colleagues are also stored in the collection. Some of the correspondence is considered notable and consist of his student notes, his seminars with Frege, (describing the Begriffsschrift and the logic in mathematics). Carnap's notes from Russell's seminar in Chicago, and notes he took from discussions with Tarski, Heisenberg, Quine, Hempel, Gödel, Jeffrey are part of the University of Pittsburgh's Archives and Collections. Digitized contents include:

More than 1,000 pages of lecture outlines are preserved that cover the courses that Carnap taught in the United States, Prague, and Vienna. Drafts of his published works and unpublished works are part of the collection. includes manuscript drafts and typescripts both for his published works and for many unpublished papers and books. A partial listing include his first formulations of his Aufbau.

Much material is written in an older German shorthand, the Stolze-Schrey system. He employed this writing system extensively beginning in his student days. [22] Much of the content has been digitized. The University of California also maintains a collection of Rudolf Carnap Papers. Microfilm copies of his papers are maintained by the Philosophical Archives at the University of Konstanz in Germany. [24]

Selected publications

Online bibliography. Under construction, with no entries dated later than 1937.


See also

Related Research Articles

Logical positivism, later called logical empiricism, and both of which together are also known as neopositivism, was a movement in Western philosophy whose central thesis was the verification principle. This theory of knowledge asserted that only statements verifiable through direct observation or logical proof are meaningful. Starting in the late 1920s, groups of philosophers, scientists, and mathematicians formed the Berlin Circle and the Vienna Circle, which, in these two cities, would propound the ideas of logical positivism.

Semantics is the linguistic and philosophical study of meaning in language, programming languages, formal logic, and semiotics. It is concerned with the relationship between signifiers—like words, phrases, signs, and symbols—and what they stand for in reality, their denotation.

Willard Van Orman Quine American philosopher and logician

Willard Van Orman Quine was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century." From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor. He filled the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978.

Moritz Schlick German philosopher

Friedrich Albert Moritz Schlick was a German philosopher, physicist, and the founding father of logical positivism and the Vienna Circle.

Vienna Circle

The Vienna Circle of Logical Empiricism was a group of philosophers and scientists drawn from the natural and social sciences, logic and mathematics who met regularly from 1924 to 1936 at the University of Vienna, chaired by Moritz Schlick.

"Two Dogmas of Empiricism" is a paper by analytic philosopher Willard Van Orman Quine published in 1951. According to University of Sydney professor of philosophy Peter Godfrey-Smith, this "paper [is] sometimes regarded as the most important in all of twentieth-century philosophy". The paper is an attack on two central aspects of the logical positivists' philosophy: the first being the analytic–synthetic distinction between analytic truths and synthetic truths, explained by Quine as truths grounded only in meanings and independent of facts, and truths grounded in facts; the other being reductionism, the theory that each meaningful statement gets its meaning from some logical construction of terms that refers exclusively to immediate experience.

Carl Gustav Hempel German philosopher

Carl Gustav "Peter" Hempel was a German writer and philosopher. He was a major figure in logical empiricism, a 20th-century movement in the philosophy of science. He is especially well known for his articulation of the deductive-nomological model of scientific explanation, which was considered the "standard model" of scientific explanation during the 1950s and 1960s. He is also known for the raven paradox.

Hans Reichenbach German–American philosopher

Hans Reichenbach was a leading philosopher of science, educator, and proponent of logical empiricism. He was influential in the areas of science, education, and of logical empiricism. He founded the Gesellschaft für empirische Philosophie in Berlin in 1928, also known as the “Berlin Circle”. Carl Gustav Hempel, Richard von Mises, David Hilbert and Kurt Grelling all became members of the Berlin Circle. He authored The Rise of Scientific Philosophy. In 1930, Reichenbach and Rudolf Carnap became editors of the journal Erkenntnis (Knowledge). He also made lasting contributions to the study of empiricism based on a theory of probability; the logic and the philosophy of mathematics; space, time, and relativity theory; analysis of probabilistic reasoning; and quantum mechanics.

Jaakko Hintikka Finnish philosopher and logician

Kaarlo Jaakko Juhani Hintikka was a Finnish philosopher and logician.

Richard Milton Martin was an American logician and analytic philosopher. In his Ph.D. thesis written under Frederic Fitch, Martin discovered virtual sets a bit before Quine, and was possibly the first non-Pole other than Joseph Henry Woodger to employ a mereological system. Building on these and other devices, Martin forged a first-order theory capable of expressing its own syntax as well as some semantics and pragmatics, all while abstaining from set and model theory, and from intensional notions such as modality.

Verificationism, also known as the verification principle or the verifiability criterion of meaning, is the philosophical doctrine which maintains that only statements that are empirically verifiable are cognitively meaningful, or else they are truths of logic (tautologies).

The analytic–synthetic distinction is a semantic distinction, used primarily in philosophy to distinguish propositions into two types: analytic propositions and synthetic propositions. Analytic propositions are true by virtue of their meaning, while synthetic propositions are true by how their meaning relates to the world. However, philosophers have used the terms in very different ways. Furthermore, philosophers have debated whether there is a legitimate distinction.

Inductivism is the traditional model of scientific method attributed to Francis Bacon, who in 1620 vowed to subvert allegedly traditional thinking. In the Baconian model, one observes nature, proposes a modest law to generalize an observed pattern, confirms it by many observations, ventures a modestly broader law, and confirms that, too, by many more observations, while discarding disconfirmed laws. The laws grow ever broader but never much exceed careful, extensive observation. Thus, freed from preconceptions, scientists gradually uncover nature's causal and material structure.

This is an index of articles in philosophy of language

<i>Meaning and Necessity</i> 1947 book by Rudolf Carnap

Meaning and Necessity: A Study in Semantics and Modal Logic is a book about semantics and modal logic by the philosopher Rudolf Carnap. The book, in which Carnap discusses the nature of linguistic expressions, was a continuation of his previous work in semantics in Introduction to Semantics (1942) and Formalization of Logic (1943). Considered an important discussion of semantics, it was influential and provided a basis for further developments in modal logic.

Logical consequence is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements. A valid logical argument is one in which the conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises? All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth.

The internal–external distinction is a distinction used in philosophy to divide an ontology into two parts: an internal part consisting of a linguistic framework and observations related to that framework, and an external part concerning practical questions about the utility of that framework. This division was introduced by Rudolf Carnap in his work "Empiricism, Semantics, and Ontology". It was subsequently criticized at length by Willard Van Orman Quine in a number of works, and was considered for some time to have been discredited. However, recently a number of authors have come to the support of some or another version of Carnap's approach.

Extensionalism, in the philosophy of language, in logic and semantics, is the view that all languages or at least all scientific languages should be extensional. Rudolf Carnap and Willard Van Orman Quine were prominent proponents of this view.

The Rudolf Carnap Papers are a large collection of documents and photographs that record much of his life and career. They are used by scholars and historians not only for research into the life of Rudolf Carnap but also for research into his theories and the theories of other scholars with whom he corresponded. The Carnap papers are restored, maintained, cataloged and housed in the Archives Service Center, University Library System, University of Pittsburgh. They include extensive correspondence with others, lecture outlines for courses that he taught, and drafts of his published works and unpublished manuscripts. Much of the content of the Rudolf Carnap papers is available electronically and searchable through the finding aid through the archives. His work on metaphysics being essentially a question of semantics is still cited and have been further expanded by other scholars. His papers document his being considered a major contributor on the question of metaphysics. He was also a member of the Vienna Circle.


  1. "Review of Gonzalo Rodriguez-Pereyra, Resemblance Nominalism: A Solution to the Problem of Universals" –
  2. Carnap, R. (1934), "On the Character of Philosophic Problems (Über den Charakter der philosophischen Probleme)," translation by W. M. Malisoff, Philosophy of Science, 1, pp. 5–19.
  3. 1 2 Zalta, Edward N. (ed.). "Behaviorism". Stanford Encyclopedia of Philosophy .
  4. Physicalism (Stanford Encyclopedia of Philosophy)
  5. Arthur Sullivan, The Constitutive A Priori: Developing and Extending an Epistemological Framework, Lexington Books, 2018, p. 106.
  6. Rudolf Carnap, The Logical Syntax of Language, Routledge & Kegan Paul, 1937, pp. 13–14.
  7. A. W. Carus, Carnap and Twentieth-Century Thought: Explication as Enlightenment, Cambridge University Press, 2007, p. 222.
  8. A. W. Carus, Carnap and Twentieth-Century Thought: Explication as Enlightenment, Cambridge University Press, 2007, pp. 223 and 227; Thomas Uebel, Empiricism at the Crossroads: The Vienna Circle's Protocol-Sentence Debate Revisited, Open Court, 2015, p. 142.
  9. Steve Awodey pronounces Carnap's Gabelbarkeitssatz-related pursuits "ill-fated" (Steve Awodey, "Structuralism, Invariance, and Univalence" (March 4, 2014)).
  10. "Structural Realism": entry by James Ladyman in the Stanford Encyclopedia of Philosophy
  11. 1 2 3 Carnap, Rudolf – Internet Encyclopedia of Philosophy
  12. Rudolf Carnap, "Überwindung der Metaphysik durch logische Analyse der Sprache", Erkenntnis II (1932): 219–241.
  13. Dutilh Novaes, Catarina; Reck, Erich (2017). "Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization". Synthese. 194: 195–215. doi: 10.1007/s11229-015-0816-z .
  14. Richardson, Alan; Isaacson, Dan (1994). "Carnap's Principle of Tolerance". Proceedings of the Aristotelian Society, Supplementary Volumes. 68: 67–83. doi:10.1093/aristoteliansupp/68.1.67. JSTOR   4107023.
  15. "Carnap". Random House Webster's Unabridged Dictionary .
  16. California Digital Library
  17. 1 2 Quine, W.V. and Rudolf Carnap (1990). Dear Carnap, Dear Van: The Quine-Carnap Correspondence and Related Work . Berkeley, CA: University of California Press. p.  23.
  18. "Carnap had a modest but deeply religious family background, which might explain why, although he later became an atheist, he maintained a respectful and tolerant attitude in matters of faith throughout his life." Buldt, Bernd: "Carnap, Paul Rudolf", Complete Dictionary of Scientific Biography Vol. 20 p.43. Detroit: Charles Scribner's Sons, 2008.
  19. Smith, D. W., and Thomasson, Amie L. (eds.), 2005, Phenomenology and Philosophy of Mind. Oxford and New York: Oxford University Press, p. 8 n. 18.
  20. Rand, Rose. "Reading Notes and Summaries on Works by Rudolph Carnap, 1932 and Undated" (PDF). Rose Rand Papers. Special Collections Department, University of Pittsburgh. Retrieved May 16, 2013.
  21. Christian Damböck (ed.), Influences on the Aufbau, Springer, p. 55.
  22. 1 2 "Guide to the Rudolf Carnap Papers, 1904-2007 ASP.1974.01 ULS Archives & Special Collections" . Retrieved December 2, 2015.
  23. "AS Notes (old), 1958-1966 Box 19, Folder 7 Rudolf Carnap Papers, 1905-1970, ASP.1974.01, Special Collections Department, University of Pittsburgh" (PDF). Retrieved December 2, 2015.
  24. "Finding Aid for the Rudolf Carnap papers, 1920-1968" . Retrieved December 2, 2015.
  25. Weiss, Paul (1929). "Review: Abriss der Logistik by Rudolf Carnap" (PDF). Bull. Amer. Math. Soc. 35 (6): 880–881. doi:10.1090/s0002-9904-1929-04818-3.
  26. Mac Lane, Saunders (1938). "Review: The Logical Syntax of Language by Rudolf Carnap, translated from the German by Amethe Smeaton" (PDF). Bull. Amer. Math. Soc. 44 (3): 171–176. doi:10.1090/S0002-9904-1938-06694-3.
  27. Church, Alonzo (1939). "Review: Foundations of Logic and Mathematics by Rudolf Carnap" (PDF). Bull. Amer. Math. Soc. 45 (11): 821–822. doi:10.1090/s0002-9904-1939-07085-7.
    • This volume concludes with Carnap's "Replies and Systematic Expositions" (pp.857--1012) and then a Bibliography that includes an annotated listing of his published writings up to 1961 and a listing of works then forthcoming. Essay contributors included, amongst others, Karl Popper, Herbert Feigl, A.J. Ayer, Donald Davidson, W.V. Quine, Carl G. Hempel and Hilary Putnam. A list of contents can be found here,


Further reading