图书介绍

当代形式逻辑基础pdf电子书版本下载

当代形式逻辑基础
  • 龚启荣著 著
  • 出版社: 贵阳:贵州教育出版社
  • ISBN:7806506829
  • 出版时间:2006
  • 标注页数:203页
  • 文件大小:11MB
  • 文件页数:217页
  • 主题词:形式逻辑-基本知识

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示:(请使用BT下载软件FDM进行下载)软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

下载说明

当代形式逻辑基础PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!

(文件页数 要大于 标注页数,上中下等多册电子书除外)

注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具

图书目录

第壹篇 导论 1

第一章 引言 1

1.1 逻辑科学在现代科学中的地位 2

1.2 传统形式逻辑与正统数理逻辑 4

1.3 当代形式逻辑的研究领域、哲学思想和理论观点 6

1.4 本书宗旨 7

第二章 当代形式逻辑语义学基础 11

2.1 集 11

2.2 n目组、n目组集和n元关系 15

2.3 n元函数关系 16

2.4 客观世界的项(term) 17

2.5 原子事件 21

2.6 真值函数关系与纯真值复合事件 23

2.7 基本的非纯真值联结关系——充分条件关系及其两个独立性 25

2.8 导出的非纯真值联结关系和非纯真值复合事件 30

2.9 事件 31

2.10 客观世界的逻辑结构 33

第三章 客观世界的逻辑规律 35

3.1 逻辑规律概述 35

3.2 逻辑规律不是思维自身的规律 37

3.3 逻辑规律不是符号自身的规律 39

3.4 逻辑规律是且仅是客观世界的规律 40

3.5 逻辑规律的分类 42

第四章 非推导逻辑定律 48

4.1 不矛盾律 48

4.2 排中律 50

第贰篇 逻辑思考 概念 52

第五章 逻辑思考概述 52

5.1 逻辑思考的定义 52

5.2 逻辑思考的内容 53

5.3 逻辑思考的形式化 54

5.4 逻辑思考、思考对象、语言载体的关系 55

5.5 逻辑语义学、语构学、语用学 58

第六章 概念 59

6.1 概念的概述 59

6.2 概念的内涵和外延 60

6.3 概念的种类 61

6.4 2元关系概念 65

6.5 概念间的关系 67

6.6 划分 71

6.7 概念的限制和概括 73

6.8 传统概念理论中存在的问题 74

第叁篇 命题 81

第七章 原子命题 纯真值复合命题 81

7.1 命题的概述 81

7.2 原子命题 82

7.3 纯真值复合命题 85

7.4 重言式的判定 92

7.5 纯真值复合命题的否定命题及其恒等命题 96

7.6 对纯真值有效式的剖析 97

第八章 非纯真值复合命题 102

8.1 基本的非纯真值复合命题——充分条件假言命题 102

8.2 导出的非纯真值复合命题(1)——必要条件假言命题、充分必要条件假言命题 103

8.3 导出的非纯真值复合命题(2)——尽举选言命题、约合命题 105

8.4 非纯真值复合命题的否定命题及其恒等命题 109

8.5 外延命题和内涵命题 110

8.6 下定义和定义 112

8.7 复合命题的自然语言载体 115

第九章 传统直言命题 118

9.1 传统直言命题概述 118

9.2 AEIO的真假情况 120

9.3 AEIO的真假关系 121

9.4 AEIO的主词和宾词的周延性问题 123

9.5 直言命题的否定命题及其恒等命题 124

9.6 传统命题的当代形式逻辑剖析 124

第肆篇 逻辑定理 130

第十章 推理和导出 130

10.1 逻辑定理概述 130

10.2 常见的命题逻辑推理 133

10.3 常见的命题逻辑导出式 145

10.4 对流行的传统形式逻辑读本中命题逻辑推理式的几点剖析 148

10.5 关于“必然”、“可能”的推理 152

10.6 归纳规则 类比规则 156

第十一章 传统直言命题推导 160

11.1 传统直言命题变形推导 160

11.2 传统直言命题对当关系推导 162

11.3 传统直言三段论 163

11.4 传统的直接推理 间接推理的当代形式逻辑剖析 167

第伍篇 逻辑证明 173

第十二章 逻辑证明概述 173

12.1 证明的定义 174

12.2 几种常见的证明方法 175

第十三章 证明的哲学意义 179

13.1 已证明的结论是否已证实 179

13.2 结论对前提来说是否新知 181

13.3 证实的定义 186

13.4 证明的前提及其证实 187

13.5 简短的结语 194

第陆篇 结语 196

第十四章 逻辑科学的定义 196

后记 198

参考文献 203

精品推荐