Abstract

Tarski’s relation of satisfaction has been mentioned or discussed a good deal recently, but not often, it seems, with full understanding. Many misconceptions concerning it abound throughout the literature. The relation, it will be recalled, is one holding between an infinite sequence of objects and a sentential function containing an arbitrary number of free variables. A sentence is then any sentential function containing no free variables, and a true sentence is, by definition, one satisfied by all infinite sequences, a false sentence being satisfied by none.