#### DarMM

Science Advisor

Gold Member

- 1,999

- 1,017

Well the whole set up of the Frauchiger-Renner paper essentially attempts to.But there's no logical inference by which you can get specific F outcomes just from the Ws knowing their ok/fail outcomes

Depending on the paper the contradiction is either presented as:

$$w = ok \Rightarrow F=tails\\

\bar{w} = \overline{ok} \Rightarrow F=heads$$

or as:

$$w = ok \Rightarrow F=tails \Rightarrow \bar{w} = \overline{fail}\\

|\psi\rangle \Rightarrow P(\overline{ok}) \neq 0$$

I agree that using modal logic in QM doesn't seem to make much sense. Thus I'm not really sure what FR says about any interpretation.