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.