For this Thursday’s class, please read the excerpt from Emmon Bach’s Informal Lectures on Formal Semantics. The Bach excerpt provides a concise and clear summary of predicate logic. Much of the material will be recognizable to you after today’s (Tuesday’s) lecture. On Thursday, we will begin discussing variables and quantification, which comes up later in the reading. (It also came up in the Kearns’ reading from last weekend.)

The Bach exerpt is available in the password-protected “Readings” section of the website.