Linguistics 280: Language and Formal Reasoning (Winter 2012)

Instructor
Scott Martin
Email
scott ling osu 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

Topics

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 Sets

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