東吳大學教師授課計劃表

檔案產生時間：2022/3/4 下午 08:05:22
本表如有異動，於4小時內自動更新
一、課程基本資料 Course Information
科目名稱 Course Title：
(中文)模態邏輯
(英文)MODAL LOGIC		 開課學期 Semester：110學年度第2學期
開課班級 Class：哲碩一
授課教師 Instructor：劉吉宴
科目代碼 Course Code：MPH93901 單全學期 Semester/Year：單 分組組別 Section：
人數限制 Class Size： 必選修別 Required/Elective：選 學分數 Credit(s)：3
星期節次 Day/Session： 二789　 前次異動時間 Time Last Edited：111年01月10日16時24分
二、指定教科書及參考資料 Textbooks and Reference
(請修課同學遵守智慧財產權，不得非法影印)
●指定教科書 Required Texts
Boxes and Diamonds: An Open Introduction to Modal Logic by Richard Zach. Independently published (2019).
●參考書資料暨網路資源 Reference Books and Online Resources
https://plato.stanford.edu/entries/logic-modal/
三、教學目標 Objectives
模態邏輯探討和模態詞相關的推論，例如「可能」與「必然」這樣的語詞。本門課會先介紹模態邏輯的基本語法與語意學、幾個標準的模態系統，然後探討其背後的哲學意義。但在這之前，我們會講解一下關於命題邏輯的一些後設理論，說明公理化系統、健全性、完備性等重要的概念。接著我們在這個基礎下引進模態字彙與基本架構，介紹模態邏輯的基本公理系統，以及證明其健全性與完備性。在有一定程度的模態邏輯背景後，我們會開始接觸一些模態邏輯相關聯的哲學領域，一個是直覺主義邏輯，另一個是條件句。
Generally speaking, modal logic studies reasoning that involves terms like ‘necessarily’ and ‘possibly.’ Interestingly, their logical relationship is quite similar to other import concepts in different philosophical ramifications. This course will begin with the basic syntax and semantics of modal logic, introduce some standard systems, and explore philosophical points behind them. We will discuss the axiomatic system of modal logic, and prove the soundness and completeness of this system. After getting familiar with basic modal logic settings, we will move to more specific topics to which modal logic can apply. One topic is intuitive logic, and the other is conditionals.
四、課程內容 Course Description
●整體敘述 Overall Description
●分週敘述 Weekly Schedule
週次 Wk 日期 Date 課程內容 Content 備註 Note

1

 2/24 簡介模態階邏輯內容。  　

2

 3/3 介紹集合論與數學歸納法。  　

3

 3/10 介紹古典命題邏輯的語法與語意，以及公理化系統。  　

4

 3/17 複習樹枝法以及健全性與完備性大致上的證明策略。  　

5

 3/24 開始介紹模態邏輯的語法、語意與可接近關係。  　

6

 3/31 討論模態邏輯的公理化系統並證明其健全性。  　

7

 4/7 證明模態公理系統的完備性。  　

8

 4/14 討論模態邏輯的可決定性。  　

9

 4/21 期中考  　

10

 4/28 介紹模態邏輯的樹枝法。  　

11

 5/5 證明樹技法的健全性與完備性。  　

12

 5/12 介紹直覺主義邏輯是什麼，以及它的語法與語意。  　

13

 5/19 討論如何證明直覺主義邏輯的健全性與完備性  　

14

 5/26 開始討論反事實條件句，我們會先探討實質條件句與嚴密條件句的差異。  　

15

 6/2 探討史東內克與路易士的條件句理論  　

16

 6/9 簡介條件句的機率與亞當斯論題  　

17

 6/16 期末考  　

18

 6/23 補充教學  　
五、考評及成績核算方式 Grading
配分項目 Items 次數 Times 配分比率 Percentage 配分標準說明 Grading Description
平時作業430% 
期中考130% 
學期考130% 
課堂討論110% 
配分比率加總 100%  
六、授課教師課業輔導時間和聯絡方式 Office Hours And Contact Info
●課業輔導時間 Office Hour
星期五下午2:00-4:00
●聯絡方式 Contact Info
研究室地點 Office： EMAIL：liuchiyen@gmail.com
聯絡電話 Tel： 其他 Others：
七、教學助理聯絡方式 TA’s Contact Info
教學助理姓名 Name 連絡電話 Tel EMAIL 其他 Others
八、建議先修課程 Suggested Prerequisite Course
基礎邏輯
九、課程其他要求 Other Requirements
十、學校教材上網、數位學習平台及教師個人網址 University’s Web Portal And Teacher's Website
學校教材上網網址 University’s Teaching Material Portal：
東吳大學Moodle數位平台：http://isee.scu.edu.tw
學校數位學習平台 University’s Digital Learning Platform：
☐東吳大學Moodle數位平台：http://isee.scu.edu.tw
☐東吳大學Tronclass行動數位平台：https://tronclass.scu.edu.tw
教師個人網址 Teacher's Website：
其他 Others：
十一、計畫表公布後異動說明 Changes Made After Posting Syllabus