PHIL 6060 Advanced Symbolic Logic

Prerequisite: 121 or equivalent. Translation of propositions into quantified formulas with single-place and relational predicates. Deduction by quantification rules. Also, theorematic development of an axiomatic logistic system.