LSA.108P | Logic for Linguists
2007 Linguistic Institute
Instructors
- Christopher Potts (instructor; UMass Amherst Linguistics)
- Scott Grimm (teaching assistant; Stanford Linguistics)
Meetings
- July 1–3, 2007, 500-500A, 4:00-6:00 pm
- Optional review session, July 4, 11:00 am, with Scott
- Chris's Institute office hours: Tuesdays, 1:00-3:00 pm
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)
Requirements
- Attendance at all three classes
- At least five of the exercises
This work is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 License.