NAFL 解释下 Afshar 实验中玻尔互补原理的逻辑分析

量子力学的 NAFL(非亚里士多德有限逻辑)解释要求不能将任何‘物理’实在归属于光子的波动本性。形式化量子力学的 NAFL 理论 QM,将单个光子同时走两条或多条不同路径的叠加态($S$)视为在 QM 中形式上不可证明的逻辑矛盾。然而,在 QM 的非经典 NAFL 模型中,矛盾律失效,$S$ 具有一种有意义的元数学解释,即光子的经典路径信息不可用。我们认为,干涉图样的存在在逻辑上并不等同于单光子自干涉的证明。这一事实,连同 NAFL 真理的时间性,意味着在 Afshar 实验中回溯性断言路径信息(以及栅格在逻辑上的多余性)的逻辑有效性。当恰当地考虑逻辑真理的时间依赖性时,玻尔互补原理在 Afshar 实验中成立。NAFL 支持但不要求光子粒子本性的元逻辑实在,即使在 QM 的语义要求状态 $S$ 时也是如此。