摘要
真性模态命题逻辑(MCP)为量子信息理论尝试严格模型,但其自身在句法、语义和形上学方面都有严重困难。依据隐变量最低限度指引定义,给出MCP与经典命题逻辑(CP)的四个等价性,得出MCP是包含严格句法隐变量的CP,模态公式是对CP公式的分类簇,可能世界是作为赋值背景的CP公式,量子信息可建立更简洁统一基础。
Narrow Modal Propositional Logic(MCP)tries to be strict models for quantum information theory,but it has serious difficulties in syntax,semantics and metaphysics.According to the guiding definition of minimum hidden variables,this paper gives four equivalences between MCP and Classical Propositional Logic(CP),and concludes that MCP is CP containing minimum syntactic hidden variables,modal axiom is the classification of CP formulas,and possible world is CP formula as assignment background,which establishes simpler and unified basis for quantum information theory.
作者
万小龙
WAN Xiao-long(The Research Center for Philosophy,Logic,and History of Science and Technology,University of Electronic Science and Technology of China,Chengdu 611731,China)
出处
《自然辩证法研究》
CSSCI
北大核心
2022年第5期17-23,共7页
Studies in Dialectics of Nature
基金
电子科技大学“杰出人才”基金“量子信息与逻辑的哲学研究”(A1098531023601302)。
关键词
量子信息
模态命题逻辑
簇
四个等价性
quantum information
modal propositional logic
cluster
four equivalences
