SCHEDULE OF COURSE TOPICS
Please note that the schedule below is meant as a study guide. The actual lecture content for any class meeting may vary.
Week 1: Introduction to the study of Advanced Logic.
Week 2: Formal Proof Methods: Rules of Inference.
Week 3: Formal Proof Methods: Rules of Replacement.
Week 4: Quantification Theory: Translation.
Week 5: Quantification Theory: Generalization and Instantiation; FALL BREAK.
Week 6. Quantification Theory: Formal Proofs.
Week 7: EXAMINATION 1.
Week 8: Logics: Syntax v. Semantics.
Week 9: Reductio ad absurdum; Indirect Proof.
Week 10: The Problem of Induction: David Hume.
Week 11: The Method of Hypotheses: Immanuel Kant.
Week 12: Basic Forms of Inductive Inference.
Week 13: Reasoning from Evidence. THANKSGIVING BREAK.
Week 14: Probability.
Week 15: Theories of Inductive Probability.
Week 16: EXAMINATION 2.
Please note that Quiz dates will be announced as the term progresses.