Module #1 Introduction to Modal Logic Overview of modal logic, its history, and significance
Module #2 Modal Operators and Sentential Logic Syntax and semantics of modal operators (∃, , [], and ) in sentential logic
Module #3 Axiomatic Systems for Modal Logic Introduction to axiomatic systems for modal logic, including K, T, and S5
Module #4 Modal Propositional Logic:Syntax and Semantics Syntax and semantics of modal propositional logic, including truth tables and models
Module #5 Modal Propositional Logic:Axiomatic Systems Axiomatic systems for modal propositional logic, including K, T, and S5
Module #6 Modal Propositional Logic:Applications Applications of modal propositional logic to philosophy, computer science, and linguistics
Module #7 Modal Predicate Logic:Syntax and Semantics Syntax and semantics of first-order modal logic, including quantification and predicate logic
Module #8 Modal Predicate Logic:Axiomatic Systems Axiomatic systems for first-order modal logic, including K, T, and S5
Module #9 Modal Predicate Logic:Applications Applications of first-order modal logic to philosophy, computer science, and linguistics
Module #10 Barcan Formula and Its Consequences Discussion of the Barcan formula, its significance, and consequences for quantified modal logic
Module #11 Modal Logic and Metaphysics:Possible Worlds Introduction to possible worlds, their role in modal semantics, and metaphysical implications
Module #12 Modal Logic and Metaphysics:Necessity and Contingency Discussion of necessity and contingency, including their connections to essentialism and Counterfactuals
Module #13 Modal Logic and Metaphysics:Time and Modality Exploration of the relationships between time, modality, and the nature of reality
Module #14 Modal Logic and Metaphysics:Identity and Modal Indiscernibility Discussion of identity, modal indiscernibility, and the ship of Theseus problem
Module #15 Modal Logic and Metaphysics:The Nature of Modality Philosophical debates surrounding the nature of modality, including primitivism, reductionism, and fictionalism
Module #16 Modal Logic and Category Theory Introduction to the connections between modal logic and category theory
Module #17 Modal Logic and Epistemic Logic Exploration of the connections between modal logic and epistemic logic
Module #18 Modal Logic and Deontic Logic Discussion of the connections between modal logic and deontic logic
Module #19 Modal Logic and Temporal Logic Exploration of the connections between modal logic and temporal logic
Module #20 Modal Logic and Philosophical Applications Exploration of advanced philosophical applications of modal logic, including Bayesianism and decision theory
Module #21 Modal Logic and Free Will Analysis of the connections between modal logic and the free will debate
Module #22 Modal Logic and Personal Identity Exploration of the connections between modal logic and personal identity
Module #23 Modal Logic and the Philosophy of Mathematics Discussion of the connections between modal logic and the philosophy of mathematics
Module #24 Modal Logic and the Philosophy of Language Exploration of the connections between modal logic and the philosophy of language
Module #25 Research Methods in Modal Logic Introduction to research methods in modal logic, including proof theory and model theory
Module #26 Current Debates in Modal Logic Exploration of current debates and research questions in modal logic
Module #27 Applications of Modal Logic in Computer Science Discussion of applications of modal logic in computer science, including verification and artificial intelligence
Module #28 Advanced Topics in Modal Logic Exploration of advanced topics in modal logic, including hybrid logic and description logics
Module #29 Conclusion and Course Wrap-Up Review of key concepts and summary of the course
Module #30 Course Wrap-Up & Conclusion Planning next steps in Modal Logic and Metaphysics career
