逻辑学发展 |
第二章
中国古代逻辑思想
先秦
孔子 荀子
正名
庄子
濠梁之辩
韩非子
矛盾之说
墨子
书本
墨经
经上 经下 经说上 经说下 大取 小取
知识来源
亲知 闻知 说知
知识内容
明知 实知 合知 为知
印度古代逻辑思想
古代论辩术
正理论 因明
佛教
逻辑
因明
三支论式
宗
此山有火
因
因而有烟
喻
凡有烟均有火,如厨房(同喻);凡无烟均无火,如湖(反喻
创始人
龙树
开创
陈那
新因明 《因明正理理论》《集量论》
商羯罗主
因明入正理论
古希腊
亚里士多德
《工具论》
麦加拉
斯多阿学派逻辑 构造了命题逻辑系统
中世纪
经院逻辑体系
近代西方逻辑
归纳逻辑
培根
三表法
出现表
不出现表
程度表
密尔
求因果五法
康德
先验逻辑
黑格尔
《逻辑学》
数理逻辑
莱布尼茨
《论组合数》
布尔
逻辑代数 逻辑演算
德摩根
关系逻辑
弗雷格
量词
罗素
完备逻辑演算 谓词
内容
逻辑演算 证明论 集合论 递归论 模型论