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?