吉伯德萨特思韦特防策略不可能性定理的逻辑初探-重庆理工大学学报.PDFVIP

重庆理工大学学报（社会科学）　　２０１６年第３０卷第３期 逻辑与科学方法论 ＪｏｕｒｎａｌｏｆＣｈｏｎｇｑｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ（ＳｏｃｉａｌＳｃｉｅｎｃｅ）Ｖｏｌ．３０Ｎｏ．３２０１６ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１６７４－８４２５（ｓ）．２０１６．０３．００３ 吉伯德萨特思韦特防策略不可能性定理的 逻辑初探 １，２ １ 孙　雯 ，杜国平 （１．中国社会科学院哲学研究所，北京　１００７３２；２．河北师范大学 马克思主义学院，石家庄　０５００２４） 摘要：自２０世纪７０年代吉伯德萨特思韦特防策略不可能性定理确立后，引起了数学、经济学、 计算机科学和哲学等诸多领域中学者的广泛关注。然而，在国内外文献中，对吉伯德萨特思韦 特防策略不可能性定理的逻辑研究还比较少。基于此，借助公理化的方法探讨吉伯德萨特思 韦特防策略不可能性定理，并形式化地给出定理的内容和证明，力图把精细的逻辑推理应用于 复杂的过程分析中，使防策略投票这一过程形式化、清晰化，以期能指导人们进行合理、有效的 决策活动。 关键词：吉伯德萨特思韦特防策略不可能性定理；逻辑形式化；社会选择 中图分类号：Ｂ８１　　　　文献标识码：Ａ 文章编号：１６７４－８４２５（２０１６）０３－００１３－０５ ＰｒｅｌｉｍｉｎａｒｙＳｔｕｄｙｏｎＬｏｇｉｃｏｆＧｉｂｂａｒｄＳａｔｔｅｒｔｈｗａｉｔｅ ＳｔｒａｔｅｇｙＰｒｏｏｆＩｍｐｏｓｓｉｂｉｌｉｔｙＴｈｅｏｒｅｍ １，２ １ ＳＵＮＷｅｎ ，ＤＵＧｕｏｐｉｎｇ （１．ＩｎｓｔｉｔｕｔｅｏｆＰｈｉｌｏｓｏｐｈｙ，ＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｏｃｉａｌＳｃｉｅｎｃｅｓ，Ｂｅｉｊｉｎｇ１００７３２，Ｃｈｉｎａ； ２．ＣｏｌｌｅｇｅｏｆＭａｒｘｉｓｍ，ＨｅｂｅｉＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｓｈｉｊｉａｚｈｕａｎｇ０５００２４，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：ＳｉｎｃｅＧｉｂｂａｒｄＳａｔｔｅｒｔｈｗａｉｔｅｓｔｒａｔｅｇｙｐｒｏｏｆｉｍｐｏｓｓｉｂｉｌｉｔｙｔｈｅｏｒｅｍｗａｓｅｓｔａｂｌｉｓｈｅｄｉｎｔｈｅ １９７０ｓ，ｉｔｈａｓｄｒａｗｎｔｈｅｗｉｄｅｓｐｒｅａｄａｔｔｅｎｔｉｏｎｏｆｓｃｈｏｌａｒｓｉｎｆｉｅｌｄｓｏｆｍａｔｈｅｍａｔｉｃｓ，ｅｃｏｎｏｍｉｃｓ，ｃｏｍｐｕｔ ｅｒｓｃｉｅｎｃｅａｎｄｐｈｉｌｏｓｏｐｈｙ．Ｈｏｗｅｖｅｒ，ｉｔｉｓｓｅｌｄｏｍｆｏｕｎｄｔｈｅｒｅｓｅａｒｃｈｏｎｌｏｇｉｃｓｏｆｔｈｅＧｉｂｂａｒｄＳａｔｔｅｒｔｈ ｗａｉｔｅｔｈｅｏｒｅｍ．ＴｈｉｓｐａｐｅｒｄｉｓｃｕｓｓｅｄＧｉｂｂａｒｄＳａｔｔｅｒｔｈｗａｉｔｅｓｔｒａｔｅｇｙｐｒｏｏｆｉｍｐｏｓｓｉｂｉｌｉｔｙｔｈｅｏｒｅｍｗｉｔｈ ｔｈｅａｘｉｏｍａｔｉｃｍｅｔｈｏｄ，ａｎｄｅｌａｂｏｒａｔｅｄｔｈｅｃｏｎｔｅｎｔａｎｄｐｒｏｖｉｎｇｐｒｏｃｅｓｓｏｆｔｈｉｓｔｈｅｏｒｅｍｆｏｒｍａｌｌｙ．Ｉｔｉｓ ｔｒｙｉｎｇｔｏａｐｐｌｙｔｈｅｆｉｎｅｌｏｇｉｃａｌｒｅａｓｏｎｉｎｇｔｏｔｈｅｃｏｍｐｌｅｘｐｒｏｃｅｓｓｅｓａｎａｌｙｓｉｓｔｏｍａｋｅｔｈｅｓｔｒａｔｅｇｙｐｒｏｏｆ ｖｏｔｉｎｇｐｒｏｃｅｓｓｍｏｒｅｆｏｒｍａｌａｎｄｃｌｅａｒ，ｈｏｐｉｎｇｔｏｇｕｉｄｅｐｅｏｐｌｅｔｏｍａｋｅｒａｔｉｏｎａｌａｎｄｅｆｆｅｃｔｉｖｅｄｅｃｉｓｉｏｎ ｍａｋｉｎｇａｃｔｉｖｉｔｉｅｓ． 　　收稿日期：２０１５－１０－０９ 基金项目：国家社会科学基金重大项目“应用逻辑与逻辑应用研究”（１４ＺＤＢ０１４）；河北师范大学人文社会科学基 金项目“基于多主体策略逻辑的防操纵研究”（Ｓ２０１４８０