Skip to main content
Skip to main menu

Slideshow

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

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.