可能世界语义下的本体论承诺.pdfVIP

32 ， 5 Vol． 32 No． 5 第 卷 第 期 科学技术哲学研究 20 15 10 Studies in Philosophy of Science and Technology Oct． ，20 15 年 月 可能世界语义下的本体论承诺 1，2 2 ， 董英东 何向东 (1． ， 551700 ; 贵州工程应用技术学院逻辑与文化研究中心 贵州毕节 2 ． ， 4007 15) 西南大学政治与公共管理学院 重庆 : ， 。 (Ｒayo) 摘 要 为了探索内涵语言的双重性 就需要研究外延逻辑语言之外的本体论承诺 拉约 建议利用可 ， ， ， 能世界语义理论解释本体论承诺 认为任意特定的语义都可看作是用来阐述本体论承诺的不同框架 因此 需要在 。 ， 对象的真实存在和根据语义理论指派的对象的存在之间做出区分 在可能世界语义理论中 解释反事实的情况则 。 ， 更加复杂 拉约对奎因的本体论标准的重建进行了剖析 并讨论了克里普克的语义理论及其对本体论承诺的传 承。 ， ， 。 外延逻辑的语义 特别是一阶逻辑 无法跨越某些特定的理论来确定意义问题 可以用外延主义的方法来理 ， 。 解本体论承诺 普特南利用该方法说明了意义是确定的 : ; ; ; ; 关键词 可能世界 语义 外延 内涵 承诺 中图分类号:N02 文献标识码:A 文章编号:1674 － 7062 (2015)05 － 0057 － 04 ， 。 在可能世界语义理论中 对包含专名的同一陈 所偏好的语义 。 述的本体论承诺的研究具有重要的价值 对本体论 一 内涵语言中的本体论承诺 。 承诺的验证涉及内涵语言 为了分析外延和内涵语 ， (Ｒayo) “ ”， “ 言中的本体论承诺的区别 拉约 对奎因的标 为了消除奎因的方法中的词项 必须 即 为 ， Fs ， Fs 准进行了修正 主要对包含专名的外延语句和内涵 了使语句 为真 必须使 中的变元的值是可计 。 ”， ［1］8 。 语句的