理則學(下) Logic (2) -- 華梵大學哲學系九十八學年度第二學期課程綱要

華梵大學哲學系九十八學年度第二學期課程綱要
課程代號	080404097	課程名稱	理則學(下) Logic (2)	學分	2	上課時間	四、6,7	授課教師	冀劍制	開課班級	哲學二
課程代號	080404097	課程名稱	理則學(下) Logic (2)	時數	2	上課時間	四、6,7	必/選修	必修	上機/實驗	否

教科書書名	作者	出版社	出版日期
Logic and Philosophy: A Modern Introduction, (11 Edition)	Hausman, A., Kahane, H. & Tidman, P.	Boston, MA: Wadsworth.	2007, 2010
參考書書名	作者	出版社	出版日期
邏輯	林正弘	三民出版社

課程分類		諮詢時間	(一) 1:00-3:00 (三) 1:00-3:00 或其他個別約定時間
宗旨與目標	「理則學」即是「邏輯」的另一個翻譯名詞，都是由英文的Logic一詞所翻譯。理則學主要針對的目標是尋找與應用正確的思維法則，判定何為正確推理與錯誤推理。在檢驗一個推理時，我們可以只看其「推理形式」而不需要在乎其推理的內容就可以判斷其為正確或是錯誤的推理。而「正確推理」在理則學中的專門術語稱之為「有效推理」，而其精確的意思是說：「在前提全部為真時能夠保證結論必然為真的推理」。本課程主要針對的是如何證明一個推理是有效與無效的方法，而由於有效無效只重形式而不重內容，所以，其中我們以抽象符號來代替推理內容。
教學方法	本課程分為上、下學期，上學期主要介紹命題邏輯系統，而下學期則重點放在述詞邏輯系統，其他像是傳統邏輯與其他現代邏輯系統將會在課程中簡單介紹。本課程使用英文教材，希望同學能夠練習以英文閱讀哲學。
評分項目	1. 期中考 : 20 % 2. 期末考 : 40 % 3. 平時成績 : 20 % (請注意遲到者不補點，請勿遲到)(100 – 5 x被點到沒來次數=此成績) 4. 邏輯作業 : 20 % 邏輯作業 20%；(每次作業成績都算，不能遲交，但可修改後隔週再交，未交需補交者必須參加讀書會)
備註

課程綱要及授課時數		學生核心能力
學生核心能力		核心能力百分比
1.	道德與價值之判斷能力	0.00 %
2.	哲學基本知識能力	0.00 %
3.	哲學經典的閱讀詮釋能力	0.00 %
4.	理性論辯反思能力	0.00 %
5.	統整組職建構能力	0.00 %
6.	哲學實踐與文化創新能力	0.00 %
7.	多元文化與國際交流能力	0.00 %
8.	文藝創作與學術論文撰寫能力	0.00 %
No.	課程內容	1.	2.	3.	4.	5.	6.	7.	8.
1	述詞邏輯簡介(Introduction to predicate logic)
註
2	Ch.7, Predicate logic symbolization pp.167-178
註	交作業: Exercise 7-4,7-5, odd number
3	Ch.7, Predicate logic symbolizatin, pp.178-190
註	交作業: Exercise 7-8, 7-10, odd number
4	Ch.8, Proving Invalidity, pp.191-197
註	交作業: Exercise 8-1 - 8-3, odd number
5	作業討論
註
6	校際活動日放假
註
7	Ch.9, Predicate logic proofs, UI, EG, QN
註	隨堂作業
8	作業討論
註
9	期中考 (Midterm Exam)
註
10	Ch.9, Predicate logic proofs, UG
註	隨堂作業
11	作業討論
註
12	Ch.9, Predicate logic proofs, EI
註	隨堂作業
13	作業討論
註
14	Exercise: Predicate logic proofs
註	隨堂作業
15	Proofs discussions
註
16	邏輯系統導論
註
17	General Discussions
註
18	期末考 (Final Exam)
註