论联合演算
论联合演算作者:马雷 开 本:16开 书号ISBN:9787030389282 定价:88.0 出版时间:2013-10-01 出版社:科学出版社 |
论联合演算 本书特色
马雷所著的《论联合演算》通过对传统词项逻辑的一般特征的分析,抓住联合演算的实质特点,划分了联合演算的两个层次,在此基础上提出结构分析的方法作为判明或建构永真式的一个依据,同时提出一个极近似于命题逻辑的范式判定方法,用于在有穷步骤内解决一联合演算的判定问题。本书认为现行的联合演算对传统推论的刻画,仅就变项而言,就没有穷尽其全部特征,因而初步尝试构造了一个新的等价翻译的模式。本书还运用联合演算的理论构建了一个形式化的传统推论系统,并通过三段论化归进一步探讨了这一系统的优美性。本书的全部努力旨在说明:传统词项逻辑在其自身所把握的范围内,确如康德所说,是封闭的和完备的。
论联合演算 内容简介
联合演算是希尔伯特和阿克曼为从现代逻辑的演算观把传统逻辑推理理论系统化而特构的一种新的逻辑工具,但联合演算在解释传统逻辑和亚里士多德逻辑中存在根本缺陷。
马雷所著的《论联合演算》系统研究和发展了联合演算的理论与方法,废弃了联合演算的原初判定标准,提出解决判定问题的结构判定法和范式判定法;并在此基础上提出联合演算对传统逻辑和亚氏逻辑的等价翻译方案,构建了形式化的传统直言推论系统和三段论化归系统,构造了亚氏模态三段论的推演系统和化归系统,从而*大限度地证明传统逻辑和亚氏逻辑在其所适用的范围内所具有的严密性和完备性。
《论联合演算》适合逻辑学、哲学及相关专业的研究者和学生参阅。
论联合演算 目录
联合演算理论的构建及其奠基意义(序)前言
**章 传统词项逻辑的一般特征
**节 传统词项逻辑语言的基本词汇
一、变项
二、逻辑常项
第二节 传统词项逻辑的直言命题形式
一、命题和命题形式
二、真值条件
第三节 传统词项逻辑的直言推理形式
一、推理和推理形式
二、亚里士多德三段论式和传统三段论式
第二章 亚里士多德的模态三段论
**节 模态词与模态命题形式
第二节 亚里士多德的模态三段论
联合演算理论的构建及其奠基意义(序)
前言
**章 传统词项逻辑的一般特征
**节 传统词项逻辑语言的基本词汇
一、变项
二、逻辑常项
第二节 传统词项逻辑的直言命题形式
一、命题和命题形式
二、真值条件
第三节 传统词项逻辑的直言推理形式
一、推理和推理形式
二、亚里士多德三段论式和传统三段论式
第二章 亚里士多德的模态三段论
**节 模态词与模态命题形式
第二节 亚里士多德的模态三段论
一、带有两必然前提的三段论
二、两前提一为必然一为实然的三段论
三、带有两可能前提的三段论
四、两前提一为可能一为实然的三段论
五、两前提一为可能一为必然的三段论
第三章 联合演算的构建
**节 词项逻辑、谓词逻辑、类逻辑和命题逻辑
一、词项逻辑与谓词逻辑
二、词项逻辑与类逻辑
三、词项逻辑与命题逻辑
第二节 命题演算与一元谓词演算或类演算的联合
一、命题演算与一元谓词演算的联合
二、命题演算与类演算的联合
第四章 联合演算的原初判定标准
**节 原初判定标准及其应用
第二节 对原初判定标准的考察
一、隐蔽的矛盾
二、理论谬误和症结所在
第五章 联合演算的结构判定方法
**节 希尔伯特和阿克曼的审定法
第二节 结构判定方法
一、对竖号的重新解释
二、结构判定方法及其应用
第六章 联合演算的范式判定方法
**节 运用范式判定方法的可能性
第二节 范式判定方法及其一般应用
一、基本概念和定理
二、判定方法及其应用
第三节 豪伯定理的证明
第七章 联合演算对传统词项逻辑的等价描述
哲学/宗教 哲学 逻辑学
在线阅读
- 最新内容
- 相关内容
- 网友推荐
- 图文推荐
[家长教育] 孩子为什么会和父母感情疏离? (2019-07-14) |
[教师分享] 给远方姐姐的一封信 (2018-11-07) |
[教师分享] 伸缩门 (2018-11-07) |
[教师分享] 回家乡 (2018-11-07) |
[教师分享] 是风味也是人间 (2018-11-07) |
[教师分享] 一句格言的启示 (2018-11-07) |
[教师分享] 无规矩不成方圆 (2018-11-07) |
[教师分享] 第十届全国教育名家论坛有感(二) (2018-11-07) |
[教师分享] 贪玩的小狗 (2018-11-07) |
[教师分享] 未命名文章 (2018-11-07) |