作者：颜中军 著
页数：248
出版社：上海交通大学出版社
出版日期：2024
ISBN：9787313312877
电子书格式：pdf/epub/txt
内容简介
本书对IF逻辑（Independence-FriendlyLogic，简称IF逻辑）这一新兴领域进行系统深入的专题研究，揭示了IF逻辑的产生机理与演变脉络，构建了更加规范和简洁的IF逻辑的句法和语义，证明了IF逻辑的若干重要性质，比较了IF逻辑与经典逻辑、部分逻辑、构造主义逻辑之间的关联与区别，探讨了IF逻辑在模态逻辑、时态逻辑、认知逻辑、语言逻辑、问句逻辑等领域的扩展与应用，充分挖掘IF逻辑的表达力与适用性，澄清不必要的含混与误解，为IF逻辑的合理性提供哲学辩护。这不仅可以拓展IF逻辑研究的广度与深度，而且能够促进逻辑学、哲学、数学、语言学、计算机科学等相关领域的发展，为解决数学基础问题、自然语言理解、计算机并行处理、量子力学、概率推理等提供新的理论工具，引起国内学术界对IF逻辑以及数学基础问题等相关领域的关注。
作者简介
颜中军，1982年生，湖南衡阳人，哲学博士，湖南科技大学马克思主义学院副教授、硕士生导师，主要研究兴趣：现代逻辑及其哲学问题。主持国家社科基金后期资助项目1项、教育部人文社科青年项目1项，其他省级科研项目多项。发表学术论文40余篇，被人大复印资料《逻辑》《高等学校文科学术文摘》等全文转载或摘编4篇。己出版专著1部（《苏珊·哈克逻辑哲学思想研究》，独著，2014），参编教材1部（《大学逻辑教程》，副主编，2014）。
目录
绪论
第一章 IF逻辑的历史与现状
第一节 IF逻辑的研究缘起
第二节 IF逻辑的主要发展阶段
第三节 IF逻辑的研究现状及问题
第二章 IF逻辑的理论基础Ⅰ：分枝量词
第一节 从传统量词到分枝量词
第二节 分枝量词与信息独立
第三节 分枝量词的语义解释
第四节 分枝量词的逻辑表达力
第三章 IF逻辑的理论基础Ⅱ：博弈论语义学
第一节 博弈论语义学的思想渊源
第二节 形式语言层面的语义博弈
第三节 自然语言层面的语义博弈
第四节 博弈论语义学的方法论特征
第四章 IF逻辑及其基本性质
第一节 IF一阶语言L’
第二节 IF逻辑的博弈解释
第三节 IF逻辑的基本性质
第四节 IF逻辑与其他逻辑之比较
第五章 IF逻辑的扩展与应用
第一节 IF模态逻辑
第二节 IF时态逻辑
第三节 IF认知逻辑
第四节 IF语言逻辑
第五节 IF问句逻辑
第六章 IF逻辑的哲学论争及其回应
第一节 分枝量词的本体论承诺问题
第二节 IF逻辑对组合原则的挑战
第三节 IF逻辑与“真”的可定义性
第四节 IF逻辑与说谎者悖论的消解
第五节 IF逻辑与数学基础的“重构”
参考文献
第一章 IF逻辑的历史与现状
第一节 IF逻辑的研究缘起
第二节 IF逻辑的主要发展阶段
第三节 IF逻辑的研究现状及问题
第二章 IF逻辑的理论基础Ⅰ：分枝量词
第一节 从传统量词到分枝量词
第二节 分枝量词与信息独立
第三节 分枝量词的语义解释
第四节 分枝量词的逻辑表达力
第三章 IF逻辑的理论基础Ⅱ：博弈论语义学
第一节 博弈论语义学的思想渊源
第二节 形式语言层面的语义博弈
第三节 自然语言层面的语义博弈
第四节 博弈论语义学的方法论特征
第四章 IF逻辑及其基本性质
第一节 IF一阶语言L’
第二节 IF逻辑的博弈解释
第三节 IF逻辑的基本性质
第四节 IF逻辑与其他逻辑之比较
第五章 IF逻辑的扩展与应用
第一节 IF模态逻辑
第二节 IF时态逻辑
第三节 IF认知逻辑
第四节 IF语言逻辑
第五节 IF问句逻辑
第六章 IF逻辑的哲学论争及其回应
第一节 分枝量词的本体论承诺问题
第二节 IF逻辑对组合原则的挑战
第三节 IF逻辑与“真”的可定义性
第四节 IF逻辑与说谎者悖论的消解
第五节 IF逻辑与数学基础的“重构”
参考文献
