In that case, Consistent Histories is both not WMI and I didn’t say it was, because it doesn’t consider the wavefunction fully real in its own right (there were two criteria, not just one, in that sentence)*. Just as Bohm isn’t, on the same grounds.
Type 1 vs type 2: Normally we don’t even talk about these types—if it were a matter of discussion, we wouldn’t be using these terms! With the observables, using them in the theory is type 1. Associating each one to a part of the world we experience is type 2.
As for the incompleteness of Everett, I hold that you can deduce that the Born Rule is one possible way of finding sapience within wavefunctions. I am not at all sure that you can prove that there aren’t others, so barring such a proof, a postulate is necessary to exclude them—“The way of getting to a perceivable world from this theory is… THIS one, not any others.”
ETA: and in this case Consistent Histories deserves every bit of scorn that Eliezer heaped on Copenhagen in the ‘what does it have to do, kill a puppy’ rant.
In that case, Consistent Histories is both not WMI and I didn’t say it was, because it doesn’t consider the wavefunction fully real in its own right (there were two criteria, not just one, in that sentence)*. Just as Bohm isn’t, on the same grounds.
Type 1 vs type 2: Normally we don’t even talk about these types—if it were a matter of discussion, we wouldn’t be using these terms! With the observables, using them in the theory is type 1. Associating each one to a part of the world we experience is type 2.
As for the incompleteness of Everett, I hold that you can deduce that the Born Rule is one possible way of finding sapience within wavefunctions. I am not at all sure that you can prove that there aren’t others, so barring such a proof, a postulate is necessary to exclude them—“The way of getting to a perceivable world from this theory is… THIS one, not any others.”
ETA: and in this case Consistent Histories deserves every bit of scorn that Eliezer heaped on Copenhagen in the ‘what does it have to do, kill a puppy’ rant.