PHIL 320 - Advanced Topics in Logic

3 Credit(s)

A survey of key concepts in the metatheory of Symbolic Logic as well as an introduction to various alternative logics. The course will consider such topics as the nature of a formal system with emphasis on the distinction between Syntax and Semantics, account of the Soundness and Completeness of formal systems along with related concepts, Godel’s incompleteness theorem, and Epistemic, Modal, and Probabilistic Logics.
Prerequisite(s): PHIL 120 or permission of the instructor.