<<逻辑、语言和认识>>（荷）约翰范本特姆
LG和认识科学有广泛的联系，但不是一加事。
量词可以刻画为一种树的子集。
量词应该是“上下文中立的”
类型世界的量词

范围语法和入-演算，5.6 布尔结构和单调性

兰贝克演算：它的类型改变规则与构建性命题逻辑的推理规则非常相似。

计算机计算没有“一阶/二阶”这样的人工边界，而且可能与实际的认知更接近。“表面推理”在计算机科学中一直被使用。最近认知研究表明，表面评议推理在大脑

中以不同于我们整个推理工具的语言为准而迅速发生。

计算收敛性
会话就是计算（隐喻）