This course surveys the formal tools used in contemporary philosophy. It covers elements of propositional and quantified modal logic, formal semantics, counterfactuals, probability theory, and decision theory. Each class begins with an introduction to formal material and ends with a contemporary philosophical paper that presupposes that material. Requirements include six problem sets and a final exam.