課程資訊
課程名稱
非古典邏輯
Non-classical Logic 
開課學期
105-2 
授課對象
文學院  哲學研究所  
授課教師
鄧敦民 
課號
Phl7706 
課程識別碼
124 M4260 
班次
 
學分
3.0 
全/半年
半年 
必/選修
選修 
上課時間
星期三8,9,10(15:30~18:20) 
上課地點
哲研討室一 
備註
本課程中文授課,使用英文教科書。C領域。
總人數上限:15人 
Ceiba 課程網頁
http://ceiba.ntu.edu.tw/1052nonclassical 
課程簡介影片
 
核心能力關聯
核心能力與課程規劃關聯圖
課程大綱
為確保您我的權利,請尊重智慧財產權及不得非法影印
課程概述

本課程簡介各種常見的非古典邏輯系統,包含正規與非正規的模態邏輯,條件邏輯,直覺邏輯,多值邏輯,自由邏輯,模糊邏輯等。本課程將會採用Graham Priest在2008年第二版的非古典邏輯導論為參考教科書,因此書採用的「樹枝系統」(tableaux system)為基本的proof system,能簡化並有系統的幫助我們掌握這些非古典邏輯的系統。在這些非古典邏輯系統背後的動機與哲學意義亦會在此課程中討論。
 

課程目標
本課程目標在使學生:
(1)學習各種非古典邏輯系統
(2)理解每種非古典邏輯系統背後的動機與哲學意義。
 
課程要求
學生需要修過基本邏輯或具備基本邏輯的知識。
每位修課同學須參與課堂討論,並完成指定的作業習題。
 
預期每週課後學習時數
 
Office Hours
 
參考書目
Textbook:
Graham Priest (2008), An Introduction to Non-Classical Logic: From If to Is, 2nd ed., Cambridge: Cambridge University Press.

Further Readings:
G. Hughes and M. Cresswell (1996), A New Introduction to Modal Logic, London: Routledge.
Blackburn, de Rijke and Venema (2001), Modal Logic, Cambridge: Cambridge University Press.
D. van Dalen (1997), Logic and Structure, 3rd ed., New York: Springer.
M. Dummett (1977), Elements of Intuitionism, Oxford: Oxford University Press.
N. Rescher (1969), Many-Valued Logic, New York: McGraw-Hill.
E. Mares (2004), Relevant Logic: A Philosophical Interpretation, Cambridge: Cambridge University Press
T. Williamson (1994), Vagueness, London: Routledge
R. Keefe and P. Smith (1996), Vagueness: A Reader, Cambridge, Ma.: MIT Press.
K. Lambert (2003), Free Logic: Selected Essays, Cambridge: Cambridge University Press.
 
指定閱讀
待補 
評量方式
(僅供參考)
 
No.
項目
百分比
說明
1. 
midterm exam 
50% 
 
2. 
final exam 
50% 
 
 
課程進度
週次
日期
單元主題
第1週
2/22  Basic Modal Logic  
第2週
3/01  Normal Modal Logics 
第3週
3/08  Non-normal Modal Logics 
第4週
3/15  Conditional Logics  
第5週
3/22  Intuitionist Logic 
第6週
3/29  Many-valued Logics and First Degree Entailment 
第7週
4/05  Holiday (no class) 
第8週
4/12  Logics with Gaps, Gluts and Worlds 
第9週
4/19  Midterm exam 
第10週
4/26  Relevant Logics  
第11週
5/03  Fuzzy Logics  
第12週
5/10  Free Logics 
第13週
5/17  Constant Domain Modal Logics 
第14週
5/24  Variable Domain Modal Logics 
第15週
5/31  Identity in Modal Logic; Non-normal Quantified Modal Logics 
第16週
6/07  Quantified Conditional Logics  
第17週
6/14  Quantified Intuitionist Logic