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)
Era 20th-century philosophy
Region Western philosophy
School Analytic
Nominalism [1]
Vienna Circle
Logical positivism
Logical atomism [2]
Logical behaviorism [3]
Thesis Der Raum (Space) (1921)
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
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 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]

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.

Advocate Profession

An advocate is a professional or non-professional in the field of law. Different countries' legal systems use the term with somewhat differing meanings. The broad equivalent in many English law–based jurisdictions could be a barrister or a solicitor. However, in Scottish, South African, Italian, French, Spanish, Portuguese, Scandinavian, Polish, South Asian and South American jurisdictions, "advocate" indicates a lawyer of superior classification.

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. Also called verificationism, this would-be 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.


Life and work

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]

Wilhelm Dörpfeld German archaeologist

Wilhelm Dörpfeld was a German architect and archaeologist, a pioneer of stratigraphic excavation and precise graphical documentation of archaeological projects. He is famous for his work on Bronze Age sites around the Mediterranean, such as Tiryns and Hisarlik, where he continued Heinrich Schliemann's excavations. Like Schliemann, Dörpfeld was an advocate of the historical reality of places mentioned in the works of Homer. While the details of his claims regarding locations mentioned in Homer's writings are not considered accurate by later archaeologists, his fundamental idea that they correspond to real places is accepted. Thus, his work greatly contributed to not only scientific techniques and study of these historically significant sites but also a renewed public interest in the culture and the mythology of Ancient Greece.

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

Barmen former city in eastern Rhineland, Germany

Barmen is a former industrial metropolis of the region of Bergisches Land, Germany, which merged with four other towns in 1929 to form the city of Wuppertal. Barmen, together with the neighbouring town of Elberfeld founded the first electric suspended monorail tramway system, the Schwebebahn floating tram. Barmen was a pioneering centre for both the early industrial revolution on the European mainland, and for the socialist movement and its theory. It was the location of one of the first concentration camps in Nazi Germany, KZ Wuppertal-Barmen, later better known as Kemna concentration camp.

Gymnasium (school) type of school providing advanced secondary education in Europe

A gymnasium, also known as middle school, is a type of school with a strong emphasis on academic learning, and providing advanced secondary education in some parts of Europe comparable to British grammar schools, sixth form colleges and US preparatory high schools. In its current meaning, it usually refers to secondary schools focused on preparing students to enter a university for advanced academic study. Before the 20th century, the system of gymnasiums was a widespread feature of educational system throughout many countries of central, north, eastern and southern Europe.

University of Jena university located in Jena, Thuringia, Germany

Friedrich Schiller University Jena is a public research university located in Jena, Thuringia, Germany.

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.

Bertrand Russell British philosopher, mathematician, historian, writer, and activist

Bertrand Arthur William Russell, 3rd Earl Russell, was a British philosopher, logician, mathematician, historian, writer, essayist, social critic, political activist, and Nobel laureate. At various points in his life, Russell considered himself a liberal, a socialist and a pacifist, although he also confessed that his sceptical nature had led him to feel that he had "never been any of these things, in any profound sense." Russell was born in Monmouthshire into one of the most prominent aristocratic families in the United Kingdom.

<i>Principia Mathematica</i> Three-volume work on the foundations of mathematics

The Principia Mathematica is a three-volume work on the foundations of mathematics written by Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913. In 1925–27, it appeared in a second edition with an important Introduction to the Second Edition, an Appendix A that replaced ✸9 and all-new Appendix B and Appendix C. PM is not to be confused with Russell's 1903 The Principles of Mathematics. PM was originally conceived as a sequel volume to Russell's 1903 Principles, but as PM states, this became an unworkable suggestion for practical and philosophical reasons: "The present work was originally intended by us to be comprised in a second volume of Principles of Mathematics... But as we advanced, it became increasingly evident that the subject is a very much larger one than we had supposed; moreover on many fundamental questions which had been left obscure and doubtful in the former work, we have now arrived at what we believe to be satisfactory solutions."

Edmund Husserl German philosopher, known as the father of phenomenology

Edmund Gustav Albrecht Husserl was a German philosopher who established the school of phenomenology. In his early work, he elaborated critiques of historicism and of psychologism in logic based on analyses of intentionality. In his mature work, he sought to develop a systematic foundational science based on the so-called phenomenological reduction. Arguing that transcendental consciousness sets the limits of all possible knowledge, Husserl redefined phenomenology as a transcendental-idealist philosophy. Husserl's thought profoundly influenced the landscape of 20th-century philosophy, and he remains a notable figure in contemporary philosophy and beyond.

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 .

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.

Moritz Schlick German philosopher

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

University of Vienna public university located in Vienna, Austria

