Your eighth homework assignment is now available for download–just click on the link below for a PDF version. It will be due on Thursday, April 25, at the beginning of class.
Reading for Tu 4/23: Kearns §6.3-6.7 (pgs. 99-111)
For this Tuesday 4/23, please read sections 6.3 through 6.7 (pgs. 99-111) of the Kearns textbook.
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.
First-Order Predicate Logic (FOPL) handout
Here is the handout on First-Order Predicate Logic (FOPL) that was distributed in today’s class:
HW7 (due Tu 4/16 @ beg. of class)
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.
Midterm #2 answer key is now available
The answer key to your second midterm exam has now been posted to the “Readings” page.
Handout on individual variables and assignment functions
Here is the handout from yesterday’s (Th 4/4) class on incorporating individual variables and assignment functions into PredL:
Reading for Tu 4/9 & Th 4/11: Kearns, Chap. 3
For next week, please read Chapter 3 of the Kearns textbook, which deals with the semantics of quantified arguments.
Reading for Th 4/4 on pronouns, 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.
HW6 Answer Key now available
The HW6 answer key is now available for download from the “Readings” section of this website.