HW8: Making sure that John did not find Mary is not always true

At the end of the statement about homework 8, I said that we want to make sure that John did not find Mary is not always true. To clarify what I mean here: In our task of formalizing our intuitions about meaning, we don’t want our semantic system to predict that John did not find …

Continue reading ‘HW8: Making sure that John did not find Mary is not always true’ »

HW7: Please wait a little bit

I’m going back over homework 7, and I’m discovering a number of things that either weren’t clear or were even backwards. I will post a revision later today, and I’ll outline the changes here on the blog. For the moment, though, there’s not much point in working past Problem 1, because there will be substantial …

Continue reading ‘HW7: Please wait a little bit’ »

Practice midterm key: Typo on question 5 part e

Another typo. I was trying at one point to create a plausible contradiction, but gave up, yet it seems I left a completely unrelated answer there for part e. The real answer is either of these: (p→q)∧p p→(q∧p) Incidentally, the words that would have gone with the answer I left in the key would have …

Continue reading ‘Practice midterm key: Typo on question 5 part e’ »