課程名稱 |
基本邏輯 Elementary Logic |
開課學期 |
102-2 |
授課對象 |
文學院 哲學系 |
授課教師 |
鄧敦民 |
課號 |
Phl1008 |
課程識別碼 |
104 10400 |
班次 |
|
學分 |
3 |
全/半年 |
半年 |
必/選修 |
必帶 |
上課時間 |
星期三2,3,4,@(9:10~) |
上課地點 |
普504 |
備註 |
總人數上限:80人 |
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/1022elogic |
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
本課程將會簡介形式邏輯的基本概念,並使學生具備理解哲學文獻中會出現的形式邏輯符號與推論之基本能力。課程分成三個主要的部份:(1)介紹命題邏輯(PL)之語言、語意,以及推論系統;(2)介紹述詞邏輯(QL)之語言、語意,以及推論系統;(3)介紹其它基本邏輯概念,包含簡單的集合論(非公理化式的,包含集合的基本運算以及函數與關係),以及簡單的機率概念與運算。
在本課程中,配合形式邏輯的介紹,一些相關的邏輯哲學議題亦會加以討論,例如關於命題、邏輯連詞、指涉、確定描述詞之哲學討論。
|
課程目標 |
本課程目標在於使學生能
(1)對於形式邏輯有基本的認識
(2)學會如何把自然語言中的論証翻譯至適當的形式語言中,並驗證其有效性
(3)具備使用形式系統來建構證明與邏輯推論之能力
(4)具備理解哲學文獻中含有邏輯符號之論証的基本技能
(5)對於集合與關係有基本的概念
|
課程要求 |
待補 |
預期每週課後學習時數 |
|
Office Hours |
|
指定閱讀 |
待補 |
參考書目 |
Textbooks:
1. Bergmann, M., Moor, J. and Nelson, J., The Logic Book, 5th ed. McGraw-Hill, 2008.
Readings:
1. Smith, P., An Introduction to Formal Logic, Cambridge: Cambridge University Press, 2003.
2. Hurley, P. J., A Concise Introduction to Logic, 11th ed. Boston: Wadsworth, 2012.
3. Barwise, J. and Etchemendy, J., Language, Proof and Logic, 2nd ed., CSLI, 2011.
4. Hodges, W., Logic: An Introduction to Elementary Logic, 2nd ed., Penguin, 2001.
5. Lemmon, E. J., Beginning Logic, 2nd ed., London: Chapman & Hall, 1997.
6. Sider, T., Logic for Philosophy, Oxford: Oxford University Press, 2010.
7. Van Dalen, D., Logic and structure, 5th ed. Springer, 2012.
8. Enderton, H., A Mathematical Introduction to Logic, Second edition, New York: Academic Press, 2001.
9. Halmos, P. R., Naive Set Theory, Springer, 1960.
10. Read, S., Thinking about Logic: An Introduction to the Philosophy of Logic, Oxford: Oxford University Press, 1994.
|
評量方式 (僅供參考) |
No. |
項目 |
百分比 |
說明 |
1. |
Homework |
40% |
|
2. |
Midterm Exam |
30% |
|
3. |
Final Exam |
30% |
|
|
週次 |
日期 |
單元主題 |
第1週 |
2/19 |
Basic Notions of Logic |
第2週 |
2/26 |
Sentential Logic: Symbolisation and Syntax |
第3週 |
3/05 |
Sentential Logic: Semantics |
第4週 |
3/12 |
Sentential Logic: Truth-Trees |
第5週 |
3/19 |
Sentential Logic: Derivations |
第6週 |
3/26 |
Sentential Logic: Metatheory |
第7週 |
4/02 |
Study break (no class) |
第8週 |
4/09 |
Midterm Exam |
第9週 |
4/16 |
Predicate Logic: Symbolisation and Syntax (1): Predicates, Quantifiers, and the Formal Syntax |
第10週 |
4/23 |
Predicate Logic: Symbolisation and Syntax (2): Symbolisation Techniques, Multiple Quantifiers, and Identity |
第11週 |
4/30 |
Predicate Logic: Semantics (1): Quantificational Truth, Falsehood, and Equivalence |
第12週 |
5/07 |
Predicate Logic: Semantics for Predicate Logic with Identity and Functors; Formal Semantics |
第13週 |
5/14 |
Predicate Logic: Truth-Trees (1) |
第14週 |
5/21 |
Predicate Logic: Truth-Trees (2) |
第15週 |
5/28 |
Predicate Logic: Derivations (1) |
第16週 |
6/04 |
Predicate Logic: Derivations (2) |
第17週 |
6/11 |
Predicate Logic: Metatheory (1) |
|