谓词抽象和模态谓词逻辑的合法性

摘要：

奎因对模态谓词逻辑的合法性持怀疑态度,他从逻辑角度论证了模态语境是指称不明的,同一替换原理和存在概括规则在模态语境中都是无效的,他的批评影响很大.但是,若在模态谓词逻辑中引入谓词抽象,它可以表达所有模态从言和从物命题,还能有助于区分严格指示词和非严格指示词的模态意义.同一替换和存在概括都有从言和从物形式,可是奎因没有注意到这些重要区别,所以,奎因的论点是以偏概全的,其论证并不真正构成对模态谓词逻辑发展的威胁.

关键词：模态逻辑、谓词抽象、从言模态、从物模态、严格指示词

分类号：B815.1(逻辑学(论理学))

资助基金：国家社会科学基金项目“自由逻辑及其相关哲学问题研究”13BZX068;广东省哲学社会科学规划学科共建项目“现代逻辑视野中的当代真理论”GD11XZX01;广东省优长学科、特色学科建设专项资助课题“现代逻辑背景下的真理论研究”2013YCTS10

在线出版日期：2014-04-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：139-145