Quantum Logic as a Fragment of Independence-Friendly Logic
| 详细信息 | 推荐本文 | |
- 作者：Jaakko Hintikka
- 关键词：quantum logic ; independence ; friendly logic ; negation ; Boolean structures
- 刊名：Journal of Philosophical Logic
- 出版时间：2002
- 出版年：2002
- 期刊代码：23_00223611
- 类别：law
- 卷：31
- 期：3
- 页码：197-209
- 数据来源：sp
摘要
The working assumption of this paper is that noncommuting variables are irreducibly interdependent. The logic of such dependence relations is the author's independence-friendly (IF) logic, extended by adding to it sentence-initial contradictory negation ¬ over and above the dual (strong) negation . Then in a Hilbert space turns out to express orthocomplementation. This can be extended to any logical space, which makes it possible to define the dimension of a logical space. The received Birkhoff and von Neumann quantum logic can be interpreted by taking their disjunction to be ¬(A & B). Their logic can thus be mapped into a Boolean structure to which an additional operator has been added.