Course Information
Course title
Epistemic Logic 
Semester
109-1 
Designated for
COLLEGE OF LIBERAL ARTS  GRADUATE INSTITUTE OF PHILOSOPHY  
Instructor
CHIN MU YANG 
Curriculum Number
Phl7763 
Curriculum Identity Number
124EM7390 
Class
 
Credits
3.0 
Full/Half
Yr.
Half 
Required/
Elective
Elective 
Time
Friday 7,8,9(14:20~17:20) 
Remarks
The upper limit of the number of students: 15. 
Ceiba Web Server
http://ceiba.ntu.edu.tw/1091Phl7763_EpiLogic 
Course introduction video
 
Table of Core Capabilities and Curriculum Planning
Table of Core Capabilities and Curriculum Planning
Course Syllabus
Please respect the intellectual property rights of others and do not copy any of the course information without permission
Course Description

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 possible-worlds 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 well-established 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. 

Course Objective
待補 
Course Requirement
Every week, a chapter in the text book, or an essay will be assigned. Students should hand in by email a summary (about 2-4 pages) of the weekly assigned essay. By the end of semester, a long essay (about 3000 words, i.e., 10-12 pages double space in A4 size) is required. 
Student Workload (expected study time outside of class per week)
 
Office Hours
 
Designated reading
詳課程進度所列  
References
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: 49-76.
van Ditmarsch, H., van der Hoek, W. and Kooi, B. (eds.), Dynamic Epistemic Logic, Dordrecht : Springer, 2007.
Yang, Syraya C.-M, ‘TW-models for logic of knowledge –cum-belief’, 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.314-337.
Yang, Syraya C.-M, ‘A Defence of the Knowledge Norm of Assertion: From a Model-theoretical Perspective’, in Communicative Action: Selected Papers of the 2013 IEAS Conference on Language and Action, Tzu-Wei Hung, Berlin: Springer, 2014. 
Grading
 
No.
Item
%
Explanations for the conditions
1. 
Long essay 
40% 
 
2. 
Weekly assignment 
30% 
 
3. 
Class contribution 
30% 
 
 
Progress
Week
Date
Topic