让量子数学发声：允许与不允准的逻辑

本文提出一些关于量子物理的笔记（若愿意，可视为一种诠释），坚持“紧密遵循数学/形式体系，即量子物理所言的‘基本构件’”。这些基本上为人所熟知的问题，似乎凸显了量子物理中‘逻辑’方面的某些相当大胆的要点，必然限制了何种逻辑以及何时可能是可容许的。人们或许能理解为何文献中鲜少遵循该路径。量子物理（相较于经典物理）的数学/形式体系，可相当基本地刻画为以非交换代数取代交换代数。这些经典中出现的代数，实际上用于处理可能性系统（例如，在引力作用下所有可能的行星运动，其中一种是实际的）。特别地，与过于常见的用法相反，量子的非交换性应使得不可能简单地将‘可能性系统’方面‘超越’为对‘实际世界’至关重要的‘是否’逻辑。人们只能在‘准经典宏观可观测量’的近似交换代数的‘避风港’中拥有后者，而且该‘是否实际世界’显然会是基础量子理论本身的‘额外成分’。