论弗雷格的“真之收缩”思想

弗雷格运用逻辑分析的方法,提出了自己独特的"真"之思想,形成了关于"真"的完整理论。在他看来,"真"不具有实体属性,不存在与客体在存在方式或存在状况的符合与对应,"真"只用来表达断定句形式中的断定力。当"5是素数"这个句子带有断定力时,真也就被表达出来,它与"5是素数是真的"表达了同样的内容。另外,他将"真"作为初始概念,认为真是不可定义的。如果对"真"进行定义,将走入"定义的循环"。因为要知道什么是"真",就需要论证表象与现实的一致性,而二者的一致又依赖于"真"的定义。这种思路与做法必将导致循环定义,故弗雷格认为"真"是不可定义的。基于以上两点的分析,他再次对符合论提出批评。他认为,如果符合论对"真"的理解是正确的话,那么结论是"事实比真更为基本,应该在事实的基础上定义真",但这显然是错误的,因为我们总是通过真来确定事实,而不是通过事实来确定真。我们似乎可以在弗雷格思想中找到收缩论的雏型,因为他关于"真"的认识与收缩论在很大程度上是一致的。收缩论最重要的观点在于说"P是真的"和说"P"有相同的涵义,谓词"是真的"是多余的。"真"本身是可收缩的,不带有实体性质。于是,我们可把弗雷格作为表达真之收缩观点的第一位哲学家,虽然他并不是坚定的收缩论者。     

同一、相等和等值

在《论意义和指称》(1892)一文的开头,弗雷格陈述了他在《概念文字》(1879)中的思想,即他认为同一是对象的名称或符号之间的关系。在《概念文字》中,我们可以看到如下的描述:1——(A≡B)的意思是:由于符号A与符号B具有相同的概念内容,因此A总是可以为B所替换,反之亦然。这一概念与莱布尼兹关于“同一法则”     

《算术基本规律》序言

弗雷格在两卷本的《算术基本规律》中以严格形式化的方式完成了逻辑主义的任务,即用逻辑符号定义算术符号,然后从逻辑公理推出算术公理。在该书的序言中,弗雷格首先重申了逻辑主义的目标及其哲学意蕴;其次,他介绍了《算术基本规律》一书的主要内容和阅读方法,并且说明了他的形式系统从《概念文字》到《算术基本规律》的转变过程;最后,他以埃德曼的《逻辑学》一书为靶子,激烈地批判了逻辑学中的心理主义思潮。     

从盖梯尔问题的解决看真之理论的转变

传统符合论的真之定义存在的致命缺陷已广为人知。盖梯尔问题的产生与传统真之概念存在着某种深层次的关联,从陈晓平教授的语境主义解决方案出发,分析了真之概念的实用主义特征和与之相关的多元性特征。从真概念的多义性和单义性的矛盾入手,分析了他所提出的"T′模式"、"语言性事实"等关键性概念,进而对其"真之符合多元论"做出评价。     

弗雷格《概念文字》理解的两点注记

文章旨在简要地讨论弗雷格《概念文字》,指出其中的两个重要但被一些国内学者误解或忽略的贡献：首先我们指出,根据Boolos等人的论证,弗雷格《概念文字》中的逻辑本质上是带完整二阶存在概括规则的二阶逻辑,这点在国内一些学者的著作与文章中存在误解;其次,我们讨论弗雷格如何用遗传性概念来定义祖先关系,进而定义自然数或有穷数,并使得数学归纳法仅根据自然数的定义就得以成立,这也为弗雷格把算术还原为逻辑奠定了基础。     

真与意义理论

意义理论是语言哲学的核心内容。意义理论与语言相关,因而与对语言的使用和理解相关,与语言所表达的世界相关。今天,意义理论受到哲学家们的高度重视,有关讨论广泛而深入,观点各异,成果多样。在今天的讨论中,真之极小论、真之紧缩论、真之去引号论、真之代句子理论等一些新的真之理论业已成为重点。但是,真之符合论、真之实用论等传统理论也仍然被涉及,并且由于深入讨论而得到新的认识,尽管许多结论是否定的。在我看来,意义理论的最大特征是与真这个概念密切相关,或者说,真这个概念是意义理论的核心概念。正因为这样。如今的讨论,无论是什么观点,几乎都预设了一个前提:塔尔斯基的语义理论。如果引申开来,甚至可以看到,正是基于真的解释,人们对意义理论形成不同的看法。比如戴维森的意义理论被称为真之理论,即基于T语句提出了一种如何理解语言的真之理论,而达米特则认为这只是对部分语言提出解释,并没有对整个语言的运作提出一种解释。所以,戴维森的解释顸设了对真这个概念的理解,他认为要围绕着真来考虑问题,而达米特虽然承认真这一概念的重要,却认为对真这个概念本身要进行思考,而且要超出这个概念来考虑我们的语言。我翻译过奎因的《真之追求》(三联书店,1999年)、达米特的《分析哲学的起源》(上海译文出版社,2005年),戴维森的《真与谓述》(上海译文出版社,2007年即出),也翻译过一些文章发表在本刊(例如参见《世界哲学》2006年第1期、第2期)。我希望国内读者能够了解和重视这方面的研究情况。编译下面这些内容,也有相同的意思。     

