Semantic Information and the Correctness Theory of Truth · Study