課程名稱 
認知邏輯 Epistemic Logic 
開課學期 
1031 
授課對象 
文學院 哲學研究所 
授課教師 
楊金穆 
課號 
Phl7763 
課程識別碼 
124EM7390 
班次 

學分 
3 
全/半年 
半年 
必/選修 
選修 
上課時間 
星期五6,7,8(13:20~16:20) 
上課地點 
哲研討室二 
備註 
本課程以英語授課。C領域。 總人數上限：15人 


課程簡介影片 

核心能力關聯 
核心能力與課程規劃關聯圖 
課程大綱

為確保您我的權利,請尊重智慧財產權及不得非法影印

課程概述 
Ever since G. H. von Wright proposed the original idea of treating epistemic concepts, such as knowing and believing, as a kind of modal concepts in the 1950s, epistemic logic has flourished into a large family of logical systems. In particular, with the application of Kripke’s possibleworlds semantics, thanks to Jaakko Hinttikka (especially his seminal work Knowledge and Belief (1962)), numerous logical properties of related epistemic concepts can be characterized and clarified in epistemic logics. And sometimes, a wellestablished epistemic logic may provide a certain way of developing new philosophical views. Yet, at the moment we have already had a family of epistemic logics but the trouble is we are in no position to decide which is the correct, or the most appropriate, one insofar as a philosophical conception of knowledge/belief is concerned. Apart from this, some other misgivings remain, such as the problem of logical omniscience: The agent should know all logical consequences and all tautologies. It is thus somewhat interesting to examine the recent development of epistemic logic and to search for some treatment to deal with the problems epistemic logic may face.
In this introductory course of epistemic logic, the construction of epistemic logic in general will be specified, including the language in use, the semantics and axiomatizations. Related topics are briefly mentioned, discussed, and dealt with. Of course, no such a course could exhaust all topics involved, let alone the depth of such an enquiry. In this course we shall only examine a variety of logical system concerning knowledge and belief and some related concepts, as shown in the contents, which are involved in the construction of logic at the elementary level, and their philosophical implications. 
課程目標 
The main objectives of this course are:
1. To study the construction of epistemic logic in general, including the language in use, Kripke’s models and the semantics based on Kripke’s model, and some wellknown axiomatizations of epistemic logic, including S5, S4, S4.2, S4.3, KB.
2. A historical survey of the development of epistemic logic and investigation into some main problems with the standard epistemic logic.
3. To study some variants of epistemic logic and their impact on related philosophical issues, such as doxastic logic, dynamic epistemic logic, information and belief revision, common knowledge and public knowledge, temporal logic, and justification logic,etc.
4. To clarify the relationship and the interaction between epistemic logic and epistemology.
5. Some recent results.

課程要求 
Every week, a chapter in the text book, or an essay will be assigned. Students should hand in by email a summary (about 24 pages) of the weekly assigned essay. By the end of semester, a long essay (about 3000 words, i.e., 1012 pages double space in A4 size) is required. 
預期每週課後學習時數 

Office Hours 

參考書目 
Artemov, S., “The logic of justification”, The Review of Symbolic Logic, 2008, 1(4): 477–513.
van Benthem, Johan ‘Epistemic logic and epistemology: The state of their affairs,’ Philosophical Studies, 2006, 128: 4976.
van Ditmarsch, H., van der Hoek, W. and Kooi, B. (eds.), Dynamic Epistemic Logic, Dordrecht : Springer, 2007.
Yang, Syraya C.M, ‘TWmodels for logic of knowledge –cumbelief’, in The Proceedings of the 12th Asian Logic Conference, J. Brendle, R. Downey, R. Goldblatt and B. Kim, eds., Singapore: World Scientific Publishing Co., 2013, pp.314337.
Yang, Syraya C.M, ‘A Defence of the Knowledge Norm of Assertion: From a Modeltheoretical Perspective’, in Communicative Action: Selected Papers of the 2013 IEAS Conference on Language and Action, TzuWei Hung, Berlin: Springer, 2014.

指定閱讀 

評量方式 (僅供參考) 

