＞　観測問題は量子論理で形式化

量子論理って「→」（ならば）に相当する
都合のよい論理定項がまだ見つかっていないのでは

この世界の全てが量子的に記述されるとして
それを量子論理で形式化したら
この世界では推論できないことに
なってしまいませんか？

ちょっと前に量子力学の本の付録でチラ見した時には
量子論理はまだ発展途上の論理という印象です