A detailed treatment of selected topics in modern logic. Typically does not assume prior background in the area. Familiarity with the basics of propositional logic is recommended. Further details on topics selected for the current year are available on the Department of Philosophy's website.