1 First-Order Logic

In this course, First-order logic is our preferred formalism for representing the meaning of natural language sentences. In the following section we'll review its syntax and semantics. We'll discuss vocabularies, first-order models and first-order languages, merge them to one single complex using what we call the satisfaction definition, define the key logical concepts of validity and logical consequence, and conclude with a short discussion of equality.



Aljoscha Burchardt, Stephan Walter, Alexander Koller, Michael Kohlhase, Patrick Blackburn and Johan Bos
Version 1.2.5 (20030212)