PHIL 6060 Advanced Symbolic Logic

PHIL 6060 Advanced Symbolic Logic
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-requistites: PHIL 1210 or equivalent.
credit hours: 3