Apr 20, 2024  
2019-2020 Undergraduate Catalog 
    
2019-2020 Undergraduate Catalog [Archived Catalog]

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.