ABSTRACT
We now examine in what way the consequence relation and formal syntax introduced in Chapters 14, 15 and 16 can serve to model the consequence relation on and syntax of our natural language.
The syntax is exactly the same as in first-order theory, and thus they are taken to stand for the syntax of the English language in the following way:
Formal Syntax Natural Language Syntax Atomic Sentences (e.g., p, q, etc.)
Atomic Sentence (e.g., ‘Agnes is sleeping’ or ‘Max is getting into trouble’.)
¬ ‘It is not the case that . . . ’ ∧ ‘. . . and . . . ’ ∨ ‘. . . or . . . ’
