トウィードルダムとトウィードルディー

「トートロジー」って、論理学用語が先にあったのか、それとも同語反復という意味の言葉を論理学に取り入れたものなのか、どっちだったろう……とここを読んでふと疑問に感じた。
ちなみに、論理学用語としての「トートロジー」はかなり狭い意味で、たとえば「すべての独身者は結婚していない」のような文はトートロジーとはみなされない。