An examination of how formal logic captures (and sometimes defies) logical intuitions, and how it supplies useful tools for clarifying a range of different philosophical problems, from issues of meaning, to issues of ontology and scientific reduction. NOTE: this course presupposes that you have already had some exposure to formal logic.