PHIL 1501 - SYMBOLIC LOGIC Minimum Credits: 3 Maximum Credits: 3 This advanced undergraduate course develops skills in formal and informal reasoning in predicate-quantifier logic, and covers formal semantics for sentential logic, informal semantics for predicate-quantifier logic, and elementary syntactic metatheory. Academic Career: Undergraduate Course Component: Lecture Grade Component: LG/SU3 Elective Basis Course Requirements: PREQ: MATH 0001 or 0031 or Math Placement Score (46 or greater) Click here for class schedule information.
Add to Portfolio(opens a new window)
|