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

- Course Information
- (subject to change)
- Class Meetings
- TR 8:30 AM–10:18 AM in 175 Mendenhall Labs

- 1/4
- Meaning in Natural Language
- 1/6 and 1/11
- Natural Language, Artificial Language, and Reasoning
- 1/13
- Arguments and Logic
- 1/18
- Interpreting Propositional Logic (Part 1)
- 1/20 and 1/25
- Interpreting Propositional Logic (Part 2)
- 1/27 and 2/3
- Calculating Truth Conditions
- 2/8
- Translating Between English and Propositional Logic
- 2/10 and 2/15
- Using Natural Deduction to Represent Arguments (Part 1)
- 2/17
- Using Natural Deduction to Represent Arguments (Part 2)
- 2/22
- Entailments and Equivalence
- 2/24 and 3/1
- Natural Deduction with Gentzen Sequents
- 3/3
- Proving Equivalence
- 3/8 and 3/10
- Proof by Contradiction

- Problem Set 1 (due 1/20)
- Problem Set 2 (due 2/15)
- Problem Set 3 (due 3/3)
- Problem Set 4 (due at noon on 3/17)