Home /

Courses

Find a Course

Use the menus below to help you find a course.

By Prefix and Number:

PREFIX:

NUMBER:

By Prefix:

Advanced Search

Keyword Search
Online Learning (E)
Service-Learning (S)
Honors (H)
Integrated Language (I)
Writing Intensive (W)
Non-Credit Discussion Group (D)
Lab (Non-Credit and Credit) (L)

Quicklinks

Schedule of Classes
Transfer Equivalency Search
Course Application Deadlines


Course ID:	PHIL(LING) 4520/6520. 3 hours.
Course Title:	Model Theory
Course Description:	Formal semantics for sentential and first-order predicate logic, including both soundness and completeness results for first-order logic. Additional topics may include Goedel's incompleteness results, the Skolem-Lowenheim theorem, or possible world semantics for modal logics.
Athena Title:	Model Theory
Undergraduate Prerequisite:	PHIL(LING) 4510/6510 or permission of department
Graduate Prerequisite:	PHIL(LING) 4510/6510 or permission of department
Semester Course Offered:	Not offered on a regular basis.
Grading System:	A-F (Traditional)

Syllabus: