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