当前位置:首页 |
类型系统
推荐产品
联系我们
|
读书笔记
来源:本站整理 |
点击: |
录入时间:2011/8/24
<逻辑、语言和认知>(荷兰) 逻辑和认知科学有广泛的联系,但不是一回事。 量词是其他副词和形容词的最终形式吗?广义量词理论。 量词可以刻画为一种树的子集。 量词应该是“上下文中立的”。 我的理解 类型世界中的量词也一样。 范畴语法和‘入’-演算:5.6 布尔结构和单调性。范畴语法->兰贝克演算->这的类型改变规则与结构性命题逻辑的推理规则非常相似。
计算机计算没有“一阶二阶”这样的人工边界,而且可能与实际的认知更接近。“表面推理”在计算机科学中一直被使用最近认知研究表明,表面语言推理在大脑中以不同于我们在整个推理工具的语言为准面迅速发生。 计算的收敛性; 会话就是计算(隐喻)。
上一篇:逻辑、语言和认识
下一篇:没有下一篇了
|