I understand and agree with your point that the long list of terminal values that most humans share aren’t the ‘right’ ones because they’re values that humans have. If Omega altered the brain of every human so that we had completely different values, ‘morality’ wouldn’t change.
Therefore, to be perfectly precise, byrnema would have to edit her comment to substitute the long list of values that humans happen to share for the word ‘human’, and the long list of values that Babyeaters happen to share for the word ‘babyeating’.
So yeah, I get why someone who doesn’t want to create this kind of confusion in his interlocutors would avoid saying “human-right” and “human-moral”. The problem is that you’re creating another kind of confusion.
It’s because [long list of terminal values that current humans happen to share]-morality is defined by the long list of terminal values that current humans happen to share. It’s not defined by the list of terminal values that post-Omega humans would happen to have.
Is arithmetic “reserved for” a particular list of axioms or for a token for any list of axioms? Neither. Arithmetic is its axioms and all that can be computed from them.
I understand and agree with your point that the long list of terminal values that most humans share aren’t the ‘right’ ones because they’re values that humans have. If Omega altered the brain of every human so that we had completely different values, ‘morality’ wouldn’t change.
Therefore, to be perfectly precise, byrnema would have to edit her comment to substitute the long list of values that humans happen to share for the word ‘human’, and the long list of values that Babyeaters happen to share for the word ‘babyeating’.
So yeah, I get why someone who doesn’t want to create this kind of confusion in his interlocutors would avoid saying “human-right” and “human-moral”. The problem is that you’re creating another kind of confusion.
Is this because morality is reserved for a particular list - the list we currently have—rather than a token for any list that could be had?
It’s because [long list of terminal values that current humans happen to share]-morality is defined by the long list of terminal values that current humans happen to share. It’s not defined by the list of terminal values that post-Omega humans would happen to have.
Is arithmetic “reserved for” a particular list of axioms or for a token for any list of axioms? Neither. Arithmetic is its axioms and all that can be computed from them.