时间：12月4日下午3：10

地点：三教206

题目：The Epistemic Logic of Friendship

报告人：Dr. Jeremy Seligman (University of Auckland)

I will present a two-dimensional modal logic for reasoning about the changing patterns of knowledge and social relationships in networks organised on the basis of a symmetric `friendship' relation, providing a precise language for exploring `logic in the community' [1]. Agents are placed in the model, allowing us to express such indexical facts as `I am your friend' and `You, my friends, are in danger'. 

The purpose of developing such a language is to investigate a number of conceptual issues that arise when considering communication between agents in social networks, both from one agent to another, and broadcasts to socially-defined groups of agents, such as the group of my friends. We extend the treatment of such communications to questions, in which agents are taken to be sincere and cooperative interlocutors, and consider network structure changing operations such as adding and deleting friends (with the permission of other agents) and, finally, explore the effect of all this on the concept of common knowledge, which is more varied and rich in the social network setting. 

These issues are illustrated by a number of examples about office gossip, cold-war spy networks and Facebook. I will comment briefly on some more serious philosophical uses of this logical system and its kin. 

(This is joint work with Liu Fenrong and Patrick Girard. The technical background to the talk is [2], which will be alluded to but not presented.)

[1] 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.

[2] 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.