Advanced Logic

1 Unit · Graduate

Alternating topics. Metalogic: Formal semantics, soundness, completeness, and compactness of predicate logic; Nonstandard models of arithmetic and the Lowenheim-Skolem theorems. Incompleteness: Recursive functions, the incompletability of arithmetic and undecidability of predicate logic. Definability and undefinability of provability, consistency, and truth in arithmetic. Third quarter of PHIL 150-0 / PHIL 250-0 / PHIL 350-0 sequence.