PHIL 4200 - Symbolic Logic II

Techniques of modern symbolic logic. Focuses on the completeness of first-order logic, Godel’s incompleteness theorems, axiomatic set theory, and Cantor’s and Dedekind’s theories of the infinite.

Requisites: PHIL 3200
Credit Hours: 3.0
Repeat/Retake Information: May be retaken two times excluding withdrawals, but only last course taken counts.
Lecture/Lab Hours: 3.0 seminar
Eligible grades: A-F,WP,WF,FN,FS,AU,I

Ohio University

Ohio University

PHIL 4200 - Symbolic Logic II