当前位置:首页 > 哲学宗教
现代逻辑学问题
现代逻辑学问题

现代逻辑学问题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

相关图书
作者其它书籍
返回顶部