序言
第一章 引言
一 什么是量词
(一)从亚里士多德的角度看
(二)从弗雷格的角度看
(三)传统逻辑和现代逻辑
二 什么是量化理论
三 对象量化和替换量化
四 本选题的研究思路和基本内容
第二章 “存在就是成为一个变元的值”
一 用名字表达存在的理论困难
二 用一种逻辑的方法解决本体论问题
(一)蒯因对变元的重新界定
(二)消去个体词
三 本体论与本体论承诺
四 量化和本体论
第三章“没有同一性就没有实体”
一 什么是同一
二 同一与个体词
(一)同一与个体化
(二)同一与语词的设定
(三)同一与指称
三 个体词与谓述
(一)个体词与概念词
(二)个体词与谓述的位置
四 同一、指称与量化
第四章“模态逻辑解释的几个问题”
一 模态逻辑及其语义解释的核心问题
二 包含模态的三个层次
(一)语词的使用和提及
(二)包含模态的三个层次
三 模态谓词逻辑的理论困难
(一)指称不明
(二)存在概括规则失效
(三)承诺本质主义
第五章一种质疑的方案——替换量化理论
一 替换量化对对象量化的批评
(一)语言表达能力有限
(二)对量词域的质疑
二 什么是替换量化
(一)替换例与替换类
(二)替换量化的语义解释理论
三 替换量化下的本体论承诺
四 同一的必然性和新的本质主义理论
(一)“同一的必然性”
(二)新的本质主义理论
第六章反思：对象量化与替换量化
一 对象量化与替换量化的主要区别
二 替换量化是扩大了量词域还是消解了量词域
三 替换量化是否避免了本体论承诺
四 替换量化是否建立起了一种独立的语义解释
第七章结语
一 量化理论的意义和价值
(一)量化与哲学
(二)量化与逻辑
二 逻辑与哲学
参考文献
展开
