Logic | Summer 1998 |
All readings are from Patrick J. Hurley A Concise Introduction to Logic, sixth edition.
Basic Concepts of Logic | |
5/18 | 1.1 Arguments, Premises, and Conclusions (skip "Note on the History of Logic") |
5/19 | 1.2 Recognizing Arguments |
5/20 | 1.3 Deduction and Induction |
1.4 Validity, Truth, Soundness, Strength, Cogency | |
5/21 | 1.5 Argument Forms: Proving Invalidity |
5/22 | First Examination |
Informal Fallacies | |
5/26 | 3.1 Fallacies in General |
3.2 Fallacies of Relevance | |
5/27 | 3.3 Fallacies of Weak Induction |
5/28 | 3.4 Fallacies of Presumption, Ambiguity, and Grammatical Analogy |
3.5 Fallacies in Ordinary Language | |
5/29 | Second Examination |
Propositional Logic | |
6/1 | 6.1 Symbols and Translation |
6/2 | 6.6 Argument Forms and Fallacies |
6.2 Truth Functions | |
6/3 | 6.3 Truth Tables for Propositions |
6.4 Truth Tables for Arguments | |
6/4 | 6.5 Indirect Truth Tables |
6/5 | Third Examination |
Elementary Natural Deduction | |
6/8 | 7.1 Rules of Implication I |
6/9 | 7.2 Rules of Implication II |
6/10 | 7.3 Rules of Replacement I |
6/11 | 7.4 Rules of Replacement II |
6/12 | Fourth Examination |
More Proof Techniques and on to Predicate Logic | |
6/15 | 7.5 Conditional Proof |
6/16 | 7.6 Indirect Proof |
6/17 | 8.1 Symbols and Translation |
6/18 | 8.5 Proving Invalidity |
6/19 | Fifth Examination |
Predicate Logic with Identity | |
6/22 | 8.2 Using the Rules of Inference |
8.3 Change of Quantifier Rules | |
6/23 | 8.4 Conditional and Indirect Proof |
6/24 | 8.6 Relational Predicates and Overlapping Quantifiers |
6/25 | 8.7 Identity |
6/26 | Sixth Examination |