LSA.108P | Logic for Linguists

2007 Linguistic Institute




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


  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.