PHIL 4020 Advanced Logic

A study of the nature of a formal deductive system, including the proofs of completeness, consistency and independence. The equipollence of deductive systems is also examined, and more advanced notions of predicate logic, multiple quantification, higher functional logic and logic of relations are covered. Prerequisite(s): PHIL 2100
Credits: 3.0