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