- 作 者：（日）末木刚博等著；杜岫石等译
- 出 版 社：北京：中国人民大学出版社
- 出版年份：1983
- ISBN：2011·109
- 标注页数：216 页
- PDF页数：224 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源224 ≥216页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
出版说明 1
前言 1
逻辑学的历史 末木刚博 3
(一)中国逻辑学 3
1．墨翟 4
2．别墨(墨者) 4
3．名家 7
4．苟卿 10
5．韩非 11
(二)印度逻辑学 12
1．数论派的“遍充”的思想 15
2．《恰拉卡本集》的五支作法 16
3．《正理经》的逻辑 18
4．新因明的逻辑 21
(三)西方逻辑学 25
1．希腊的逻辑学 26
2．亚里士多德以后的逻辑学 37
3．近代以后 38
现代逻辑学 吉田夏彦 42
(一)逻辑主义的体系 42
(二)仨符号 逻辑符号 元素符号 44
(三)命题式 45
(四)命题式的意思 46
(五)省略的命题式 47
(六)列与式，字典顺序，闭式 47
(七)推论图 49
(八)论证图 52
(九)论证图的例子 53
(十)＝的定义 54
(十一)外延性公理 56
(十二)抽象公理 56
(十三)用定义导入演算子 56
(十四)再论逻辑主义的体系 60
(十五)素朴集合论的悖论 62
(十六)对逻辑的重新考虑 64
(十七)类型理论 65
(十八)无限公理 67
(十九)一阶谓词逻辑 67
(二十)完全性定理 70
(二十一)应用谓词逻辑及其模型 71
(二十二)公理的集合论 73
(二十三)形式主义数学基础论 76
(二十四)哥德尔的不完全性定理 78
(二十五)无矛盾性问题 79
(二十六)证明论和模型论 80
哲学和逻辑学 泽田允茂 82
(一)逻辑思维 82
(二)语法、逻辑和存在的并行 86
(三)方法论与逻辑学 96
(四)先验逻辑和形式逻辑 102
(五)辩证逻辑的形式 107
(六)对逻辑学的哲学的一瞥 115
语言、逻辑和计算机 扳本百大 117
(一序：逻辑的边缘 117
(二)可计算性与电子计算机 122
1．递归函数和可计算性 122
2．电子计算机原理与逻辑 128
(三) 自动机理论与人的思维 131
1．信息处理与自动机 131
2．逻辑思维的功能和起源 134
(四)文法与逻辑，机器翻译 138
(五)语义 143
1．同义性 143
2．对象指示和实在论 145
3．个人的语义和浯义的公共化 149
附录 153
一、《波尔·罗亚尔逻辑学》在西方逻辑学史上的意义 山下正男 153
二、波尔·罗亚尔的语义学 内井?七 187