32870 Computational Semantics

Instructor
Greg Kobele; email
Time and location
M 3:00PM-5:50PM, Classics 405

An easily recognizable statement is that generative linguistics has as one of its main goals the specification of the relation between meaning and form that constitutes our linguistic competence as native speakers. Yet not only do we know the meanings of linguistic expressions, but we are able to use this knowledge in various tasks, such as judging whether an utterance is true in a particular setting, or whether one utterance contradicts another. This already puts constraints on the kinds of meanings we should be proposing; it should be in principle possible to judge a wide variety of sentences true in many settings, or to compute whether certain utterances contradict eachother. This course explores in a hands-on way, using the programming language Haskell, the question of how a finite device (us) could in principle compute these relations between sentences and the world.

Class Material

Schedule Lecture schedule
Resources Other course resources

Course Information

Lectures M 3:00-5:50, CL 405
Office Hours by appointment
Grading 40% Homework, 40% Participation, 20% Final.
Homework Homework will be assigned after Wednesday's class, and must be submitted before class on Monday.
Exams A take-home final will be distributed in the tenth week

back home