使真者与否定事实

是否存在否定事实这个问题自1914年罗素首先提出后就一直受到哲学家们的关注与讨论,在当代,因其与真理论(特别是使真者理论)以及形而上学的关联而更受到哲学家们的重视。在使真者理论的语境下,否定事实被看作是为了解释否定真理而必须承诺的。哲学家们已经探寻了几种拒斥否定事实的策略,最主要的有不相容解决和不相同解决,但这些策略似乎都面临着通常刻画下的使真者必然主义的难题。绝大部分关注此问题的哲学家因此认为存在否定事实,但本文试图表明问题出在对使真者必然主义的通常刻画上。当拒斥上述通常刻画后,否定事实其存在的必要性不复存在。     

塔斯基：语义性真理论与符合论

塔斯基语义性真理论是否为符合论是一个争论的热点。目前有两种观点认为它是符合论,其一是根据对象语言与元语言的区分,到目前为止此观点已受到激烈批评,其二是根据“满足”概念的递归定义,此观点到目前为止还没有被人详细地阐明。本文认为塔斯基的语义性真理论是符合论,为此将首先对第一种观点及其反对意见进行深入分析,并得出结论认为该观点不能成立,继而详细阐明第二种观点,表明它是塔斯基本人的意图。在讨论中本文将对一系列的逻辑哲学问题进行探讨。     

何为使真者?

使真者是当前真理论中的显学，也被广泛应用于形而上学的讨论中。关于使真者，一个基础性的问题是：何为使真者?因为使真者被认为是扮演使命题为真之角色的实体，因此当前定义使真者的几种主要方案都着重于刻画使真关系。这一定义使真者的进路未能很好地将一个命题为真的本体论基础挑出来，它们或者面临不相关使真者难题，或者导致了其它问题。通过紧扣“真理本体论依赖实在”这一使真者的直观，本文尝试通过引入“本体论根源”和“典范描述”概念来给予使真者一个新的定义。这一定义如果能够成功，那么它将对一系列使真者的论题，如必然主义、使真者原则与真理符合论的关系，产生重要的理论后果。