ABSTRACT
The goal of providing a logical theory for a language or a fragment of a language is to provide a model of the relation of logical consequence that holds in that language. To understand this process better we examine the practice of using models more broadly. The themes in this chapter run throughout the book.
