逻辑的计算进路--从莱布尼茨到图灵的逻辑发展 / 开普饭

[导读]近期火出圈的游戏<赛博朋克2077>把上世纪80年代的一支科幻艺术流派重新带回了公众视野.多年来,赛博朋克的创作一支保持着一系列极具辨识度的反乌托邦设定:高技术低社会.贫富分化.环 ...

摘要:现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都离莱布尼茨的逻辑学纲领(即:"作为科学.数学和 ...

2019年,国家启动了"双高计划"建设,目标瞄向中国特色.世界水平的高水平高职院校和专业."大学乃大师之谓也",对于高职院校而言"'双高'乃双师之高也 ...

无论是推崇成文法抑或遵循判例法,各国无一例外地将统一的法律适用作为司法制度成熟与否的重要标尺.在中国特色社会主义法律体系业已宣告形成的现实背景下,法律适用的稳定性和可预期性有赖于不同层级.不同地域法院 ...

我们通常以两种方式阐述莱布尼茨的论点:一种是更宗教化的方式(这是最初的方式),另一种是我认为不那么宗教化的方式.但让我们从最宗教和最原始的方式开始. 原始的方式我们可以说莱布尼茨的解释是以" ...

在<庄子·齐物论>中,庄子通过南郭子綦与颜成子游的对话提出'吾丧我'之论见.在这里,庄子似乎有意区分了'吾'与'我'之别,即'吾'之主体性与'我'之被动性之别,而且指出'吾'与'我'之间存 ...

作者简介:孙璐,女,江苏扬州人,博士,扬州大学商学院公共管理系副教授,硕士生导师,主要研究方向:社区治理. 摘要:社区情感治理是社区治理主体和居民之间通过社会互动及情感传递,借助情感治理策略,强化情感 ...

返朴关注返朴(ID:fanpu2019),阅读更多!昨天 19:28 细微处窥见时代风貌体认中领略器物之美撰文 | 张涛来源:清华大学科学博物馆莱氏计算器人类进入当前以计算机为代表之一的信 ...

摘要:本文选取3个农民自组织作为研究案例,这3个农民自组织分属于治理现代化处于不同阶段的3个村庄,具体分析其农民自组织公共参与的现实逻辑.基于理论逻辑与现实逻辑的分析指出,农民自组织公共参与逻辑沿着组 ...

德国哲学家.数学家莱布尼茨在本文中,我将介绍莱布尼茨的研究,特别是关于数学和哲学.我也将解释莱布尼茨如何理解证明和分析的概念.最后,我将关注莱布尼茨在神学和形而上学中的作用. 通用表意文字拉丁术语 ...

逻辑的计算进路--从莱布尼茨到图灵的逻辑发展