Linguistics 280: Language and Formal Reasoning (Winter 2012)

Instructor

Scott Martin

(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