He wasn’t endorsing that position. He was saying “pebblesorters should not do so, but they pebblesorter::should do so.”
ie, “should” and “pebblesorter::should” are two different concepts. “should” appeals to that which is moral, “pebblesorter::should” appeals to that which is prime. The pebblesorters should not have killed him, but they pebblesorter::should have killed them.
Think of it this way: imagine the murdermax function that scores states/histories of reality based on how many people were murdered. Then people shouldn’t be murdered, but they murdermax::should be murdered. This is not an endorsement of doing what one murdermax::should do. Not at all. Doing the murdermax thing is bad.
He wasn’t endorsing that position. He was saying “pebblesorters should not do so, but they pebblesorter::should do so.”
You didn’t understand what TheOtherDave said. He was talking about the same usage you are talking about and commenting that it is in contrast to Eliezer’s past usage (and past advocacy of usage in conversations about how he uses should-related words.)
He wasn’t endorsing that position. He was saying “pebblesorters should not do so, but they pebblesorter::should do so.”
ie, “should” and “pebblesorter::should” are two different concepts. “should” appeals to that which is moral, “pebblesorter::should” appeals to that which is prime. The pebblesorters should not have killed him, but they pebblesorter::should have killed them.
Think of it this way: imagine the murdermax function that scores states/histories of reality based on how many people were murdered. Then people shouldn’t be murdered, but they murdermax::should be murdered. This is not an endorsement of doing what one murdermax::should do. Not at all. Doing the murdermax thing is bad.
You didn’t understand what TheOtherDave said. He was talking about the same usage you are talking about and commenting that it is in contrast to Eliezer’s past usage (and past advocacy of usage in conversations about how he uses should-related words.)
My name is TheOtherDave and I endorse this comment.
Ah, whoops.