《逻辑学教程》黄华新,胡龙彪 电子书

请通过以下商城购买正版书籍

图书库 , 版权所有丨如未注明 , 均为原创丨本网站采用BY-NC-SA协议进行授权
转载请注明原文链接：本站电子书版权归原作者及开发商所有，仅限个人测试交流学习之用，请在下载后24小时内删除。若有违反您个人权益，请留言反馈删除相关信息。

内容简要：

逻辑是一门既古老双年轻的学科。说它古老，是因为它的历史源远流长；说它年轻，是因为它今天仍然充满着生机和活力，在人们现实的思维和交际中起着其他学科不可替代的重要作用。 依据“由抽象上升到具体”的理论建构原则，我们分九章来安排本书的教学体系。 本书的章介绍逻辑的对象、作用和对象、作用和历史，旨在为逻辑画一个总的轮廓，使读者对逻辑有一个概略的了解。 本书的第二章和第三章所讨论的问题，属于命题逻辑的范围。就命题逻辑而言，简单、基本的东西就是命题联结词，所以第二章就从联结词讲起。第三章讨论命题演算，它是命题逻辑的形式化、系统化。命题演算包括公理系统的自然推理系统，本章对这两大系统都作了简明扼要的介绍。 第四章、第五章和第六章讨论谓词逻辑。谓词逻辑是在命题逻辑基础上为现代逻辑体系中的“细胞”。依据这样的分析思路，命题逻辑揭示了效推理，即以命题联结词为基础的推理的规律。但是，还有一类有效推理，它们无法用命题逻辑的理论给以说明，因为它们的有效性植根于命题的内部结构。因此，必须深命题的内部；考察作为命题结构成分的题词、谓词和个体词，从而说明这一类推理的有效性，这便是谓词逻辑任务。 第七章讨论模态逻辑，模态逻辑是在命题逻辑和谓词逻辑基础上的一步扩展。命题逻辑和谓词逻辑对于折合明效性的讨论是以现实世界为参照系的，而模态推理的有效性则涉及可能世界。所以，与命题逻辑和谓词逻辑相比，模态逻辑有关更为宽广的逻辑视野。本章的主要内容涉及非形式的模态命题逻辑元理念等等。 第八章讨论归纳逻辑，包括传统的归纳逻辑与现代的归纳逻辑，其中前三节更多地属于“传统”的内容，后两节则较从一些“现代”的气息。归纳逻辑与前面第二至第七章所讨论的演绎逻辑属于不同的逻辑类型，但它对于培养人们的逻辑分析与推理能力同样是不可或缺的，因此，我们也在此作一个简要的介绍。 第九章讨论语用逻辑。语用逻辑的着眼是人类言语活动的交际性，它力图结合主体与语境来探讨语句的具体意义，因而是为复杂和具体的。虽然逻辑学界对语用逻辑的性质、分类和核心概念有不少讨论，但语用逻辑的体系和内容至今还远远没有成型。我们之氢要在后介绍这些尚不成熟的理论，无非是想帮助读者拓宽逻辑的视野，并在更广泛的层面上引起大家对新的逻辑领域的兴趣和关注。

目录：

逻辑学教程
扉页 版权页
前言 目录 第一章 绪论 1 逻辑的研究对象 2 逻辑的作用 3 逻辑发展简史 第二章 非形式的命题逻辑 1 命题和联结词 2 真值表方法 真值函数 3 真值函数可定义性 联结词的完全性与独立性 4 重言式的逻辑分析 5 推理的有效性 重言后承 6 范式 练习题 第三章 命题演算 1 形式系统概述 2 命题演算系统P的结构 3 P的内定理的证明 4 演绎定理及其应用 5 P的定义式定理 6 P的元理沦 7 命题演算自然推理系统P_N 练习题 第四章 传统谓词逻辑 1 概念 2 性质命题 3 性质命题直接推理 4 三段论 练习题 第五章 非形式的一阶谓词逻辑 1 从传统谓词逻辑到现代谓词逻辑 2 命题的一阶谓词逻辑分析 3 一阶谓词语言L_1的语法和语义 4 代入和字母变易 5 前束范式 练习题 第六章 一阶谓词演算 1 一阶谓词演算系统F的构成 2 F的导出规则 3 演绎定理及其应用 4 F的元理论 5 带等词的一阶谓词演算系统F’ 练习题 第七章 模态逻辑 1 模态逻辑概述 2 非形式的模态命题逻辑 3 模态命题演算公理系统 4 可能世界语义学 5 模态命题逻辑元理论 6 模态谓词逻辑 练习题 第八章 归纳逻辑 1 归纳逻辑概述 2 枚举归纳推理 3 科学归纳推理与典型归纳推理 4 求因果联系归纳推理 5 类比推理 6 概率推理 7 统计推理 练习题 第九章 语用逻辑 1 语境 2 言语行为 3 隐涵 4 预设 练习题 主要参考书目 后记

作者及出版：

作    者：黄华新,胡龙彪

出 版 社：浙江大学出版社 出版时间：2000-05-01 字    数：568

赞微海报分享