本文转载自微信公众号“人机与认知实验室”(ID: 9h_9c3c1f805cb8)，作者白驹

量词，是在命题中表示数量的词，量词有两类：全称量词（∀），表示“所有的”或“每一个”；存在量词（∃），表示“存在某个”或“至少有一个”。

休谟之问（从being里面能否推出should）中的being（存在、是）意味着至少有一个（∃）的有限，should（应该）意味着所有（∀）可能性的无限，休谟之问的核心意味着能否用有限获得无限，甚至于能否用计算达到算计……

计算—表征，算计—实践，计算计，山水之间也，山，静；水，动；一静一动，一显一隐。

计算、算计之间不是简单的降维、升维问题，而是结构功能能力的问题。

计算计（计算+算计）并不是一个完全形式化的符号体系，而是一个定性算计与定量计算相结合的应用系统（需要特别说明的是：算计不是一个贬义词，而是与计算一样的中性词）。

现在的数学是建立在公理基础上的逻辑体系，未来的算学可能是构建公理的泛逻辑体系……

算计对付的是异与易，计算处理的是同与复