Yes but you can search for someone (the one who blew the Death Star) without knowing his name. The name Skywalker would be in the crawl for the audience to know who we're talking about.
Just playing the devil's advocate here, cause yes, it sounds like Vader knows his name.