Logic and semantics in the twentieth century

In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press. pp. 562 (2009)
  Copy   BIBTEX

Abstract

This chapter explores logical semantics, that is, the structural meaning of logical expressions like connectives, quantifiers, and modalities. It focuses on truth-theoretical semantics for formalized languages, a tradition emerging from Carnap's and Tarski's work in the first half of the last century that specifies the meaning of these expressions in terms of the truth-conditions of the sentences in which they occur. It considers Tarski-style definitions of the semantics of a given language in a stronger metalanguage, Tarski's impossibility results, and attempts to overcome them in the post-Tarskian tradition.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
68 (#235,492)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gabriel Sandu
University of Helsinki

Citations of this work

The Development of Modern Logic.John P. Burgess - 2011 - History and Philosophy of Logic 32 (2):187 - 191.

Add more citations

References found in this work

No references found.

Add more references