包邮本体论的逻辑基础:奎因逻辑观研究

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