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

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

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

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