根据一种被广为接受的直觉，一个真值载体（truthbear）是否为真取决于客观实在的特定状况，例如陈述“天在下雨”是否为真取决于实际的天气状况。试图把握这一直觉的真理论（如符合论、使真者理论）把它表达为：一个真值载体是真的，是因为在客观实在中存在使其为真的实体。按此表述，真理奠基于实在，奠基于存在的东西。这种对真理的理解是实在论的，因为研究真值载体是否为真本质上等价于研究实在是怎样的。

       对于这种实在论的真理概念，一个试金石式的问题是：什么东西使得否定真理为真？例如，如果说“雪是白的”之真理奠基于事实“雪是白的”，那么“飞马不存在”这一类的否定真理，其为真是否也类似地奠基于一个事实，如事实“飞马不存在”？对此问题，一种始自罗素的回答是：确实如此。因此，这些哲学家实际上承诺了否定性存在作为实体。但是，由于否定性存在（如否定事实）在本体论上是一种非常怪异的实体，因此相当多的哲学家作出了诸多努力以避免这一承诺，并与否定性存在的拥趸展开了激烈的争论。

       本期组织的三篇文章聚焦于这一试金石问题。“否定真理与不可满足性——解决莫尔纳问题的新尝试”系统梳理了关于否定真理之使真者的相关争论，试图借助客观存在的不可满足性来说明否定真理的使真机制；“否定事实与实在论”则尝试改进拒斥否定事实的不相容方案，通过将“不相容性”从事物之间的关系转化为我们运用认知能力的结果从而规避了罗素的批评，并因此使实在论成为视角主义的；“使真者必然主义与否定真理的使真者”认为应为否定事实负责的是使真者必然主义而非使真者最大主义，然而一个简单的论证可以表明必然主义是错的，并且，一旦必然主义被拒斥后，否定真理的使真者问题会变得豁然开朗。

                                                                                                                                 （专题策划：李主斌）