SEMINAR-LOGIC

PHILOS 211

The formal characteristics of logical truth and inference.

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.

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.