Advanced Logic

Catalog description

This course is an advanced investigation of various aspects of symbolic logic and reasoning, with an emphasis on subjects of philosophical relevance. Specific topics vary by semester, but are generally drawn from the following: modal logic (the study of reasoning about necessity, possibility, counterfactuals, and tense); metalogic (the study of provability, completeness, and other higher-order properties of logical systems); nonclassical logic (the study of three-valued logical systems, free logics, and the logic of relevance); and mathematical logic (the study of logical systems intended to model arithmetic reasoning).