存在问题的逻辑哲学探赜

《存在问题的逻辑哲学探赜》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、存在问题的逻辑哲学探赜存在问题的逻辑哲学探赜　存在问题是一个古老而常新的本体论问题。在哲学史上，令人瞩目的是自从哲学发生语言学转向以来，对存在问题的探讨进入了.L.现代逻辑的视野。现代哲学家、逻辑学家运用现代逻辑工具，企图解决有关存在的诸多难题，使存在问题的研究工作踏上了更加深刻与细致之途。本文试图对这一历史片段的重要思想作一简要回顾，并提出自己的初步见解。　　　　一、何谓存在存在是不是逻辑谓词的争论　　　　在哲学史上，亚里斯多德首先对存在进行了较深入的探讨。在他看来，存在是存在物或范畴的一种不言自明的性质

2、，存在在主谓式命题中充当谓词，用以述说主词所指对象的普遍性质。亚氏的这一思想符合人们的直观思维，长时间内被奉为无可置疑的真理。中世纪经院哲学家安琴伦和近代哲学家笛卡尔就援用了这一思想提出了上帝存在的本体论证明：上帝是完美的，即上帝具有一切性质，存在也是一种性质，所以，上帝具有存在性，即上帝存在。然而这一证明引起了康德的反驳。康德认为，该证明的荒谬之处在于它把存在看作一种性质。存在虽然从表面上看似性质，实际上却非真正的性质。相应地，在语言形式上，存在虽然表面上是语法谓词，但它不是真正的谓词，即逻辑谓词。因为它

3、根本没有起到逻辑谓词的作用，即能给主词概念提供新的信息或知识。例如是红色的、是一只驯虎是真正的谓词。如果我告诉你：x是红色的，x是一只驯虎，那么我便向你提供了有关x的事实。而我对你说x存在时，实际上是说有x，没有向你提供有关x的任何新的信息或知识。康德的这一见解是深刻的，引起了后来存在问题研究的争论高潮。这一高潮在逻辑学界主要是围绕存在是不是逻辑谓词而展开的。　　在一阶逻辑中，把存在作存在量词处理的人可追溯于奥地利哲学家布伦坦诺(F．Brenta-no)，他注意到存在一词与有些之类的词之间有类似关系。如有一

4、个人病了等同于个病人是存在的或者存在一个病人，它们之间是等值的。因此，他称有些这类词为存在量词(记作E)，并主张存在不是谓词，而是量词。　　弗雷格将存在称作语言的一种困境作品，认为其作用只在于促使人们去寻找并使用谓述内容的真正的表达方式特称判断，即存在判断。在《算术基础》中，通过与数学中的一阶函数与二阶函数之间的区分相类比，他区分了不同等阶的概念。以单个客体作为主目的是一阶概念，以一阶概念为主目的是二阶概念。前者如是智慧的，后者如有实例。一阶概念表示客体的性质，二阶概念表示一阶概念的性质或性质的性质。对弗雷

5、格来说，存在是一个二阶概念，存在概念所表达的本质上是这样一个思想，即一个一阶概念确实有实例，存在等于不是空的或被满足。我称存在为一个概念的性质。在至少有一个4的平方根这个句子中，既不是表达了一个确切的数2，也不是表达了－2，而是表达了一个概念，即4的平方根，它不是空的。我以下述方式表达相同的思想，4的平方根这个概念被满足。①　　罗素基本接受了弗雷格的存在观存在是概念或命题函项的可满足性。他说：存在的最基本的形式乃是从有时真这个概念直接推导出来的。如果真，我们说a满足函项中；这和说一个方程式的根满足这个方程式

6、的意思一样。②当你取任何一个命题函项并且断定它是可能的，即它有时真的时候，这就给予了你关于存在的最基本的意义。存在在本质上是命题函项的一个特性，这是指命题函项至少在一个实例中是真实的。③我们不能说现实个体存在或不存在，因为断定其存在或不存在的是命题函项。存在只能与一个命题函项而不能与一个指称个体或殊相(罗素有时称个体为殊相)的专名一起使用。存在命题没有对现实的个体作出任何说明，而仅对类或函项有所说明。如果说某某存在，就会产生将只适用于命题函项的一个谓词转变成为满足一个命题函项的个体的谬误。④　　罗素的独到之

7、处在于用摹状词理论处理存在难题。罗素承认，诸如荷马存在、圆形的方形不存在含有空词项的句子是有意义的，但这并不表明存在在这些句子中充当逻辑谓词。这些句子中的语法主词无法确保其命名对象的存在，不能算是命题的真正成分，我们可以将它们化归为相应的定摹状词。这样的句子可以改写为一个含有命题函项和变项的命题形式，句子中的伪成分(空词项)和谓词存在通过改写消失了。例如，圆形的方形不存在可以改写为一个对象x既圆又方这个命题函项是假的。荷马存在可改写为x是《荷马史诗》的作者这个命题函项有且仅有一个值是真的。通过这样的分析，使

8、我们从表面谈论具有某些属性的事物的存在问题转成谈论这些属性本身，或者说，从表面上谈沦个体词的属性转化成谈论命题函项的属性。罗素认为，人们之所以会在存在问题上犯错误，是被表面语法所迷惑，通过这种分析，可以澄清存在问题上的思想混乱，并能解决哲学史上的许多存在难题。弗雷格、罗素式的分析方法，即将日常用语中的主谓式语句化归为量化式语句，以表明存在不是逻辑谓词的做法，受到了一些人的批评与挑战，皮尔士(D．Pears)和斯特