The theoretical study of formal systems of logic. Topics include formal axiomatic systems, formal syntax and semantics, soundness and completeness proofs for both sentential and predicate logic. Prerequisite: PHIL 220 or consent of Department.
The theoretical study of formal systems of logic. Topics include formal axiomatic systems, formal syntax and semantics, soundness and completeness proofs for both sentential and predicate logic. Prerequisite: PHIL 220 or consent of Department.