PHIL 2023 - Logic

Course is an introduction to logic and the set theory. The history of formal logic will be briefly outlined and then both predicate and first order logics will be introduced and discussed towards laying the ground both for an understanding of Godel’s completeness theorem and its proof. Students will gain some facility with formal proof by working through some of the elementary theorems of set theory and logic.

Credit Hours
3.0
Satisfies a Requirement
Humanities
Area
V

Go Beyond!

PHIL 2023 - Logic