Kripke's causal-historical theory holds that names refer via chains of use back to an initial baptis...