Does the word 'Gödel' straightforwardly refer to the person who came up with the incompleteness theory of arithmetic? Some think the best way to find out to ask people about their intuitions on the topic? This creates all kinds of problems, as Michael Devitt explains in conversation with Nigel Warburton.