| 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 | ||