量词理论研究 从蒯因的观点看PDF电子书下载

第一章 引言 1

一 什么是量词 2

（一）从亚里士多德的角度看 2

（二）从弗雷格的角度看 11

（三）传统逻辑和现代逻辑 18

二 什么是量化理论 26

三 对象量化和替换量化 30

四 本选题的研究思路和基本内容 34

第二章 “存在就是成为一个变元的值” 37

一 用名字表达存在的理论困难 38

二 用一种逻辑的方法解决本体论问题 43

（一）蒯因对变元的重新界定 44

（二）消去个体词 52

三 本体论与本体论承诺 54

四 量化和本体论 56

第三章 “没有同一性就没有实体” 60

一 什么是同一 61

二 同一与个体词 64

（一）同一与个体化 66

（二）同一与语词的设定 68

（三）同一与指称 71

三 个体词与谓述 72

（一）个体词与概念词 73

（二）个体词与谓述的位置 77

四 同一、指称与量化 83

第四章 “模态逻辑解释的几个问题” 88

一 模态逻辑及其语义解释的核心问题 89

二 包含模态的三个层次 93

（一）语词的使用和提及 93

（二）包含模态的三个层次 95

三 模态谓词逻辑的理论困难 100

（一）指称不明 100

（二）存在概括规则失效 104

（三）承诺本质主义 105

第五章 一种质疑的方案——替换量化理论 109

一 替换量化对对象量化的批评 110

（一）语言表达能力有限 110

（二）对量词域的质疑 112

二 什么是替换量化 114

（一）替换例与替换类 115

（二）替换量化的语义解释理论 117

三 替换量化下的本体论承诺 120

四 同一的必然性和新的本质主义理论 123

（一）“同一的必然性” 123

（二）新的本质主义理论 130

第六章 反思：对象量化与替换量化 132

一 对象量化与替换量化的主要区别 135

二 替换量化是扩大了量词域还是消解了量词域 139

三 替换量化是否避免了本体论承诺 144

四 替换量化是否建立起了一种独立的语义解释 149

第七章 结语 155

一 量化理论的意义和价值 156

（一）量化与哲学 157

（二）量化与逻辑 161

二 逻辑与哲学 169

参考文献 179