Jaakko Hintikka, Hän valitsi nimekseen Merrill Hintikka