关于“量子力学非定域的可能性”的评论

近期一个以模态逻辑符号语言表述的证明表明，标题中所述可能性的一个明确定义表述可得到肯定答复。在被评论的论文中，就如何将此符号证明转译为散文提出了若干建议，并基于这些拟议的转译得出结论：要么该证明无效，要么做出了无根据的实在性假设。然而，这些解释在微小却重要的方面偏离了证明所遵循的精确逻辑路径。本文解释了如何通过停留在这一路径上，避免那些偏离所引起的困难。