Lecture Notes
UNIT ONE: INTRODUCTION
Week 1
Arguments, Validity, and Soundness
The Counter-Example Method
Week 2
Intro to Logical Operators
Intro to Truth Tables
Week 3
Truth Tables for Compound Statements
Truth Tables for Arguments
Translating 'Unless'
Week 4
On Choosing Connectives
UNIT TWO: PROPOSITIONAL LOGIC
Week 5
Derivation Rules, part 1
Derivations, part 1
Week 6
Derivation Rules, part 2
Derivations, part 2
Week 7
Proving Theorems and Theorem/Sequent Introduction
Week 8
On Choosing Derivation Rules
UNIT THREE: PREDICATE LOGIC
Week 9
Logical Quantifiers
Quantifier Scope vs. Binding
The Finite Universe Method
Week 10
Derivation Rules, part 1
Derivations, part 1
Week 11
Relational Predicates and Overlapping Quantifiers
Derivations, part 2
Rule Restrictions Cheat Sheet
Week 12
Predicate Logic With Identity
Sequent and Theorem Introduction
Week 13
Problems for Identity
Beyond Symbolic Logic
Back To PHIL 301 Home Page