May 23, 2024  
2022 - 2023 Undergraduate Catalog 
    
2022 - 2023 Undergraduate Catalog [FINAL EDITION]

Add to Portfolio (opens a new window)

PHIL 320 - Advanced Topics in Logic


3 Credit(s)

A survey of key concepts in the metatheory of Symbolic Logic as well as an introduction to various alternative logics. The course will consider such topics as the nature of a formal system with emphasis on the distinction between Syntax and Semantics, account of the Soundness and Completeness of formal systems along with related concepts, Godel’s incompleteness theorem, and Epistemic, Modal, and Probabilistic Logics.
Prerequisite(s): PHIL 120 or permission of the instructor.



Add to Portfolio (opens a new window)