Topics in Advanced Logic

Catalog description

This course examines some non-classical systems of logic. Examples include one or many of the following: modal, intuitionistic, paraconsistent, free, fuzzy, and multi-valued logics and their metatheories. The course may cover probability theory, computability theory, or the philosophy of logic. Such topics in the philosophy of logic include possible worlds, necessity, existence, logical consequence, logicism, and theories of conditionals.