Semester Hours:3Periodically
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.