I mean, didn’t Eliezer cover this? You’re not lying if you call numbers groups and groups numbers. If you switch in the middle of a proof, sure, that’s lying, but that seems irrelevant. The definitions pick out what you’re talking about.
When I’m talking about morality, I’m talking about That Thing That Determines What You’re Supposed to Do, You Know, That One.
I mean, didn’t Eliezer cover this? You’re not lying if you call numbers groups and groups numbers. If you switch in the middle of a proof, sure, that’s lying, but that seems irrelevant. The definitions pick out what you’re talking about.
When I’m talking about morality, I’m talking about That Thing That Determines What You’re Supposed to Do, You Know, That One.
So am I.
You Know, That Part Of Your Brain That Computes That Thing That Determines What You’re Supposed to Do, Given What You Know, You Know, That One.
I don’t even remember the mind set I had when I wrote this, nor what this is all about.
Referring to a part of your brain doesn’t have the right properties when you change between different universes.
That is true, and so we refer to the medium-independet axiomatic definition.
What’s that?
That Thing That Determines What You’re Supposed to Do, Given What You Know, You Know, That One.