|
Apr 20, 2024
|
|
|
|
2014-2015 University Catalog [ARCHIVED CATALOG]
|
PHIL 45000 - Metalogic Credit Hours: 3.00. An introduction to metatheoretic studies of formal axiomatic systems. Basic set theory is developed for use as a tool in studying the propositional calculus. Further topics include many-valued logics and metatheory for modal or predicate logic. Typically offered Fall Spring.
|
|