PHIL 42503 — Symbolic Logic I
Rigorous analyses of the concepts of proof, consistency, equivalence, validity, implication, and truth. Full coverage of truth-functional logic and quantification theory (predicate calculus). Discussion of the nature and limits of mechanical procedures (algorithms) for proving theorems in logic and mathematics. Informal accounts of the basic facts about infinite sets. Prerequisite: PHIL 22003 or MATH 26103 . (Typically offered: Fall) This course is cross-listed with MATH 42503 .
Prerequisites: PHIL 22003, MATH 26103