戴维逊的真理论是塔尔斯基型的。不是（如在图画理论中那样）语句与事实相符，而是一个物体或物体序列的实现与断言相符。此理论赋予语言与世界一种相符关系，因此它抓住了真理相符论的要义。（相反的，传统的符合论，人们更为明智地将其释作一种被保证断言的理论。被保证的断言不同于真理，因为一个被保证的断定句可能不幸是错误的，而一个真的语句又不会是被保证的断言，因为我们没有足够能力的证据来保证。）
不管怎么说，事实的概念都存在某种困难，戴维逊曾经论述过，如果真的句子对应了事实，那么可能只有一个事实。他的推定似乎合理：逻辑上对等的真句子对应同一事实。在这种情况下，事实p（为一句子）与事实（τx）（x＝t.p）＝（τx）（x＝t）（另一句子）是相同的，因为后者在逻辑上与前者对等（这里的t是某种物体）。但是，如果q是真的，则它对应了与（τx）（x＝ t.q）和（τx）（x＝t.p）＝（τx）（x＝t.q）相同的事实。因此，如果p和q都是真的，那么它们对应了同一事实。因此，只能有一个事实。