Cr. 3. A study of formal deductive logic as codified in first-order predicate logic, including the concepts of proof, consistency, and completeness, and topics in logical theory and the foundations of mathematics. The relationship between formal logic and rational inquiry is also explored. Prerequisite: PHIL 150 or its equivalent.