Class Notes
41 - Second-Order Logic
40 - Functions
37 - Identity Worksheets (At Least, At Most, Except, Only, Superlatives) and Solutions
32 - Translation and Semantics for F
29 - Semantics for M
27 - Philosophy Friday #6: Truth and Liars
24 - Philosophy Friday #5: Infinity
23 - Syntax and Formation Rules for M; practice translations from class; solutions to practice translations
20 - Hilbert-Style Axiom systems
19 - Philosophy Friday #4: Philosophy of Science
13 - Philosophy Friday #3: Modal Logic
7 - Philosophy Friday #2: Logic and the Philosophy of Religion
4 - Philosophy Friday #1: Conditionals
2 - Translation
1 - Arguments