Ok, so this is in fact one of the questions on the homework, but there has been a certain amount of confusion surrounding this one. So, let me walk you almost all the way up to it. Here’s the general plot: We used to treat is boring as being an intransitive verb, but that’s clearly …
Continue reading ‘HW4: How do I write the semantic value for “is”?’ »
Here’s a question not specifically about this homework that I’ve gotten a couple of times over the past couple of days: What does √ really mean as a homework score? I have been grading the homeworks on essentially a five point scale, which are given in symbols as a mark between √++ (doubleplusgood) and √−− …
Continue reading ‘Homework, generally: What is a “check”?’ »
So, I have gotten a few questions about homework #4 throughout the day, but I haven’t had a chance to post anything about them due to a very crowded schedule. I will post a few comments now at least. First, though: if you have questions about something, don’t think you’re alone just because the blog …
I see that in my definition of “tall” on handout 4b, I left out something relatively important. The definition should be: [tall]M = λP[λx[P(x) ∧ x is tall compared to {y:P(y)} in M]] The important difference between what is on the handout and what I have here is that the definition here requires not only …
It’s been called to my attention that there is a typo on the key I gave out for Homework 2. A new version will be posted online shortly, but the changes are few, so you might just pencil it into your copy. Addition: The error goes back a bit further than I originally thought, the …
Continue reading ‘HW2 Key: Typo at the end of Part 1, (3)’ »