1989_07 现代逻辑学_10230202.pdf
《1989_07 现代逻辑学_10230202.pdf》由会员分享,可在线阅读,更多相关《1989_07 现代逻辑学_10230202.pdf(450页珍藏版)》请在文库网上搜索。
1、General Information书名=1989.07 现代逻辑学作者=李树琦 蔡春庚 蒋艳华页数=438SS号=10230202出版日期=1989年07月第1版前言目录第一章 绪论 第一节 逻辑思想的发展 一 中国“名学” 二 印度“因明学” 三 希腊“逻辑学” 四 逻辑学的发展 第二节 现代逻辑学的产生 第三节 现代逻辑学的分类和子学科简介 一 理论逻辑 二 应用逻辑 第四节 现代逻辑与传统逻辑的比较 一 传统逻辑的缺陷 二 形式逻辑、数理逻辑和辩证逻辑 三 数理逻辑和数学逻辑 第五节 学习现代逻辑的意义和方法第二章 命题逻辑 第一节 命题逻辑的基础理论 一 命题形式 二 命题联结词
2、三 命题函项 四 重言式 五 范式 六 推理 第二节 命题逻辑的演算系统 一 形式系统 二 公理推理系统 三 自然推理系统 四 元逻辑问题 五 命题演算的其它系统第三章 谓词逻辑 第一节 谓词逻辑的基础理论 一 命题逻辑的不足 二 个体词、谓词和量词 三 谓词公式 四 谓词公式判定的绘图方法 五 摹状词问题 六 关系逻辑问题 第二节 谓词逻辑的演算系统 一 系统特点 二 公理推理系统 三 自然推理系统 四 演绎定理 五 范式 六 元逻辑问题第四章 逻辑代数 第一节 布尔代数 一 代数含义 二 基本规则 三 公式化简 第二节 真值代数和命题代数 一 真值代数的含义 二 命题代数的含义 三 实质蕴
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 1989_07 现代逻辑学_10230202 1989 _07 现代 逻辑学 _10230202