[論文レビュー] Presenting Nonreflexive Quantum Mechanics: Formalism and Metaphysics

Décio Krause, Jonas R. Becker Arenhart|arXiv (Cornell University)|Oct 25, 2015

Advanced Algebra and Logic参考文献 10被引用数 4

ひとこと要約

本稿では、同一性が普遍的に成立しない非自己同一論理（nonreflexive logic）を用いて量子力学を再定式化する。これは、量子粒子が非個体的（non-individuals）であるという形而上的な考えを形式的に捉えるものである。同一性と非個体性を論理的基盤に直接組み込むことで、便宜的な対称性仮説の必要性を排除し、量子実体の再定義された形而上的な基礎に裏付けられた厳密な形式的体系を提供する。

ABSTRACT

Nonreflexive quantum mechanics is a formulation of quantum theory based on a non-classical logic termed \ita{nonreflexive logic} (a.k.a. `non-reflexive'). In these logics, the standard notion of identity, as encapsulated in classical logic and set theories, does not hold in full. The basic aim of this kind of approach to quantum mechanics is to take seriously the claim made by some authors according to whom quantum particles are \ita{non-individuals} in some sense, and also to take into account the fact that they may be absolutely indistinguishable (or indiscernible). The nonreflexive formulation of quantum theory assumes these features of the objects already at the level of the underlying logic, so that no use is required of symmetrization postulates or other mathematical devices that serve to pretend that the objects are indiscernible (when they are not: all objects that obey classical logic are \ita{individuals} in a sense). Here, we present the ideas of the development of nonreflexive quantum mechanics and discuss some philosophical (mainly metaphysical) motivations and consequences of it.

研究の動機と目的

• 同一性が原始的特徴でない非自己同一論理に基づく形式的量子力学を構築すること。
• 量子粒子が絶対的に識別不能であり非個体的であるという形而上的な課題に、この特徴を論理的枠組みに組み込むこと。
• 量子力学における標準的な対称化仮説の使用を、識別不能性を本質的に基本的なものとみなす論理的基礎に置き換えること。
• 量子力学が非古典的論理体系から再構築可能であることを示し、単にそれらを解釈するのではなく、形式的体系としての基礎を提供すること。
• 量子理論の新しい基礎を確立し、量子粒子が古典的意味での個体でないという形而上的直観を反映すること。

提案手法

• 同一性述語が普遍的に成立しない非自己同一論理体系（non-reflexive logic）を基礎論理として採用する。
• この非自己同一論理的枠組み内に、$\mathfrak{Q}$-spaces と呼ばれる量子力学の形式的体系を構築する。
• 粒子に明確な同一性を仮定せずに、論理的構造を用いて量子状態と観測可能量を定義する。
• 標準的な量子力学における同一粒子の取り扱い（対称化によるもの）を、非自己同一系の内在的論理的特徴に置き換える。
• 非個体性が導出される特徴ではなく、原始的な存在論的条件であるとするメタ物理学的解釈を構築する。
• 論理を量子統計に適用し、ボーズ＝アインシュタイン統計とフェルミ＝ディラック統計が、対称性仮説ではなく、非自己同一構造そのものから自然に導かれることを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的論理が普遍的同一性を仮定するのを避け、量子力学をどのように再定式化できるか？
• RQ2 量子粒子を後から識別不能性を課す個体ではなく、最初から非個体的とみなすことの形而上的な結果は何か？
• RQ3 非自己同一論理が、対称化仮説の必要性を排除する厳密な量子理論の基礎として機能できるか？
• RQ4 $\mathfrak{Q}$-spaces の形式的体系は、標準的量子力学と比較して、粒子の同一性と識別不能性の取り扱いにおいてどのように異なるか？
• RQ5 量子粒子の識別不能性を物理的対称性として導出するのではなく、論理的原始的特徴として捉えることは、どの程度可能か？

主な発見

• 非自己同一論理の枠組みにより、量子粒子に対して同一性を仮定しない形式的量子力学が可能となり、識別不能性が派生的対称性ではなく、基礎的特徴となる。
• $\mathfrak{Q}$-spaces の形式的体系は、対称化仮説を必要とせず、論理的構造そのものが置換不変性を内蔵しているため、量子統計をうまく捉えている。
• 非個体性を論理的原始的特徴として採用することで、対称性条件による個体性の隠蔽という哲学的緊張を回避する。
• この構成により、量子力学が非古典的論理体系から発展可能であることが示され、単にそれらを解釈するのではなく、形式的体系としての基礎を提供するという、概念的循環を閉じる。
• この方法は、古典的集合論に基づく標準的定式化とは対照的に、非個体性を根本的とみなす量子理論の新しい基礎を提供する。
• この枠組みは、特にエンタングルメント状態や識別不能系において、非自己同一論理が完全に一貫した形而上的説明に不可欠である可能性を示唆している。