PHILOSOPHY 5500

Advanced Symbolic Logic

Ohio State University-Newark Campus · UGRD · Fall 2026

1 section

Catalog description

Introduction to the metatheory of first-order logics and languages; axiomatic development of propositional and predicate logic; model theory; soundness, completeness, and Lowenheim- Skolem theorems. Prereq: 2500.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 5 hours ago

001

Availability not recently verified

Class #ohio_newark_campus-PHILOSOPHY5500Fall 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?