[tutorial] “Logic and Agency” Fall 2015


课程简介:2015年秋季学期我们组织一次专题研讨班(Tutorial on Logic and Agency),面向研究生或高年级的本科生,欢迎大家参加。本次研讨班目的在于让学生了解在agency研究领域的最新动态和前沿问题。 我们将陆续邀请国内外本领域的学者来做相关的报告和系列讲座。目前的计划如下:

9月18日 (周五)1:30-4:20; 6教6B111
刘奋荣: Epistemic logic

9月25日(周五) 1:30-4:20; 6教6B111
刘奋荣: Public announcement logic

10月8日 (周四)8:00-9:30; 新斋124
刘奋荣: Dynamic Epistemic Logic

10月14日(周三)1:30-4:20;新斋346
Alexandru Baltag: Belief Revision
Plan: belief revision, AGM, plausibility models (sphere models), the logic of conditional beliefs, updates and upgrades

10月15日(周四)1:30-4:20;新斋346
Alexandru Baltag:Belief Revision
Plan:  dynamic-doxastic attitudes, safe belief (defeasible knowledge), event-plausibility models, action priority update rule, connections to belief merge (and preference aggregation)

10月16日(周五) 1:30-4:20; 6教6B111
John Perry: The Need for Utterances in the Philosophy of Language
[ click to access: Abstract, reference 1, reference 2, reference 3 ]

10月23 日(周五) 1:30-4:20; 6教6B111
Alexandru Baltag:Belief Revision
Plan: applications to: the Surprise Exam puzzle, modelling of lying; sincerity and (dis)honesty; rationality in games and the Backward Induction Paradox.

11月2日(周一): 1:30-4:20;新斋346
Jan van Eijck:DEL model checking
课程内容介绍:homepages.cwi.nl/~jve/courses/15/tsinghua

11月4日(周三):1:30-4:20;新斋346
Jan van Eijck:DEL model checking
课程内容介绍:homepages.cwi.nl/~jve/courses/15/tsinghua

11月6日(周五):1:30-4:20; 6教6B111
Malvin Gattinger:DEL model checking
课程内容介绍:homepages.cwi.nl/~jve/courses/15/tsinghua

11月9日(周一):1:30-4:20;新斋346
Johan van Benthem:Logics of perfect information games
Reference: Johan van Benthem,  Logic in Game, The MIT Press, 2014
课程内容介绍:[click to access .pdf file]

11月11日(周三):1:30-4:20;新斋346
Johan van Benthem:Logics of games in strategic form

11月13日(周五):1:30-4:20;6教6B111
Johan van Benthem:Game logics, strategies, and automata

11月16日(周一):1:30-4:20;新斋346
Johan van Benthem:Other perspectives: natural language and games

 

与本课程相关的其他活动

  • 金岳霖学术研讨会:10月17-19日;郑裕彤讲堂
  • 10月17日晚 7:30-9:00  郑裕彤讲堂
    Jin Yuelin Lecture “The Great Detour” by John Perry
  • 第三届清华逻辑论坛:  10月20-21日 主楼324会议室