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 |