图书介绍

哲学逻辑研究2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

张清宇等著著
出版社：北京：社会科学文献出版社
ISBN：7800509028
出版时间：1997
标注页数：499页
文件大小：13MB
文件页数：514页
主题词：

PDF下载

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

点击复制MD5值：63b64770937ece0d56a39c5535669a8d

下载说明

哲学逻辑研究PDF格式电子书版下载

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

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

（文件页数要大于标注页数，上中下等多册电子书除外）

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

图书目录

前言页1

前言1

第1章一阶逻辑1

1 命题逻辑的证明方法2

2 不用联结词和量词的一阶逻辑系统25

3 一阶逻辑的公理系统55

第2章模态逻辑69

1 模态系统71

2 正规模态系统84

3 模态谓词逻辑109

第3章时态逻辑120

1 语言122

2 解释125

3 形式系统129

4 时态逻辑的完全性146

5 禁对称性和完全性152

6 判定问题158

7 带量词的时态逻辑165

8 时态逻辑与模态逻辑169

9 其他时态词176

第4章条件句逻辑181

1 形式系统185

2 邻域模型论192

3 关系模型论199

4 球形系统模型论209

5 择类函数模型论218

6 诸语义之比较223

5 量化条件句逻辑232

第5章多值逻辑243

1 卢卡西维兹的三值逻辑244

2 布奇瓦尔的三值逻辑247

3 克利尼的三值逻辑250

4 卢卡西维兹的m+1值逻辑253

5 卢卡西维兹的无穷值逻辑254

6 后承关系256

7 演算262

8 多值谓词逻辑273

9 波斯特代数280

第6章相干逻辑289

1 纯相干蕴涵部分292

2 相干命题逻辑311

3 相干命题逻辑的关系语义335

第7章直觉主义逻辑351

1 直觉主义命题逻辑356

2 直觉主义谓词逻辑366

3 克里普克语义374

4 完全性386

第8章弗协调逻辑394

1 弗协调命题逻辑396

2 弗协调模态命题逻辑430

3 弗协调时态命题逻辑447

第9章哥德尔不完全性定理462

1 形式算术464

2 递归函数471

3 算术化481

4 数字可表示性485

5 哥德尔不全性定理491