PHL 432 (Course) - Grade Details

(with breakdown by instructor)

Course Title: Logic and its Metatheory

Course Description: Logical consequence, first-order predicate logic with identity, including functions and descriptions. Proof theory and model theory. Topics in metatheory such as completeness, compactness, and the Lowenheim-Skolem Theorems. The axiomatic method and Godel's Incompleteness Theorems.

• Matthew W McKeon

Advertisements