PHI 201
Introductory Logic
Fall 2025

Lectures

Propositional Logic

Lecture
2025-09-08
Basic concepts, translation, simple proofs
Reading: Chapters 1–2
Slides
Lecture
2025-09-15
Conditional proof and ∨-elimination (dependency numbers)
Reading: Chapter 3
Slides
Lecture
2025-09-22
RAA and truth tables for validity
Reading: Chapters 3 and 5 (skipping Ch 4 for now)
Slides
Lecture
2025-09-29
Review for midterm
Reading: Chapter 4
Slides

Predicate Logic

Lecture
2025-10-20
Predicate logic syntax; ∀ intro/elim
Reading: Chapter 6 (pp. 84–99)
Slides
Lecture
2025-10-27
∃ intro/elim
Reading: Chapter 6 (pp. 99–113)
Slides
Lecture
2025-11-03
Theories: equality, order, sets
Reading: Chapter 7 (pp. 116–131, 141–149)
Slides
Lecture
2025-11-10
Models
Reading: Chapter 8 (pp. 156–175)
Slides
Lecture
2025-11-17
Proofs in predicate logic + quiz prep
Reading: No new reading; start next week’s longer reading
Slides

Metatheory

No precepts during Thanksgiving week.
Lecture
2025-11-24
Metatheory for propositional logic (part 1)
Reading: Chapter 9 (pp. 176–190)
No precepts (Thanksgiving) • No precepts during Thanksgiving week.
Slides
Lecture
2025-12-01
Metatheory for propositional logic (part 2)
Reading: Chapter 9 (pp. 191–205)
No precepts during Thanksgiving week.
Slides