Erkenntnis 78 (3):487-522 (2013)

Authors
Georg Schiemer
University of Vienna
Abstract
This paper concerns Carnap’s early contributions to formal semantics in his work on general axiomatics between 1928 and 1936. Its main focus is on whether he held a variable domain conception of models. I argue that interpreting Carnap’s account in terms of a fixed domain approach fails to describe his premodern understanding of formal models. By drawing attention to the second part of Carnap’s unpublished manuscript Untersuchungen zur allgemeinen Axiomatik, an alternative interpretation of the notions ‘model’, ‘model extension’ and ‘submodel’ in his theory of axiomatics is presented. Specifically, it is shown that Carnap’s early model theory is based on a convention to simulate domain variation that is not identical but logically comparable to the modern account
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10670-012-9365-8
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 68,944
Through your library

References found in this work BETA

Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - Oxford, Clarendon Press.
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.

View all 81 references / Add more references

Citations of this work BETA

Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.

View all 10 citations / Add more citations

Similar books and articles

A Reserved Reading of Carnap's Aufbau.Christopher Pincock - 2005 - Pacific Philosophical Quarterly 86 (4):518–543.
Empirical Equivalence in the Quine-Carnap Debate.Eric J. Loomis - 2006 - Pacific Philosophical Quarterly 87 (4):499–508.
Carnap, Semantics and Ontology.Gregory Lavers - 2004 - Erkenntnis 60 (3):295-316.
The Unimportance of Semantics.Richard Creath - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:405 - 416.
The Architecture of Meaning: Wittgenstein's Tractatus and Formal Semantics.Martin Stokhof - 2008 - In D. K. Levy & Alfonso Zamuner (eds.), Wittgenstein’s Enduring Arguments. London: Routledge. pp. 211-244.
The 'Umbau' - From Constitution Theory to Constructional Ontology.Johanna Seibt - 1997 - History of Philosophy Quarterly 14 (3):305 - 348.
Carnap, Formalism, and Informal Rigour.Gregory Lavers - 2008 - Philosophia Mathematica 16 (1):4-24.
Positivism and the Pragmatic Theory of Observation.Thomas Oberdan - 1990 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:25 - 37.

Analytics

Added to PP index
2012-03-09

Total views
103 ( #112,108 of 2,498,154 )

Recent downloads (6 months)
1 ( #427,476 of 2,498,154 )

How can I increase my downloads?

Downloads

My notes