Jul 13, 2024  
OHIO University Undergraduate Catalog 2022-23 
    
OHIO University Undergraduate Catalog 2022-23 [Archived Catalog]

Add to Portfolio (opens a new window)

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)