The vicious circle isn’t really there, any more than (in the terminology of Good and Real) a properly constructed street-crossing robot would use the knowledge of its safe disposition to conclude that it must be safe to cross. See also You Provably Can’t Trust Yourself.
“Properly constructed” is the key phrase here. The vicious circle shouldn’t be there, and wouldn’t be if “right” is defined correctly (for example perhaps as a logical construct which itself doesn’t refer to “right”), but if by “right” IE means IE’s output, then it is there.
The vicious circle isn’t really there, any more than (in the terminology of Good and Real) a properly constructed street-crossing robot would use the knowledge of its safe disposition to conclude that it must be safe to cross. See also You Provably Can’t Trust Yourself.
“Properly constructed” is the key phrase here. The vicious circle shouldn’t be there, and wouldn’t be if “right” is defined correctly (for example perhaps as a logical construct which itself doesn’t refer to “right”), but if by “right” IE means IE’s output, then it is there.
By “right”, BE and IE both mean “the output of algorithm X”. The fact that IE happens to be algorithm X doesn’t cause a vicious circle.