摘要
实在论与反实在论问题一直是西方哲学的一个核心问题,争论至今。当代随着语言哲学的发展及非经典逻辑的发展,关于这个问题的争论所呈现新的形式,主要是通过一种语义学的方式来解决的,这种解决方式通过将形而上学的争论转化为一种意义理论的争论,从而将问题转换。英国哲学家达米特是这方面的代表人物,他成功地利用直觉主义逻辑的思想,建构了一套新的以证实为核心概念的意义理论,从而成为当代反实在论的主要代表。 本文就是通过探析达米特是如何利用直觉主义建立起一套有说服力的意义理论,从而提出对实在论的反驳。 实在论者一般认为:世界是按确定方式构成的,也就是说,世界具有独立于任何关于它的知识或经验的特性,无论是柏拉图主义理念的存在,还是亚里士多德的个体是第一实体的观点,他们都认为世界上存在有独立于人的认识之外的实体,不管这种实体是“物体”还是“精神”。无论哪种理解都把实在看作是我们所感知的经验世界,而不同哲学家所持有的不同实在论,不过是用不同的语言或方法对这个世界的不同描述而已。总之,世界是客观的。 而反实在论者则认为我们所谓的世界是由我们的概念活动或者我们在探索的中所使用的概念工具构成的。反实在论者更加强调人的心理作用和主观的能动作用,我们的科学、艺术、宗教等人类文明的表现形式都是人们利用相应的知觉和经验作出的建构。 直觉主义作为上个世纪初关于数学基础的三个主要学说之一,以其全新的视角为数学奠定新的基础。直觉主义强调人的内直觉,坚持一种动态的数学观,把数学看做是一种人类的特殊的思维活动,从而强调了数学对人类创造性思维的依赖性。直觉主义的奠基人布劳威尔认为数学思维是智力构造的一个过程,它建造自己的天地,独立于经验,并且只受到必须建立于基本的数学直觉之上的限制,这就是直觉主义著名的“存在在于被构造”的观点。从这个观点出发直觉主义反对柏拉图主义的实在论观点(认为数学对象是永恒的抽象对象),反对那种二值原则(一个关于事态的描述要么是真,要么是假),继而认为排中律也没有存在的合理性。直觉主义者认为我们说一个命题是真的,仅当我们能构造一个该命题的证明。可以说直觉主义一开始就具备一种反实在论的色彩。达米特正是看到直觉主义逻辑的理论优势,从而将其作为其反实在论的逻辑基础。 在达米特看来,实在论与反实在论之争主要是关于哪种语义学适合于肯定句或者陈述句的争论。根据达米特的观点,所有的实在论的观点都坚持一种真值条件的意义理论,这种意义理论告诉我们一个语句的意义就在于其真值,而真值是独立与人的认知方式的客观的存在,我们要知道一个命题的意义就是要能够获得匹配的事态。根据这种理论真理符合论是成立的,显然与某个陈述句的相联系的事态要么获得,要么没有获得,无论我们的认知手段如何,这个陈述要么是真,要么是假。这样从真值条件意义理论出发,我们就会有二值定理。按照达米特,二值定理是所有实在论的共同特征——主张每一个命题都是确定地真或假,显然二值定理对实在论有着极其重要的作用。但是达米特论证了二值定理是站不住脚的。二值定理是无法确定一个不可判定命题的真值的,这样的命题包括一些关于遥远过去或者未来的事态,还有就是一些包含量化无限多的对象命题。这就表明了真值条件意义理论的不合理之处。 达米特根据直觉主义的构造性思想,建立了一套以“证实”为核心概念的反实在论的意义理论。 本文将分成三个部分:第一部分主要介绍直觉主义的兴起和它的主要理论观点及其对传统的数学实在论的批判,第二部分通过对实在论、反实在论的各种形态进行探讨,总结它们的共同特征,第三部分是本文的核心部分,主要阐释达米特如何利用直觉主义思想建立一套反实在论的意义理论,
NETL