Apr 19, 2019  
2018-2019 Undergraduate Catalog 
    
2018-2019 Undergraduate Catalog
[Add to Portfolio]

PHIL 405 - Intermediate Logic


Review of symbolic logic including propositional logic, quantification theory, relations, and identity. Additional topics in formal logic and the philosophy of logic selected by the instructor such as proof theory, modal logic, theory of types, formal semantics and the relation between the formal and the informal understanding of validity.

Prerequisites & Notes
PRQ: PHIL 205 or consent of department.

Credits: 3



[Add to Portfolio]