課程資訊

Modal Logic

111-1

Phl2810

104E57000

3.0

This course will be in English. It will be an introduction and overview to modal logic. We will look at the basic modal logic of necessity and possibility, and then we will look at a range of applications, including epistemic logic, temporal logic, and deontic logic, and extensions, such as two-dimensional logic and counterfactual logic. Students will develop their understanding of the concepts involved by doing regular problem sets and a more in-depth exploration of one area, on which they will give a brief presentation.

The aim of the course is to provide students with a background in the formal techniques of modal logic, as well as to develop critical thinking about the applications and limitations of these tools. Students will learn how to use modal models and formal proofs, see applications of modal logic to philosophy, and learn the basics of proving things about modal logics.

Office Hours

The main text will be Boxes and Diamonds: An Open Introduction to Modal Logic, by Richard Zach.

Supplementary material will be drawn from Modal Logic for Open Minds, Johan van Benthem, as well as the Stanford Encyclopedia of Philosophy articles:
Modal Logic https://plato.stanford.edu/entries/logic-modal/
Epistemic Logic https://plato.stanford.edu/entries/logic-epistemic/ Temporal Logic https://plato.stanford.edu/entries/logic-temporal/
Deontic Logic https://plato.stanford.edu/entries/logic-deontic/
Hyperintensionality https://plato.stanford.edu/entries/hyperintensionality/
Supplementary articles will be assigned during the semester.

(僅供參考)

 No. 項目 百分比 說明 1. Attendance and participation 10% 2. Problem sets 50% (5 at 10% each) 3. Group project 20% 4. Project presentation 20%

 課程進度
 週次 日期 單元主題 第1週 9/07 Basics of modal logic 第2週 9/14 K, S4, S5, and formal proofs 第3週 9/21 Model constructions 第4週 9/28 Epistemic logic 第5週 10/05 Epistemic logic and epistemic dynamics 第6週 10/12 Epistemic logic and epistemic dynamics 第7週 10/19 Temporal logic 第8週 10/26 Deontic logic 第9週 11/02 Branching time and agency 第10週 11/09 Intuitionistic logic 第11週 11/16 Inquisitive logic 第12週 11/23 Possibility semantics 第13週 11/30 Counterfactuals 第14週 12/07 Neighborhood semantics 第15週 12/14 Hyperintensionality 第16週 12/21 Project presentations