ABSTRACT
The language of the predicate calculus is not much use without a way of interpreting formulas in that language. We know how to express things in the language, but we have no way of testing argument forms or finding models to make formulas true or false. It is the task of this chapter to introduce models that enable us to do just that.
