Logic for Linguists

This course should serve as a whirlwind introduction to topics in logic for students in linguistics. We cover propositional, first-order, and modal logic. This includes discussing topics in proof theory and model theory. We also cover some more computational topics, including automata, Turing machines, and the lambda calculus.

Lecture Slides

• Lecture 1 - Introduction and Propositional Logic
• Lecture 2 - First-Order Logic
• Lecture 3 - Proof Theory
• Lecture 4 - Generalised Quantifiers
• Lecture 5 - Regular Languages
• Lecture 6 - Turing Machines
• Lecture 7 - Lambda Calculus
• Lecture 8 - Modal Logic

Exercise Sheets

• Exercise Sheet 1