Abstract

Kit Fine has argued that the Tarski Semantics for the language of first order logic is inadequate. A semantic theory for FOL is inadequate if there are formulae of FOL whose meanings or satisfaction conditions it cannot compositionally account for. It is argued here that Fine’s case against Tarski rests on a mistake.