LSA.108P | Logic for Linguists

2007 Linguistic Institute

Instructors

Meetings

Materials

Full course packet [for the screen; for printing; 2up]
Handout 1: About this course
Handout 2: Foundations
Handout 3: Technical Preliminaries
Handout 4: Propositional logic
Handout 5: Extensional lambda calculi
Handout 6: The axioms of the lambda calculus
Handout 7: Intensions
Handout 8: Building a suitable machine
Handout 9: Quantifiers
Handout 10: Pragmatic connections
Problems (60 of them)

My answers to the problems

Requirements

  1. Attendance at all three classes
  2. At least five of the exercises
Creative Commons License

This work is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 License.