_存在_是否谓词浅析

《_存在_是否谓词浅析》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、重庆科技学院学报（社会科学版）2011年第4期JournalofChongqingUniversityofScienceandTechnology(SocialSciencesEdition)No.42011“存在”是否谓词浅析张丽，熊声波摘要：“存在是不是谓词”的争论由来已久，主要集中于三种结论：一是以弗雷格、罗素等逻辑学家为代表，认为“存在”不是谓词，而是量词。二是皮尔士等人结合精致的自然语言分析，认为“存在”在某些特殊情况下可以充当逻辑谓词，因此它是一种特殊的谓词。三是自由逻辑学家认为“存在”是谓词。关键词：存在；逻辑谓词；性质中图分类号：B81

2、5.3文献标识码：A文章编号：1673-1999（2011）04-0048-02作者简介：张丽（1985-），女，重庆渝北人，云南大学滇池学院（云南昆明650228）教师，从事现代逻辑研究；熊声波（1981-），男，江西南昌人，云南大学滇池学院教师。收稿日期：2010-11-27“存在”是形而上学乃至整个西方哲学最为基本、质，即“存在”并非一个真正的谓词。康德认为，虽然最为核心的概念。从古代巴门尼德的“存在”本原论、“存在”确实是语法谓词，但是它在逻辑上根本不起谓亚里士多德的概念论，中世纪关于“上帝存在”的本体词的作用。且考虑真正的谓词如“…是红的”、

3、“…是方论证明，近代康德对“上帝存在”证明的反驳到现代的的”、“…是一只驯服的虎”。如果你被告知x是红的、皮尔士、弗雷格、罗素、斯特劳森、蒯因等人的逻辑语是方的或是一只驯服的虎，那么你是知道了有关x的言解说，显示出存在问题的复杂性。特别是进入20世事实。然而如果你被告知x存在，则你并未得到有关纪以来，西方哲学的语言哲学转向为存在问题的讨论x的任何信息，或者说没有给出对于x的进一步的描注入了新的活力。述。正如康德所说，“存在”显然并不是一个真正的谓存在问题争论的焦点之一是：“存在”是一种性质词，这就是说，它并不是那种能对一事物的概念有所[1]11吗？进而

4、“存在”是一个谓词吗？在日常生活中，我们不添加的某物的概念。康德拒斥笛卡尔本体论证明的乏知道这样一些语句：“苏格拉底存在”，“飞龙不存方式是，既然存在不是一种性质，也就不可能是完美在”，“孙悟空不存在”，“哈姆雷特不存在”，等等。在这的，从而如果完美是上帝的一个必要条件即对于上帝样一些语句中，“存在”似乎是事物的某种性质，相应是一个本质性的性质，那么不能得出上帝存在。地，“存在”似乎是描述事物性质的谓词，正如“…是红弗雷格将“存在”称作“语言的一种困境作品”，认的”、“…是方的”、“…是一只驯服的虎”，等等。正由于为其作用只在于促使人们去寻找并使用陈述

5、内容的这样，17世纪法国哲学家笛卡尔在他的第五个沉思真正的表达方式———存在判断。弗雷格区分了不同等中，提出了对上帝的本体论证明的见解。他认为，上帝阶的概念，以单个客体作为主目的是一阶概念，以一阶的存在可以从上帝的本质中分离出来，这就正如三个概念为主目的是二阶概念。一阶概念表示客体的性质，[2]2-23内角等于两直角可以从一个三角形的本质中分离出二阶概念表示一阶概念的性质或性质的性质。对于来一样。笛卡尔的意思是，上帝不存在的说法是一个弗雷格来说，存在是一个二阶概念，存在概念所表达矛盾。因为上帝是完美的，即上帝具有一切性质，存在的本质上是一个一阶概念确实

6、有实例。“存在”等于[1]10是性质之一种。所以，上帝具有存在性，即上帝存在。“不是空的”或“…被满足”。“我称存在为一个概念的这个证明是十分荒谬的，人们就把批判的矛头指向前提性质。……在‘至少有一个4的平方根’这个句子中，“存在是一种性质”，认为存在并不是性质。这就产生既不是表达了一个确切的数2，也不是表达了-2，而了“‘存在’是不是一个谓词”的争论。是表达了一个概念，即4的平方根，它不是空的。……我以下述方式表达相同的思想，‘4的平方根’这个概一、“存在”不是谓词[3]83念被满足。”康德反对本体论的证明，同时他也注意到笛卡尔罗素全盘同意了弗雷格的

7、观点，并受到康德的影的论述，他所提出的理由之一在于，存在不是一种性响，在其所发展的摹状词理论中，也否认本体论证明—48—中的前提“存在是一种性质”，他认为“存在”不是个体不过，皮尔士认为这个最低程度表达至少在下述的性质，“存在”不能作为谓词修饰个体，只能作为谓三种情形下不成立：第一，当单称存在语句的主词指词修饰命题函项，“存在实际上是命题函项的一种性称某个虚构世界中的个体时不成立。因为诸如“哈姆[4]280质”，“存在在本质上是命题函项的一个谓词。”这雷特”、“孙悟空”这样的虚构人物只在作者的虚构世里所谓的“命题函项”是指一个带空位的表达式，其一界中存

8、在，而并不蕴涵它们在现实世界中的存在。假般形式是F(…)，相当于一个简单谓词或复合谓词，而如断