Carnap's early metatheory: scope and limits

DOI10.1007/s11229-015-0877-zzbMath1406.03021arXiv1508.05867OpenAlexW1942179416MaRDI 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

zbMATH Keywords

model theoryisomorphismtype theoryCarnapmetalogicconsequence

Mathematics Subject Classification ID

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) Categoricity and completeness of theories (03C35)

Related Items (4)

PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC ⋮ Completeness: from Husserl to Carnap ⋮ Frege and the origins of model theory in nineteenth century geometry ⋮ CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS

Uses Software

• ETPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Carnap's early metatheory: scope and limits