Coleman, in "Division Values in Local Fields", (Inventiones math. 53, 91 - 116 (1979)), says that
In his work on cyclotomic fields Kummer observed that various formal operations on power series had number theoretic applications. Perhaps the most striking of these was Kummer's idea of taking logarithmic derivatives of p-adic numbers.
Why did Kummer want to do that?