# 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