Functional role semantics and reflective equilibrium