PHI 201, Lecture Schedule

Tues, Feb 3

• Course mechanics
• Why study logic?
• Basic concepts
• Reading: syllabus, schedule, basic concepts handout

Thu, Feb 4

• Validity and sentence structure
• Truth tables
• Elementary translation
• Stage 1 inference rules
• Reading: truth table and inference rule handout

Tue, Feb 10

• Stage 1 inference rules
• Reading: review lecture notes and handout

Thu, Feb 12

• Overflow from first three lectures

Homework 1 and Homework 2

Tue, Feb 17

• Proofs: Dependency numbers, Rule of Assumptions, Conditional proof
• Reading: Lemmon, pp 1-18

Thu, Feb 19

• Proofs: v-Elimination, Reductio ad Absurdum
• Reading: Lemmon, pp 18-40

Homework 3A and Homework 3B

Tue, Feb 24

• Formation rules
• Induction on formula complexity
• Semantic methods: Truth tables, partial truth tables, trees
• Reading: Lemmon pp 41-49, 64-74

Thu, Feb 26

• Testing for validity (semantic definition)

Tue, Mar 2

• Semantic properties of sentences, relations between sentences

Thu, Mar 4

• Translation
• Truth functionality
• Truth functional completeness, other connectives
• Reading: None

Homework 4

Tue, Mar 9

• Exam review
• Inadequacies of sentence logic
• Reading: None

Midterm exam: Thu, Mar 11

SPRING BREAK

Tue, Mar 23

• Validity in virtue of quantifier structure
• Elementary translation into predicate calculus
• Inference Rules: U-Elimination and E-Introduction
• Reading: Lemmon pp. 92-102

Homework 5

Thu, Mar 25

• Inference Rules: U-Introduction and E-Elimination
• Reading: Lemmon pp. 103-116

Tue, Mar 30

• Practice proofs
• Reading: Lemmon pp. 117-137

Homework 6

Thu, Apr 1

• Semantics for the predicate calculus: Interpretations, validity, etc.
• Reading: Handout

Homework 7

Tue, Apr 6

• Reflection on monadic predicate logic

Thu, Apr 8

• Reflection on monadic predicate logic

Tue, Apr 13

• Reflection on monadic predicate logic

Homework 8

Thu, Apr 15

• Polyadic predicates: basic translation

Tue, Apr 20

• Polyadic predicates: interpretations
• Reading: Handout
• Reflection on the predicate calculus
• Reading: Lemmon pp. 138-148

Homework 9

This is the last homework.

Thu, Apr 22

• Reflection on the predicate calculus
• Reading: Lemmon pp. 148--158

Tue, Apr 27

• Soundness of predicate calculus

Thu, Apr 29

• Laws of interchange and substitution
• Prenex form
• Completeness of predicate calculus

Fri, May 14 (8:30am, Frist 302): Final Exam