Eliezer decides to start using the symbol “c” to denote the real number 3*10^8.
No, he has continuously refused to spell out an explicit description of morality, because it admits no concise description. When Eliezer writes a list of values ending with “etcetera” he’s saying (in your analogy) “c is 3*10^8, up to one significant digit”.
Richard:
but others have pointed out that this reference fact is fixed by means of a seemingly ‘relative’ procedure
I think you are mixing meta-levels here. The seemingly relative procedure is used to describe morality in blog posts, not to chose what morality is in the first place.
Roko:
Eliezer decides to start using the symbol “c” to denote the real number 3*10^8.
No, he has continuously refused to spell out an explicit description of morality, because it admits no concise description. When Eliezer writes a list of values ending with “etcetera” he’s saying (in your analogy) “c is 3*10^8, up to one significant digit”.
Richard:
but others have pointed out that this reference fact is fixed by means of a seemingly ‘relative’ procedure
I think you are mixing meta-levels here. The seemingly relative procedure is used to describe morality in blog posts, not to chose what morality is in the first place.