现代逻辑学问题PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:(日)末木刚博等著;杜岫石等译
- 出 版 社:北京:中国人民大学出版社
- 出版年份:1983
- ISBN:2011·109
- 页数:216 页
出版说明 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
- 《社会学与人类生活 社会问题解析 第11版》(美)James M. Henslin(詹姆斯·M. 汉斯林) 2019
- 《强制执行前沿与热点问题》陈兴责编;乔宇 2020
- 《党员干部理论学习培训教材 理论热点问题党员干部学习辅导》(中国)胡磊 2018
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《强磁场下的基础科学问题》中国科学院编 2020
- 《改革进程中的刑事诉讼程序与证据问题研究 基于警察的视角》谢波 2019
- 《马克思主义意识形态建设的基础问题探幽》陈冬生,王枫桥责编 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《文化转向视角下的英汉翻译问题再审视》王燕著 2020
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《中国当代乡土小说文库 本乡本土》(中国)刘玉堂 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《中国铁路人 第三届现实主义网络文学征文大赛一等奖》恒传录著 2019
- 《莼江曲谱 2 中国昆曲博物馆藏稀见昆剧手抄曲谱汇编之一》郭腊梅主编;孙伊婷副主编;孙文明,孙伊婷编委;中国昆曲博物馆编 2018
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《中国陈设艺术史》赵囡囡著 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019