Class Notes
41 - Second-Order Logic
40 - Functions
38 - More Translation with Identity
37 - Identity Jigsaw: Instructions, At Least, At Most, Superlatives, Except, Only, Solutions
34 - Rules of Passage
32 - Translation with Relations
30 - Quantification and Ontological Commitment
29 - Semantics for M
27 - Truth and Liars
23 - More Translation and Language M, Worksheet, Solutions
22 - Translation to Predicate Logic
20 - Axiomatic Systems
13 - Syntax and Semantics
7 - Adequate Sets of Connectives
4 - Conditionals
2 - Translation to Propositional Logic