I find Eliezer's explanation of what "should" means to be unsatisfactory, and here's an attempt to do better. Consider the following usages of the word:
- You should stop building piles of X pebbles because X = Y*Z.
- We should kill that police informer and dump his body in the river.
- You should one-box in Newcomb's problem.
All of these seem to be sensible sentences, depending on the speaker and intended audience. #1, for example, seems a reasonable translation of what a pebblesorter would say after discovering that X = Y*Z. Some might argue for "pebblesorter::should" instead of plain "should", but it's hard to deny that we need "should" in some form to fill the blank there for a translation, and I think few people besides Eliezer would object to plain "should".
Normativity, or the idea that there's something in common about how "should" and similar words are used in different contexts, is an active area in academic philosophy. I won't try to survey the current theories, but my current thinking is that "should" usually means "better according to some shared, motivating standard or procedure of evaluation", but occasionally it can also be used to instill such a standard or procedure of evaluation in someone (such as a child) who is open to being instilled by the speaker/writer.
It seems to me that different people (including different humans) can have different motivating standards and procedures of evaluation, and apparent disagreements about "should' sentences can arise from having different standards/procedures or from disagreement about whether something is better according to a shared standard/procedure. In most areas my personal procedure of evaluation is something that might be called "doing philosophy" but many people apparently do not share this. For example a religious extremist may have been taught by their parents, teachers, or peers to follow some rigid moral code given in their holy books, and not be open to any philosophical arguments that I can offer.
Of course this isn't a fully satisfactory theory of normativity since I don't know what "philosophy" really is (and I'm not even sure it really is a thing). But it does help explain how "should" in morality might relate to "should" in other areas such as decision theory, does not require assuming that all humans ultimately share the same morality, and avoids the need for linguistic contortions such as "pebblesorter::should".
In the view of morality as "common value computation + local patches", the world should seems unproblematic: it indicates that a certain option has more value than some other set of options, according to a morality.
'Should' in this view is seen as assuming three pieces of information: the morality of the speaker, the set of available options, the calculated highest/lowest value option.
This view decomposes the three sentences as such:
1) according to pebblesorter value computation, when building piles of pebbles a heap of X has never a positive value;
2) according to our drug dealer morality, when dealing with the police informer the highest value option is killing him and dump his body in the river;
3) according to pure morality, the correct computation of the highest value option in the Newcomb problem is one-boxing.
Also on the Eugene_Nier sentence:
deconstructed as:
4) according to pure morality, the Cox's theorem shows that the only correct way to compute evidence updating is the Bayes' rule.
"Pure morality" here is intended to mean valuing the things that humans usually value, instead of something like prime numbers heaps.