id author title date pages extension mime words sentences flesch summary cache txt en-wikipedia-org-5335 Truthmaker theory - Wikipedia .html text/html 3515 387 64 Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists".[1] The basic intuition behind truthmaker theory is that truth depends on being. Truthmaker theory has been applied to various fields in metaphysics, often with the goal of exposing ontological cheaters: theorists who are committed to certain beliefs but do not or cannot account for the existence of a truthmaker for these beliefs. In Truth-Makers (1984), Kevin Mulligan, Peter Simons and Barry Smith introduced the truth-maker idea as a contribution to the correspondence theory of truth.[2] Logically atomic empirical sentences such as "John kissed Mary" have truthmakers, typically events or tropes corresponding to the main verbs of the sentences in question. A well-known account relies on the notion of possible worlds, conceived as actual abstract objects, for example as maximal consistent sets of propositions or of states of affairs.[27] A set of propositions is maximal if, for any statement p, either p or not-p is a member.[28] Possible worlds act as truthmakers for modal truths. ./cache/en-wikipedia-org-5335.html ./txt/en-wikipedia-org-5335.txt