谓词抽象和模态谓词逻辑的合法性
作者: 邓雄雁 ; 胡泽洪
关键词: 模态逻辑 谓词抽象 从言模态 从物模态 严格指示词
摘要：奎因对模态谓词逻辑的合法性持怀疑态度，他从逻辑角度论证了模态语境是指称不明的，同一替换原理和存在概括规则在模态语境中都是无效的，他的批评影响很大。但是，若在模态谓词逻辑中引入谓词抽象，它可以表达所有模态从言和从物命题，还能有助于区分严格指示词和非严格指示词的模态意义。同一替换和存在概括都有从言和从物形式，可是奎因没有注意到这些重要区别，所以，奎因的论点是以偏概全的，其论证并不真正构成对模态谓词逻辑发展的威胁。
上一篇：指示条件句的真值条件、相信条件与接受条件
下一篇：确证理论的实验研究：特鲁特普案例