- Instructor
- Scott Martin
- scott [at] ling [dot] osu [dot] edu
- Office Hours
- MW 3:30–4:30 or by appointment in 24b Oxley Hall
- Office Phone
- 614-292-8878

- Course Information
- (subject to change)
- Class Meetings
- MW 1:30–3:30 PM in 160 Jennings Hall

- 1/4: Meaning in Natural Language
- Slides
- Handout
- 1/9: Natural Languages, Artificial Languages, and Reasoning
- Slides
- Handout
- 1/18: Arguments and Logic
- Slides
- Handout
- 1/23: Interpreting Propositional Logic (Part 1)
- Slides
- Handout
- 1/25: Interpreting Propositional Logic (Part 2)
- Slides
- Handout
- 1/30: Calculating Truth Conditions
- Slides
- Handout
- 2/6: Translating Between English and Propositional Logic
- Slides
- Handout
- 2/13 and 2/15: Using Natural Deduction to Represent Arguments (Part 1)
- Slides
- Handout
- 2/15: Using Natural Deduction to Represent Arguments (Part 2)
- Slides
- Handout
- 2/20: Entailments and Equivalence
- Slides
- Handout
- 2/22 and 2/27: Natural Deduction with Gentzen Sequents
- Slides
- Handout
- 2/29: Proving Equivalence
- Slides
- Handout
- 3/5 and 3/7: Proof by Contradiction
- Slides
- Handout

- Problem Set 1 (due 1/25)
- Problem Set 2 (due 2/13)
- Problem Set 3 (due 2/29)
- Problem Set 4 (due at noon on 3/14)