Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics
From MaRDI portal
Publication:2263041
DOI10.1007/s11229-014-0425-2zbMath1310.03007OpenAlexW2093043483MaRDI QIDQ2263041
Publication date: 17 March 2015
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-014-0425-2
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
The role of universal language in the early work of Carnap and Tarski ⋮ Carnap's early metatheory: scope and limits
Cites Work
- 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
- Frege against the Booleans
- On the development of the model-theoretic viewpoint in logical theory
- Carnap's work in the foundations of logic and mathematics in a historical perspective
- Jean van Heijenoort's conception of modern logic, in historical perspective
- In defense of logical universalism: taking issue with Jean van Heijenoort
- Logic as a science and logic as a theory: remarks on Frege, Russell and the logocentric predicament
- Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff}
- Logic as calculus and logic as language
- Tarski on truth and logical consequence
- Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited
- On extremal axioms
- What is Tarski's Common Concept of Consequence?
This page was built for publication: Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics