PHL 545 - Symbol Logic

The course introduces the basic concepts of symbolic logic, beginning with a review of categorical logic and then advancing to statement logic and predicate logic. It contains a basic overview of both Boolean algebra and modal logic. Concepts include validity and soundness, truth tables, the symbolization of English arguments, inference and equivalency rules, and constructing proofs. Cross listed with PHL*345. Optional elective for students in the graduate BAAI program.

Prerequisites & Notes
Cross listed with PHL*345. Optional elective for students in the graduate BAAI program. Term cycle: fall. Yearly cycle: all years.

Credits: 3