Tsinghua Seminar on “Logic in the Community”
General Introduction: Much of the depth and complexity of rational behaviour emerges only when one considers interactions between agents. Yet logic, with its traditional focus on the justification of an individual’s beliefs, has only
recently been adapted to a multi-agent setting, in which concepts such as common knowledge, strategic game playing, and the dynamics of communication can be addressed. The broadening of the subject allows research in logic to engage productively with related areas of social science such as theoretical economics. This series of lectures will focus on a recent development of this trend, in which relevant social relationships such as `friend’, `trusted advisor’, or `student’ are explicitly represented in formal languages, so that there role in reasoning in social settings can be studied.
第一次课: Logic in the Community
时间：11 月 30 日（周五）下午 1:30-4:00
地点：清华大学 6 教 B407
内容简介：We will introduce the topic with a number of examples in which social relationships play a role in reasoning and indicate the broad framework used to study them. This is followed by an application, in more detail, to
modelling the effect of peer pressure on the dynamics of preference change within a community.
参考文献：SELIGMAN, J.M; GIRARD, P.; LIU, F., ‘Logic in the Community’, In Banerjee, M. and Seth, A. (eds.), Proceeding of the Fourth Indian Conference in Logic and Applications, Springer LNAI 6521, p178-188, 2011.
ZHEN, L; SELIGMAN, J.M., ‘A logical model of the dynamics of peer pressure’, Electronic Notes in Theoretical Computer Science, Volume 278, 3 November 2011, pp. 275-288, ISSN 1571-0661, 10.1016016/j.entcs.2011.10.021.(http://www.sciencedirect.com/science/article/pii/S1571066111001496)
时间：12 月 10 日（周一）下午 1:30-4:00
内容简介：Belief revision is the process by which one changes one’s beliefs in response to new information that may conflict with what one now believes. In the past thirty years, norms of belief revision have been studied extensively by logicians and computer scientists. We ask how one can adapt existing ideas about belief revision to a social setting in which the relationships of epistemic trust between agents are modelled explicitly. Like the study of peer pressure,
this produces interesting dynamic behaviour.
参考文献：SELIGMAN, J., GIRARD, P; LIU, F. ‘Logical dynamics of belief change in the community’ under review with Synthese. Preprint: http://auckland.academia.edu/JeremySeligman/Papers/1886776
第三次课：General Dynamic Dynamic Logic
时间：12 月 14 日（周五）下午 1:30-4:00
地点：清华大学 6 教 B407
内容简介：The previous lectures focussed on the phenomena to be explained and formal languages used to do so. We omitted much of the technical development needed for to make all of this precise. In this lecture, we introduce a framework for doing applied dynamic logic that generalises existing approaches, such as Dynamic Epistemic Logic.
参考文献：GIRARD, P; SELIGMAN, J.M; LIU, F., ‘General Dynamic Dynamic Logic’, in Bolander, T.; Braüner, T.; Ghilardi, S.; Moss, L.; (eds), Advances in Modal Logic, Volume 9, College Publications, pp. 239–260, 2012.
第四次课：The Epistemic Logic of Friendship
时间：12 月 21 日（周五）下午 1:30-4:00
地点：清华大学 6 教 B407
内容简介：Our central examples of reasoning about social relationships concerns such everyday topics as office gossip, asking questions of friends in a social network, and, more darkly, the dangers of being friends with a spy. In
this final lecture, we examine these in much greater detail, drawing numerous epistemological distinctions that only become apparent when looking at the social nature of communication.
参考文献： SELIGMAN, J.M; LIU, F.; GIRARD, P, ‘Facebook and the epistemic logic of friendship’, to appear in the Proceeding of TARK 2013, the Fourteenth conference on Theoretical Aspects of Rationality and Knowledge.