PHIL(LING) 4520/6520

Model Theory
Credit Hours:
3

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.

Prerequisites:
PHIL(LING) 4510/6510 or POD
Level:
Graduate
Undergraduate

Course information

Schedule

See if and when courses are offered in a given semester via our downloadable course schedule.

Fall 2022

Spring 2022

Spring 2021

Fall 2020

Spring 2020

Other info

Look up syllabi, see the master list of courses, and register for classes.

Course Syllabi Lookup
UGA Master List of Courses
Course Registration
Bulletin - Linguistics Course Lookup
UGA Academic Calendars

Support Linguistics at UGA

Your donations to the Department of Linguistics will support research and travel opportunities for students and faculty and other initiatives to enhance students' education in linguistics. Please consider joining other friends and alumni who have shown their support by making a gift to our fund. We greatly appreciate your contributions to the success of our programs!  

EVERY DOLLAR CONTRIBUTED TO THE DEPARTMENT HAS A DIRECT IMPACT ON OUR STUDENTS AND FACULTY.