PHI 330 - Topics in Advanced Symbolic Logic (II)

A study of such topics as a natural deduction system of quantification theory including consistency and completeness proofs; axiomatic formal systems and associated concepts of consistency, completeness, and decidability; elementary modal logic; and introductory set theory.

3 credits

Prerequisite(s): PHI 220 or instructor permission

SBC: STEM+

Repeatable: With instructor approval, may be repeated as the topic changes.