论弗雷格的索引词理论

索引词普遍存在于每一种自然语言中,存在于我们的日常语言中,对索引词的哲学思考及逻辑研究既是语言哲学不可缺少的一个构成部分,也是自然语言逻辑以及语义学、语用学不可或缺的一个要件。弗雷格作为现代逻辑的创始人、语言哲学的代表人物,其关于索引词的理论无疑具有重要的学术价值。本文将通过"索引词"与"指示词"的用法入手,在论述弗雷格迷题的索引词理论的基础上,分析弗雷格关于"我"的不可交流的思想,并评说其学术贡献。     

弗雷格坍塌、弹弓论证与共指替换——评颜青山对句子指称的分析

弗雷格所持句子指称真值的主张导致"弗雷格坍塌",即所有真句子指称真,所有假句子指称假。这一点为丘奇、哥德尔等人的"弹弓论证"所证明。要避免这种后果,应当审查弗雷格的两个预设:限定摹状词是专名的观点和组合性原则。罗素通过摹状词理论消除了坍塌,但其理论存在基本缺陷。颜青山试图表明弗雷格误用了组合性原则并得出句子指称事态而非真值,但他的论证是不成功的。     

什么是意义理论?(Ⅱ)

一 一个句子的意义是否就在于它的真之条件?一个词的意义是否就在于它对确定任何含有它的句子的真之条件所起的作用? 没有必要不厌其烦地说,对这些问题的肯定的回答,代表厂那些不会完全放弃意义概念的哲学家们对说明此概念最流行的看法,比如,弗雷格、写《逻辑哲学论》的维特根斯坦、以及戴维森等都曾明确地坚持过这个概念,等等。肯定的回答是否是错的,我完全没有把握。不过有一点我相当肯定,即这样一种回答会面临一些棘手的困难,而且,只有在我们说明了如何可以克服这些困难之后,我们才有权假定这种回答是对的。在我看来,我们为什么应该需要或者我们如何能够在这里使用真这个概念(或者更确切地说,真和假这一对概念),也就是说将其作为意义理论的基本概念(或一对概念),绝不是显而易见的,因为对这样做是必要的或可能的,需要加以证明,否则我们没有权利假定意义和真就是以弗雷格所设想的那种方式联系在一起的。     

论戴维森的真之理论

毫无疑问,真之理论在戴维森的哲学理论中扮演着核心地位,如果不理解他的真之理论也就无法理解他的整个哲学思想。虽然在他的哲学生涯中,戴维森对真的理解并非完全保持一致,甚至在某些地方曾出现过重大转变,但这并不妨碍他的真之理论形成一个整体。因为戴维森在很多关键地方,对真的理解保持着不变。戴维森对真的理解可以从两个方面进行阐述。从否定方面看,戴维森认为真是不可被定义的,因为它是一个最简单的概念;其次,真之紧缩论对真的解释是不能成立的,因为它并不能把握真的实质。从积极方面看,戴维森肯定了真与人之间的紧密关系,并认为人是真的前提;同时,他又强调了真与信念、愿望以及意义之间的联系,认为对这些概念的解释必须以真为基础。     

试图定义真乃是愚蠢的

围绕塔斯基真之语义学看法的讨论形成了语言哲学的核心内容。从塔斯基的T语句以及他的一些相关论述出发,不少人认为他与亚里士多德一样,是一个真之符合论者;也有人认为他为紧缩论提供了支持;还有人依据他的思想提出了去引号的真之理论。这些不同看法和讨论涉及语言层面与其所表达的事实层面之间的关系,涉及语言的句法形式和语义结构的特征之间的关系,等等。戴维森对这些不同看法以及其他一些看法进行了讨论,并且提出了自己多年来一些反复思考的看法。     

弗雷格与怀疑论问题——对概念文字的知识论辩护

弗雷格的概念文字是他旨在为算术提供基础而设计的一种逻辑系统,就他的逻辑主义数学哲学计划而言,这种逻辑系统应当表现了具备最高程度确实性的知识。因此,我们可以利用笛卡尔式的怀疑论方法来考察这个系统,看为了达到这种确实性,概念文字应当具备何种特性。这可以从语义和句法两个方面论证,从其构造的基本原则来看,概念文字确实有能力通过怀疑论方法的测试。通过这样的论证我们可以看出,一种在知识论上有足够抱负的逻辑系统应该是怎样的。     

弗雷格的逻辑观

现代逻辑的创始人弗雷格(1848—1925)认为,逻辑研究真,逻辑是关于实真的最普遍规律的科学,逻辑的任务仅仅说明最普遍的东西、对所有思维领域都有效的东西。     

