LING 3505 Lecture Notes - Lecture 10: Lambda Calculus, Noam Chomsky
Document Summary
Words and phrases have a type depending on what the expression denotes e = the set of all entities/individuals t = the set of truth values type of propositions. means that it"s describing a set of functions i am the type of predicate that is looking for an individual telling you how to apply certain functions one-place predicate. Start at the bottom and work your way up. Roxanna is happy give me an individual (e, roxanna) and i will give you a truth value to determine whether she is happy. >: two-place predicates see, hire, brother, fond. Adela saw peter > c rupert wore checkered trousers > d the wall was very high <,> e henry allowed the hamsters three nuts each >> f- the wall was very high 2, a snails don"t like mustard (don"t = not) d- snails might like brown mustard, but it seems unlikely (might is like not)