《存在问题的逻辑哲学省察.docx》由会员分享，可在线阅读，更多相关《存在问题的逻辑哲学省察.docx（13页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、存在问题的逻辑哲学省察存在问题的逻辑哲学省察【内容提要】本文试图立足于当代逻辑哲学，从三个方面对存在问题作一初步的介绍与讨论：作为真实个体的存在与作为思想对象的存在；隐含的存在与明示的存在；传统逻辑的存在与当代逻辑的存在。【正文】存在问题是本体论研究的中心问题，能够简单地讲，本体论就是关于存在的学讲，它研究何物存在以及以何种方式存在等。在哲学史上，存在问题一直是一个争论热烈的问题。而随着20世纪西方哲学界的语言学的转向，存在问题被纳入到了当代逻辑的视野之中，存在问题变成了一个逻辑哲学的热门问题。本文试图从当代逻辑哲学的视野出发，对存在问题作一省察。1作为真实个体的存在与作为思想对象的存在关于存
2、在的涵义，粗略一看，似乎很简单，我们常讲某某存在或某物存在，其意就是有某某或有某物。但仔细考虑，能够看出，自然语言中所指的存在或存在物，是有不同的涵义或层次的。比方，在下列四个语句中，所讲的存在的涵义严格地讲是不完全一样的：(1)艾菲尔铁塔存在。(2)动物存在。(3)存在着大于3而小于7的质数。(4)他的身上存在着一种高贵的气质。在语句(1)中，存在的对象是艾菲尔铁塔，这是看得见、摸得着的详细的个体，在语句(2)中，存在的对象是动物，即由各种各样的详细个体组成的类，在现实世界中，我们无法找到不是每一个详细的个体的作为类的动物，在语句(3)中，存在的对象是数，即数学的对象，而在语句(4)中，存在
3、的则是对象所具有的某种性质或属性，因而，这几种存在物是有别的。语句(1)中的对象是客观世界中的真实的个体，语句(2)、(3)、(4)中所存在的对象则或是个体所组成的类即共相或是数学的对象或是对象的性质，我们统称为抽象实体。可见，存在或存在物是有不同的层次或类型的，事实上，假如从时间上来考虑的话，存在或存在物还能够有时间上的层次：过去的存在与如今的存在，例如，古希腊哲学家亚里士多德的存在是过去的存在，当今美国总统布什的存在就是如今的存在。当然，出于研究的考虑，在本文我们忽略存在的这种时间层次上的差异。关于存在问题，首先要解决的一个问题就是何物存在，即存在的对象是什么的问题，一般地讲，存在问题所涉
4、及到的存在对象主要包括上述四类对象。就唯名论而言，他们只成认存在有个别的详细事物，即真实的个体，而不成认诸如类、数、关系、属性等所谓的抽象实体的存在。实在论或柏拉图主义者则成认抽象实体的存在，以为各种数学与集合论的对象以及属性、关系等均能够是存在的对象。在存在问题上，注意到存在的不同类型是有很大的意义的。能够以为，唯名论所理解的存在是狭义的，根据这种理解，只要客观的个体对象才是存在的。而实在论则对存在作广义的理解，以为共相以及属性、关系、数等等都能够是存在物。从这一点出发，则能够推出，唯名论不成认思想中的对象的存在，而实在论则以为不仅客观现实中的对象是存在的，思想中的对象也是存在的。正是由于这
5、样，我个人以为，严格地讲，存在问题及其争论主要是在唯名论的意义下出现。假如取实在论的观点，即成认各种不同层次的存在或存在物，则所谓的存在问题就不会出现。当然，尽管对存在或存在物能够区分出很多层次或类型，但是，从实用和简单原则出发，我以为，能够宏观地把存在分成两个层次或类型：现实中的真实的存在与思想中的存在。我们在分析存在语句时，只要注意对这两个层次进行区分，则所谓的存在难题就并非是难以解决的。在存在问题的众多难题中，其中之一就是梅农所谓的金山存在问题。按梅农的观点，当我们讲金山不存在时，由于我们一般都预设了语句的主词是存在的，因而，我们将面临这样一个难题：假如金山不存在，那么金山这个词无意义，
6、因此金山不存在这句话是无意义的，假如金山存在，那么金山不存在这句话就等于是讲存在的金山是不存在的，这无疑是自相矛盾的，所以，金山不存在这句话要么是无意义的，要么是自相矛盾的，因而，我们不能讲金山不存在，而只能讲金山存在1。能够看出，假如对存在只作唯名论意义下的理解，即只成认客观世界中真实个体的存在，那么，毫无疑问，梅农的这一存在难题确实是难以解决的。但是，假如对存在作实在论意义下的理解，取存在之广义，即成认思想中的对象的存在，那么，梅农所谓的金山不存在问题则是能够解决的：在金山不存在这一语句或命题中，主词金山所意谓的存在是思想中的存在，而谓词不存在中所指的存在则是作为客观现实中的真实个体的存在
7、，这是两个不同层次的存在，因而，主词所意谓的存在并不构成对谓词不存在的否认，这句话的真实涵义是：作为思想对象存在的金山在客观现实中并不存在也就是讲，金山只是一种思想中的存在物，并不是客观现实中的真实个体。在这种理解下，则不仅金山不存在之类的语句难题能够解决，即便像伯克利学院的又圆又方的屋顶是不存在的这样的语句也是能够理解的：伯克利学院的又圆又方的屋顶是指思想中的对象，是人们思维中的存在物谁能否认这种思想之物的存在呢？人们在思想中是能够想像该对象的存在的，而谓词的不存在则是指它作为客观真实的个体是不存在的。因而，这句话的实际涵义是：作为思想对象的存在物的伯克利学院的又圆又方的屋顶在客观现实中是并
8、不存在的。在存在的类型问题上，一些学者提出要区分可能世界的存在与现实世界的存在，比方国内学者陈波与杜国平等都有此看法。例如，陈波以为：自然语言中的存在语句大都相当于一个命题函项：a存在于W，这里的a是个体常项，W是世界变元或场所变元，它的值域是由所有的可能世界组成的集合。当对这个函项中的唯一的不确定成份变元W代之以可能世界集合中的不同世界时，相应的存在语句就获得不同的真值：在W的一种赋值下为真，在另一种赋值下为假。例如，假如我把贾宝玉存在理解为贾宝玉存在于现实世界之中，该语句为假；但若把它理解为贾宝玉存在于（红楼梦）所描绘的可能世界中，则该语句显然为真。2杜国平先生也以为，存在是一个跨界谓词，
9、即跨越可能世界与现实世界之间的，因而，要注意区分不同世界下的存在3。将存在分成可能世界的存在与现实世界的存在，这一观点我是基本同意的，运用这一观点，可以以很清楚地消除金山不存在之类语句的难题：在可能世界W中可能存在的金山在现实世界中是不存在的。但是，由于可能世界是一个逻辑学概念，它有一个基本的要求，就是在可能世界中不允许逻辑矛盾的出现，所以，对于伯克利学院的又圆又方的屋顶是不存在的这样的语句，即便用跨界存在理论也无法解决，由于，又圆又方是一逻辑矛盾，从逻辑学的观点看，这种逻辑矛盾即便在可能世界中也不应存在4。正是由于运用可能世界概念也不能完全解决存在难题，所以，我以为，不妨撇开可能世界这一概念
10、，将存在分成作为客观现实的真实个体的存在与作为思想对象的存在：由于在作为思想对象的存在中，思想对象即思维中的产物，因而，即便它是自相矛盾的也是允许的，而另一方面，正由于它是自相矛盾的，所以它只能存在于思想中而无法存在于客观现实中。2隐含的存在与明示的存在对于金山不存在或伯克利学院的又圆又方的屋顶是不存在的之类的存在难题，在上面的阐述中，我们是试图将存在作真实个体的存在与思想对象的存在之分来解决的。对于这种解决方式，有人可能不同意，即不同意将存在取广义与狭义之分，而倾向于唯名论意义下的存在。那么，下面我们要考虑的是，假如取唯名论意义下的狭义的存在，即以为存在只是真实个体的存在的话，我们如何解决上
11、述的存在难题呢？存在问题的一个主要内容就是所谓的主词存在问题，这个问题在当代逻辑哲学中的表述就是：在形如S是P或S不是P之类的命题或语句中，S作为命题或语句的述讲对象即主词，是被预先假定为存在的，这也就是讲，一旦某人作出S是不是P之类的命题或语句，他就认定了S是存在的。也正是由于这个主词存在的预设，就导致了金山不存在之类的存在难题：在形如S是不存在的之类的命题或语句中，一方面该命题或语句本身预设了主词S是存在的，另一方面命题或语句的谓词又指出了S是不存在的，因而，S是不存在的就等于讲那个存在的S是不存在的。要在取存在之狭义即在唯名论所指的存在的前提下解决这个问题，我以为，我们有必要将存在区分为
12、隐含的存在与明示的存在。我以为，任何一个形如S是不是P之类的命题或语句都预设了主词S的存在，这种意义下的存在是通过语法或语义蕴涵隐含地告诉我们的，因而，我们把这种意义下的存在谓之命题或语句的字里之意或潜在之意，它所谓的存在是一种隐含的存在。而在S是存在的或S是不存在的中作为语法谓词所明确宣称的存在或不存在，则是命题或语句本身明确地显示的，因而，这种意义下的存在我们谓之明示的存在，它属于命题或语句本身的字面之意。从逻辑层次来讲，在一个命题或语句中，明示的存在要强于隐含的存在，这也就是讲，假如在一个命题或语句中，其隐含的存在与明示的存在并不矛盾，那么隐含的存在就能够上升为明示的存在，即由隐变显，比
13、方在语句小张考上了大学、史密斯先生出去旅游了中，都有小张存在或存在一个叫史密斯的人之类的隐含存在，由于它们与语句本身的明示之意不相矛盾，因而，这些隐含的存在是合理的，能够由隐变显。反之，假如在一个命题或语句中，既有隐含的存在，也有明示的存在，且两者是互相矛盾的，那么，在这种情况下，由于明示的存在要强于隐含的存在，于是，明示的存在就自动地消除了隐含的存在，整个语句便只包括明示的存在之意。例如，在孙悟空是不存在的这一语句中，主词预设了孙悟空是存在的，但语法谓词不存在的则明示了孙悟空的不存在，在这里，隐含的存在与明示的存在发生了矛盾，因而，明示的存在就自动地消除了隐含的存在，这样，整个语句的意思就是
14、孙悟空是不存在的而不是那个存在的孙悟空是不存在的。用同样的方法，我们可以以解决金山不存在与伯克利学院的又圆又方的屋顶是不存在的之类的难题。这也就是讲，作为命题或语句的字里之意的隐含的存在与作为命题或语句的字面之意的明示的存在是两个不同层次的存在，一旦在命题或语句中两者发生冲突，则明示的存在就自动地消除了隐含的存在，这样，整个命题或语句就以明示的存在为准。在对存在作隐含的与明示的之分这一点上，逻辑学家盖士达的潜预设(Pre-Supposition理论对于我们进一步理解这一问题是有助的。按盖士达的观点，所谓一个语句的潜预设，是指该语句所具有的潜在的、可能的预设，它是一个句子从语义上分析而得到的预设
15、。一个语句的潜预设假如与该语句的特定的语境相一致，则它就显现出来，成为实际的预设，反之，假如它与该语句的特定的语境相矛盾，则它就被该语境消去而不复存在了。例如，相对于语句小王用不着戒烟，由于事实上小王从没有抽过烟，尽管小王用不着戒烟有预设小王曾抽过烟，但由于它与后面的语句相矛盾，所以，后面的语句由于小王从没有抽过烟就自动消去了这个预设，因而，这只是一个已被消去的潜预设5。可见，按盖士达的观点，对语句的潜预设的设定只是语义上的分析，而该潜预设在详细的语境中能否显现出来，则是一个语用问题。套用盖士达的这一讲法，我以为，我们可以以讲，隐含的存在只是一个语义上的问题，而它能否变成明示的存在则是一个语用
16、问题。3传统逻辑的存在与当代逻辑的存在存在问题并非当代逻辑的产物，实际上，在传统逻辑的性质命题中就涉及到了这个问题，这就是所谓的主词存在问题。我们知道，在性质命题中，同一素材的四种命题A、E、I、O之间具有真假之间的可推导关系：反对关系、下反对关系、矛盾关系、差等关系。根据这些关系，我们便能够在四种命题间进行推导，比方，由A命题的真，能够推知E命题为假，由0命题的假能够推知A命题的真，等等。这种同一素材的A、E、I、O之间的真假关系，也叫对当方阵。但是，这种推导关系有时会出现问题。例如，根据差等关系，由SAP的真能够推出SIP一定真，可是，当我们由所有的金山都是金子做成的推出有的金山是金子做成
17、的时，我们就发现，这种推理并非是保真的，由于，在这个推理中，前提所有的金山都是金子做成的无疑是真的即便并不存在现实的金山，但结论有的金山是金子做成的却是假的，由于后者是一个特称命题，也叫存在命题，其意为：至少存在一座金山是金子做成的。为了解决这个问题，传统逻辑对根据对当方阵所进行的推理有一个要求，即性质命题的主词必须被假定是存在的，假如不假定主词是存在的，则从全称到特称的推理就不是保真的。因而，传统逻辑在推理中引入了本体论的假定，它要求主词都必须是存在的。而事实上，从当代逻辑的观点看，这种假定是错误的。所以，当代逻辑对存在问题进行了新的理解。我以为，当代逻辑对存在问题的奉献主要表如今下面两个方
18、面。第一，当代逻辑对传统的性质命题作了更为准确的分析。就传统逻辑来看，性质命题都是主谓形式，它们所断定的是普通名词之间存在的关系，因而，传统逻辑以为，全称命题A与特称命题I的区别只是主词的周延情况不同，即前者的主词是周延的而后者不周延，除此之外，两者本质上是一致的。对于这一观点，当代逻辑并不同意，当代逻辑以为，全称命题A与特称命题I的根本区别在于前者对于主词的存在并没有作断定，而后者则对于主词的存在作了明显的断定，由于，全称命题是一个假言命题，而特称命题是一个存在命题。这也就是讲，全称命题所有S都是P的真实涵义是：对于所有的个体x，假如x是S，那么x是P，用公式能够表示为：。而特称命题有的S是
19、P的真实涵义则是：至少存在一个个体x，x是S并且x是P，用公式能够表示为：。通过当代逻辑的这一分析，我们就能够清楚地看出，在主词并不存的情况下，全称命题仍然是真的，而特称命题则是假的，因而，在当代逻辑中，SAPSIP的推理是无效的。第二，在存在是不是一个谓词这一问题上，当代逻辑进行了深化的研究。针对关于上帝存在的本体论证实，康德提出，存在不是一种性质，因而，它不是一个谓词，随后，这个观点得到了大多数逻辑学家与哲学家的赞同，弗雷格、罗素、斯特劳逊、摩尔、赖尔、艾耶尔、奎因等都持一样观点。按他们的观点，尽管棕色的牛是存在的与棕色的牛是强健的这两个句子形式一样，即存在的与强健的都出如今谓语位置上，因
20、此从形式上看两者都是谓词，但实际上，语句中的存在是能够等值地消去的，由于，棕色的牛是存在的能够等值地转换为有的牛是棕色的，而棕色的牛是强健的中的强健的却不能被等值地消去。因而，存在并不是一个真正的逻辑谓词而是一个量词，存在语句实际上是一个量词语句，所以，能够用当代逻辑的量词理论来处理存在语句。我们知道，在谓词逻辑中，量词主要有两个，即全称量词与存在量词，分别表示为x与x，前者相当于自然语言中的所有、任何、一切等，后者则相当于自然语言中的有、有的、有些等。假如我们对量词取其客观解释，则全称量词可解释为对宇宙间的所有事物x来讲，x都是F，而存在量词则能够解释为宇宙间至少有一个事物x，x是F。以这种
21、解释为基础，弗雷格与罗素提出了一个著名的观点：存在就是命题函项的可知足性。按弗雷格与罗素的观点，谓词其本质是以命题为值域的函项，一个全称语句是指所有的个体都知足该命题函项，而一个存在语句则是指至少有一个个个体知足该命题函项。讲一个存在语句为真，也就是讲这个存在语句的命题函项是可知足的6。现代美国著名的哲学家与逻辑学家奎因也以为，我们假如要探究某一理论或思想中的本体论，即探究这种理论或思想中成认哪类对象是存在的，我们能够将这种理论或思想先进行谓词逻辑的处理，将其语句进行量化，然后确定该理论或思想中哪些量词式是真的即确定哪些量词式是该理论中的定理，最后再确定要使得这些量词式为真，存在量词式的约束变
22、项该取什么值。这些存在量词式的约束变项所取的值便是该理论或思想所认可的存在物。因而，奎因也提出了一个著名的口号：存在物的整个领域是变项的值域，存在就是一个变项的值7。奎因还进一步指出，所谓存在，就是在一个约束变项这种代词的指称范围之内。被假定为一个存在物，纯粹只被看作一个变项的值，我们的整个本体论，不管它可能是什么样的本体论，都在有个东西、无一东西、一切东西这些量化变项所涉及的范围之内，当且仅当为了使我们的一个断定是真的，我们必须以为，所谓被假定的东西是在我们的变项所涉及的东西范围之外，才能确信一个特殊的本体论的假设。8从上面的介绍能够看出，以为存在不是一个逻辑谓词，用量词理论来处理存在问题，
23、这就是当代逻辑对存在问题的主流处理方式。当然，也有一些当代逻辑分支仍然以为存在是一个谓词，比方非经典逻辑中的自由逻辑就持此观点。在这种处理方式下，存在被看作命题函项的可知足性，是约束变项的值。很明显，这种处理方式的好处就是将存在问题变成了一个纯粹的逻辑问题，进而从逻辑上解决了所谓的存在难题。但我以为，这种处理方式也有一定的局限性：它回避了存在作为一个谓词所面临的各种逻辑哲学问题，毕竟，存在至少是一个语法谓词。因而，我以为，本文的第一与第二部分实际上就是在成认存在是一个逻辑谓词的前提下对解决存在问题所作的一种讨论。【参考文献】16陈晓平.关于存在问题J.哲学研究，1997(12).2陈波.逻辑哲学引论M.人民出版社，1990.289.34杜国平.论作为跨界谓词的存在J.哲学研究，1997(2).5杨先顺.论盖士达的潜预设理论J.学术研究，1998(5)增刊.78奎因.从逻辑的观点看M.江天骥等译.上海译文出版社，1987.1-31.