-
>
传习录
-
>
无障碍阅读典藏版:庄子全书
-
>
素书
-
>
孔子的世界——儒家文化的世界价值
-
>
王阳明全集(全四册)
-
>
生活与忆念
-
>
名家小全集(4册)
论联合演算 版权信息
- ISBN:9787030389282
- 条形码:9787030389282 ; 978-7-03-038928-2
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
论联合演算 本书特色
马雷所著的《论联合演算》通过对传统词项逻辑的一般特征的分析,抓住联合演算的实质特点,划分了联合演算的两个层次,在此基础上提出结构分析的方法作为判明或建构永真式的一个依据,同时提出一个极近似于命题逻辑的范式判定方法,用于在有穷步骤内解决一联合演算的判定问题。本书认为现行的联合演算对传统推论的刻画,仅就变项而言,就没有穷尽其全部特征,因而初步尝试构造了一个新的等价翻译的模式。本书还运用联合演算的理论构建了一个形式化的传统推论系统,并通过三段论化归进一步探讨了这一系统的优美性。本书的全部努力旨在说明:传统词项逻辑在其自身所把握的范围内,确如康德所说,是封闭的和完备的。
论联合演算 内容简介
联合演算是希尔伯特和阿克曼为从现代逻辑的演算观把传统逻辑推理理论系统化而特构的一种新的逻辑工具,但联合演算在解释传统逻辑和亚里士多德逻辑中存在根本缺陷。
马雷所著的《论联合演算》系统研究和发展了联合演算的理论与方法,废弃了联合演算的原初判定标准,提出解决判定问题的结构判定法和范式判定法;并在此基础上提出联合演算对传统逻辑和亚氏逻辑的等价翻译方案,构建了形式化的传统直言推论系统和三段论化归系统,构造了亚氏模态三段论的推演系统和化归系统,从而*大限度地证明传统逻辑和亚氏逻辑在其所适用的范围内所具有的严密性和完备性。
《论联合演算》适合逻辑学、哲学及相关专业的研究者和学生参阅。
论联合演算 目录
前言
**章 传统词项逻辑的一般特征
**节 传统词项逻辑语言的基本词汇
一、变项
二、逻辑常项
第二节 传统词项逻辑的直言命题形式
一、命题和命题形式
二、真值条件
第三节 传统词项逻辑的直言推理形式
一、推理和推理形式
二、亚里士多德三段论式和传统三段论式
第二章 亚里士多德的模态三段论
**节 模态词与模态命题形式
第二节 亚里士多德的模态三段论
联合演算理论的构建及其奠基意义(序)
前言
**章 传统词项逻辑的一般特征
**节 传统词项逻辑语言的基本词汇
一、变项
二、逻辑常项
第二节 传统词项逻辑的直言命题形式
一、命题和命题形式
二、真值条件
第三节 传统词项逻辑的直言推理形式
一、推理和推理形式
二、亚里士多德三段论式和传统三段论式
第二章 亚里士多德的模态三段论
**节 模态词与模态命题形式
第二节 亚里士多德的模态三段论
一、带有两必然前提的三段论
二、两前提一为必然一为实然的三段论
三、带有两可能前提的三段论
四、两前提一为可能一为实然的三段论
五、两前提一为可能一为必然的三段论
第三章 联合演算的构建
**节 词项逻辑、谓词逻辑、类逻辑和命题逻辑
一、词项逻辑与谓词逻辑
二、词项逻辑与类逻辑
三、词项逻辑与命题逻辑
第二节 命题演算与一元谓词演算或类演算的联合
一、命题演算与一元谓词演算的联合
二、命题演算与类演算的联合
第四章 联合演算的原初判定标准
**节 原初判定标准及其应用
第二节 对原初判定标准的考察
一、隐蔽的矛盾
二、理论谬误和症结所在
第五章 联合演算的结构判定方法
**节 希尔伯特和阿克曼的审定法
第二节 结构判定方法
一、对竖号的重新解释
二、结构判定方法及其应用
第六章 联合演算的范式判定方法
**节 运用范式判定方法的可能性
第二节 范式判定方法及其一般应用
一、基本概念和定理
二、判定方法及其应用
第三节 豪伯定理的证明
第七章 联合演算对传统词项逻辑的等价描述
**节 问题的提出
第二节 新的翻译模式
第三节 传统直言推理式的简化
第八章 联合演算对传统直言推理的系统化
**节 联合演算的出发点
一、初始符号
二、形成规则
三、定义
四、公理
五、基本推理规则
第二节 定理的推演
一、传统直接推理的系统化
二、直言三段论推理的系统化
第三节 传统直言三段论的化归
一、化归原理和方法
二、三段论的化归——归于**格AAA式
第九章 亚里士多德模态三段论的形式系统
**节 对亚里士多德模态三段论的等价表述
一、带有两必然前提的三段论
二、两前提一为必然一为实然的三段论
三、带有两可能前提的三段论
四、两前提一为可能一为实然的三段论
五、两前提一为可能一为必然的三段论
第二节 模态三段论演算的出发点
一、初始符号
二、形成规则
三、定义
四、公理
五、变形规则
六、定理的推演
第三节 亚里士多德模态三段论的化归
一、化归原理和方法
二、亚里士多德模态三段论的化归
三、余论:亚里士多德的模态悖论
参考文献
后记
论联合演算 节选
马雷所著的《论联合演算》通过对传统词项逻辑的一般特征的分析,抓住联合演算的实质特点,划分了联合演算的两个层次,在此基础上提出结构分析的方法作为判明或建构永真式的一个依据,同时提出一个极近似于命题逻辑的范式判定方法,用于在有穷步骤内解决一联合演算的判定问题。本书认为现行的联合演算对传统推论的刻画,仅就变项而言,就没有穷尽其全部特征,因而初步尝试构造了一个新的等价翻译的模式。本书还运用联合演算的理论构建了一个形式化的传统推论系统,并通过三段论化归进一步探讨了这一系统的优美性。本书的全部努力旨在说明:传统词项逻辑在其自身所把握的范围内,确如康德所说,是封闭的和完备的。
论联合演算 作者简介
1965年生,安徽舒城人(祖籍霍邱)。哲学博士,东南大学哲学与科学系教授、博士生导师。国家社会科学基金项目特约通讯评委,中国博士后基金项目特约通讯评委,中国逻辑学会科学逻辑专业委员会委员,国家“985工程”哲学社会科学创新基地“科技、伦理与艺术”高级研究中心兼职研究员,南京大学现代逻辑与逻辑应用研究所兼职研究员,江苏省逻辑学会常务理事,江苏省自然辩证法研究会理事,东南大学人文学院学术委员会委员。主要从事逻辑学、科学哲学、外国哲学等领域的研究,在科学哲学领域提出和建构了科学进步的协调合理性理论。主持完成和承担国家社会科学基金课题各一项,代表作有:《进步、合理性与真理》(人民出版社,2003年)、《冲突与协调——科学合理性新论》(商务印书馆,2006年,2008年)。
- >
姑妈的宝刀
姑妈的宝刀
¥10.5¥30.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥17.0¥45.8 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥35.5¥48.0 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.5¥10.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥13.8¥32.0 - >
自卑与超越
自卑与超越
¥14.7¥39.8 - >
月亮虎
月亮虎
¥16.8¥48.0
-
求解思维的逻辑
¥7.5¥15 -
逻辑思考的100个关键:脑hack大全
¥17¥46.8 -
简单的逻辑学:逻辑学入门很简单
¥9.6¥36 -
逻辑新引.怎样判别是非
¥23.1¥49 -
逻辑学十五讲-(第二版)
¥26.4¥59 -
逻辑迷宫
¥52.8¥72
全通用管理信息处理系统实战指南
¥14.3¥39.8三国人物古今谈(上下)
¥56.9¥79.0