Meta Ontology

There is no distinct correspondence theory of truth, truth is correspondence to fact. If facts are taken to be true propositions, we wind up with just another version of the correspondence theory's ostensible competitor, the redundancy theory of truth. If instead facts are taken to be Armstrong's states of affairs, or Tractarian facts, or Mellor's \_facta$<$D$>$, we get a \_truthmaker$<$D$>$ principle, that for every truth there is a truthmaker; something whose existence implies the proposition in question. Truthmaker principles are interesting and useful, but go far beyond truth as correspondence with fact, and so are not really theories of truth at all