The theory that the truth of a statement is its correspondence to facts or states of affairs.