# 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

### Tue, Feb 17

• Proofs: Dependency numbers, Rule of Assumptions, Conditional proof

### Thu, Feb 19

• Proofs: v-Elimination, Reductio ad Absurdum

### 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

• Exam review

### Tue, Mar 23

• Validity in virtue of quantifier structure
• Elementary translation into predicate calculus
• Inference Rules: U-Elimination and E-Introduction

### Thu, Mar 25

• Inference Rules: U-Introduction and E-Elimination

### Tue, Mar 30

• Practice proofs

### Thu, Apr 1

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

### Tue, Apr 6

• Reflection on monadic predicate logic

### Thu, Apr 8

• Reflection on monadic predicate logic

### Tue, Apr 13

• Reflection on monadic predicate logic

### Tue, Apr 20

• Reflection on the predicate calculus

This is the last homework.

### Thu, Apr 22

• Reflection on the predicate calculus