PHILOSOPHY 5550

Advanced Logical Theory

Ohio State University-Lima Campus · UGRD · Fall 2026

1 section

Catalog description

Topics include formal arithmetic, recursive functions, Turing machines, Godel's incompleteness theorems, Church's thesis, arithmetical truth, logical paradoxes, and higher-order logic. Prereq: 2500 and 5500. Repeatable to a maximum of 9 cr hrs or 3 completions.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 6 hours ago

001

Availability not recently verified

Class #ohio_lima_campus-PHILOSOPHY5550Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?