搜索
高级检索
高级搜索
书       名 :
著       者 :
出  版  社 :
I  S  B  N:
文献来源:
出版时间 :
逻辑学教程
0.00    
图书来源: 浙江图书馆(由图书馆配书)
  • 配送范围:
    全国(除港澳台地区)
  • ISBN:
    7308022811
  • 作      者:
    黄华新,胡龙彪编著
  • 出 版 社 :
    浙江大学出版社
  • 出版日期:
    2000.5
收藏
内容介绍
    逻辑是一门既古老双年轻的学科。说它古老,是因为它的历史源远流长;说它年轻,是因为它今天仍然充满着生机和活力,在人们现实的思维和交际中起着其他学科不可替代的重要作用。
    依据“由抽象上升到具体”的理论建构原则,我们分九章来安排《逻辑学教程》的教学体系。
    《逻辑学教程》的第一章介绍逻辑的对象、作用和对象、作用和历史,旨在为逻辑画一个总的轮廓,使读者对逻辑有一个概略的了解。
    《逻辑学教程》的第二章和第三章所讨论的问题,属于命题逻辑的范围。就命题逻辑而言,最简单、最基本的东西就是命题联结词,所以第二章就从联结词讲起。第三章讨论命题演算,它是命题逻辑的形式化、系统化。命题演算包括公理系统的自然推理系统,本章对这两大系统都作了简明扼要的介绍。
    第四章、第五章和第六章讨论谓词逻辑。谓词逻辑是在命题逻辑基础上为现代逻辑体系中的“细胞”。依据这样的分析思路,命题逻辑揭示了效推理,即以命题联结词为基础的推理的规律。但是,还有一类有效推理,它们无法用命题逻辑的理论给以说明,因为它们的有效性植根于命题的内部结构。因此,必须深入命题的内部;考察作为命题结构成分的题词、谓词和个体词,从而说明这一类推理的有效性,这便是谓词逻辑任务。
    第七章讨论模态逻辑,模态逻辑是在命题逻辑和谓词逻辑基础上的进一步扩展。命题逻辑和谓词逻辑对于折合明效性的讨论是以现实世界为参照系的,而模态推理的有效性则涉及可能世界。所以,与命题逻辑和谓词逻辑相比,模态逻辑有关更为宽广的逻辑视野。本章的主要内容涉及非形式的模态命题逻辑元理念等等。
    第八章讨论归纳逻辑,包括传统的归纳逻辑与现代的归纳逻辑,其中前三节更多地属于“传统”的内容,后两节则较从一些“现代”的气息。归纳逻辑与前面第二至第七章所讨论的演绎逻辑属于不同的逻辑类型,但它对于培养人们的逻辑分析与推理能力同样是不可或缺的,因此,我们也在此作一个简要的介绍。
    第九章讨论语用逻辑。语用逻辑的着眼点是人类言语活动的交际性,它力图结合主体与语境来探讨语句的具体意义,因而是最为复杂和具体的。虽然逻辑学界对语用逻辑的性质、分类和核心概念有不少讨论,但语用逻辑的体系和内容至今还远远没有成型。我们之氢要在最后介绍这些尚不成熟的理论,无非是想帮助读者拓宽逻辑的视野,并在更广泛的层面上引起大家对新的逻辑领域的兴趣和关注。
展开
目录
第一章  绪论
§1  逻辑的研究对象
§2  逻辑的作用
§3  逻辑的发展简史

第二章  非开式的命题逻辑
§1  命题的联结词
§2  真值表方法  真值函数
§3  真值函数可定义性  联结词的完全性与独立性
§4  重言式的逻辑分析
§5  推理的有效性  重言后承
§6  范式
练习题

第三章  命题演算
§1  形式系统概述
§2  命题演算系统P的结构
§3  P的内定理的证明
§4  演绎定理及其应用
§5  P的定义式定理
§6  P的元理论
§7  命题演算自然推理的系统PN
练习题

第四章  传统谓词逻辑
§1  概念
§2  性质命题
§3  性质命题直接推理
§4  三段论
练习题

第五章  非形式的一阶谓逻辑
§1  从传统谓词逻辑到现代谓词逻辑
§2  命题的一阶谓逻辑分析
§3  一阶谓词语言L1的语法和语义
§4  代入和字母变易
§5  前束范式
练习题

第六章  一阶谓词演算
§1  一阶谓词演算系统F的构成
§2  F的导出规则
§3  演绎定理及其用
§4  F的元理论
§5  带等词的一阶谓词演算系统F
练习题

第七章  模态逻辑
§1  模态逻辑概述
§2  非形式的模态命题逻辑
§3  模态命题演算公理系统
§4  可能世界语义学
§5  模态命题逻辑元理论
……

第八章  归纳逻辑
第九章  语用逻辑
主要参考书目
后记
展开
加入书架成功!
收藏图书成功!
我知道了(3)
发表书评
读者登录

请选择您读者所在的图书馆

选择图书馆
浙江图书馆
点击获取验证码
登录
没有读者证?在线办证