I believe that tautology is also a phrase used in logic to describe a formula that is true in every possible interpretation. Compared to the unnecessary repetition of an idea that is found when used linguistically I wondered if any of you knew how tautology came to have such different meanings?

----The next sentence is true. The previous sentence is false----