Apr 17, 2024  
2022-2023 Undergraduate Bulletin 
    
2022-2023 Undergraduate Bulletin [ARCHIVED BULLETIN]

Add to Personal Catalog (opens a new window)

PHI 156 - Advanced Symbolic Logic

Semester Hours: 3
Periodically
Construction of a symbolic language for predicate (quantifier) logic. Metatheory for both sentential and predicate logic. Discussion of the limitations of predicate logic, and of more powerful formal systems designed to deal with natural language discourse, such as tense logic and modal logic.

Prerequisite(s)/Course Notes:
PHI 154 .





Add to Personal Catalog (opens a new window)