The University of Vienna is a public university located in Vienna, Austria. It was founded by Duke Rudolph IV in 1365 and is the oldest university in the German-speaking world. With its long and rich history, the University of Vienna has developed into one of the largest universities in Europe, and also one of the most renowned, especially in the Humanities. It is associated with 20 Nobel prize winners and has been the academic home to a large number of scholars of historical as well as of academic importance.

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]

Alfred Tarski Polish-American logician

Alfred Tarski, born Alfred Teitelbaum, was a Polish-American logician and mathematician of Polish-Jewish descent. Educated in Poland at the University of Warsaw, and a member of the Lwów–Warsaw school of logic and the Warsaw school of mathematics, he immigrated to the United States in 1939 where he became a naturalized citizen in 1945. Tarski taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death in 1983.

In mathematics, model theory is the study of classes of mathematical structures from the perspective of mathematical logic. The objects of study are models of theories in a formal language. A set of sentences in a formal language is one of the components that form a theory. A model of a theory is a structure that satisfies the sentences of that theory.

Semantics is the linguistic and philosophical study of meaning in language, programming languages, formal logics, 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.

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, Mortimer Adler, 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, 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 analyticsynthetic dichotomy, 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.

Topics in the development of Carnap's philosophy

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.

PhD dissertation

From 1919 to 1921, Carnap worked on a doctoral thesis called “Der Raum. Ein Beitrag zur Wissenschaftslehre” (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 (1928) (translated as “The logical structure of the world”, 1967). 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 “constitutional” 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. It is to be noted that 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. It is to be noted that 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. [21] 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, Prague. 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". "Quasizerlegung"(1932), and "Vom Chaos zur Wirklichkeit"(1922) "Topologie der Raum-Zeit-Welt" (Topology of the Space-Time World, 1924) is his later 104-page piece about a logical reconstruction of the space-time framework without the use of mathematics. The holdings include a large number of unpublished papers. Much material is written in an older German shorthand, the Stolze-Schrey system. He employed this writing system extensively beginning in his student days. [21] 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. [23]

Selected publications

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


Related Research Articles

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 of philosophy and a teacher of logic and set theory, and finally as a professor emeritus who published or revised several books in retirement. He filled the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978. A 2009 poll conducted among analytic philosophers named Quine as the fifth most important philosopher of the past two centuries. He won the first Schock Prize in Logic and Philosophy in 1993 for "his systematical and penetrating discussions of how learning of language and communication are based on socially available evidence and of the consequences of this for theories on knowledge and linguistic meaning." In 1996 he was awarded the Kyoto Prize in Arts and Philosophy for his "outstanding contributions to the progress of philosophy in the 20th century by proposing numerous theories based on keen insights in logic, epistemology, philosophy of science and philosophy of language."

Gottlob Frege mathematician, logician, philosopher

Friedrich Ludwig Gottlob Frege was a German philosopher, logician, and mathematician. He is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language and mathematics. Though largely ignored during his lifetime, Giuseppe Peano (1858–1932) and Bertrand Russell (1872–1970) introduced his work to later generations of logicians and philosophers.

Pluralism is a term used in philosophy, meaning "doctrine of multiplicity", often used in opposition to monism and dualism. The term has different meanings in metaphysics, ontology, epistemology and logic.

"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. One is 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 is 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.

Jaakko Hintikka Finnish philosopher and logician

Kaarlo Jaakko Juhani Hintikka was a Finnish philosopher and logician.

Computational epistemology is a subdiscipline of formal epistemology that studies the intrinsic complexity of inductive problems for ideal and computationally bounded agents. In short, computational epistemology is to induction what recursion theory is to deduction.

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 that only statements that are empirically verifiable are cognitively meaningful, or else they are truths of logic (tautologies).

The aim of a probabilistic logic is to combine the capacity of probability theory to handle uncertainty with the capacity of deductive logic to exploit structure of formal argument. The result is a richer and more expressive formalism with a broad range of possible application areas. Probabilistic logics attempt to find a natural extension of traditional logic truth tables: the results they define are derived through probabilistic expressions instead. A difficulty with probabilistic logics is that they tend to multiply the computational complexities of their probabilistic and logical components. Other difficulties include the possibility of counter-intuitive results, such as those of Dempster-Shafer theory in evidence-based subjective logic. The need to deal with a broad variety of contexts and issues has led to many different proposals.

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.

This is an index of articles in philosophy of language

<i>Meaning and Necessity</i> 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.

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.

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. 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. 1 2 "Guides to Archives and Manuscript Collections at the University of Pittsburgh Library System".Missing or empty |url= (help); |access-date= requires |url= (help)
  22. "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.
  23. "Finding Aid for the Rudolf Carnap papers, 1920-1968" . Retrieved December 2, 2015.
  24. 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.
  25. 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.
  26. 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.


Further reading