浙江大学学科会聚系列论坛之“双脑计划”—— 社会规范形成与动态变化的逻辑学国际研讨会（Workshop on Logics for the Formation and Dynamics of Social Norm）将于5月4日-5日在杭举行。会议主题为“关于社会网络和社会规范的逻辑”。本次研讨会由浙江大学主办，邀请了德国、意大利、新西兰、比利时、波兰、罗马尼亚、美国、荷兰等国家的知名学者参会，就偏好逻辑、博弈逻辑、社会网络、社会规范、道义逻辑等问题展开深入交流与讨论。本次研讨会由清华大学国家社科基金重大项目“基于社交网络的信息流逻辑研究”、浙江大学“双脑计划”人文社科专项资助。
会议时间：2019年5月4日-5日
会议地点：浙江大学西溪校区行政楼229会议室
主办单位：浙江大学
承办单位：浙江大学哲学系、浙江大学语言与认知研究中心
议程安排：
4 May 2019
08:50 – 09:00 Openning
Collective Attitude, Session Chair: Jeremy Seligman
09:00 – 10:00 R. Ramanujam. Towards Reasoning about Collective Memory
10:00 – 10:30 Frederik Van De Putte. The Logic of Collective Acceptance
10:30 – 11:00 Break & Photos
Social Interaction & Games, Session Chair: Junhua Yu
11:00 – 11:30 Dominik Klein. Social Interaction and Pointwise intersection in Neighborhood Modal Logic
11:30 – 11:50 Tianwei Zhang. Solution Complexity of Local Variants of Sabotage Game
11:50 – 12:10 Xiaoxuan Fu. Reason-based Probabilistic Preference Lifting
Lunch Break
Games and Decisions, Session Chair: Xinwen Liu
14:00 – 15:00 Adam Brandenburger. Agreement and Disagreement in a Non-Classical World
15:00 – 15:30 Guifei Jiang, Laurent Perrussel, Dongmo Zhang and Heng Zhang. Game Equivalence and Expressivity of Game Description
15:30 – 15:50 Break
Argumentation & Probability, Session Chair: Yì N. Wáng
15:50 – 16:20 Yang Liu. Incompleteness and Indeterminate Qualitative Probability
16:20 – 16:50 Zhe Yu. Formalization of Argumentation Schemes for Slippery Slope Argument: A Case Study
16:50 – 17:50 Project Discussion (Chairs: Xinwen Liu & Jeremy Seligman)
5 May 2019
Reasoning & Belief, Session Chair: Fenrong Liu
9:00 – 10:00 Hanti Lin. Rethinking the Epistemology of Belief Dynamics
10:00 – 10:30 Chenwei Shi. Justified True Belief Revisited
10:30 – 10:50 Break
Reasons & Evidence, Session Chair: Huimin Dong
10:50 – 11:20 Davide Fassio. Pluralism about Reason Accrual
11:20 – 11:40 Xiaoan Wu. A New Modication of the Halpern-Pearl Definition of Causality
11:40 – 12:00 Haibin Gui. Evidence-based Expectation and Doubt
Lunch Break
Social Choice & Decisions, Session Chair: Minghui Ma
14:00 – 15:00 Olivier Roy. Deliberation, Single-Peaknedness, and Voting Cycles.
15:00 – 15:30 Erik Parmann and Thomas Ågotnes. Reasoning about Social Choice in Modal Logic Quickly Becomes Undecidable
15:30 – 15:50 Break
Laws & Ethics, Session Chair: Beishui Liao
15:50 – 16:20 Piotr Kulicki, Robert Trypuz and Michael Musielewicz. Virtue Ethics for Autonomous Cars
16:20 – 16:50 Fengkui Ju, Karl Nygren and Tianwen Xu. Modelling Legal Systems with Conflicts
16:50 – 17:50 Project Discussion (Chairs: Fenrong Liu & Beishui Liao)
17:50 – 18:00 Closing.
