社会软件及其认知逻辑分析  

Social Software and Its Epistemic Logic Analysis

作　　者：郭佳宏[1] 张朝霞 

机构地区：[1]北京师范大学哲学与社会学学院,北京100875 [2]中共河南温县县委办公室,河南温县454850

出　　处：《自然辩证法研究》2013年第9期29-34,共6页Studies in Dialectics of Nature

基　　金：国家社科基金青年项目"基于主体互动的信息变化逻辑研究"(09CZX032);国家社科基金重大项目"分析哲学运动与当代哲学发展研究"(12&ZD118)

摘　　要：社会生活的各个方面都离不开逻辑推理和分析,从简单的烹饪技巧到大规模的投票选举,大多数社会过程都包含着推理结构。而把这些具有一定规律的社会过程形式化是有可能的。由此带来的一种有意义的工作是:通过某种方式把逻辑和社会过程联系起来,把精妙的逻辑原理应用到复杂的过程分析中去,使社会过程形式化、清晰化,从而指导人们进行有效的决策和社会活动。正是基于这个切入点,文章对社会软件——社会过程的形式化分析进行一定程度的探析,并对相关理论作一定的评速和比较。同时,我们还借用了博弈论和认知逻辑中的某些片段用于分析和解决若干具有一定实际意义的问意。As we know, most social activities or procedures contain some logical structures. It is possible for us to formalize such kind of social procedures which respect some rational laws. We expect to apply several sophisticated logics into the analysis of those complex social procedures in order to know the activities more clearly. This is helpful for us in making right decisions and rational choices at the interactive society and changing world. From this point of view, we make a brief introduction and review to the notion of ＂Social Software＂, which means formal analysis of social procedures. The article also makes several comments and comparisons with relevant theories in literature. In particular, some fragments from game theory and epistemic logic are applied to analyze a couple of practical issues.

关 键 词：社会过程形式化 逻辑分析 博弈决策 认知逻辑 

分 类 号：N031[自然科学总论—科学技术哲学]