Let A(X) be a function such that X.Consciousness becomes terminated (ends, dies, etc.)
I have a preference for NOT A(me).
Over time, the above maps to Feel Bad → A(me)
As such, if I am offered NOT A(me), and given A(me), I will feel bad because I attempt to be reflectively coherent.
As such, my preference for NOT A(me) does, as you claim, imply that I ought to feel bad about A(me).
The above are intended as a rephrasing of your statements, and I fully agree.
However…
Because if “I don’t want to be murdered because by TDT-style rhetoric it leads to my being more likely to be murdered,” and if you feel bad about being murdered, you abstain from murdering people because you feel bad.
You are making the subsequent conclusion that I have:
Feel Bad → A( X | X.isElementOf(people) )
because I have preference for NOT A(me).
wedrifid correctly asserts that this does not follow.
If I’m reading it right I don’t think your formalism fits what I’m trying to argue, but this is a boring point and I’m not terribly interested in taking it further.
Let A(X) be a function such that X.Consciousness becomes terminated (ends, dies, etc.)
I have a preference for NOT A(me).
Over time, the above maps to Feel Bad → A(me)
As such, if I am offered NOT A(me), and given A(me), I will feel bad because I attempt to be reflectively coherent.
As such, my preference for NOT A(me) does, as you claim, imply that I ought to feel bad about A(me).
The above are intended as a rephrasing of your statements, and I fully agree.
However…
You are making the subsequent conclusion that I have:
Feel Bad → A( X | X.isElementOf(people) )
because I have preference for NOT A(me).
wedrifid correctly asserts that this does not follow.
If I’m reading it right I don’t think your formalism fits what I’m trying to argue, but this is a boring point and I’m not terribly interested in taking it further.