|
May 19, 2024
|
|
|
|
2017-2018 Undergraduate Bulletin
|
PHIL 45000 - Metalogic 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.
Preparation for Course P: Instructor permission required.
Cr. 3. Session Indicators Typically offered Fall and Spring.
|
|