【摘 要】
：
自20世纪70年代吉伯德-萨特思韦特防策略不可能性定理确立后,引起了数学、经济学、计算机科学和哲学等诸多领域中学者的广泛关注。然而,在国内外文献中,对吉伯德-萨特思韦特
【机 构】
：
中国社会科学院哲学研究所,河北师范大学马克思主义学院
【基金项目】
：
国家社会科学基金重大项目“应用逻辑与逻辑应用研究”（14ZDB014）,河北师范大学人文社会科学基金项目“基于多主体策略逻辑的防操纵研究”（S2014809）
论文部分内容阅读
自20世纪70年代吉伯德-萨特思韦特防策略不可能性定理确立后,引起了数学、经济学、计算机科学和哲学等诸多领域中学者的广泛关注。然而,在国内外文献中,对吉伯德-萨特思韦特防策略不可能性定理的逻辑研究还比较少。基于此,借助公理化的方法探讨吉伯德-萨特思韦特防策略不可能性定理,并形式化地给出定理的内容和证明,力图把精细的逻辑推理应用于复杂的过程分析中,使防策略投票这一过程形式化、清晰化,以期能指导人们进行合理、有效的决策活动。
其他文献
孝道，是我国传统美德之一。对传统孝道的科学认识和实践，是今日构建和谐社会、进行公民道德建设中必不可少的重要内容。本文对历史上儒家孝道的变化及“孝敬”与“孝顺”、孝与
可知性悖论是指,从反实在论接受的前提——可知性原则KP出发,能推出反实在论不能接受的结论——全知原则OMN。该悖论对反实在论提出严峻的挑战。可知性悖论产生于Fitch-系统F
为了达到均衡地保护当事人与第三人的利益的目标,赋予第三人相应的诉权是必然的选择。赋予第三人不同程度的参诉权决定了第三人参加之诉的类型与结构,对第三人利益保护的不同
基层民主政治是整个民主政治的重要组成部分，但它的实现存在着诸多的不利因素：姓氏族群对基层民主建设的影响；乡镇政府对村民自治的“挑战”；村支部架空村民组织自治的权利；农村经