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 |

Richard Lee,