来源：期刊VIP网 时间：
作者：张力锋;
单位：南京大学哲学系;
摘要：一阶量词具有极大的普遍性，可以统一地处理由于论域变化造成的无限多日常量词。基于一阶语言公式的严格递归构造，重叠量化式归根结底可诉诸原子句和逻辑常项(特别是量词)的意义，得到准确的理解。代入解释挑战标准的量词解释，将量化语句的真还原为相应去量化语句的代入实例的真，而代入实例被规定或设定为真未必是在存在论意义上，从而既能刻画一阶推理的有效性，又可确保量词作为逻辑常项的本体论中立性。但量化语句并未因代入量词的本体论中立而在语言实践中被剥夺存在含意，它的存在含意下沉至名字及命名关系；克里普克建构的代入量化语义佐证了以上论点，可以驳斥将代入量化看作一种特殊对象量化的误读，代入量化只表明量化语句的真值条件是某些代入实例为真，而不是将量化语句翻译或还原为那个代入实例。
关键词：量词;;满足;;代入解释;;本体论承诺;;真值条件;;名字
基金资助：国家社科基金重点项目“当代逻辑与语言哲学视域下的模态认识论研究”(20AZX015)的阶段性成果
