Mar 28, 2024  
2020-2021 Undergraduate Catalog 
    
2020-2021 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Catalog (opens a new window)

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)