| |
Nov 24, 2024
|
|
|
|
|
2016 - 2017 Catalog of Courses [ARCHIVED CATALOG]
|
PHIL 372 - Advanced Logic
A focused exploration of more advanced logical systems and the philosophical assumptions of such systems. Issues covered include translations and natural deduction in first-order predicate logic, an introduction to non-standard logical systems, modal logic, Bayesian theory, and selected topics in metalogic.
Credits: 3
Clock Hours - (Lect-Lab): (3-0)
Prerequisites: One CO2 course AND PHIL 271 [Details: CO2 course list: COMP 250 , COMP 252 , COMP 253 , ENGL 268 , SOC 210 ]
|
|