本书将基于社会选择理论进行跨文化互动的逻辑机制研究,针对社会选择理论中的防策略投票问题探讨逻辑语言的表达力,建立相关的逻辑系统,以求理论瓶颈的突破。进而,给出下一步的研究方向,即用精确的形式语言来刻画防策略投票问题,并生成为计算机可识别的程序代码,从而实现计算机对防策略投票问题的模拟和解决,以期实现对现实问题解决的自动
非帕斯卡概率逻辑是美国逻辑学家乔纳森·柯恩创立的、有别于帕斯卡概率逻辑的一种新型逻辑,该逻辑系统的更大的特征是不满足帕斯卡公理系统的否定互补性原理和乘法法则。《非帕斯卡概率逻辑的哲学基础与应用研究》立足于三个研究视角:一是在传统的归纳逻辑理论的演化序列中探寻该逻辑系统的哲学基础的合理性;二是从可能世界语义学角度对该种逻