I assume that there are scoping constructs so that two different method using the same naming don't interfere with each other?

Of course, this has all been done in Lisp (CLOS) and Dylan. Generic functions are what you use to extend functionality, packages (or modules) are what you use to prevent clashes. (*)