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