Yes, I skated over that point (since it reinforces my argument against logical facts but wasn’t that relevant, I omitted it).
This corresponds to my current intuition about deterministic empirical facts—that a mind running inside a program must treat as empirical certain facts, when they are actualy logical for a mind “outside the universe”.
a mind running inside a program must treat as empirical certain facts, when they are actually logical for a mind “outside the universe”.
Where the mind is in the world is a very important factor. Control scheme is given by a mapping from the controlling domain (the agent’s influence) to the controlled outcomes (where preference is defined, inducing preference on the controlling decisions). Taking the controlling domain out of the system makes control and preference meaningless.
Yes, I skated over that point (since it reinforces my argument against logical facts but wasn’t that relevant, I omitted it).
This corresponds to my current intuition about deterministic empirical facts—that a mind running inside a program must treat as empirical certain facts, when they are actualy logical for a mind “outside the universe”.
Where the mind is in the world is a very important factor. Control scheme is given by a mapping from the controlling domain (the agent’s influence) to the controlled outcomes (where preference is defined, inducing preference on the controlling decisions). Taking the controlling domain out of the system makes control and preference meaningless.