PH360 Intermediate Logic
This course will sharpen your reasoning skills, give you a more complete understanding of valid reasoning, and expose you to formal tools frequently used by philosophers in their work. It is a continuation of
PH202, requiring no other prior knowledge of philosophy. We will study first-order predicate logic and set theory. Other topics may include soundness and completeness for propositional and first-order logics, modal logic, relations, identity, Gödel’s incompleteness theorems, translation from natural language, or other issues in philosophy of language, and application of some of these ideas to issues in metaphysics and natural theology. Offered upon sufficient demand.
Prerequisite
PH202 [minimum grade = D-]