PHIL 606 Advanced Symbolic Logic

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

pre-rec: PHIL 121 or equivalent.