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

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

This course aims to introduce students to various non-classical logical systems, including normal and non-normal modal logic, conditional logic, intuitionistic logic, many-valued logic, free logic, relevant logic, and fuzzy logic. Graham Priest’s (2008) book will be used as the textbook, for it takes the tableaux system (i.e. the tree method) as its underlying proof system, which will simplify the technical details and make the materials more intuitively accessible. The philosophical motivations behind these non-classical systems will also be discussed together with their formal details. 

課程目標
 本課程目標在使學生：
(1) 學習各種非古典邏輯系統
(2) 理解每種非古典邏輯系統背後的動機與哲學意義。

In the end of the course, students are expected to
(1) Learn various non-classical logical systems
(2) Understand the philosophical motivations behind each non-classical system introduced
 
課程要求
 每位修課同學須參與課堂討論，並完成指定的作業習題。

Students are required to attend the class and complete the assigned exercises selected from the textbook.
 
預期每週課後學習時數
  
Office Hours
  
指定閱讀
 Graham Priest (2008), An Introduction to Non-Classical Logic: From If to Is, 2nd ed., Cambridge: Cambridge University Press 
參考書目
 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. 
 期中考試 
50% 
  
2. 
 期末考試 
50% 
  
 
課程進度
週次
日期
單元主題
第1週
 2/24  Classical logic and the material conditional 
第2週
 3/03  Basic Modal Logic 
第3週
 3/10  Normal Modal Logics 
第4週
 3/17  Non-normal Modal Logics 
第5週
 3/24  Conditional Logics 
第6週
 3/31  Intuitionist Logic 
第7週
 4/07  Many-valued Logics and First Degree Entailment 
第8週
 4/14  學術演講 
第9週
 4/21  Midterm exam 
第10週
 4/28  Logics with Gaps, Gluts and Worlds 
第11週
 5/05  Relevant Logics 
第12週
 5/12  Fuzzy Logics 
第13週
 5/19  Classical First-order logic 
第14週
 5/26  Free Logics 
第15週
 6/02  Constant Domain Modal Logics 
第16週
 6/09  Variable Domain Modal Logics 
第17週
 6/16  Identity in Modal Logic 
第18週
 6/23  Final Exam