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