Carnap's early semantics
From MaRDI portal
Publication:486945
DOI10.1007/S10670-012-9365-8zbMath1303.03007OpenAlexW2051095970MaRDI QIDQ486945
Publication date: 19 January 2015
Published in: Erkenntnis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10670-012-9365-8
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)
Related Items (5)
Completeness: from Husserl to Carnap ⋮ Carnap's early metatheory: scope and limits ⋮ Carnapian and Tarskian semantics ⋮ Submodels in Carnap's early axiomatics revisited ⋮ Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Carnap's work in the foundations of logic and mathematics in a historical perspective
- An introduction to mathematical logic and type theory: To truth through proof.
- Carnap's dream: Gödel, Wittgenstein, and \textit{Logical Syntax}
- Über Extremalaxiome
- On Gödel's Way In: The Influence of Rudolf Carnap
- REREADING TARSKI ON LOGICAL CONSEQUENCE
- Carnap, Formalism, and Informal Rigour
- Logic in the twenties: the nature of the quantifier
- On tarski on models
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
- Categoricity
- Logic as Calculus and Logic as Language
- Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928
This page was built for publication: Carnap's early semantics