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

【作者单位：北京语言大学信息科学学院+中国社会科学院哲学所】 摘要：现代逻辑肇始于莱布尼茨，在布尔和弗雷格处发生了分流，形成了所谓的逻辑的代数传统和逻辑的语言传统，然而，无论是代数传统亦或者是语言传统都离莱布尼茨的逻辑学纲领（即：“作为科学、数学和哲学”的基础）相去甚远。在图灵机理论中，图灵核心阐述了“自动机”和“指令表语言”这两个概念，这两者很好地契合了莱布尼茨关于 “理性演算”和“普遍语言”的

>>阅读原文<<