电脑前传(<em>3</em>):逻辑

• 作者: 黄铁军
• 来源期刊: 中国计算机学会通讯
• 关键词: 布尔代数 逻辑主义 希尔伯特纲领 哥德尔定理
• 年，卷（期）: 2019,（3）
• 所属期刊栏目: 专栏
• 页码范围: 47-53
• 页数: 7页
• 语种: 中文

摘要

古典逻辑 逻辑学的目的是为人类理智建立一个坚实的基础,轴心时代,三大文明分别萌芽出墨辩(古中国)、因明学(古印度)和逻辑学(古希腊). 我国春秋时期百家争鸣,注重辩论,墨子尤其注重辩论本身的合理性,提出了辩、类、故等逻辑概念,建立了类比、假言、直言、选言、演绎、归纳等一系列的思维方法,建立了中国第一个逻辑体系.因明学以立宗、因、喻三支作法而为言论之法,印度各种宗派常用因明学互相辩论,耆那教、印度教与佛教都继承了这个传统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄铁军		37	310	10.0	17.0