防策略(Strategy-proofness)或防操纵(non-manipulability)通常被认为是一个非常理想的属性,它要求投票者不能从谎报他们的真实偏好中获益,进而可以抑制社会选择中的策略投票,促使投票者都投出自己的真实选票,使选举结果能够体现人们的真实意愿。自20世纪70年代以来,Gibbard-Satterthwaite防策略投票不可能性定理确立后,人们对如何避免操纵投票,即防策略投票问题开始了广泛的研究。数学家已经开始用数学的语言来证明不可能性定理,计算机科学家关注于社会选择中的算法问题,而逻辑学家关注于基于逻辑的验证和分析社会过程(社会软件)。可见,对防策略投票问题的研究,这本身就是对跨文化互动的逻辑认知机制进行研究,这一研究所获得的理论成果不仅将丰富当代的逻辑学理论,也是逻辑学在经济学、政治学等理论上的具体应用。本文从逻辑的角度研究防策略投票理论。概括说来,本文的主要工作包括以五个方面：第一,从逻辑的角度,系统地梳理了防策略投票理论的萌芽、初步形成、正式提出及深入发展阶段四个阶段,并讨论了避免策略投票的方法。第二,以集合论为数学工具,研究防策略投票的理论基础——Gibbard—Satterthwaite防策略投票不可能性定理。并运用Saari方法和归纳法,形式化证明了Gibbard—Satterthwaite防策略投票不可能性定理。最后,对Gibbard—Satterthwaite防策略投票不可能性定理的证明进行反思。第三,基于投票逻辑(VL)对Gibbard-Satterthwaite防策略投票不可能性定理进行刻画,并讨论了VL的不可判定性和可判定性特例。第四,对社会选择函数、策略博弈等概念进行概括介绍。基于命题控制联盟逻辑(CL-PC),提出了社会选择函数逻辑(SCFL),进而对防策略投票的相关性质进行了刻画,最后解决社会选择函数是否防策略这一问题。第五,将投票过程看作多主体策略博弈,提出多主体策略逻辑(MASL),基于MASL,讨论防策略投票的相关属性。然后,对MASL进行认知扩张,给出了认知多主体策略逻辑(EMASL),并刻画知道独裁、知道防策略。国外对防策略投票理论的研究起步较早,涉及领域广泛,已经取得了较为丰富的成果。目前,国内对防策略投票的逻辑研究还比较少。本文将国外关于防策略投票的逻辑研究所取得的最新成果梳理并介绍到国内,研究这些问题必然要发展和拓宽现有逻辑理论,因此我们研究获得的理论成果必将推动我国逻辑学理论的发展,使我们的相关研究站在国际的前沿。