Courses

HR
 

Find a Course

Use the menus below to help you find a course.

By Prefix and Number: PREFIX: NUMBER:
By Prefix:
 
 
HR
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:
Offered spring semester every even-numbered year.
Grading System:A-F (Traditional)
HR
Syllabus: