TheOtherDave comments on Why didn't people (apparently?) understand the metaethics sequence? - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (229)
(I'm putting this as a reply to your comment because your comment is what made me think of it.)
In my view, Eliezer's "metaethics" sequence, despite its name, argues for his ethical theory, roughly
(1) morality[humans] = CEV[humans]
(N.B.: this is my terminology; Eliezer would write "morality" where I write "morality[humans]") without ever arguing for his (implied) metaethical theory, which is something like
(2) for all X, morality[X] = CEV[X].
Worse, much of his effort is spent arguing against propositions like
(3) (1) => for all X, morality[X] = CEV[humans] (The Bedrock of Morality: Arbitrary?)
and
(4) (1) => morality[humans] = CEV["humans"] (No License To Be Human)
which, I feel, are beside the point.
I would be surprised if Eliezer believed (1) or (2), as distinct from believing that CEV[X] is the most viably actionable approximation of morality[X] (using your terminology) we've come up with thus far.
This reminds me somewhat of the difference between believing that 2013 cryonics technology reliably preserves the information content of a brain on the one hand, and on the other believing that 2013 cryonics technology has a higher chance of preserving the information than burial or cremation.
I agree that that he devotes a lot of time to arguing against (3), though I've always understood that as a reaction to the "but a superintelligent system would be smart enough to just figure out how to behave ethically and then do it!" crowd.
I'm not really sure what you mean by (4).
I didn't intend to distinguish that finely.
(4) is intended to mean that if we alter humans to have a different value system tomorrow, we would also be changing what we mean (today) by "morality". It's the negation of the assertion that moral terms are rigid designators, and is what Eliezer is arguing against in No License To Be Human.
Ah, gotcha. OK, thanks for clarifying.