課程名稱 |
非古典邏輯 NON-CLASSICAL LOGIC |
開課學期 |
97-2 |
授課對象 |
文學院 哲學研究所 |
授課教師 |
楊金穆 |
課號 |
Phl7706 |
課程識別碼 |
124EM4260 |
班次 |
|
學分 |
3 |
全/半年 |
半年 |
必/選修 |
選修 |
上課時間 |
星期五6,7,8(13:20~16:20) |
上課地點 |
哲201 |
備註 |
本課程以英語授課。 總人數上限:20人 |
|
|
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
自二十世紀中葉以後,非古典邏輯的研究主宰了形式邏輯的發展。邏輯學家提出了各式各樣的非古典邏輯系統及其語意論。這些系統在不同層面對哲學的討論產生影響。這門課的主要是從歷史的角度對非古典邏輯系統的發展提出一宏觀的勾勒。我將特重介紹四個著名的非古典邏輯系統,即三值/多值邏輯、自由邏輯、直覺主義邏輯和模態邏輯。我將介紹上述四個系統的起源和發展,並著重討論產生它們的哲學動機。對每一個系統的介紹將列出其形式語言、各種不同的形式系統和語意論。最後,我也將討論與每一個系統相關的哲學議題。如果可能的話,我也會討論其他的非古典邏輯,如多一致邏輯和相關邏輯。 |
課程目標 |
這門課的主要是從歷史的角度對非古典邏輯系統的發展提出一宏觀的勾勒。 |
課程要求 |
每一週學生需閱\讀一篇相關文章,通常選自某些非古典邏輯的原文讀物。學生需要繳交摘要或回答所指定的問題。 |
預期每週課後學習時數 |
|
Office Hours |
|
指定閱讀 |
|
參考書目 |
Second-/Higher-order logic
Shapiro, S. (2001), ystems between first-order and higher-order logic? in Handbook of Philosophical Logic, 2nd edition, Vol. 1, D. M. Gabbay and F. Guenthner (eds.), Dordrecht: Kluwer. 2001, 131-187.
Van Benthem, J., and Doets, K. (2001), igher-order logic? in Handbook of Philosophical Logic, 2nd edition, Vol. 1, D. M. Gabbay and F. Guenthner (eds.), Dordrecht: Kluwer. 2001, 189-243.
Three/Many valued logic
ㄆkasiewicz, Jan (1967a), n the notion of possibility? in Polish Logic 1920-1939, S. McCall (ed.), Oxford: Clarendon Press, 15-16.
----- (1967b), n three-valued logic? Ibid., 16-18.
----- (1967c), n determinism? Ibid., 19-39.
----- (1967d), hilosophical remarks on many-valued systems of propositional logic? Ibid., 40-65.
Urquhart, A. (2001), asic many-valued logic? in Handbook of Philosophical Logic, 2nd edition, Vol. 2, D. M. Gabbay and F. Guenthner (eds.), Dordrecht: Kluwer. 2001, 249-295.
Free logic
Bencivenga, E. (2002), ree logics? in Handbook of Philosophical Logic, 2nd edition, Vol. 5, D. M. Gabbay and F. Guenthner (eds.), Dordrecht: Kluwer. 2002, 147-196.
Lambert, K. ed. (1991), Philosophical Applications of Free Logic, New York: Oxford University Press.
Lehmann, S. (2002), ree logics? in Handbook of Philosophical Logic, 2nd edition, Vol. 5, D. M. Gabbay and F. Guenthner (eds.), Dordrecht: Kluwer. 2002, 197-260.
Woods, J. and Alward, P. (2004), he logic of fiction? in Handbook of Philosophical Logic, 2nd edition, Vol. 11, D. M. Gabbay and F. Guenthner (eds.), Dordrecht: Kluwer. 2004, 241-316.
Intuitionistic logic
Felscher, W. (2002), ialogues as a foundation for intuitionistic logic? in Handbook of Philosophical Logic, 2nd edition, Vol. 5, D. M. Gabbay and F. Guenthner (eds.), Dordrecht: Kluwer, 115-147.
Heyting, Arend (1931/[1983]), he intuitionist foundations of mathematics? original German version in Erkenntnis (1931): 91-121; English translation by Erna Putnam and Gerald J. Massey, in Benacerraf and Putnam (1983), 52-63.
Benacerraf, Paul and Putnam, Hilary eds. (1983), Philosophy of Mathematics, 2rd edition (1st edition, 1964), Cambridge: Cambridge University Press.
van Dalen, D. (2002), ntuitionistic logic? in Handbook of Philosophical Logic, 2nd edition, Vol. 5, D. M. Gabbay and F. Guenthner (eds.), Dordrecht: Kluwer, 1-114.
Modal logic
Bull, R. A. and Segerberg, K. (2001), asic modal logic? in Handbook of Philosophical Logic, 2nd edition, Vol. 3, D. M. Gabbay and F. Guenthner (eds.), Dordrecht: Kluwer. 2001, 1-81.
Zakharayaschev, M., Wolter, F., and Chagrov, A. (2001), in Handbook of Philosophical Logic, 2nd edition, Vol. 3, D. M. Gabbay and F. Guenthner (eds.), Dordrecht: Kluwer, 83-266.
Garson, J. (2001), uantification in modal logic?in Handbook of Philosophical Logic, 2nd edition, Vol. 3, D. M. Gabbay and F. Guenthner (eds.), Dordrecht: Kluwer, 267-324.
|
評量方式 (僅供參考) |
No. |
項目 |
百分比 |
說明 |
1. |
End-of-term essay |
40% |
|
2. |
Weekly assignment |
30% |
|
3. |
Class contribution |
30% |
|
|
週次 |
日期 |
單元主題 |
第1週 |
2/20 |
Introduction: Some characteristics of non-classical logic |
第2週 |
2/27 |
Section I: Second-Order Logic
Higher-order logic |
第3週 |
3/06 |
Systems between first-order and higher-order logic |
第4週 |
3/13 |
Some philosophical issues |
第5週 |
3/20 |
Section II: Three/Many valued Logic
Three valued logic: its origins |
第6週 |
3/27 |
Formal semantics for many valued logic and some formal systems |
第7週 |
4/03 |
Philosophical significance of many valued logics |
第8週 |
4/10 |
Section III: Free logic
The origin of free logic and the related philosophical issues |
第9週 |
4/17 |
Some formal semantic treatments and corresponding formal system |
第10週 |
4/24 |
The logic of fiction |
第11週 |
5/01 |
Mid-of-term exam |
第12週 |
5/08 |
Section IV: Intuitionistic logic
Brouwer and constructivism: the origin of intuitionistic logic |
第13週 |
5/15 |
Intuitionistic logic: A formal system and its semantics |
第14週 |
5/22 |
The philosophical significance of intuitionistic logic |
第15週 |
5/29 |
Section V: Modal Logic
Strict implication and modality and the application of modal logic (epistemic logic and temporal logic) |
第16週 |
6/05 |
Modal logics and possible world semanatics |
第17週 |
6/12 |
Quine on modality |
第18週 |
6/19 |
End-of-term paper |
|