本体论的逻辑基础：奎因逻辑观研究

　　奎因被公认为当代极具影响力的著名哲学家，也是十分重要的逻辑学家。奎因的本体论研究是当代形而上学研究的典范，也直接促进了形而上学的当代复兴。因此，对奎因的哲学思想和逻辑理论的研究具有重要的学术价值和意义。逻辑观就是围绕什么是逻辑这一核心问题所形成的系统性理念和观点。本书认为，奎因所秉持的是一种以本体论承诺的中立性为哲学原则，以带等词的一阶逻辑为技术内容的逻辑观。在这种逻辑观的指导下，奎因对传统本体论问题作了开创性的分析和重构，形成了一系列的重要学说，推动了当代西方哲学的发展。

　　阴昭晖，男，山西灵石人，清华大学哲学博士，中国政法大学法学博士后，美国佛罗里达大学-清华大学联合培养博士，哈佛大学访问学者。现任中国政法大学法治文化研究所讲师，主要从事现代逻辑、法律逻辑、法哲学、法治文化研究。

第一章  引言
  第一节  选题背景
    一  奎因及其哲学与逻辑
    二  逻辑观：一元论与多元论
  第二节  文献综述
    一  国外研究现状
    二  国内研究现状
    三  本书结构
第二章  逻辑的观念
  第一节  奎因逻辑观的形成
    一  NF系统及其特点
    二  NF系统对《数学原理》的改进
    三  早期的奎因逻辑观
  第二节  奎因逻辑观的完善
    一  SL系统及其特点
    二  集合论不属于逻辑
    三  等词理论属于逻辑
    四  逻辑真句子
  第三节  奎因逻辑观的形式特征
    一  一阶量化
    二  二值原则
    三  外延性
    四  完全性
第三章  逻辑的论题
  第一节  一阶逻辑与多值逻辑
    一  卢卡谢维奇的三值逻辑系统
    二  奎因对多值逻辑的质疑与回应
  第二节  一阶逻辑与直觉主义逻辑
    一  直觉主义逻辑的可证性解释
    二  奎因对直觉主义逻辑的质疑与回应
  第三节  一阶逻辑与模态逻辑
    一  模态逻辑与奎因对必然性的理解
    二  奎因对模态逻辑的质疑与回应
  第四节  一阶逻辑与真之载体
    一  真之载体是命题
    二  真之载体是思想
    三  真之载体是语句
    四  真即去引号
第四章  量化与存在
  第一节  存在是量化变元的值
    一  本体论的承诺
    二  量词与量词所表达的东西
    三  对奎因本体论承诺的质疑与回应
  第二节  单称词项与存在
    一  非存在之谜
    二  消去单称词项
    三  对奎因消去单称词项的质疑与回应
  第三节  量化解释的选择
    一  对象量化还是置换量化
    二  奎因的对象量化
    三  对奎因对象量化的质疑与回应
  第四节  量化表达式与语义整编
    一  作为一种标准记法的量化表达式
    二  语义整编与翻译的不确定性
  第五节  没有同一性就没有实体
    一  如何理解同一性：从弗雷格、维特根斯坦到奎因
    二  同一性标准与内涵对象
    三  奎因哲学中的物理对象
结语  逻辑观：从一元论到多元论
附录：奎因与逻辑的观念——访清华大学王路教授
参考文献
索引