作者：孙雯著
页数：194
出版社：中国社会科学出版社
出版日期：2018
ISBN：9787520324243
电子书格式：pdf/epub/txt
内容简介
本书将基于社会选择理论进行“跨文化互动的逻辑机制研究”，针对社会选择理论中的防策略投票问题探讨逻辑语言的表达力，建立相关的逻辑系统，以求理论瓶颈的突破。进而，给出下一步的研究方向，即用精确的形式语言来刻画防策略投票问题，并生成为计算机可识别的程序代码，从而实现计算机对防策略投票问题的模拟和解决，以期实现对现实问题解决的自动性和高效性。
作者简介
孙雯，女，1982年生，河北石家庄人，南开大学哲学硕士、哲学博士，中国社会科学院博士后，现为河北师范大学法政学院讲师；主持河北师范大学人文社会科学基金项目“基于多主体策略逻辑的防操纵研究”（项目编号：S2014809），分别参与国家社科基金重大招标项目“应用逻辑与逻辑应用研究”（批准号：14ZDB014）、国家社会科学基金重点项目“提高国民逻辑素质的理论和实践探索研究”(项目编号：13AZX019)。主要成果：《国外逻辑学习软件初探》，《逻辑学研究》2011年第11期；《防操纵社会选择机制逻辑研究述评》，《重庆理工大学学报》（社会科学版），2013年第3期；《韩非矛盾思想的逻辑初探》，《徐州师范大学学报》(哲学社会科学版)2009年第5期；《防操纵的逻辑方法研究》，《毕节学院学报》2013年第3期；《试析斯多葛学派命题逻辑研究中的命题函子理论》，《保定学院学报》2009年第5期。
本书特色
本书将基于社会选择理论进行“跨文化互动的逻辑机制研究”，针对社会选择理论中的防策略投票问题探讨逻辑语言的表达力，建立相关的逻辑系统，以求理论瓶颈的突破。进而，给出下一步的研究方向，即用精确的形式语言来刻画防策略投票问题，并生成为计算机可识别的程序代码，从而实现计算机对防策略投票问题的模拟和解决，以期实现对现实问题解决的自动性和高效性。
目录
第一章 防策略投票理论概述
第一节 防策略投票理论的历史综述
一 对防策略投票理论的关注
二 防策略投票理论的萌芽及初步形成阶段
三 防策略投票理论的正式提出及深入发展阶段
第二节 防策略投票方法研究概况
第二章 Gibbard—Satterthwaite防策略投票不可能性定理的证明
第一节 Gibbard—Sattenhwaite防策略投票不可能性定理
一 符号与定义
二 线性投票下的Gibbard—Satterthwaite防策略投票不可能性定理
三 非线性投票下的Gibbard—Satterthwaite防策略投票不可能性定理
四 一些结论
第二节 Gibbard—Satterthwaite防策略投票不可能性定理的Saari方法证明
一 预备知识
二 Saari方法
三 Gibbard—Satterthwaite．防策略投票不可能性定理的Saari方法证明
四 其他相关属性
第三节 Gibbard—Sattenhwaite防策略投票不可能性定理的归纳法证明
一 归纳法记号
二 Cibbard—SatteIthwaite防策略投票不可能性定理的归纳法证明
三 计算机辅助证明
第四节 Gibbard—Satterthwaite防策略投票不可能性定理证明的反思
第三章 Gibbard—Satterthwaite防策略投票不可能性定理的逻辑刻画
第一节 基本概念
第二节 模态逻辑S5m
第三节 投票逻辑（VL）
第四节 Gibbard—Satterthwaite防策略投票不可能性定理相关属性的逻辑刻画
第五节 VL的不可判定性
一 公式翻译
二 模型翻译
第六节 可判定性特例
一 公式翻译
二 模型翻译
第四章 基于社会选择函数逻辑的防策略投票理论
第一节 预备知识
第二节 命题控制联盟逻辑（CL—PC）
一 CL—PC的语言及语义
二 CL—PC的演绎系统
第三节 社会选择函数逻辑（SCFL）
一 SCFL的语言及语义
二 SCFL的公理及推理规则
第四节 防策略投票相关性质的表达
一 投票
二 社会选择函数SCF的刻画
三 真实偏好
四 非独裁
五 占优策略均衡
六 单调性
七 防策略
第五节 结论和进一步的研究
第五章 基于多主体策略逻辑的防策略投票理论
第一节 多主体联盟策略博弈模型
第二节 投票博弈
一 投票作为多主体策略博弈
二 投票博弈中的群体行动
第三节 多主体策略逻辑（MAsL）
一 MASL的语言和语义
二 MASL的演算
三 防策略投票相关性质的表达
四 MASL与联盟逻辑（CL）的联系
第四节 MASL的认知扩张——EMASL
一 EMASL的语法和语义
二 EMASL的演算
三 相关性质的表达
第五节 结论和进一步的研究
附录
防操纵社会选择机制逻辑研究述评
吉伯德一萨特思韦特防策略不可能性定理的逻辑初探
投票理论阐释的新视角
参考文献
后记
