New Summer 2024 Students: Please submit your enrollment confirmation here by Friday, April 26, 2024.

PHIL 213: Deductive Logic

Deductive Logic

PHIL 213: Deductive Logic


12 credits

English 099

This course is an introduction to sentential and predicate logic, with a special emphasis on the translation of natural language into formal language. This course covers syntax, symbolization, semantics, and formal deduction systems for first-order sentential and predicate logic.