2024-2025 Catalog

PHIL 252 Intermediate Formal Logic

This course is a continuation of PHIL 150: Formal Logic. It introduces polyadic predicate logic, along with identity, functions, and definite descriptions. Topics may also include some logical metatheory and an introduction to non-classical, modal, or other systems of logic.

Credits

4 units

Prerequisite

N/A

Corequisite

N/A

Core Requirements Met

  • Mathematics/Science