Carnap's early semantics

DOI10.1007/S10670-012-9365-8zbMath1303.03007OpenAlexW2051095970MaRDI QIDQ486945

Georg Schiemer

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

Mathematics Subject Classification ID

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

• ETPS

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