80-619 Formal Methods: Epistemic Logic and Topology

6 units, Carnegie Mellon University

Modal logic is a thriving area of research in philosophy, mathematics, and theoretical computer science. Its application to epistemology has been particularly fruitful and illuminating, and its connection to topology is a further source of insight and beauty. In this mini well survey the basics what is modal logic, how can we use it to study epistemic questions, what is topology, and how exactly are all these things related The course will emphasize developing both conceptual and mathematical competence in these areas.

Prerequisites: none listed

Courseweave needs JavaScript to show sections, workloads and planning tools.