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.
|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|