PHIL2553 — Symbolic Logic

PHIL 2553 - Symbolic Logic PHIL 2553 - Symbolic Logic Sem. Hrs: 3 Fundamentals of sentential logic and predicate logic, including proof techniques, and translation into symbolic notation. Supplementary topics may include basic issues in metatheory: the concepts of validity and truth, formal systems of deduction and their soundness and completeness. Spring, odd.

Part of

• Philosophy, BA

Source ↗

← back to astate catalog