Linguistics 280: Language and Formal Reasoning (Winter 2011)

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

Topics

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 Sets

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