Reading for Tu 4/16: Kearns §6.1-6.2 (pgs. 94-99)
For next Tuesday 4/16, please read sections 6.1 and 6.2 (pgs. 94-99) of the Kearns textbook.
For next Tuesday 4/16, please read sections 6.1 and 6.2 (pgs. 94-99) of the Kearns textbook.
Here is the handout on First-Order Predicate Logic (FOPL) that was distributed in today’s class: The Language of First-Order Predicate Logic (FOPL)
Your seventh homework assignment is now available for download–just click on the link below for a PDF version. It will be due on Tuesday, April 16, at the beginning of class. HW7 (due Tu 4/16 @ beg. of class)
The answer key to your second midterm exam has now been posted to the “Readings” page.
Here is the handout from yesterday’s (Th 4/4) class on incorporating individual variables and assignment functions into PredL: Individual Variables & Assignment Functions in PredL
For next week, please read Chapter 3 of the Kearns textbook, which deals with the semantics of quantified arguments.
Beginning this Thursday (4/4), we will spend our next several class meetings investigating the semantics of pronouns and quantified arguments. In preparation for our discussions, please read the short excerpt on these two topics (from E. Bach’s book Informal Lectures on Formal Semantics) which I have posted in the “Readings” section of this website.