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 |