投稿须知
    1. 论文题目:
    论文题目和各级标题一般不超过20个字,避免使用非公知、公用的缩略词、代号等。
    2. 作者简介:
    作者姓名,出生年份、性别、籍贯、学位、职称和主要研究方向。
    3. 基金项目:
  & ...

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

作者: 陈鹏    北京语言大学信息科学学院 北京100083 中国社会科学院哲学所 北京100732

关键词: 逻辑学 莱布尼茨纲领 图灵机 作为计算的逻辑

摘要:现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:“作为科学、数学和哲学”的基础)相去甚远。在图灵机理论中,图灵核心阐述了“自动机”和“指令表语言”这两个概念,这两者很好地契合了莱布尼茨关于“理性演算”和“普遍语言”的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的“作为计算的逻辑”传统(也可以称为“计算传统”)。“作为计算的逻辑”实质上是一种“主体转向”,“以往的逻辑”是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,“作为计算的逻辑”则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。


上一篇:威廉姆森对先验-后验之分的两个挑战
下一篇:最后一页

地址:北京西城区三里河路54号四层 邮编:100045 
中国自然辩证法研究会 主办 中国科协信息中心