220 Notes

Logic Overview (January 14)

Basic Notions of Logic 1 (January 16)

Basic Notions of Logic 2 (January 18)

Symbolization in SL 1 (January 23)

Symbolization in SL 2 (January 25)

Translating Natural Language into SL (January 28)

Syntax of SL (January 30)

Truth Tables for SL (February 1)

Tautology, Contradiction, Contingency (February 4)

Equivalence and Consistency (February 6)

Entailment and Validity (February 8)

Semantic Properties Expressed in terms of Consistency (February 11)

Truth Trees 1 (February 18)

Truth Trees 2 (February 20)

Semantic Properties on Truth Trees (February 22)

Trees Procedure Handout (February 22)

Derivations 1 (March 1)

Basic Mechanics of Derivations (March 1 Supplement)

Derivation Rules/Format (March 1)

Derivations 2 (March 4)

Derivations 3 (March 6)

Sample Proofs (March 6 Supplement)

Stepwise Derivation Practice (March 8)

Stepwise Derivation Practice Answers (March 8)

Extra Derivation Practice Problems (March 11)

Extra Derivation Practice Answers (March 11)

Difficult Class Problem 3-11 (Don’t look unless you’ve really given up)

Problem Color Coded (March 13)

Predicates (March 25)

Predicates 2 (March 27)

Quantifiers (March 29)

Syntax of PL 1 (April 1)

Syntax of PL 2 (April 3)

Categorical Logic in PL (April 5)

Overlapping Quantifiers (April 12)

Identity, Definite Descriptions, Relations, Functions (April 15, 17)

Informal Semantics of PL (April 19)

Trees for PL (April 22)

Baseball Rules Example (April 24)

Enthymemes, English Arguments (April 26)

Trees for PL 2 (April 29)