dx and dy mean deltas for sufficiently small dx. delta by itself does not imply the increasingly accurate estimation of dy from dx. The small d implies the existence of an unobserved - in some sense transcendental quantity - which is the scale factor that translates dx into dy. I imagine that this is Leibniz's idea of derivative. Perhaps Mathwonk an comment on that.