逻辑学(论理学)
-
普通逻辑学杜音,艾泽银 编《普通逻辑学/高等学校精品课程建设规划教材·高等教育应用型本科规划教材》系统地介绍包括古典演绎和古典归纳在内的传统逻辑,同时也引进了现代逻辑的初始符号和基础知识,保证了逻辑分析的科学性和精确性。为加强批判性思维能力的训练和批判性精神的培养,特将“辨谬逻辑”单列一章,着重分析思维中常见的各种非形式谬误。为适应国家公务员考试、在职研究生入学资格考试及MBA、MPA考试的需要,《普通逻辑学》附录了近年国家相关考试的逻辑判断真题,并给出答案和详尽解析。考虑到系统的严谨性,本书将传统逻辑的思维规律作为论证的基本规律进行介绍。另外,每章均设计了“开篇导入”、“案例分析”、“重要术语”等环节,以增加逻辑阐述的趣味性、生动性和实用性,也为读者理解记忆提供了方便。 -
逻辑中的表列方法孔红 著分析表列是20世纪50年代由Beth与Hintikka等人建立、后由Smullyan加以发展的一种形式证明方法,基于分析表列方法的逻辑系统称为表列系统。表列系统与公理系统、自然推理系统一样,是目前最为流行的逻辑证明方法之一,在自动定理证明方面有重要应用。表列方法具有通用于各种逻辑的一般性,不仅经典命题逻辑和一阶谓词逻辑有其表列,在模态逻辑、非单调逻辑等非经典逻辑分支中,表列方法也以不同的形式存在着。自20世纪90年代以来,人们对于表列方法的兴趣不断增加,在许多前沿逻辑研究中广泛采用表列方法。根据JonBarwise在《什么是一个逻辑系统?》中对逻辑系统多样性的阐述,有理由将表列系统作为与公理系统、自然推演系统等并列的一种重要的逻辑系统类型、将表列法作为一种重要的逻辑方法加以研究。《逻辑中的表列方法》比较系统地介绍了现代逻辑各个重要分支的表列方法,研究了表列方法的证明效率等问题。 -
逻辑基础王路 著逻辑是一门科学,更是一种工具。学习逻辑,能帮助我们进行有效的推理;学习逻辑,可以培养一种逻辑的意识和观念,使我们的思维更清晰,语言表达更准确;学习逻辑,还可以使我们更好地学习和理解与逻辑相关的学科,如哲学、语言学、人工智能、法律等。本书围绕上述三个目的,结合我国文科大学生和理解自学者的实际,参考了国内外大量的有关逻辑教材,以现代逻辑的基本知识为主,同时兼顾传统逻辑的精华,从内容到形式、从实例到练习,都采用了新颖独到的编写方式,力图使教师好教、好用,学生好学、好理解、好掌握。 -
逻辑学概论姜祖桢 主编《逻辑学概论/高等院校通识课程规划教材》主要以系统地介绍传统逻辑的基本知识为主,同时引入了现代逻辑的一些基本思想。思路是将形式逻辑与非形式逻辑,传统逻辑和现代逻辑,演绎逻辑和归纳逻辑统一起来,以便提高逻辑的科学性和精确性,也为进一步学习和研究逻辑提供准备。 -
论联合演算马雷 著联合演算是希尔伯特和阿克曼为从现代逻辑的演算观把传统逻辑推理理论系统化而特构的一种新的逻辑工具,但联合演算在解释传统逻辑和亚里士多德逻辑中存在根本缺陷。 马雷所著的《论联合演算》系统研究和发展了联合演算的理论与方法,废弃了联合演算的原初判定标准,提出解决判定问题的结构判定法和范式判定法;并在此基础上提出联合演算对传统逻辑和亚氏逻辑的等价翻译方案,构建了形式化的传统直言推论系统和三段论化归系统,构造了亚氏模态三段论的推演系统和化归系统,从而最大限度地证明传统逻辑和亚氏逻辑在其所适用的范围内所具有的严密性和完备性。《论联合演算》适合逻辑学、哲学及相关专业的研究者和学生参阅。 -
因明论稿姚南强 著《因明论稿》是作者20多年因明研究的结晶,在许多方面有独特见解。例如在对法称因明的研究中,认为法称论式中并未删除喻依,不同意传统的“因喻合一”的说法。此外,在汉传因明研究中对前人较少涉及的慧沼、智周的因明思想作了专题研究,在藏传因明方面,除了从逻辑、哲学的分析外,还重视对藏、汉因明做比较研究。《因明论稿》中包含了《因明学说史纲要》的学术成果,能对当前的因明学术研究起到一定的参鉴价值和积极作用。 -
逻辑的游戏(英)卡罗尔 著,王旸 译《逻辑的游戏(中英对照)》以讲故事、做游戏的形式讲授逻辑学知识。爸爸妈妈们可以孩子一起边玩边学,亲子互动,互相帮助,学以致用。坦白讲,书中的内容还是有些难度的,具有挑战性。同时,作者语言的魅力又增加了本书的可读性,可以作为英语学习读物。 -
现象学和科学基础(德)胡塞尔 著,李幼蒸 译《现象学和科学基础:纯粹现象学和现象学哲学的观念 (第3卷)》为《纯粹现象学和现象学哲学的观念》三卷本的第三卷,俗称“观念3”。《现象学和科学基础:纯粹现象学和现象学哲学的观念 (第3卷)》正文包括四章20节,四章标题为:“不同的实在区域”,“心理学和现象学之间的关系”,“现象学和本体论之间的关系”,以及“阐明的方法”。《现象学和科学基础:纯粹现象学和现象学哲学的观念 (第3卷)》另外包括原编者附加的由作者撰写的四个重要附录。《现象学和科学基础:纯粹现象学和现象学哲学的观念 (第3卷)》内容根据作者在撰写三卷本“观念系列”计划时所完成的部分手稿编辑而成,虽然是有待继续展开的写作计划中最初完成的部分,但已显示了作者现象学哲学整体构思的基本方向,故始终受到现象学研究者的高度重视。现在将《现象学和科学基础:纯粹现象学和现象学哲学的观念 (第3卷)》作为三卷本“观念系列”的有机组成部分与另两卷同时纳入《胡塞尔著作集》出版,以期有助于读者对胡塞尔现象学哲学整体的认识。中译本在翻译过程中同时参照了法译本和英译本。 -
基于三角模的模糊逻辑理论及其应用裴道武 著模糊逻辑与模糊推理是当代计算智能计算的理论基础之一,而基于三角模的模糊逻辑理论及其应用则是其中重要的研究方向,近年来得到快速发展,相继提出了几个重要的模糊逻辑系统,其中比较有影响的有修正的Kleene逻辑系统、基本逻辑系统, 以及Monoidal模糊逻辑系统及其形式化理论。《基于三角模的模糊逻辑理论及其应用》系统阐述这个研究领域的理论与应用研究成果,主要包括这三个模糊逻辑理论及其在模糊推理、模糊控制中的应用。《基于三角模的模糊逻辑理论及其应用》以三角模为主线,对于以上提及的模糊逻辑系统做统一的处理,并且突出模糊逻辑在近似推理中的应用。读者可以通过《基于三角模的模糊逻辑理论及其应用》了解现代模糊逻辑的基本理论,熟悉国内外同行的研究工作,从而提升我国在这个领域的研究水平。 -
黑格尔《小逻辑》示要田义勇 著《黑格尔示要》是一部在中国知识阶层具有广泛影响力的哲学著作,此《示要》即是对于该著作的精剖细读与品悟点评。《黑格尔示要》在吸取了大量相关学术成果的基础上,融合了个人的十几年阅读心得与哲学感悟。或是就黑格尔本人的多种论著做互文性的比勘,或是就《小逻辑》的不同译文做深入的对照。既立足于文本的逐句领会,又力避繁琐,提要钩玄,突出重点,彰显脉络。行文之间,也多有现实关切与中国情怀,时有中西比较的点睛之处。
