Tarski's Theory of Truth establishes a formal definition of truth for formal languages, distinguishing between object language and metalanguage to avoid paradoxes like the liar paradox. It posits that a sentence is true if and only if it corresponds to the facts in the world, thereby providing a semantic conception of truth that is foundational in logic and philosophy.