Metalogic
Download as PDF
Course Description
(Formerly 160A.) The syntax and semantics of sentential and first-order logic. Concepts of model theory. Gödel's completeness theorem and its consequences: the Löwenheim-Skolem theorem and the compactness theorem. Prerequisite: 150 or consent of instructor.
Cross Listed Courses
Grading Basis
ROP - Letter or Credit/No Credit
Min
4
Max
4
Course Repeatable for Degree Credit?
No
Course Component
Discussion
Enrollment Optional?
Yes
Course Component
Lecture
Enrollment Optional?
No
This course has been approved for the following WAYS
Formal Reasoning (FR)
Does this course satisfy the University Language Requirement?
No
Programs
PHIL151
is a
completion requirement
for: