Nov 25, 2024  
2021-2022 Graduate Catalog 
    
2021-2022 Graduate Catalog [ARCHIVED CATALOG]

PHIL 6500 - Symbolic Logic


3 Credit Hours
Description
This course will cover the fundamentals of propositional and predicate logic, and selected topics in such areas as the logic of identity and relations, modal logic, or meta-logic. Emphasis placed on construction of proofs in formal systems.