arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1504.01544quant-phphysics.hist-ph
收藏

对应真理与量子力学

Correspondence Truth and Quantum Mechanics

Vassilios Karakostas

摘要:

物理学理论的逻辑反映了命题的结构,这些命题涉及相关理论领域中物理系统的行为。有人认为,在有关经典力学的命题结构的理论,允许真值分配符合传统的概念,符合理论的真理。经典力学中的每一个命题都被赋予了一个确定的真值,要么是“真”,要么是“假”,描述了在某个时刻的实际情况。然而,量子力学中的真值赋值是不同的;通过各种“不可行”定理,我们知道,不可能在不产生Kochen-Specker矛盾的情况下,为所有与量子系统有关的命题赋值确定的真值。在这方面,Bub-Clifton的“唯一性定理”是用来争论,真值的确定性是一贯恢复相对于一个确定的子格的命题所定义的量子系统的状态有关和一个特定的可观察到的测量。因此,提供了一个适合于话语的量子域的上下文对应的真理的帐户。最后对所得到的解释的概念含义进行了详细的追踪和分析。从这个角度来看,传统的对应真理概念可以被看作是一个物种或作为一个限制情况下,更一般的建议方案的上下文对应时,不明确的规定,一个语境的话语不会造成进一步的后果。

英文摘要:

The logic of a physical theory reflects the structure of the propositions referring to the behaviour of a physical system in the domain of the relevant theory. It is argued in relation to classical mechanics that the propositional structure of the theory allows truth-value assignment in conformity with the traditional conception of a correspondence theory of truth. Every proposition in classical mechanics is assigned a definite truth value, either 'true' or 'false', describing what is actually the case at a certain moment of time. Truth-value assignment in quantum mechanics, however, differs; it is known, by means of a variety of 'no go' theorems, that it is not possible to assign definite truth values to all propositions pertaining to a quantum system without generating a Kochen-Specker contradiction. In this respect, the Bub-Clifton 'uniqueness theorem' is utilized for arguing that truth-value definiteness is consistently restored with respect to a determinate sublattice of propositions defined by the state of the quantum system concerned and a particular observable to be measured. An account of truth of contextual correspondence is thereby provided that is appropriate to the quantum domain of discourse. The conceptual implications of the resulting account are traced down and analyzed at length. In this light, the traditional conception of correspondence truth may be viewed as a species or as a limit case of the more generic proposed scheme of contextual correspondence when the non-explicit specification of a context of discourse poses no further consequences.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