A statement is true, on this view, only because reality happens to match it
The correspondence theory of truth says a belief is true simply because it corresponds to an actual fact, nothing more mystical: 'snow is white' is true because snow really is white. The idea traces to a line in Aristotle's Metaphysics and was revived and sharpened early in the 20th century by Bertrand Russell and G. E. Moore. Logician Alfred Tarski later gave it a rigorous formal backbone, though philosophers dispute whether his version counts as the same theory.