The semantic theory of truth is a refinement of the correspondence theory. (ibid.

• 真理语意论是从对应论中衍生出来的。