现代逻辑与传统逻辑[电子资源.图书]

副标题：无

作者：程仲棠著

分类号：

ISBN：9787810290449

收录收藏 (0) 评论纠错

微信扫一扫,移动浏览光盘

简介

简介

本书主要研究数理逻辑(亦称符号逻辑)与传统逻辑的关系，其基本看法是:数理逻辑就是现代形式逻拆，它是传统形式逻辑的继承和重大发展，两种逻辑均以满足正确思维必要条件的思维形式作为主要研究对象。

导言
第一章传统名词逻辑体系的重新探讨
第一节半形式语言的变项和常项
第二节命题和命题形式
第三节推理和推理形式
第四节蕴涵式和推理形式的关系
第五节名词逻辑和命题逻辑的关系
第六节传统名词逻辑的局限性
第二章亚里士多德三段论的再认识
第一节亚氏三段论系统的基础
第二节亚氏三段论系统的证明
第三节亚氏三段论系统的格和式
第四节亚氏三段论系统的形式化
第五节亚氏的语义解释方法
第三章斯多葛派命题逻辑和传统三段论的再认识
第一节斯多葛派的命题逻辑系统
第二节传统三段论系统的特征
第三节中世纪威廉和彼得的三段论系统
第四节莱布尼茨的三段论系统
第四章数理逻辑的对象、观点和方法
第一节数理逻辑的对象
第二节数理逻辑和传统逻辑的差别逻辑观点和逻辑方法的关系
第五章命题逻辑和谓词逻辑的语形和语义理论
第一节日常语言的形式化和命题逻辑的形式语言
第二节日常语言的形式化和谓词逻辑的形式语言
第三节解释和真值
第四节与逻辑规律及正确推理形式有关的语义概念和语义方法
第五节命题逻辑自然推理系统
第六节谓词逻辑自然推理系统
第六章从一元谓词演算及其解释看传统名词逻辑
第一节非传统直言命题的对当关系
第二节传统的直接推理形式
第三节三段论式
第四节特殊的永真式
第五节含有单称前提的推理形式
第六节一元谓词演算的解释
第七节传统名词逻辑的修正
第八节修正的三段论自然推理系统
结束语
一逻辑与思维
二逻辑与语言
参考书目
后记

已确认勘误

页码	勘误内容	提交人	修订印次

现代逻辑与传统逻辑[电子资源.图书]

名称
类型
大小

用户反馈

FAQ

现代逻辑与传统逻辑[电子资源.图书]

已确认勘误

第次印刷 筛选

第次印刷