论文部分内容阅读
社会生活的各个方面都离不开逻辑推理和分析,从简单的烹饪技巧到大规模的投票选举,大多数社会过程都包含着推理结构。而把这些具有一定规律的社会过程形式化是有可能的。由此带来的一种有意义的工作是:通过某种方式把逻辑和社会过程联系起来,把精妙的逻辑原理应用到复杂的过程分析中去,使社会过程形式化、清晰化,从而指导人们进行有效的决策和社会活动。正是基于这个切入点,文章对社会软件——社会过程的形式化分析进行一定程度的探析,并对相关理论作一定的评速和比较。同时,我们还借用了博弈论和认知逻辑中的某些片段用于分析和解决若干具有一定实际意义的问意。
All aspects of social life can not be separated from logical reasoning and analysis. From simple cooking techniques to large-scale voting, most social processes contain inference structures. It is possible to formalize these social processes with certain laws. One of the salient tasks brought about by this is to connect the logic with the social process in some way and apply the subtle logic to the complicated process analysis so that the social process can be formalized and clarified so as to guide it People make effective decisions and social activities. It is precisely based on this entry point that the article analyzes the formal analysis of the social software - the social process to a certain extent, and makes some judgments and comparisons on relevant theories. At the same time, we also borrowed some fragments of game theory and cognitive logic to analyze and solve a number of questions of some practical significance.