【按】网络智酷来微信，要我提供摘要，他们好准备通知。我写了200字的样子，其实写的要多。下面的基本就是比较完整的摘要。

今年诺贝尔物理学奖发给了从事量子信息科学研究的物理学家。“信息是物理实体。”IBM科学家朗道如是说。从逻辑的观点看，朗道所言实为“S是P”，即表达了莱布尼茨主谓逻辑结构。莱氏的逻辑学与其形而上学是不能分的，但罗素却将其拦腰斩断，只要了谓词，从而构造出狭义谓词逻辑。那么如何将莱布尼茨主谓逻辑接续起来，使其完整。在我看来，信息似乎可以承担这个角色。因此以莱布尼茨的主谓逻辑讨论信息就是必要的。量子信息科学与传统的信息论有所不同，但将量子力学的狄拉克符号，左矢<|（bra）和右矢|>（ket）理解为一类新的模态算子，量子信息科学则纳入我所提出的模态信息论。使量子信息科学成为“以算子为导向”的内涵逻辑。这种新的逻辑观从本质上接受了存在（非模态）演算的一种模态观，即演算本身就是一种模态。