弗雷格量词―变元理论.docVIP

弗雷格量词―变元理论 　　摘要：弗雷格是现代逻辑的创始人，也是语言哲学的创始人，在对逻辑和哲学的诸多影响中，起关键和基础作用的是弗雷格的量词―变元理论。在弗雷格事业的开端，出于对自然语言表达方式和传统逻辑表达能力的不满，弗雷格将数学中的函数概念引入对句子结构的刻画中，并在此基础上引进量词和约束变元，从而使得包含个体词和多个量词的句子的结构都得到准确的刻画，逻辑表达能力和推导能力因此大为加强，新的逻辑呼之欲出。也正是量词―变元概念的发现，导致弗雷格改变了他后来对哲学的看法，量词―变元理论是弗雷格逻辑体系和哲学体系的基础和核心理论。 　　关键词：弗雷格；量词―变元；量化 　　中图分类号：B81-095文献标识码：A文章编号：1003―0751（2013）02―0107―05 　　弗雷格（Gottlob Frege，1848―1925）是现代逻辑的创始人，也是公认的分析哲学和语言哲学的创始人，他的思想对20世纪的逻辑、哲学以及与之相关的学科产生了重要的影响。达米特指出，在哲学史上，有三项殊荣归属于弗雷格：首先，弗雷格发明了一种形式语言，并建立了逻辑史上第一个谓词逻辑系统，从而开创了用形式语言研究逻辑的新时代；其次，弗雷格所开创的逻辑方法被证明是研究哲学的重要方法，他的哲学逻辑的方法促进了其后的哲学重心的转移――从笛卡尔所开创的认识论研究向语言分析的转向；最后，弗雷格用数学的方法研究逻辑，反过来也促进了数学哲学的巨大发展，数学哲学其后的许多成就都受到了弗雷格莫大的启迪。①而在这三大成就里，起关键和基础作用的就是弗雷格的量词―变元理论。 　　在弗雷格事业的开端，正是由于量词―变元概念的发现，引领了他对逻辑的看法，量词和量化理论是弗雷格逻辑哲学体系的基础和核心理论，“量词也是弗雷格最重要的发现和贡献”②。关于弗雷格的量词―变元理论，本文将关注以下几个问题：量词―变元概念提出的理论背景――传统逻辑的特点和局限性；量词―变元理论是如何被弗雷格发现的；量词―变元理论带给了弗雷格怎样的看待逻辑和哲学的视角，以及这些视角所带来的对逻辑和哲学的影响；弗雷格的量词―变元理论所遗留的问题。 　　一、传统逻辑的特点和局限性 　　作为一个数学家，弗雷格在自己事业的开始阶段，其兴趣并不在于改革传统逻辑，而是希望为算术提供一个坚实的基础。在弗雷格看来，算术的基础就是逻辑，因此，从逻辑推出全部的算术成为弗雷格的行动纲领和目标。面对这样的目标，弗雷格首先需要解决的就是如何用逻辑的方法表示算术的常用语言表达方式，如“每一个数都有一个后承”，“每一个偶数都是两个素数之和”等。而这样的句子都包含了多个量词，这是传统逻辑所无法表达的。就是在探索算术基础的过程中，弗雷格看到了传统逻辑的局限性和缺点。 　　在古希腊逻辑发轫之初，人们关注的主要是形如“所有人都是会死的”即“S是P”这样句子的推 　　理，亚里士多德所建立的三段论推理系统也专注于此。在“S是P”这样的句式的基础上，加上否定，再加上两个基本的量词――全称量词和特称量词，就形成了传统逻辑的四个基本命题的句式：“所有S是P”，“所有S不是P”，“有S是P”，“有S不是P”。三段论推理关注的就是从拥有一个共同项的两个命题出发，可以有效地得出怎样的结论。在三段论推理中，推理形式和日常语言的形式是紧密相关的甚至是一致的，虽然在进行逻辑分析的时候，亚里士多德引进了S、P这样的字母依次表示主项和谓项，但三段论推理并没有真正做到形式化：一方面，句子中的肯定项、否定项以及量词都没有得到形式的刻画，另一方面，三段论推理在亚里士多德那里并没有构成演算，最重要的是，亚里士多德对命题的形式刻画研究并没有突破自然语言的句型，三段论依旧关注的是主谓式句子的性质和推理。虽然三段论推理代表了传统逻辑的最高成就，但是推理形式过分依赖于日常语言形式，还是使得传统逻辑处理句子的能力受到很大的局限。 　　首先，传统逻辑不能处理包含个体词的语句的推理问题。逻辑上把主语是个体词的语句称之为单称命题，虽然亚里士多德在划分命题类型的时候提及了单称命题，但是其在三段论推理中却排除掉单称命题，中世纪及以后的逻辑沿袭了亚里士多德的做法。尽管对亚里士多德在三段论推理中排除掉个体词的原因，逻辑学家们意见不一，但能够确定的是，个体词的引入会给三段论推理带来混乱。因此也可以说，亚里士多德逻辑是处理不了个体词的。这种情况经过中世纪的漫长发展也没有得到改变。 　　其次，亚里士多德的逻辑只能处理包含一个量词的句子情况，而对包含两个甚至多个的叠置量词的复杂句子，如“每个人都会嫉妒别人（Everybody envies somebody）”，则一直无能为力。与此相联系，亚里士多德的逻辑也处理不了关系语句，如“约翰嫉妒汤姆（John envies Tom）”。从亚里士多德和斯多葛学派开始，逻