ABSTRACT
Logic, we have said, is concerned with producing formal models of the consequence relation on sentences in a natural language. To see this in action we should examine in what way the consequence relation and formal syntax introduced in Chapter 5 can serve to model the consequence relation on and syntax of our natural language.
