防策略投票理论的逻辑研究

防策略投票理论的逻辑研究
作者：孙雯
出版时间： 2018年版
内容简介
　　投票在世界各国的政治生活中发挥着越来越重要的作用，从逻辑视域研究投票理论，并以之作为我国政治体制改革的新鲜切入点，具有非常重要的理论意义和实践价值。
　　《防策略投票理论的逻辑研究》利用逻辑形式化的观点和方法，借助一阶逻辑和模态逻辑的语言，采用多主体策略逻辑和认知多主体策略逻辑的新成果，为投票建立了逻辑模型，并对防止策略投票进行了深入的研究。《防策略投票理论的逻辑研究》还重点探讨了吉伯德一萨特思韦特不可能性定理的独特意义。
目录
引 言
第一章 防策略投票理论概述
第一节 防策略投票理论的历史综述
一 对防策略投票理论的关注
防策略投票理论的萌芽及初步形成阶段
二 防策略投票理论的正式提出及深入发展
阶段
第二节 防策略投票方法研究概况

第二章 Gibbard-Satterthwaite防策略投票
不可能性定理的证明
第一节 Gibbard-Satterthwaite防策略投票
不可能性定理
一 符号与定义
二 线性投票下的Gibbard-Satterthwaite
防策略投票不可能性定理
三 非线性投票下的Gibbard-Satterthwaite
防策略投票不可能性定理
四 一些结论
第二节 Gibbard-Satterthwaite防策略投票
不可能性定理的Saari方法证明
一 预备知识
二 Saari方法
三 Gibbard-Satterthwaite防策略投票不可能性定理的Saari方法证明
四 其他相关属性
第三节 Gibbard-Satterthwaite防策略投票不可能性定理的归纳法证明归纳法记号
二 Gibbard-Satterthwaite防策略投票不可能性定理的归纳法证明
三 计算机辅助证明
第四节 Gibbard-Satterthwaite防策略投票
不可能性定理证明的反思

第三章 Gibbard-Satterthwaite防策略投票
不可能性定理的逻辑刻画
第一节 基本概念
第二节 模态逻辑S5
第三节 投票逻辑（ VL）
第四节 Gibbard-Satterthwaite防策略投票不可能性
定理相关属性的逻辑刻画
第五节 VL的不可判定性
公式翻译
二 模型翻译
第六节 可判定性特例
……
第四章 基于社会选择函数逻辑的防策略投票理论
第五章 基于多主体策略逻辑的防策略投票理论
附录
参考文献
后记