Carnap's early metatheory: scope and limits
From MaRDI portal
Publication:1708750
DOI10.1007/s11229-015-0877-zzbMath1406.03021arXiv1508.05867MaRDI QIDQ1708750
Richard Zach, Georg Schiemer, Erich H. Reck
Publication date: 27 March 2018
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1508.05867
01A60: History of mathematics in the 20th century
03A05: Philosophical and critical aspects of logic and foundations
03-03: History of mathematical logic and foundations
03C35: Categoricity and completeness of theories
Related Items
PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC, CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS, Completeness: from Husserl to Carnap, Frege and the origins of model theory in nineteenth century geometry
Uses Software
Cites Work
- Carnap's early semantics
- Submodels in Carnap's early axiomatics revisited
- 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.
- Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics
- Carnap's dream: Gödel, Wittgenstein, and \textit{Logical Syntax}
- Über Extremalaxiome
- HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC
- Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory
- On Gödel's Way In: The Influence of Rudolf Carnap
- Fraenkel-Carnap properties
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
- Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
- On the Concept of Following Logically
- CARNAP ON EXTREMAL AXIOMS, “COMPLETENESS OF THE MODELS,” AND CATEGORICITY
- Logic in the 1930s: type theory and model theory
- Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
