Philosophy 109: Introduction to Modern Logic

Russell Marcus, Instructor

Queens College, Spring 2004

Lecture Notes

Identity Theory (5/12-5/19)

Relational Predicates (5/5)

Invalidity in Predicate Logic (4/28)

Conditional and Indirect Proof in Predicate Logic (4/28)

Changing Quantifiers (4/21)

Derivations in Predicate Logic (4/21)

Translation to Predicate Logic (4/14)

Logical Truths (3/24)

Indirect Proof (3/24)

Conditional Proof (3/24)

Rules of Replacement II (3/17)

Rules of Replacement I (3/17)

Rules of Inference II (3/3)

Rules of Inference I (3/3)

Indirect Truth Tables for Arguments and Consistency (3/3)

Truth Tables for Arguments (2/25)

Truth Tables for Propositions (2/25)

Truth Functions (2/11)

Propositional Translation (2/4 - 2/11)

Introduction (2/4)