HW8 (due Tu 4/24 @ beg. of class)
Your eighth homework assignment is now available for download–just click on the link below for a PDF version. It will be due on Tuesday, April 24, at the beginning of class. HW8 (due Tu 4/24 @ beg. of class)
Your eighth homework assignment is now available for download–just click on the link below for a PDF version. It will be due on Tuesday, April 24, at the beginning of class. HW8 (due Tu 4/24 @ beg. of class)
For this Thursday 4/19, please read sections 6.3 through 6.7 (pgs. 99-111) of the Kearns textbook.
For next Tuesday 4/17, 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 17, at the beginning of class. HW7 (due Tu 4/17 @ beg. of class)
The answer key to your second midterm exam has now been posted to the “Readings” page.
For Thursday 4/6 and Tuesday 4/10, please read Chapter 3 of the Kearns textbook, which deals with the semantics of quantified arguments.
Beginning next Tuesday (4/3), 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.
It has come to my attention that many of you were not present for our Thursday 3/8 and Tuesday 3/20 lectures. Since the material that we covered on those days (the semantics of Predicate Logic) will be covered on the midterm, and will also figure prominently in our subsequent discussions, I am re-posting the class …
The HW6 answer key is now available for download from the “Readings” section of this website.