PHIL 6030 - Logic and Analysis

Credits: 3

An introduction to translation and proof procedures of propositional logic (excluding completeness, soundness, and meta-theory), first order predicate logic, and modalities. With an emphasis on applications to philosophical issues and problems.

Repeatable:
No