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.