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

第一章 引言

第一节 选题背景

一 奎因及其哲学与逻辑

二 逻辑观：一元论与多元论

第二节 文献综述

一 国外研究现状

二 国内研究现状

三 本书结构

第二章 逻辑的观念

第一节 奎因逻辑观的形成

一 NF系统及其特点

二 NF系统对《数学原理》的改进

三 早期的奎因逻辑观

第二节 奎因逻辑观的完善

一 SL系统及其特点

二 集合论不属于逻辑

三 等词理论属于逻辑

四 逻辑真句子

第三节 奎因逻辑观的形式特征

一 一阶量化

二 二值原则

三 外延性

四 完全性

第三章 逻辑的论题

第一节 一阶逻辑与多值逻辑

一 卢卡谢维奇的三值逻辑系统

二 奎因对多值逻辑的质疑与回应

第二节 一阶逻辑与直觉主义逻辑

一 直觉主义逻辑的可证性解释

二 奎因对直觉主义逻辑的质疑与回应

第三节 一阶逻辑与模态逻辑

一 模态逻辑与奎因对必然性的理解

二 奎因对模态逻辑的质疑与回应

第四节 一阶逻辑与真之载体

一 真之载体是命题

二 真之载体是思想

三 真之载体是语句

四 真即去引号

第四章 量化与存在

第一节 存在是量化变元的值

一 本体论的承诺

二 量词与量词所表达的东西

三 对奎因本体论承诺的质疑与回应

第二节 单称词项与存在

一 非存在之谜

二 消去单称词项

三 对奎因消去单称词项的质疑与回应

第三节 量化解释的选择

一 对象量化还是置换量化

二 奎因的对象量化

三 对奎因对象量化的质疑与回应

第四节 量化表达式与语义整编

一 作为一种标准记法的量化表达式

二 语义整编与翻译的不确定性

第五节 没有同一性就没有实体

一 如何理解同一性：从弗雷格、维特根斯坦到奎因

二 同一性标准与内涵对象

三 奎因哲学中的物理对象

结语 逻辑观：从一元论到多元论

附录：奎因与逻辑的观念——访清华大学王路教授

参考文献

索引