孙　雯,杜国平

(1.中国社会科学院 哲学研究所，北京　100732； 2.河北师范大学 马克思主义学院，石家庄　050024)



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

孙雯1,2,杜国平1

(1.中国社会科学院 哲学研究所，北京100732； 2.河北师范大学 马克思主义学院，石家庄050024)

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

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

一、对公平投票的质疑：吉伯德-萨特思韦特防策略不可能性定理

19世纪后期，投票选举理论的奠基人之一道奇森(Dodgson)就关注于对投票规则的研究，认为人们在投票时的行为更倾向于策略投票。在现代社会中，从村民自治选举到举国参与的总统选举，投票在社会生活中被广泛地应用。然而，在投票选举的过程中，用社会选择规则集结的个人偏好都是个人所表达出来的偏好，而不一定是其真实偏好。在正常情况下，个人的表达偏好与其真实偏好应该是一致的，但不排除在某些特殊情况下，个人出于某种目的而谎报自己的真实偏好，使决策结果发生有利于自己的变化，这就是所谓的“策略投票”。……