ABSTRACT
In the previous chapter we showed how we could represent more of the logical structure of English sentences, more, that is, than truth-functional structure, in a formal notation containing, besides truth-functional connectives, also predicate symbols and relation symbols of arbitrary numbers of places, variables, constants and quantifiers. These form the basic vocabulary items of a class of formal languages called first-order languages, whose syntax and semantics we shall investigate in this and the following chapters.
