What’s with all the double brackets?

In this most recent foray into formal semantics, I started doing something on the handout that I had not been doing before, which is using these “fat brackets.” “What are they?”, you may be asking yourself. Basically, in places where I “ought to” have written fat brackets, in the earlier handouts in the semester I’d …

Continue reading ‘What’s with all the double brackets?’ »

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’ »