Uniting model theory and the universalist tradition of logic: Carnap’s early axiomatics

Synthese 191 (12):2815-2833 (2014)
  Copy   BIBTEX

Abstract

We shift attention from the development of model theory for demarcated languages to the development of this theory for fragments of a language. Although it is often assumed that model theory for demarcated languages is not compatible with a universalist conception of logic, no one has denied that model theory for fragments of a language can be compatible with that conception. It thus seems unwarranted to ignore the universalist tradition in the search for the origins and development of model theory. This point is illustrated by Carnap’s early semantics and model theory, which he developed within a type theoretical framework and which stand out both for their universalistic treatment and for certain idiosyncratic technicalities by which the construction is supported. One special property is that individuals are context relative in Carnap’s system. This leads to a model theory in which the model domains are more flexible than has been suggested in the literature

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,480

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.
Model Companions of Theories with an Automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
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
2014-03-14

Downloads
55 (#212,341)

6 months
1 (#417,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Iris Loeb
VU University Amsterdam

References found in this work

The Principles of Mathematics.Bertrand Russell - 1903 - Cambridge, England: Allen & Unwin.
The Logical Syntax of Language.Rudolf Carnap - 1937 - London: K. Paul, Trench, Trubner & Co..
The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.

View all 40 references / Add more references