独立友好逻辑研究

绪论 **章 IF逻辑的历史与现状 **节 IF逻辑的研究缘起 第二节 IF逻辑的主要发展阶段 第三节 IF逻辑的研究现状及问题 第二章 IF逻辑的理论基础Ⅰ：分枝量词 **节 从传统量词到分枝量词 第二节 分枝量词与信息独立 第三节 分枝量词的语义解释 第四节 分枝量词的逻辑表达力 第三章 IF逻辑的理论基础Ⅱ：博弈论语义学 **节 博弈论语义学的思想渊源 第二节 形式语言层面的语义博弈 第三节 自然语言层面的语义博弈 第四节 博弈论语义学的方法论特征 第四章 IF逻辑及其基本性质 **节 IF一阶语言L' 第二节 IF逻辑的博弈解释 第三节 IF逻辑的基本性质 第四节 IF逻辑与其他逻辑之比较 第五章 IF逻辑的扩展与应用 **节 IF模态逻辑 第二节 IF时态逻辑 第三节 IF认知逻辑 第四节 IF语言逻辑 第五节 IF问句逻辑 第六章 IF逻辑的哲学论争及其回应 **节 分枝量词的本体论承诺问题 第二节 IF逻辑对组合原则的挑战 第三节 IF逻辑与“真”的可定义性 第四节 IF逻辑与说谎者悖论的消解 第五节 IF逻辑与数学基础的“重构” 参考文献