孙雯，1982年生，2013年获南开大学哲学院哲学博士学位，2014年进入中国社会科学院哲学研究所从事博士后研究。现任河北师范大学马克思主义学院讲师，主要从事模态逻辑、应用逻辑方面的研究工作。

引 言
第一章 防策略投票理论概述
第一节 防策略投票理论的历史综述
一 对防策略投票理论的关注
二 防策略投票理论的萌芽及初步形成阶段
三 防策略投票理论的正式提出及深入发展阶段
第二节 防策略投票方法研究概况
第二章 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的不可判定性
一 公式翻译
二 模型翻译
第六节 可判定性特例
……
第四章 基于社会选择函数逻辑的防策略投票理论
第五章 基于多主体策略逻辑的防策略投票理论
附录
参考文献
后记

本书将基于社会选择理论进行“跨文化互动的逻辑机制研究”，针对社会选择理论中的防策略投票问题探讨逻辑语言的表达力，建立相关的逻辑系统，以求理论瓶颈的突破。进而，给出下一步的研究方向，即用精确的形式语言来刻画防策略投票问题，并生成为计算机可识别的程序代码，从