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

I. Loeb

Research output: Contribution to JournalArticleAcademicpeer-review

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. © 2014 Springer Science+Business Media Dordrecht.
Original languageEnglish
Pages (from-to)2815-2833
JournalSynthese
Volume191
Issue number12
DOIs
Publication statusPublished - 2014

Fingerprint

Dive into the research topics of 'Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics'. Together they form a unique fingerprint.

Cite this