Do you think TDT/FDT imply magic is real?

post by emmab · 2021-05-10T09:23:11.991Z · LW · GW · No comments

This is a question post.

Contents

  Answers
    9 River
    5 gjm
    1 kithpendragon
None
No comments

I want to gauge opinions.

Do you think TDT/FDT imply magic is real? Do you think magic is real?

Feel free to define magic, but I'd like to leave it at that simple pretheoretic pointer in order not to bias the results.

Answers

answer by River · 2021-05-10T12:19:52.260Z · LW(p) · GW(p)

Leaving "magic" as a pretheoretic pointer doesn't get you unbiased results, it makes your question incoherent. You have to tell me what you mean by "magic" before I can attempt an answer.

If you leave it to me, then I will define magic as "Humans doing things that violate the laws of physics as we know them", in which case the answer is trivially "No, TDT/FDT do not imply that magic is real."

answer by gjm · 2021-05-10T10:33:08.842Z · LW(p) · GW(p)

TDT and FDT don't state any propositions, they prescribe behaviours. So they could only "imply magic is real" in three ways that I can see.

  1. They could require you to believe some proposition close to "magic is real".
  2. They could require you to do things that, if done by someone using a more "normal" decision theory, would be a clear indication that they think magic is real.
  3. They could presuppose something close to "magic is real".

I am not an expert on either TDT or FDT, and my understanding is that neither is actually well enough defined to be very sure about exactly what they require or presuppose, but I am fairly sure that neither 1 nor 3 is the case.

2 might be; e.g., allegedly TDT/FDT one-boxes on Newcomb, and you might say "one-boxing on Newcomb implies believing in causation that reaches backwards through time, and that would be magic". (Maybe this is a bad example; to my mind, the thing in Newcomb that kinda-implies backward causation is the original setup, not any particular decision. Perhaps something involving "acausal trade" or basilisks is a better example, but I don't understand those well enough to be sure.) But I don't think this sort of thing justifies TDT/FDT practitioners if they say that magic is real, nor justifies other people if they say TDT/FDT practitioners think magic is real. If you follow FDT, and reckon it tells you to one-box on Newcomb, and then do so when actually confronted with a Newcomb-like situation, at no point does your thought process involve contemplating anything I would regard as "magic".

answer by kithpendragon · 2021-05-10T10:02:30.662Z · LW(p) · GW(p)

"Magic" is the part of a system that you don't have a gears level understanding of.

https://www.lesswrong.com/posts/kpRSCH7ALLcb6ucWM/say-not-complexity [LW · GW] https://www.lesswrong.com/posts/B7P97C27rvHPz3s9B/gears-in-understanding [LW · GW]

What do your acronyms mean?

comment by emmab · 2021-05-10T10:08:58.518Z · LW(p) · GW(p)

https://www.lesswrong.com/tag/timeless-decision-theory [? · GW]
https://www.lesswrong.com/tag/functional-decision-theory [? · GW]

Replies from: kithpendragon
comment by kithpendragon · 2021-05-10T11:49:24.097Z · LW(p) · GW(p)

Thanks! 3-letter acronyms are really hard to Google for clarification.

Replies from: ChristianKl
comment by ChristianKl · 2021-05-10T15:22:45.936Z · LW(p) · GW(p)

LessWrong's search helps with searching for LessWrong jargon.

Replies from: kithpendragon
comment by kithpendragon · 2021-05-10T17:09:20.695Z · LW(p) · GW(p)

Haha, so it does! Good call!

comment by emmab · 2021-05-10T10:09:59.435Z · LW(p) · GW(p)

So what does "is magic real?", as a child might ask the question, correspond to?

Replies from: kithpendragon
comment by kithpendragon · 2021-05-10T12:25:52.905Z · LW(p) · GW(p)

Depends on the context. If the child is asking...

  • ... about mythological stories being true, the answer is that they are not factual, but rather correspond to important aspects of the culture.
  • ... about the ability to affect things without apparently interacting with them, the answer is to point at the TV remote. [My kid still doesn't believe me that talking and writing are psychic powers [LW · GW], but that's the answer I'm giving on that front.]
  • ... if things happen in the world that are not trivial to understand or control, the answer is simply "Yes". [If my kid asked "Is lightning magic," I would have to answer "Yes" because I cannot make lightning do what I want: as far as I'm concerned it "just happens" when conditions are exactly right. As far as I've been able to find out, nobody fully understands it.]
  • ... if actions can have strongly unexpected results, of course they can!
  • ... if waving my hand was the proximate cause for X happening, I'd have to admit most of the time that it was just good timing on my part. But I can wave my hand at my cell phone to have it snap a selfie, and if I have an NFC chip I can sometimes wave my hand to tell a computer what to do.

In general, I think "magic" is best used to point at a state of non-understanding. I don't think the "is it real" query is really thinking about it in the right category. It's a lot like asking, "Is a binary search tree real?" or "Is the color red real?" All three are data processing questions of one sort or another; but the color red, binary search trees, and magic all don't directly talk about anything in the territory. Rather: "red" is a perception, "binary search tree" is a data structure, and "magic" indicates non-understanding.

In terms of decision theory, either the "magic" process gives known or unknown outputs for specific inputs. If the outputs are known, as in "When I twist the fluff in this particular way I get thread", the gears might not matter for your purposes. If unknown, as in "Will this animal bite me if I try to pet it", the gears might be helpful but you don't have them and you have to treat it as a wild card. The "realness" question doesn't really enter in to it.

No comments

Comments sorted by top scores.