nigelflower / LambdaCalculator-Issues

pedagogical tool for students of natural language semantics
http://lambdacalculator.com/
0 stars 0 forks source link

Event Identification Rule #10

Open nigelflower opened 3 years ago

nigelflower commented 3 years ago

created by halers on Nov 25, 2017

Since the LC already support v-semantic type for events, would it be possible to add Kratzer's (1996) Rule of Event Identification?

If XP has two daughters, YP and ZP, [[YP]] ∈ D<e,<v,t>> , and [[ZP]] ∈ D<v,t>, then [[ XP ]] = [ λx . [ λe . [ [YP](e) = 1 & [ZP] = 1 ] ] ] (after Cable 2015)

It would be very useful in order to introduce students to adverbial modification, which naturally leads to event and (Neo-)Davidsonian semantics.

I think I liked it better when events where type-s, perhaps I'm the nostalgic type. Thanks and Keep up the good work! Hilton Alers