Sep 16, 2019  
2014-2015 Undergraduate Catalog 
    
2014-2015 Undergraduate Catalog ARCHIVED CATALOG: CONTENT MAY NOT BE CURRENT. USE THE DROP DOWN ABOVE TO ACCESS THE CURRENT CATALOG.

[Add to Portfolio]

PHIL 422 - Advanced Logic


Study of formal logic through first-order logic with identity. Soundness, completeness, compactness and other metatheorems. Other topics may include computability, modal logic, epistemic logic, many-valued logic, the logic of conditionals, higher-order logics, infinitary logics or non-monotonic logics, number theory, Gödel’s theorems, and the limits of logicism.

Credits 3
Prerequisites  .
Notes This course is crosslisted with PHIL 622. Credit at the 600-level requires additional work.



[Add to Portfolio]