PHIL(LING) 4520/6520

Model Theory

Credit Hours:

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.

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.

Slideshow

PHIL(LING) 4520/6520

Course information

Schedule

Other info

Support Linguistics at UGA