Aug 24 1.1. Formal deductive logic
HTML | PDF (1up, 2up, 4up)
  27 1.2. What is said: propositions
HTML | PDF (1up, 2up, 4up) | hw on §1.2
29 1.3. Beyond saying: pragmatics
HTML | PDF (1up, 2up, 4up) | hw on §1.3
  31 1.4. General principles of deductive reasoning
HTML | PDF (1up, 2up, 4up) | hw on §1.4
Sep 3 2.1. And: adding content
HTML | PDF (1up, 2up, 4up) | hw on §2.1
  5 2.2. Proofs: analyzing entailment
HTML | PDF (1up, 2up, 4up) | hw on §2.2
  7 2.3. Failed proofs and counterexamples
HTML | PDF (1up, 2up, 4up) | hw on §2.3
  10 2.4. Using lemmas
HTML | PDF (1up, 2up, 4up) | (no hw on §2.4)
  12 test 1 (chs. 1-2)
topics | old tests | topics pdf
  14 3.1. Not: contradicting content
HTML | PDF (1up, 2up, 4up) | hw on §3.1
  17 3.2. Reductio arguments: refuting suppositions
HTML | PDF (1up, 2up, 4up) | hw on §3.2
  19 3.3. Negations as premises (new rules in ch. 3)
HTML | PDF (1up, 2up, 4up) | hw on §3.3
  21 3.4. Counterexamples to reductios
HTML | PDF (1up, 2up, 4up) | hw on §3.4
  24 3.5. Being guided by the rules (workshop handout)
HTML | PDF (1up, 2up, 4up) | hw on §3.5
  26 4.1. Or: taking common content
HTML | PDF (1up, 2up, 4up) | hw on §4.1
  28 4.2. Arguing from and for alternatives
HTML | PDF (1up, 2up, 4up) | hw on §4.2
Oct 1 4.3. Detachment: eliminating alternatives
HTML | PDF (1up, 2up, 4up) | (no hw on §4.3 )
  3 test 2 (chs. 3-4)
topics | old tests | topics pdf
  5 5.1. If: trimming content
HTML | PDF (1up, 2up, 4up) | hw on §5.1
  8 5.2. Only if and unless
HTML | PDF (1up, 2up, 4up) | hw on §5.2
  10 5.3. Conditional proofs: bottling inference
HTML | PDF (1up, 2up, 4up) | hw on §5.3
midsemester break
  15 5.4. Extreme measures
HTML | PDF (1up, 2up, 4up) | hw on §5.4
  17 6.1. Naming and describing
HTML | PDF (1up, 2up, 4up) | hw on §6.1
  19 6.2. Predicates and pronouns
HTML | PDF (1up, 2up, 4up) | hw on §6.2
  22 6.3. Arguments involving equations
HTML | PDF (1up, 2up, 4up) | hw on §6.3
  24 6.4. Describing models
HTML | PDF (1up, 2up, 4up) | hw on §6.4
  26 test 3 (chs. 5-6)
topics | old tests | topics pdf
29 7.1. Generalizations in English
HTML | PDF (1up, 2up, 4up) | hw on §7.1
  31 7.2. Generalizations and quantifiers
HTML | PDF (1up, 2up, 4up) | hw on §7.2
Nov 2 7.3. Quantifiers and connectives
HTML | PDF (1up, 2up, 4up) | hw on §7.3
  5 7.4. Multiple generality
HTML | PDF (1up, 2up, 4up) | hw on §7.4
  7 7.5. General arguments
HTML | PDF (1up, 2up, 4up) | hw on §7.5
  9 7.6. Insuring generality
HTML | PDF (1up, 2up, 4up) | hw on §7.6
  12 7.7. Soundness & completeness
HTML | PDF (1up, 2up, 4up) | hw on §7.7
  14 7.8. Finite & infinite structures
HTML | PDF (1up, 2up, 4up) | (no hw on §7.8 )
  16 test 4 (ch. 7)
topics | old tests | topics pdf
Thanksgiving break
26 8.1. Some
HTML | PDF (1up, 2up, 4up) | hw on §8.1
28 8.2. Uniform generality
HTML | PDF (1up, 2up, 4up) | hw on §8.2
  30 8.3. Numerical quantification
HTML | PDF (1up, 2up, 4up) | hw on §8.3
Dec 3 8.4. Definite descriptions
HTML | PDF (1up, 2up, 4up) | hw on §8.4
  5 8.5. Proofs by choice & proofs of existence
HTML | PDF (1up, 2up, 4up) | hw on §8.5
  7 8.6. Arguments involving descriptive reference
HTML | PDF (1up, 2up, 4up) | (no hw on §8.6 )
9 am 11 test 5 (ch. 8 & retrospect)
topics | old tests | topics pdf