| 吉伯德-萨特思韦特防策略不可能性定理的逻辑初探 |
| |
| 引用本文： | 孙雯,杜国平. 吉伯德-萨特思韦特防策略不可能性定理的逻辑初探[J]. 重庆理工大学学报(社会科学版), 2016, 0(3): 13-17. DOI: 10.3969/j.issn.1674-8425(s).2016.03.003 |
| |
| 作者姓名： | 孙雯 杜国平 |
| |
| 作者单位： | 1. 中国社会科学院 哲学研究所,北京 100732; 河北师范大学 马克思主义学院,石家庄 050024;2. 中国社会科学院 哲学研究所,北京,100732 |
| |
| 基金项目： | 国家社会科学基金重大项目“应用逻辑与逻辑应用研究”(14ZDB014);河北师范大学人文社会科学基金项目“基于多主体策略逻辑的防操纵研究”(S2014809) |
| |
| 摘 要： | 自20世纪70年代吉伯德-萨特思韦特防策略不可能性定理确立后,引起了数学、经济学、计算机科学和哲学等诸多领域中学者的广泛关注。然而,在国内外文献中,对吉伯德-萨特思韦特防策略不可能性定理的逻辑研究还比较少。基于此,借助公理化的方法探讨吉伯德-萨特思韦特防策略不可能性定理,并形式化地给出定理的内容和证明,力图把精细的逻辑推理应用于复杂的过程分析中,使防策略投票这一过程形式化、清晰化,以期能指导人们进行合理、有效的决策活动。
|
| 关 键 词： | 吉伯德-萨特思韦特防策略不可能性定理 逻辑形式化 社会选择 |
Preliminary Study on Logic of Gibbard-Satterthwaite Strategy-Proof Impossibility Theorem |
| |
| SUN Wen,DU Guo-ping. Preliminary Study on Logic of Gibbard-Satterthwaite Strategy-Proof Impossibility Theorem[J]. Journal of Chongqing Institute of Technology, 2016, 0(3): 13-17. DOI: 10.3969/j.issn.1674-8425(s).2016.03.003 |
| |
| Authors: | SUN Wen DU Guo-ping |
| |
| Abstract: | Since Gibbard-Satterthwaite strategy-proof impossibility theorem was established in the 1970s,it has drawn the widespread attention of scholars in fields of mathematics,economics,comput-er science and philosophy. However,it is seldom found the research on logics of the Gibbard-Satterth-waite 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 decision-making activities. |
| |
| Keywords: | Gibbard-Satterthwaite strategy-proofness impossibility theorem logic formalization social choice |
| 本文献已被 万方数据 等数据库收录！ |
|
