ELEMENTARY LOGIC

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 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.

MATH 975

Selected topics in Mathematical Logic.