Statements (353)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:philosopher
gptkb:Logic |
| gptkbp:addressed |
the limits of language
the problem of existence in mathematics |
| gptkbp:advocated_for |
empiricism
formal languages scientific philosophy logical empiricism logical analysis of language formalism in mathematics logical analysis of science probability as degree of confirmation the elimination of metaphysics the principle of tolerance the use of formal languages the use of formal methods in philosophy |
| gptkbp:alma_mater |
gptkb:University_of_Jena
gptkb:University_of_Vienna |
| gptkbp:argued_on |
logical empiricism
metaphysical claims inductive logic philosophical problems often arise from confusion between internal and external questions metaphysical foundations of mathematics the elimination of metaphysics the importance of logical clarity the principle of tolerance |
| gptkbp:associated_with |
gptkb:philosophy_of_mind
gptkb:University_of_California,_Los_Angeles gptkb:University_of_Chicago gptkb:University_of_Pittsburgh gptkb:University_of_Vienna gptkb:Vienna_Circle gptkb:Logical_Positivism gptkb:philosophy_of_science philosophy of mathematics philosophy of language philosophy of physics analytic philosophy logical positivism philosophy of logic scientific realism logical empiricism |
| gptkbp:awards |
gptkb:Ludwig_Fleck_Prize
Honorary Doctorate from the University of Chicago |
| gptkbp:birth_date |
1891-05-18
|
| gptkbp:birth_year |
1891
|
| gptkbp:born |
May 18, 1891
|
| gptkbp:born_in |
gptkb:Germany
|
| gptkbp:children |
2
|
| gptkbp:contributed_to |
gptkb:Logic
gptkb:philosophy_of_science philosophy of mathematics semantics philosophy of language formal semantics theory of meaning the development of formal logic the philosophy of language the philosophy of mathematics the study of meaning scientific philosophy the study of quantifiers quantitative reasoning the study of truth conditions the philosophy of logic the study of modal logic the study of mathematical logic the development of logic foundations of probability the development of analytic philosophy. theoretical foundations of statistics |
| gptkbp:contribution |
Formal semantics
Semantics Analytic philosophy Philosophy of language Philosophy of science Philosophy of mathematics Formal languages Philosophical logic |
| gptkbp:death_date |
1970-04-14
|
| gptkbp:death_year |
gptkb:1970
|
| gptkbp:defines |
analytic and synthetic statements
probability as a logical relation |
| gptkbp:developed_by |
gptkb:Carnap's_Continuum
semantic theory formal languages formal semantics modal logic semantic networks intensional logic syntax-semantics interface theory of descriptions semantic externalism logical syntax the concept of logical consequence protocol sentences internal and external questions distinction probability calculus the concept of linguistic frameworks the concept of linguistic meaning the concept of logical truth the concept of meaning as use |
| gptkbp:died |
April 14, 1970
|
| gptkbp:died_in |
gptkb:United_States
|
| gptkbp:discusses |
the nature of mathematical objects
the problem of induction the role of observation in science the implications of Gödel's incompleteness theorems objective probability the implications of language for knowledge the implications of language for philosophy the implications of meaning for communication the implications of meaning for philosophy. the role of axioms the role of definitions in science the implications of probability for decision-making |
| gptkbp:emphasizes |
empirical verification
logical syntax language as a tool clarity in language clarity in philosophical language |
| gptkbp:famous_for |
Contributions to the philosophy of language
Contributions to the philosophy of science Carnap's explication method Carnap's principle of tolerance Carnap's work on logical syntax Carnap's work on semantics Carnap's work on the foundations of probability Carnap's work on the philosophy of language Carnap's work on the philosophy of mathematics Carnap's work on the philosophy of science Carnap's work on the theory of meaning Carnap's distinction between internal and external questions Advocating for the elimination of metaphysics Developing a formal language for scientific theories |
| gptkbp:field |
gptkb:Mathematics
gptkb:Logic gptkb:philosophy_of_science gptkb:philosophy linguistics philosophy of language scientific methodology |
| https://www.w3.org/2000/01/rdf-schema#label |
Rudolf Carnap
|
| gptkbp:influence |
Analytic philosophy
Logical positivism Formalism Post-positivism Scientific philosophy Logical empiricism |
| gptkbp:influenced |
gptkb:Hilary_Putnam
gptkb:computer_science gptkb:W._V._O._Quine gptkb:Daniel_Dennett gptkb:Karl_Popper gptkb:Richard_Rorty gptkb:Thomas_Kuhn gptkb:Willard_Van_Orman_Quine gptkb:philosophy_of_science linguistics philosophy of mathematics modern philosophy philosophy of language Bayesian probability analytic philosophy the philosophy of language linguistic philosophy modern probability theory the development of artificial intelligence the development of computational linguistics contemporary philosophy of mathematics the development of formal semantics. |
| gptkbp:influenced_by |
gptkb:Ludwig_Wittgenstein
gptkb:Gottlob_Frege gptkb:Bertrand_Russell gptkb:David_Hilbert gptkb:David_Hume |
| gptkbp:is_active_in |
20th century philosophy
|
| gptkbp:is_analyzed_in |
gptkb:book
inductive reasoning subjective probability truth conditions the nature of truth mathematical statements logical form the relationship between language and thought the concept of reference the concept of truth the concept of necessity the concept of mathematical proof the structure of scientific theories concepts of truth the concept of meaning meaning of terms the concept of analyticity the concept of evidence the concept of mathematical truth the concept of meaning variance the concept of rational belief the nature of logical inference |
| gptkbp:is_criticized_for |
metaphysics
intuitionism |
| gptkbp:is_critiqued_by |
metaphysics
traditional philosophy |
| gptkbp:is_debated_in |
gptkb:Kurt_Gödel
the nature of meaning the nature of scientific laws the nature of scientific explanation philosophical foundations of probability the nature of mathematical knowledge the status of mathematical entities |
| gptkbp:is_examined_in |
scientific methodology
the role of context in meaning the foundations of mathematics the relationship between language and reality logical consequence the role of observation the nature of scientific theories scientific language the nature of scientific laws analytic-synthetic distinction the nature of scientific explanation. the role of language in science the role of intuition in mathematics mathematical truth the concept of meaning the implications of logical positivism for probability the nature of logical inference the nature of theoretical terms the relationship between language and logic the relationship between mathematics and logic the role of probability in scientific theories the relationship between mathematics and empirical science |
| gptkbp:is_explored_in |
the nature of mathematical objects
the relationship between language and reality logical empiricism the nature of scientific theories the relationship between logic and mathematics inductive logic analytic-synthetic distinction logical syntax the role of language in science the limits of formal systems confirmation theory quantification theory the implications of logical positivism for mathematics the implications of language for knowledge the relationship between logic and language the relationship between meaning and truth the role of language in probability the role of models in scientific reasoning the implications of probability for scientific inquiry |
| gptkbp:is_focused_on |
syntax and semantics
formal languages analytic philosophy theories of meaning language structure logical analysis the analysis of scientific explanation the analysis of scientific language the analysis of theoretical terms the role of axioms in mathematics |
| gptkbp:is_studied_in |
mathematical logic
probability theory axiomatic systems modal logic the foundations of mathematics the philosophy of logic the nature of scientific explanation formal semantics of natural languages the implications of language for science the nature of scientific change the relationship between logic and probability the semantics of modal logic the relationship between probability and uncertainty |
| gptkbp:is_taught_in |
gptkb:University_of_California,_Los_Angeles
gptkb:University_of_Chicago |
| gptkbp:known_for |
gptkb:philosophy_of_science
logical positivism logical syntax |
| gptkbp:nationality |
gptkb:American
gptkb:German |
| gptkbp:notable_feature |
Logical Syntax of Language
Principle of Tolerance |
| gptkbp:notable_work |
The Philosophy of Logic
The Foundations of Logic and Mathematics Meaning and Necessity The Logical Syntax of Language |
| gptkbp:notable_works |
gptkb:The_Logical_Foundations_of_Probability
The Philosophy of Logic Meaning and Necessity The Logical Structure of the World Introduction to Semantics |
| gptkbp:occupation |
gptkb:philosopher
gptkb:Logic |
| gptkbp:promoted |
scientific realism
logical syntax |
| gptkbp:proposed_by |
logical empiricism
explication logical syntax logical syntax of language semantic completeness the principle of explication the principle of tolerance the principle of verification the use of logical frameworks the use of models in semantics |
| gptkbp:published |
The Unity of Science
The Philosophy of Logic The Philosophy of Mathematics Logical Foundations of Probability Meaning and Necessity The Logical Structure of the World The Logical Syntax of Language Introduction to Semantics Foundations of Logic and Mathematics Logical Foundations of Mathematics Philosophical Foundations of Logic and Mathematics The Logical Foundations of Mathematics The Structure of Scientific Theories |
| gptkbp:scientific_classification |
intension and extension
|
| gptkbp:spouse |
gptkb:Martha_Carnap
|
| gptkbp:supported |
scientific realism
|
| gptkbp:was_akey_figure_in |
gptkb:Vienna_Circle
later analytic philosophers |
| gptkbp:was_aproponent_of |
gptkb:University_of_Chicago
philosophical logic scientific philosophy |
| gptkbp:was_educated_at |
gptkb:University_of_Jena
|
| gptkbp:was_influenced_by |
gptkb:David_Hume
|
| gptkbp:was_known_for |
his clarity of thought
|
| gptkbp:was_part_of |
the logical empiricist movement
|
| gptkbp:work_location |
gptkb:Harvard_University
gptkb:Princeton_University gptkb:University_of_California,_Los_Angeles gptkb:University_of_Chicago gptkb:University_of_Jena gptkb:University_of_Vienna gptkb:University_of_Berlin |
| gptkbp:works_on |
probability theory
|
| gptkbp:wrote |
gptkb:The_Logical_Foundations_of_Probability
The Unity of Science The Philosophy of Logic The Foundations of Logic and Mathematics Meaning and Necessity The Logical Structure of the World The Logical Syntax of Language Introduction to Semantics Foundations of Logic and Mathematics Logical Foundations of Mathematics Philosophical Foundations of Logic and Mathematics The Logical Foundations of Mathematics |
| gptkbp:bfsParent |
gptkb:Ludwig_Wittgenstein
|
| gptkbp:bfsLayer |
4
|