《逻辑哲学论》中的真理概念

维特根斯坦在其《逻辑哲学论》中集中讨论了真理概念,他处理这个概念的方式表明了如何理解语言与实在的关系,以及在何种意义上没有否定记号所代表的实在之物。本文从维特根斯坦关于真理符合论的表述是否会遭到弗雷格的批评这个问题入手,对照戴尔蒙德关于维特根斯坦真理概念的解释,给出了自己的解读,按照这种解读,真内在于使用命题的活动。     

真之同一论

人们一般认为布拉德雷提出一种真之一致论,并在这一点上把他的哲学与被认为赞同真之符合论(a correspondence theory of truth)的分析哲学先驱穆尔和罗素的观点进行对比。S.坎德利施(Candlish)显然没有这做样,他最近论证说,这种对比基于一系列误解,一方面是对布拉德雷的误解,另一方面是对罗素和穆尔的误解。根据他的观点,关于真,穆尔和罗素(至少在其早期论著中)与布拉德雷是一致的。但这不是因为穆尔和罗素是一致论者,也不是因为布拉德雷是符合论者;相反,他们都共同信奉一种被坎德利施称为“真之同一论”(identity theory of truth)的观点。尽管我同意坎德利施的核心论题,但是我不完全同意他关于布拉德雷立场的观点。我在这里不是要与坎德利施争论,而是要讨论真之理论在这些哲     

论克里斯平·怀特的扩充论证

克里斯平·怀特提出了著名的扩充论证,以表明收缩论真概念是内在地不一致的。亚历山大·米勒利用他所说的"怀特的原理"对该论证提出批评。本文分三个主要部分:第一部分介绍怀特的论证;第二部分简述米勒对该论证的批评,然后指出,米勒误读了怀特的原理,怀特的原理(无论有没有被误读)不能用于反驳怀特的论证,从而米勒的批评失效;第三部分重述怀特的论证的各个步骤并对之进行分析,从若干方面(如怀特关于真之标准的原理等)揭示怀特的论证的缺陷。     

真之形而上学

“真”是语言哲学的核心概念,由于该词本身的特性,它的语义特征在日常使用中并不明显。围绕“真”有许多讨论,形成不同理论。这样的讨论和理论既有语言学层面的问题,也有形而上学层面的问题。戴维特详细分析论述了这两个层面的差异,并试图说明二者的优劣以及孰为先孰为后。无论他的观点是不是正确,不管他的论证是不是充分,他的文章至少是一篇出色的综述,从中可以使我们大致领略当前关于真之形而上学是一种什么样的讨论。     

思想的逻辑问题域与逻辑学的发展

弗雷格作为数理逻辑、逻辑哲学、数学哲学与语言学的大师,在他对上述学术领域的所有开创性的贡献中,至今仍发生重大影响力的,几乎都与关于思想的理论有关。弗雷格的数理逻辑系统和关于思想的理论,是引起哲学和逻辑学的历史性重大变革的理论根源和动力。弗雷格创造了哲学和逻辑学的崭新的概念和范式,他关于思想的理论,已经成为当代逻辑哲学和哲学逻辑（广义的）的一个基本理论问题,这个被弗雷格问题专家之一的D·贝尔称之为“最持久最具有革命性的贡献”,至今仍释放出源源不断的能量。在拙作《思想的逻辑哲学分析》（见《华南师大学…     

达米特的直觉主义数学哲学观——访英国哲学家、牛津大学哲学系迈克尔·达米特教授

迈克尔·达米特(M ichael Dummett)是20世纪英国最著名的哲学家之一,他的主要贡献在分析哲学、数学哲学、语言哲学和逻辑哲学等领域,尤其是他关于弗雷格哲学的研究奠定了他的整个哲学生涯,他是20世纪反实在论和数学哲学中直觉主义的主要代表人物,其主要著作有:《弗雷格:语言哲学》(1973);《直觉主义的成分)(1977);《弗雷格哲学的解释》(1981);《弗雷格和其他哲学家》(1991);《弗雷格:数学哲学》(1991);《形而上学的逻辑基础》(1991);《分析哲学的起源》(1993);《语言的海洋》(1993)等。2005年12月~2006年5月作者在英国牛津大学访问期间对他…     

真之同一论与单称命题

麦道的哲学试图抹去心灵与世界之间的本体论间隙。为了实现这一哲学计划,麦道需要接受某种真之同一论。本文认为,麦道所需要的是真之坚实同一论,并且承诺关于罗素式单称命题。本文首先论证真之同一论论题,然后更进一步,在麦道的哲学计划下辩护真之坚实同一论,认为真命题与世界中的事实同一。本文并非要给出一个对同一论或坚实同一论的完整理论,而是试图在麦道的哲学计划下给出一个对坚实同一论的辩护,认为坚实同一论是可行的。