| |
Jul 05, 2024
|
|
|
|
|
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
Repeat/Retake Information: May be retaken two times excluding withdrawals, but only last course taken counts.
Lecture/Lab Hours: 3.0 seminar
Grades: Eligible Grades: A-F,WP,WF,WN,FN,AU,I
Learning Outcomes: - Students will understand the completeness of first-order logic, Godel’s incompleteness theorems, axiomatic set theory, and Cantor’s and Dedekind’s theories of the infinite.
Add to Portfolio (opens a new window)
|
|
