| |
Mar 16, 2026
|
|
|
|
|
PHIL 3301 - Intermediate Logic
Credits: 3
Introduces the formal theory of the logical systems students have already learned to use: sentential logic and predicate logic. Students learn to prove the completeness and soundness of both of these systems. Also, simple nonstandard logical systems such as modal, epistemic, or deontic logic, if time permits. Prerequisite: PHIL 1301 or its equivalent. Counts towards the cognitive science minor.
Add to Catalog (opens a new window)
|
|