課程資訊
課程名稱
模態邏輯
Modal Logic 
開課學期
111-1 
授課對象
文學院  哲學系  
授課教師
史德凡 
課號
Phl2810 
課程識別碼
104E57000 
班次
 
學分
3.0 
全/半年
半年 
必/選修
選修 
上課時間
星期三7,8,9(14:20~17:20) 
上課地點
普403 
備註
本課程以英語授課。(C)哲學專題群組,群組課程請參閱本系網頁修業課程規定。
總人數上限:50人 
 
課程簡介影片
 
核心能力關聯
核心能力與課程規劃關聯圖
課程大綱
為確保您我的權利,請尊重智慧財產權及不得非法影印
課程概述

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
每週三 17:20~18:20 
指定閱讀
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