PHL 302 - Intermediate Symbolic Logic.

A course in logic or junior standing or consent of instructor. (3).

Applications of symbolic logic to forms of reasoning more complex than those covered in PHL 202. Relational sentences, multiple quantification, identity, definite descriptions. Properties of formal axiomatic systems, such as consistency and completeness; ways of proving that given systems have or lack such properties. Logical characteristics of reasoning underlying theories and practices in such fields as mathematics, computer science, science, social sciences, philosophy.