SYMBOLIC LOGIC

MATH 770

First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.

PHILOS 211

The formal characteristics of logical truth and inference.

PHILOS 911

Seminar on logic.

MATH/PHILOS 571

Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.

PHILOS 512

Selected topics in philosophical logic and in the various applications of logic to philosophical problems. Variable content.