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