- 独立友好逻辑研究
- - 作者：颜中军|责编:赵斌玮
  - 出版社：上海交大
  - ISBN：9787313312877
  - 出版日期：2024/09/01
  - 页数：239
- 售价：35.2

内容大纲
独立友好逻辑（independence-friendly logic，IF逻辑）是当今逻辑学研究炙手可热的前沿领域，旨在比经典逻辑更加充分地刻画逻辑表达式之间的依赖与独立关系，极大地拓展了逻辑学研究的范围，具有十分重要的理论价值和现实意义。
本书对IF逻辑做了系统深入的研究，详细阐述了IF逻辑产生的思想渊源与现实动机，进一步完善了lF逻辑的句法和语义，讨论了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逻辑与数学基础的“重构”
参考文献

内容大纲

作者介绍

目录

同类热销排行榜

推荐书目