当前位置: X-MOL 学术J. Log. Comput. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Reasoning in social settings
Journal of Logic and Computation ( IF 0.7 ) Pub Date : 2021-06-07 , DOI: 10.1093/logcom/exab039
Fenrong Liu 1, 2 , Beishui Liao 3
Affiliation  

New perspectives keep emerging in the logical study of social interactions, witnessed by yet another collection of research papers. Once our focus of reasoning shifts from an individual to a social setting, interesting issues naturally arise. The central question is the following: how is an individual’s attitude related to that of others and that of a group, especially when we take into account the informative communication between agents, as well as the structures of a group? This has been studied to various extent in social epistemology, social choice theory, social norms theory, etc. In this context, our main concern is logic: how can a logical approach shed light on our reasoning about these scenarios? We are not giving a comprehensive overview but just to mention some research that is mostly relevant. Communication between agents, public or private, has been extensively studied in dynamic epistemic logic (e.g. [1, 9, 10]) and dynamic epistemic logic has become a standard methodology in modelling dynamical changes of agent’s attitudes. Social network logics have been developed recently, adding social structures of a group as a core component to logic models and formal languages [2, 5–8, 11]. The papers included in this special issue provide us with further new insights about our understanding of social settings. In what follows, we briefly summarize their ideas and some main results.

中文翻译:

社交场合的推理

新的观点在社会互动的逻辑研究中不断出现,另一组研究论文见证了这一点。一旦我们的推理重点从个人转移到社会环境,有趣的问题自然会出现。核心问题如下:个人的态度如何与他人的态度和群体的态度相关联,尤其是当我们考虑到代理人之间的信息交流以及群体的结构时?这已在社会认识论、社会选择理论、社会规范理论等方面进行了不同程度的研究。在这种情况下,我们主要关注的是逻辑:逻辑方法如何阐明我们对这些情景的推理?我们没有给出全面的概述,而只是提及一些最相关的研究。代理之间的通信,公共或私人,已在动态认知逻辑(例如 [1, 9, 10])中得到广泛研究,动态认知逻辑已成为建模代理态度动态变化的标准方法。社交网络逻辑最近得到了发展,将群体的社会结构作为核心组件添加到逻辑模型和形式语言中 [2, 5–8, 11]。本期特刊中的论文为我们提供了关于我们对社会环境理解的进一步新见解。在下文中,我们简要总结了他们的想法和一些主要结果。将群体的社会结构作为核心组件添加到逻辑模型和形式语言 [2, 5–8, 11]。本期特刊中的论文为我们提供了关于我们对社会环境理解的进一步新见解。在下文中,我们简要总结了他们的想法和一些主要结果。将群体的社会结构作为核心组件添加到逻辑模型和形式语言 [2, 5–8, 11]。本期特刊中的论文为我们提供了关于我们对社会环境理解的进一步新见解。在下文中,我们简要总结了他们的想法和一些主要结果。
更新日期:2021-06-07
down
wechat
bug