用户名:
    密码:
转播到腾讯微博

你的位置:首页 > 逻辑学

蒋运鹏:奎因的本体论标准
录入: 哲学网编辑部 发表时间: 2013-07-31 点击: 1876 次 我要收藏

这篇论文旨在讨论奎因(w. v. o. Quine)的本体论标准。在论文的第一部分中我将介绍他在《逻辑和共相的实体化》① 一文中提出的本体论标准并根据具体例子来解释其实际用途。讨论将会同时涉及到带有存在量词的语句和带有全称量词的语句。根据奎因的本体论标准,有一些理论先设(presuppose)共相(我指的是包括集合,真值,可能世界里的物体等等在内的一切抽象物体。与之相对的是具体物体)的存在。但就这些理论的其中一部分来说,唯名论者可以用塔尔斯基(Tarski)提出的方法来避开那些他们不能接受的本体论先设。我会对塔尔斯基的方法做简略介绍。论文的第二部分主要包含一些针对本体论标准的批评(批评对象除了本文第一部分介绍的标准之外,还包括奎因著作中先后出现的一些类似的标准)。我会首先研究R. L. 卡特莱特(R. L. Cartwight)的批评意见。按照他的观点,如果奎因希望其标准的合理性得到保证,就必须放弃他历来对内涵所持的极端怀疑的态度。我认为这个批评意见是正确的。我自己甚至抱有一种更悲观的看法:即使奎因做好了在实际操作中使用内涵化概念的准备,但找到一个理想的本体论标准也仍然十分困难。
在进入正文之前我们来做一个符号使用方面的规定:“^”在本文中将作为合取连词来使用;“/”将作为析取连词来使用。“E[,x]”的意思是“对于至少一个x来说”;“A[,x]”的意思是“对于所有的x来说”。除此以外,在本文的逻辑表达式中使用的符号都符合惯例。
一 奎因的本体论标准
1. 标准的提出
奎因著名的本体论标准的一种形式是:
K[,1]. 某种理论先设某个物体的存在,当且仅当为了保证该理论断言的句子为真,该物体必须被划入(该理论包含的②)变项的值域内③。
为了避免误会的产生,奎因特别强调两点。第一,他在这里所声称的不是物体的存在对语言的依赖性,而是某种理论的本体论先设的存在对语言的依赖性④。第二,用量词来限制变项是造成受限变项的一种形式,但不是唯一的形式。他之所以只研究这一种形式的原因在于受限变项的其它出现形式都可以还原为上述基本形式。即使某种理论T使用的语言S根本不包含变项,我们仍然可以尝试借助标准K[,1]和一套适用于S和通用的“变项语言”的互译规则为T制定一个新标准K[,1]′,借此保障K[,1],的间接有效性。但假如S和“变项语言”之间互译的可能性不存在,那S就的确超出了K[,1]的使用范围。在这样的情况下,一个只懂S的人和我们这些使用“变项语言”的人在本体论问题上的思维方式之间的鸿沟是无法跨越的,我们无法强迫这样的人对我们的本体论问题产生兴趣⑤。
K[,1]在实际操作中是如何起作用的呢?我们来考察两种情况。设

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


分享到:

标签 :
版权声明:版权归 哲学网:哲学学术门户网站,Philosophy,哲学家,哲学名言大全 所有,转载请注明出处!

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

已有 0 条评论 腾讯微博
我的哲学
哲学 未经授权禁止复制或建立镜像,采用Wordpress架构,采用知识共享署名进行许可
邮箱:admin#zhexue.org (#换成@)优畅优化|阿里云强力驱动
ICP证号:重新备案中
网站加载0.998秒
知识共享许可协议