Synthese 191 (12):2815-2833 (2014)
AbstractWe 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
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.
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.
Carnap, Completeness, and Categoricity:The Gabelbarkeitssatz OF 1928. [REVIEW]S. Awodey & A. W. Carus - 2001 - Erkenntnis 54 (2):145-172.
Model Companions of Theories with an Automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
The Equivalence of NF-Style Set Theories with "Tangled" Theories; the Construction of Ω-Models of Predicative NF (and More).M. Randall Holmes - 1995 - Journal of Symbolic Logic 60 (1):178-190.
" The Nine-Field-Model" for Evaluation of Theoretical Constructs in Nursing: Part One. Development of a New Model for Nursing Theory Evaluation and Application of This Model to Theory Description of the SAUC Model.Barbro Gustafsson & Lars Andersson - 2001 - Theoria: Journal of Nursing Theory 10 (1):10-34.
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.
Some Remarks on the Bearing of Model Theory on the Theory of Theories.William Demopoulos - 2008 - Synthese 164 (3):359 - 383.
Formalized Token Models and Duality in Semantics: An Algebraic Approach.Lars Hansen - 2004 - Journal of Symbolic Logic 69 (2):443 - 477.
Added to PP
Historical graph of downloads
Citations of this work
Philosophy’s Loss of Logic to Mathematics: An Inadequately Understood Take-Over.Woosuk Park - 2018 - Cham, Switzerland: Springer Verlag.
Carnap’s Early Metatheory: Scope and Limits.Georg Schiemer, Richard Zach & Erich Reck - 2017 - Synthese 194 (1):33-65.
The Role of Universal Language in the Early Work of Carnap and Tarski.Iris Loeb - 2017 - Synthese 194 (1):15-31.
Hilbert's Axiomatic Method and Carnap's General Axiomatics.Michael Stöltzner - 2015 - Studies in History and Philosophy of Science Part A 53:12-22.
References found in this work
The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.