形而上学的现实主义客观真理
尽管一些现实主义的争论似乎围绕着某一类陈述是否能够客观真实展开,但客观真实意味着什么远不明显。什么是一个陈述客观真实的问题本身就是现实主义和反现实主义分歧的焦点。
客观的真理毫无争议地要求思想独立,至少在真实独立于任何人所知道或相信的意义上。也就是说,如果一个命题要"客观上"为真,那么它必须有可能在没有人知道或相信它为真的情况下为真;相反,相信这个命题并不足以证明它是真理(除非在一些非常特殊的情况下,比如相信自己相信某事)。这种客观性的概念显然是相当薄弱的,它远远达不到某些强烈的现实主义真理理论中赋予真实陈述的那种客观性。
形而上学实在论和反实在论
其中一个理论是形而上学的(或“外部的”)现实主义,作为特征(但不承认)普特南.根据这种观点,即使是一个理想的科学理论——一个被最佳的操作性判断为正确的理论标准用于评估科学理论——尽管如此,在现实中可能是错误的。正如普特南所说,形而上的现实主义者的真理是“根本的非认识论的”,不仅潜在地超越了科学家们实际相信的东西,而且超越了他们在有证据的理想条件下完全理性地形成他们的信念时所能相信的东西。与此类似,英国哲学家所描绘的现实主义迈克尔·达米认为陈述可以是真(或假),而不依赖于任何可能性,甚至在原则上,它们被认为是真(或假)。
帕特南和达米特都反对他们所描绘的现实主义立场。帕特南认为,形而上学现实主义面临着无法克服的问题,无法解释词语和句子如何以一种显然需要的方式确定地指代或对应世界,如果一个理想的理论甚至可能是错误的。就达米特而言,他向现实主义提出了两个主要挑战:(1)解释人类如何能够理解那些不可识别的真实语句,因为人类的语言训练必然是在使用的公共可访问和可识别方面进行的;(2)解释这样的语言是如何被理解的所谓理解可以是体现或显示。
尽管帕特南和达米特都没准备好支持验证主义(认为一个陈述只有在原则上可以验证时才具有认知意义),两者都主张将真理与证据或信仰基础联系得比现实主义者更紧密。在反对形而上或外部现实主义,普特南捍卫了“内部”现实主义,它将真理与理想的理性可接受性相一致;正如他所指出的,他的观点意义重大亲和力与康德的先验的唯心主义.达米特认为,陈述的意义必须不是根据潜在的证据-超越真理-条件来解释,而是通过参考条件来解释——例如,在这些条件下,一个陈述可以被证明或证明是正确的——这些条件无论何时都可以被识别出来。
正如达米特所强调的,采用这种反现实主义的真理观意义重大影响理论之外的意义,尤其对于逻辑因此数学.特别是逻辑原理,如排除中律(对于每个命题p,要么p或者它的否定,而不是-p如果一个强烈的现实主义者认为这是正确的,那么在两者之间就没有“中间的”真命题)就不能再被证明是正确的概念一种反现实主义的观点取代了真理,这种观点将真理限制在原则上可以被认识的范围内。例如,对于任意的数学命题,没有保证p,要么p不信,p可以证明。由于经典数学中许多重要定理的证明依赖于所影响的原理,因此古典数学的很大一部分受到了质疑。通过这种方式,达米特关于真理和意义的反现实主义为修正建构主义的数学方法提供了支持,例如直觉说(另请参阅数学、哲学:逻辑主义、直觉主义和形式主义.