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.