逻辑学(论理学)
-
逻辑的游戏(英)卡罗尔 著,王旸 译《逻辑的游戏(中英对照)》以讲故事、做游戏的形式讲授逻辑学知识。爸爸妈妈们可以孩子一起边玩边学,亲子互动,互相帮助,学以致用。坦白讲,书中的内容还是有些难度的,具有挑战性。同时,作者语言的魅力又增加了本书的可读性,可以作为英语学习读物。 -
论联合演算马雷 著联合演算是希尔伯特和阿克曼为从现代逻辑的演算观把传统逻辑推理理论系统化而特构的一种新的逻辑工具,但联合演算在解释传统逻辑和亚里士多德逻辑中存在根本缺陷。 马雷所著的《论联合演算》系统研究和发展了联合演算的理论与方法,废弃了联合演算的原初判定标准,提出解决判定问题的结构判定法和范式判定法;并在此基础上提出联合演算对传统逻辑和亚氏逻辑的等价翻译方案,构建了形式化的传统直言推论系统和三段论化归系统,构造了亚氏模态三段论的推演系统和化归系统,从而最大限度地证明传统逻辑和亚氏逻辑在其所适用的范围内所具有的严密性和完备性。《论联合演算》适合逻辑学、哲学及相关专业的研究者和学生参阅。 -
逻辑学概论姜祖桢 主编《逻辑学概论/高等院校通识课程规划教材》主要以系统地介绍传统逻辑的基本知识为主,同时引入了现代逻辑的一些基本思想。思路是将形式逻辑与非形式逻辑,传统逻辑和现代逻辑,演绎逻辑和归纳逻辑统一起来,以便提高逻辑的科学性和精确性,也为进一步学习和研究逻辑提供准备。 -
因明论稿姚南强 著《因明论稿》是作者20多年因明研究的结晶,在许多方面有独特见解。例如在对法称因明的研究中,认为法称论式中并未删除喻依,不同意传统的“因喻合一”的说法。此外,在汉传因明研究中对前人较少涉及的慧沼、智周的因明思想作了专题研究,在藏传因明方面,除了从逻辑、哲学的分析外,还重视对藏、汉因明做比较研究。《因明论稿》中包含了《因明学说史纲要》的学术成果,能对当前的因明学术研究起到一定的参鉴价值和积极作用。 -
现象学和科学基础(德)胡塞尔 著,李幼蒸 译《现象学和科学基础:纯粹现象学和现象学哲学的观念 (第3卷)》为《纯粹现象学和现象学哲学的观念》三卷本的第三卷,俗称“观念3”。《现象学和科学基础:纯粹现象学和现象学哲学的观念 (第3卷)》正文包括四章20节,四章标题为:“不同的实在区域”,“心理学和现象学之间的关系”,“现象学和本体论之间的关系”,以及“阐明的方法”。《现象学和科学基础:纯粹现象学和现象学哲学的观念 (第3卷)》另外包括原编者附加的由作者撰写的四个重要附录。《现象学和科学基础:纯粹现象学和现象学哲学的观念 (第3卷)》内容根据作者在撰写三卷本“观念系列”计划时所完成的部分手稿编辑而成,虽然是有待继续展开的写作计划中最初完成的部分,但已显示了作者现象学哲学整体构思的基本方向,故始终受到现象学研究者的高度重视。现在将《现象学和科学基础:纯粹现象学和现象学哲学的观念 (第3卷)》作为三卷本“观念系列”的有机组成部分与另两卷同时纳入《胡塞尔著作集》出版,以期有助于读者对胡塞尔现象学哲学整体的认识。中译本在翻译过程中同时参照了法译本和英译本。 -
概称句推理研究张立英 著《概称句推理研究》在对概称句进行合理解释及形式化表达的基础上对包含概称句的推理作了全面研究。作者张立英通过分析概称句的特点,并借助形式化方法把已有研究成果内在的递进研究脉络呈现出来,最终发现双正常语义和涵义语义能同时刻画概称句七个特点。区别于以往建立逻辑系统来刻画单调推理的做法,作者用逻辑系统+前提集上的排序来刻画这些非单调推理,并以概称句推理研究的结果为基础,进一步分析了概称句推理与归纳推理的关系,指出其中所得的概称句推理研究结果可以用于刻画归纳推理。 此外,《概称句推理研究》还探讨了概称句与语义网理论的关联性。 -
新型量子逻辑于海飞 著《新型量子逻辑:确定性逻辑的超越》主要从量子力学的本体论特性—整体互补性出发,以数理辩证逻辑为工具,即在吸收了数理辩证逻辑的合理内容的基础上引入新型的命题变项符号和联结词,借助于这些命题变项和联结词,对新型量子命题及其推理做了深入的研究。在此基础上给出了新型量子命题演算公理系统QPA及其语义解释,最后对新型量子逻辑在不确定信息认知、和谐社会构建等方面的作用做了研究。 -
归纳、确证与悖论顿新国 著《南京大学逻辑学文丛:归纳、确证与悖论》收录的论文来自近十年作者关于科学确证及与之密切相关的逻辑与哲学问题的思考。科学确证是归纳逻辑最核心的研究话题之一,科学确证理论的进展基本以解决确证理论中的严峻难题为源动力和主线,而这些难题主要是以确证悖论为核心的归纳悖论。作者这十余年的学习和研究主要围绕归纳、确证、悖论这三个紧密联系的课题展开,故将《南京大学逻辑学文丛:归纳、确证与悖论》取名为《归纳、确证与悖论》。 -
基于三角模的模糊逻辑理论及其应用裴道武 著模糊逻辑与模糊推理是当代计算智能计算的理论基础之一,而基于三角模的模糊逻辑理论及其应用则是其中重要的研究方向,近年来得到快速发展,相继提出了几个重要的模糊逻辑系统,其中比较有影响的有修正的Kleene逻辑系统、基本逻辑系统, 以及Monoidal模糊逻辑系统及其形式化理论。《基于三角模的模糊逻辑理论及其应用》系统阐述这个研究领域的理论与应用研究成果,主要包括这三个模糊逻辑理论及其在模糊推理、模糊控制中的应用。《基于三角模的模糊逻辑理论及其应用》以三角模为主线,对于以上提及的模糊逻辑系统做统一的处理,并且突出模糊逻辑在近似推理中的应用。读者可以通过《基于三角模的模糊逻辑理论及其应用》了解现代模糊逻辑的基本理论,熟悉国内外同行的研究工作,从而提升我国在这个领域的研究水平。 -
黑格尔《小逻辑》示要田义勇 著《黑格尔示要》是一部在中国知识阶层具有广泛影响力的哲学著作,此《示要》即是对于该著作的精剖细读与品悟点评。《黑格尔示要》在吸取了大量相关学术成果的基础上,融合了个人的十几年阅读心得与哲学感悟。或是就黑格尔本人的多种论著做互文性的比勘,或是就《小逻辑》的不同译文做深入的对照。既立足于文本的逐句领会,又力避繁琐,提要钩玄,突出重点,彰显脉络。行文之间,也多有现实关切与中国情怀,时有中西比较的点睛之处。
