|
|
Nov 21, 2024
|
|
2019-2020 Undergraduate Studies Bulletin
|
PHIL 115 - Introduction to Formal Logic IICredits: 3
Intermediate topics in predicate logic, including second-order predicate logic; meta-theory, including soundness and completeness; introduction to non-classical logic.
Prerequisites: Grade of C or higher in PHIL 114 or PHIL 110, or a department-approved equivalent
Note: Carolina Core: ARP
|
|
|