Aug 27 §1.1. Formal deductive logic
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, 5, s, x, xa)
30 §1.2. What is said: possibilities of truth and falsity
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, s, x, xa)
hw for §1.2
Sep 1 §1.3. Saying and suggesting: implication and implicature
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, s, x, xa)
hw for §1.3
  3 §1.4. Comparing content: logical properties and relations
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, 5, 6, s, x, xa)
hw for §1.4
  6 §2.1. And: adding content
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, 5, 6, 7, s, x, xa)
hw for §2.1
  8 §2.2. Proofs: analyzing entailment
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, 5, 6, s, x, xa)
hw for §2.2
  10 §2.3. Failed proofs and counterexamples
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, s, x, xa)
hw for §2.3
  13 §2.4. Using lemmas
(pdfs: full, sm ex ho, 0, 1, 2, 3, s, x, xa)
 
  15 test 1 (chs. 1-2) topics old tests  
  17 §3.1. Not: contradicting content
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, 5, s, x, xa)
hw for §3.1
  20   no class  
  22 §3.2. Reductio arguments: refuting suppositions
(pdfs: full, sm ex ho, 0, 1, 2, 3, s, x, xa)
hw for §3.2
  24 §3.3. Negations as premises
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, s, x, xa)
hw for §3.3
  27 §3.4. Counterexamples to reductios
(pdfs: full, sm ex ho, 0, 1, 2, s, x, xa)
hw for §3.4
  29 §4.1. Or: taking common content
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, s, x, xa)
hw for §4.1
Oct 1 §4.2. Arguing from and for alternatives
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, s, x, xa)
hw for §4.2
  4 §4.3. Detachment: eliminating alternatives
(pdfs: full, sm ex ho, 0, 1, 2, s, x, xa)
 
  6 test 2 (chs. 3-4) topics old tests  
  8 §5.1. If: trimming content
(pdfs: full, sm ex ho, 0, 1, 2, 3, s, x, xa)
hw for §5.1
  11 §5.2. Only if and unless
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, s, x, xa)
hw for §5.2
  13 §5.3. Conditional proofs: bottling inference
(pdfs: full, sm ex ho, 0, 1, 2, s, x, xa)
hw for §5.3
midsemester break
  18 §5.4. Extreme measures
(pdfs: full, sm ex ho, 0, 1, 2, s, x, xa)
hw for §5.4
  20 §6.1. Naming and describing
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, 5, s, x, xa)
hw for §6.1
  22 §6.2. Referring
(pdfs: full, sm ex ho, 0, 1, 2, 3, s, x, xa)
hw for §6.2
  25 §6.3. Arguments involving equations
(pdfs: full, sm ex ho, 0, 1, 2, 3, s, x, xa)
hw for §6.3
  27 §6.4. Describing models
(pdfs: full, sm ex ho, 0, 1, 2, 3, s, x, xa)
 
  29 test 3 (chs. 5-6) topics old tests  
Nov 1 §7.1. Generalizations in English
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, 5, s, x, xa)
hw for §7.1
  3 §7.2. Generalizations and quantifiers
(pdfs: full, sm ex ho, 0, 1, 2, 3, s, x, xa)
hw for §7.2
  5 §7.3. Quantifiers and connectives
(pdfs: full, sm ex ho, 0, 1, 2, 3, s, x, xa)
hw for §7.3
  8 §7.4. Multiple generality
(pdfs: full, sm ex ho, 0, 1, 2, s, x, xa)
hw for §7.4
  10 §7.5. General arguments
(pdfs: full, sm ex ho, 0, 1, 2, 3, s, x, xa)
hw for §7.5
  12 §7.6. Arguments involving restricted universals
(pdfs: full, sm ex ho, 0, 1, 2, s, x, xa)
hw for §7.6
  15 §7.7. Soundness & completeness
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, s, x, xa)
hw for §7.7
  17 §7.8. Finite & infinite structures
(pdfs: full, sm ex ho, 0, 1, 2, s, x, xa)
 
  19 test 4 (ch. 7) topics old tests  
Thanksgiving break
  29 §8.1. Some
(pdfs: full, sm ex ho, 0, 1, 2, 3, 4, 5, s, x, xa)
hw for §8.1
Dec 1 §8.2. Uniform generality
(pdfs: full, sm ex ho, 0, 1, 2, 3, s, x, xa)
hw for §8.2
  3 §8.3. Numerical quantification
(pdfs: full, sm ex ho, 0, 1, 2, 3, s, x, xa)
hw for §8.3
  6 §8.4. Definite descriptions
(pdfs: full, sm ex ho, 0, 1, 2, 3, s, x, xa)
hw for §8.4
  8 §8.5. Proofs by choice & proofs of existence
(pdfs: full, sm ex ho, 0, 1, 2, 3, s, x, xa)
hw for §8.5
  10 §8.6. Arguments involving descriptive reference
(pdfs: full, sm ex ho, 0, 1, 2, s, x, xa)
 
9 am 17 test 5 (ch. 8 & retrospect) topics old tests