こうした束を１種の論理とみなすことができる。これを量子論理と呼ぶ。このことは最初、Birkhoffとvon Neumannによって提唱された。量子力学の分かりにくさ原因の一は、命題の真理値が真と偽だけに決定できないことである。このことは、シュレディンガーが猫のパラドックスとして、「死んでいる状態と生きている状態の重ね合わせの状態」を想定したことに対応しており、古典論理からすれば、異端となる認識論になる。ただ、この場合も観測を行えば、いずれかに決定できるので、観測を射影演算に対応させる立場からは、命題が真か偽かのいずれかになる、あるいは「否定の否定はもとの命題になる」という排中律は成立している。

展望　

量子力学基礎論

計算機（ハードウエア）開発の将来：ナノテクとの関係　

参考文献

マックスウエルのデモンに関する最も詳しい文献集

H.S. Leff and A.F. Rex, Maxwell Demon: Entropy, Information, Computing, Adam Hilger, 1990

いわゆるERP論争の源になった論文。

A. Einstein, B.Podolsky, and N. Rosen, Can quantum-mechanical deswcription of physical reality be considered complete?, Physical Review, 47, 1935, pp.777-80

量子力学と観測問題の原著論文集。

J. A. Wheeler and W. H. Zurek (eds.), Quantum Theory and Measurement, Princeton University Press, 1983

Richard P. Feynman (J.G. Hey and R.W. Allen eds.), Feynman Lecture on Computation, Addison Wesley, 1996（原康夫他訳、ファイマン計算機科学、岩波書店、1999年）

A. Peres, Quantum Theory: Concepts and Methods, Kluwer Academic, 1993

（大場一郎、山中由也、中里弘道　共訳：量子論の概念と手法、丸善、2001年