# PHI 201, Introductory Logic

## Lecture and Assignment Schedule

Last updated: Wed, May 17, 2006.

**Tue, Feb 7**

Topics: Course mechanics; what is symbolic logic all about?

**Thu, Feb 9**

Topics: Validity and sentence structure; elementary extraction of logical structure

Homework 0

**Tue, Feb 14**

Reading: Stage 1 inference rules

handout
Topics: Stage 1 inference rules

**Thu, Feb 16**

Topics: Stage 1 inference rules

Homework 1

**Tue, Feb 21**

Reading: Lemmon pp 1-18

Topics: Not enough inference rules; how to prove conditional statements; dependency numbers; rule of assumptions

**Thu, Feb 23**

Reading: Lemmon pp 18-40

Topics: How to reject a statement; what use is a disjunction?

Homework 2

**Tue, Feb 28**

Reading: Lemmon pp 41-49

Topics: Do we have all the valid arguments?; truth tables

**Thu, Mar 2**

Reading: Lemmon pp 64-74

Topics: Testing for validity

Homework 3

**Tue, Mar 7**

Topics: Semantic properties and relations of sentences; statement of soundness and completeness theorems; issues of vocabulary (Note: There is no reading from the Lemmon book this week)

**Thu, Mar 9**

Topics: Intermediate translation; truth functionality; truth functional completeness, other connectives

Revised: No Homework this week

**Tue, Mar 14**

Exam review

**Thu, Mar 16**

MIDTERM EXAM

**SPRING BREAK: March 18-26**

**Tue, Mar 28**

Reading: Lemmon pp 92-102

Topics: Inadequacy of the propositional calculus; elementary translation into predicate logic

**Thu, Mar 30**

Reading: Lemmon pp 104-116

Topics: The universal and existential quantifiers

Homework 4 and Homework 5

**Tue, Apr 4**

Reading: Lemmon pp 117-127

Topics: Predicate calculus proofs

**Thu, Apr 6**

Reading: Lemmon pp 128-137

Topics: Predicate calculus proofs

Homework 6

**Tue, Apr 11**

Reading: Semantics for predicate logic

handout
Topics: Formal counterexamples for predicate logic

**Thu, Apr 13**

Reading: Same as previous lecture

Topics: Decision procedures for monadic predicate logic

Homework 7

**Tue, Apr 18**

Reading: None

Topics: Counterexamples for polyadic predicate logic

**Thu, Apr 20**

Reading: None

Topics: Translation and polyadic predicates

Homework 8

**Tue, Apr 25**

Reading: Lemmon pp 138-158

Topics: Substitution instances

**Thu, Apr 27**

Reading: Lemmon pp 159-167

Topics: Very fun translations

Homework 9 (final homework assignment)

**Tue, May 2**

Reading: Lemmon pp 75-91

Topics: Soundness and completeness of the propositional calculus

**Thu, May 4**

Reading: None

Topics: Soundness and completeness of the propositional calculus

Homework 10 [CANCELED]

**Fri, May 19 (1:30pm):** FINAL EXAM in McCosh Hall 10.