Interestingly, I recently found myself on the other side of a similar naming disagreement. I had noticed some buildings on the University of Vermont Campus tagged with name values like 70 South Williams Street and 481 Main Street. Since these buildings also already had addr:housenumber and addr:street tags with the same information, I figured this was just redundant information that could be removed. However another local mapper commented on my changeset to express disagreement with the removal, feeling that the addresses functioned as names within the campus community. I ended up reverting my changes in deference to his knowledge of the campus. Clearly it can be difficult to tell what exactly is and is not a name.