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