Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory
From MaRDI portal
Publication:2906144
DOI10.1007/978-94-007-3929-1_2zbMath1257.03010OpenAlexW1812825084MaRDI QIDQ2906144
Publication date: 29 August 2012
Published in: Vienna Circle Institute Yearbook (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-007-3929-1_2
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- What is the axiomatic method?
- Carnap's dream: Gödel, Wittgenstein, and \textit{Logical Syntax}
- On Gödel's Way In: The Influence of Rudolf Carnap
- REREADING TARSKI ON LOGICAL CONSEQUENCE
- The Problem of Logical Constants
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
- What is Tarski's Common Concept of Consequence?
- Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics
- Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928