摘要
自20世纪70年代吉伯德-萨特思韦特防策略不可能性定理确立后,引起了数学、经济学、计算机科学和哲学等诸多领域中学者的广泛关注。然而,在国内外文献中,对吉伯德-萨特思韦特防策略不可能性定理的逻辑研究还比较少。基于此,借助公理化的方法探讨吉伯德-萨特思韦特防策略不可能性定理,并形式化地给出定理的内容和证明,力图把精细的逻辑推理应用于复杂的过程分析中,使防策略投票这一过程形式化、清晰化,以期能指导人们进行合理、有效的决策活动。
Since Gibbard-Satterthwaite strategy-proof impossibility theorem was established in the1970 s,it has drawn the widespread attention of scholars in fields of mathematics,economics,computer science and philosophy. However,it is seldom found the research on logics of the Gibbard-Satterthwaite theorem. This paper discussed Gibbard-Satterthwaite strategy-proof impossibility theorem with the axiomatic method,and elaborated the content and proving process of this theorem formally. It is trying to apply the fine logical reasoning to the complex processes analysis to make the strategy-proof voting process more formal and clear,hoping to guide people to make rational and effective decisionmaking activities.
出处
《重庆理工大学学报(社会科学)》
CAS
2016年第3期13-17,共5页
Journal of Chongqing University of Technology(Social Science)
基金
国家社会科学基金重大项目"应用逻辑与逻辑应用研究"(14ZDB014)
河北师范大学人文社会科学基金项目"基于多主体策略逻辑的防操纵研究"(S2014809)