吉伯德-萨特思韦特防策略不可能性定理的逻辑初探

摘要：

自20世纪70年代吉伯德-萨特思韦特防策略不可能性定理确立后，引起了数学、经济学、计算机科学和哲学等诸多领域中学者的广泛关注。然而，在国内外文献中，对吉伯德-萨特思韦特防策略不可能性定理的逻辑研究还比较少。基于此，借助公理化的方法探讨吉伯德-萨特思韦特防策略不可能性定理，并形式化地给出定理的内容和证明，力图把精细的逻辑推理应用于复杂的过程分析中，使防策略投票这一过程形式化、清晰化，以期能指导人们进行合理、有效的决策活动。

关键词：吉伯德-萨特思韦特防策略不可能性定理、逻辑形式化、社会选择

所属期刊栏目：30

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金重大项目“应用逻辑与逻辑应用研究”14ZDB014；河北师范大学人文社会科学基金项目“基于多主体策略逻辑的防操纵研究”S2014809

在线出版日期：2016-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：13-17