Linguistics 280: Language and Formal Reasoning (Summer 2010)

Instructor

Email: 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

MTRF 11:30 AM–1:18 PM in 164 Jennings Hall

Topics

7/26: Meaning in Natural Language
7/27 and 7/29: Natural Language, Artificial Language, and Reasoning
7/30: Arguments and Logic
8/2: Interpreting Propositional Logic (Part 1)
8/3: Interpreting Propositional Logic (Part 2)
8/5 and 8/6: Calculating Truth Conditions
8/9: Translating Between English and Propositional Logic
8/10 and 8/12: Using Natural Deduction to Represent Arguments (Part 1)
8/13: Using Natural Deduction to Represent Arguments (Part 2)
8/16: Entailments and Equivalence
8/17: Natural Deduction with Gentzen Sequents
8/19: Proving Equivalence
8/23: Proof by Contradiction

Problem Sets