課程資訊

Introduction to Non-Classical Logic

109-2

Phl2809

104 56900

3.0

Ceiba 課程網頁
http://ceiba.ntu.edu.tw/1092nonclassical

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

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

Graham Priest (2008), An Introduction to Non-Classical Logic: From If to Is, 2nd ed., 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