Selected topic in the philosophy of mind, such as intentionality of the mental, relation between the mental and the physical, connection between thought and action, and ways of verifying the existence of various mental states.
Naive set theory and mathematical induction. Axiomatic presentations of propositional and predicate logic. Interpretations and validity. Completeness theorems for both systems. The Lowenhein-Skolem theorem.