Abstract: Armstrong, the main advocator of truthmaker theory, chose “state of affairs” as the ontological ground for truth, to adhere to factualism rather than thingism, and to adhere to correspondence theory of truth rather than identity theory of truth. However, the dispute between factualism and thingism is entangled without specific contexts, and the difference between the two after combining contexts is not important. What is important is the dispute between correspondence theory and identity theory of truth. Wittgenstein, Russell and Frege are all wavering between the two. Through the analysis and evaluation of relevant theories, we achieve a kind of correspondence theory of truth that includes identity theory of truth, namely “double isomorphic correspondence theory”. On this basis, by distinguishing the inductive truthmaker and deductive truthbearer, a new truthmaker theory, namely the inductive-corresponded truthmaker theory, is proposed.

Key Words: Truthmaker theory; Correspondence theory of truth; Identity theory of truth; State of affairs; Fact