__Texts:__

- Copi, Irving M., and Carl Cohen. 2009.
*Introduction to logic*. 13th ed. Upper Saddle River, NJ: Prentice Hall. - (Nolt) Nolt, J. 1997.
*Logics.*Belmont, CA: Wadsworth Publishing Company. - (UA) Sinnott-Armstrong, W., and R.J. Fogelin (2009),
*Understanding arguments: An introduction to informal logic*. Belmont, CA: Wadsworth Publishing Company.

All required selections from these books are available **here** (password is: logic-phil180)

To review the course policies, go here.

Unless otherwise noted, all references in the syllabus are to Copi and Cohen.

The following is a rough outline of the first two months of class. Both it and its successors are subject to revision according to the flow of the class, as well as our interests. Don’t be shy about stating topics you’d like to explore.

Date |
Readings and assignments to be discussed |

I. |
Informal reasoning |

A. |
Basic concepts |

2/12 | Introductions. Syllabus. Course logistics. |

2/13 | Propositions & arguments: read pp. 4-9; do pp. 9-12 #3, 5, 9, 14, 15. |

2/14 | Deduction, induction, & truth: read pp. 26-34; do p. 35 #1-8 |

2/19 | Validity & counterexamples: read Nolt, pp. 6-12; do Nolt, pp. 12-13 #1, 2, 3, 6, 7, 10, 12, 14 |

2/20 | Khalifa, Reconstructing Arguments. Part of my open-access textbook, The Art of Argument.[PPT] [HANDOUT] |

II. |
Semiformal reasoning |

A. |
Basic notation |

2/21 | Symbolic language & basic operators: read pp. 315-327 |

2/26 | Exercises: do pp. 327-328 (part A) #2, 8, 14, 21, 24; p. 329 (part C) # 4, 11, 24; pp. 329-331 (part D) #2, 8, 22 |

2/27 | Conditional statements & material implication: read pp. 331-339 |

B. |
Truth Tables |

2/28 | Exercises: do p. 339 (part A) #2, 9, 19, 24; p. 340 (part C) #2, 4, 8, 21, 22, 24Validity & common argument forms: read pp. 346-355 |

3/5 | Statement forms & material equivalence: read pp. 357-361; Exercises: do pp. 355-356 (part B) #3, 4, 9; pp. 356-357 #2, 4, 8, 9 |

3/6 | Optional: Extra Practice Problems/Review |

III. |
Formal proofs in propositional logic |

3/7 | Class Cancelled |

3/12 | Simple inference rules: read Nolt, pp. 82-89 |

3/13 | Exercises: do Nolt, 4.2, #1, 5, 11, 15, 19 |

3/14 | Hypothetical derivations: read Nolt, pp. 89-101 |

3/19 | Exercises: do Nolt, 4.3, # 1, 6, 9, 15, 20 |

3/20 | Review (Optional) |

3/21 | Class Cancelled |

3/26 | Spring Break |

3/27 | Spring Break |

3/28 | Spring Break |

4/2 | Theorems & shortcuts: read Nolt, pp. 102-106 |

4/3 | Exercises: Use the ten basic rules (Nolt p.102) and the derived rules (Nolt p.105-106) to prove the arguments in Copi & Cohen, p. 419, #17; pp. 420-421, #1-5 |

4/4 | Proof of invalidity: read Copi & Cohen, pp. 421-423; do Copi & Cohen, pp. 423-424 #2, 7, 9 |

4/9 | Review (Optional): do Copi & Cohen, p. 431 (part C) #1-5; do Copi & Cohen, pp. 433-434, all exercises in parts A (8 proofs) and C (1 proof) : don’t worry about “indirect” proofs. [These are not graded.] |

4/10 | Review (Optional): do Copi & Cohen, pp. 428-430, B2, B5, B8, B10, B14 [These are not graded.] |

4/11 | TEST #1. Bring a pencil & eraser!! |

IV. |
Predicate Logic |

A. |
Syntax |

4/16 | Quantifiers, predicates, and names: read Nolt pp. 161-169; do Nolt pp. 169-171 # 1, 7, 14, 21, 28, 35 |

4/17 | Syntax: do Nolt p. 174, #1, 4, 7, 10, 13, 16, 19 (don’t worry about “formation rules”) |

4/18 | Do Copi & Cohen, p. 453, Part B, #1-10 |

B. |
Inference |

4/23 | Existential Introduction: read Nolt, pp. 224-227 |

4/24 | Existential Elimination: read Nolt, pp. 227-232; do Nolt, p. 227 # 4, 5, 6, 8, 10 |

4/25 | Universal Elimination: read Nolt, pp. 233-234; do Nolt, p. 232 #2, 5, 6, 10 |

4/30 | Universal Introduction and Quantifier Exchange Rules: read Nolt, pp. 235-240, do Nolt, p. 234 #3, 5, 9 and p. 235, Exercise 8.3.2 |

5/1 | Review: Do Nolt, p. 240 (Exercise 8.4.2) #3, 6, 9, 12, 15 |

5/2 | Review: Do Nolt, p. 241 (Exercise 8.4.3) #1, 7, 14, 21, 28, 35 |

5/7 | TEST #2 |