用户名:
    密码:

你的位置:首页 > 逻辑学

徐晔翀:论可能世界语义学中的个体跨界的同一性问题
录入: 哲学网编辑部 发表时间: 2014-07-11 点击: 13355 次 我要收藏

由上面可以得到:“当一个系统包含巴肯公式时,wi 中的个体域大于或者等于wj 中的个体域,个体域是收缩的;而包含巴肯公式的同时必然包含巴肯公式的逆命题,逆命题与之相反,正好表达了个体域在扩张。如果一个个体域既是扩张的,又是收缩的,那称它们为等同的个体域,也就是说可能世界集中每个可能世界的个体域都是D。如此当各个可能世界个体域都相同时,我们就无需考虑函数关系Q了,模态谓词逻辑的五元组模型就变成了一个四元组<WDRV>。”值得注意的是,尽管每个可能世界的个体域相同,但是个体的性质与个体间的关系可以不同。

于是问题就出现了,如果说不同的可能世界可以有相同的个体域,那么是否意味着在这个个体域中个体是可以跨越不同可能世界存在的?再退一步说,即使一个模态谓词逻辑系统中不包含BF公式,但是也至少包含BFc公式,从(b)中可以得到wj 的个体域大于或者等于wi 的个体域,那么Q(wi)中至少有一个个体是既属于Q(wi)又属于Q(wj)的,尽管可能性质与个体间的关系不同。基于此,我们不得不承认模态谓词逻辑中蕴含着个体可以跨不同可能世界存在的情况。那么如果我们承认个体能够跨界存在,我们又如何识别?如果不承认,是否意味着我们将否认可能世界语义学,甚至模态谓词逻辑的基础呢?要回答这个问题,我们应该先了解可能世界究竟是什么。

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

文章的脚注信息由WordPress的wp-posturl插件自动生成

版权声明:版权归 我的哲学网:Philosophy,哲学家,哲学名言大全 所有,转载请注明出处!

转载请保留链接: http://www.zhexue.org/f/logic/17966.html

发表评论

电子邮件地址不会被公开。 必填项已用*标注

您可以使用这些HTML标签和属性: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

我的哲学
哲学 未经授权禁止复制或建立镜像,采用Wordpress架构,采用知识共享署名进行许可
邮箱:admin#zhexue.org (#换成@)优畅优化|阿里云强力驱动
ICP证号:浙ICP备16005704号-2
网站加载0.963秒
知识共享许可协议