|
|
|
|
|
|
1 |
|
|
|
Introduction. The Place of Logic Among the Sciences (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
Sentential Calculus Introduction (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
Sentential Calculus Semantics (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
|
|
Extension Theorem (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 |
|
|
|
State Descriptions, Disjunctive Normal Form, and Expressive Completeness (PDF) |
|
|
|
Homework 1 due (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
6 |
|
|
|
SC Substitutions (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
7 |
|
|
|
The Search-for-Counterexample Test for Validity (PDF) |
|
|
|
Homework 2 due (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
8 |
|
|
|
Compactness Theorem (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
9 |
|
|
|
SC Translations (PDF) |
|
|
|
Homework 3 due (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
10 |
|
|
|
Trouble with "If"s (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
11 |
|
|
|
Monadic Predicate Calculus (PDF) |
|
|
|
Homework 4 due (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
12 |
|
|
|
Derivations in the Monadic Predicate Calculus (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
13 |
|
|
|
MPC Completeness (PDF) |
|
|
|
Homework 5 due (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
14 |
|
|
|
Predicate Calculus (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
15 |
|
|
|
Predicate Calculus Derivations (PDF) |
|
|
|
Homework 6 due (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
16 |
|
|
|
Identity (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
17 |
|
|
|
Russell's Theory of Definite Descriptions (PDF) |
|
|
|
Homework 7 due (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
18 |
|
|
|
Sense and Reference (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
19 |
|
|
|
Function Signs (PDF) |
|
|
|
Homework 8 due (PDF) |
|
|
|
|
|
|
|
|
|
|
|
|
20 |
|
|
|
Sentential Calculus Revisited: Boolean Algebra (PDF) |
|
|
|
|
|
|
|
|
|
|