Linguistics 280: Language and Formal Reasoning (Winter 2011)

Instructor

Scott Martin

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

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)