ELEMENTARY LOGIC

MATH/PHILOS 571

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

PHILOS 511

Propositional and predicate logic, with emphasis on metatheory; independence of rules and completeness theorems; discussion of technical and philosophical limitations of classical logic.

PHILOS 512

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

MATH 975

Selected topics in Mathematical Logic.

PHILOS 911

Seminar on logic.