《分析哲学的起源》阐述了逻辑学和现象学的互相影响，即弗雷格和胡赛而等人思想间的互相作用，从而论证了德语世界对语言转向的影响，并通过这一历史过程探讨了思维、语言和逻辑的关系。本书对分析哲学的起源提出了读到的见解，认为分析哲学主要来自德语国家，而不是通常所认为的英美的产物。同时，该书还从逻辑的角度提出了对哲学和哲学研究的看法。

《理性真理与历史》简介：希拉里·普特南系当代美国著名哲学家，《理性、真理与历史》是他的代表作之一。《理性真理与历史》自1981年问世以来，短短数年时间便拥有了当代经典的声望，美国哲学学会曾为此书召开专题讨论会。
普特南广泛，透彻地把握了当代哲学重大问题和主要潮流，在本书中对波及语言哲学、逻辑哲学、精神哲学等等众多哲学分支的大量哲学问题进行了深入浅出的阐述，尤其对真理的本质、合理性和历史等问题提出了独到的见解，其目的在于打破一系列长期支配哲学家及普通的人的二分法思维方式，克服主观与客观之间、事实与价值之间、独断论与相对主义之间等等的一系列对立。

本书是著名数理逻辑哲学家王宪钧教授的代表作，共分三篇，前两篇“命题演算”和“狭谓词演算”，讲述数理逻辑基础知识。作者对基本概念的讲解、定理和无定理的证明都详细易懂，第三篇是关于数理逻辑发展的简史，作者论述了从莱布尼茨到歌德尔的数理逻辑发展的三个阶段，指出了数理逻辑的五个特点，并就一些重要的数学问题发表了自己的见解。本书内容涉及数学、哲学、逻辑学、语言学以及科学史等诸多问题。适用于哲学、数理工作者。

《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。

此书为日本佛教净土真宗本愿寺派僧侣兼学者武邑尚邦（1914－2005）撰写，全面梳理和研究自玄奘以来因明学在中国的发展脉络，以及传入日本之后的承袭演变和学派分野，是迄今为止首部中日因明学学术史。除详细评介中日僧侣学者有关因明学注疏的传世文献之外，本书还收录了敦煌出土的三种因明学写本，并对其加以识读和解说。

本书在2003年由北京大学出版社出版的《语言哲学》一书的基础上翻写而成。新书面貌一新，只有少数段落保持原样。虽然篇幅有所缩小，但通过更简练的表述保留了主要内容，纠正了原书中的错误和不妥，思想性和清晰性有所增强。本书介绍了西方分析哲学传统中的语言哲学，此外也介绍了索绪尔和乔姆斯基这两位有深刻哲学思想的语言学家，探讨了语言哲学中的多种重要问题，如意义问题、隐喻与隐含问题、语言与现实的关系以及语言与思想的关系问题等。

本书是软件思想家温伯格 的非凡之作。温伯格作为美国计算机名人堂代表人物，先后著有30多部图书，内容涵盖整个软件开发周期。他的拥趸遍天下，他的书也被奉为必读经典。
这是一本带你读懂思维 的旷世经典，简明的语言，简单的代数，清晰阐明了认识各种项目、产品和组织等系统的新方法。
这是一本极易上手 的思维指南，富有启发性的举例说明、贴切的章后问答与练习，为你提供了面对问题、系统和解决方案时最强大的分析工具。
这是一本适合极广泛人群 阅读的书。无论是科学家、工程师、医生、学生，还是各类组织的领导者、管理者，抑或基层员工，都可以通过本书驱散思考的层层迷雾。

本书将两千多年的数学发展历程融为十二章内容，每章都包含了三个基本组成部分，即历史背景、人物传记以及在这些“数学杰作”中所表现出的创造性。作者精心挑选了一些杰出的数学家及其所创造的伟大定理，如欧几里得、阿基米德、牛顿和欧拉。而这一个个伟大的定理，不仅串起了历史的年轮，更是串起了数学这门学科所涵盖的各个深邃而不乏实用性的领域。当然，这不是一本典型的数学教材，而是一本大众读物，它会让热爱数学的人体会到绝处逢生的喜悦，让讨厌数学的人从此爱上数学。

本书是根据黑格尔全集格洛克纳版第3版第6卷翻译。
哲学全书是黑格尔在海德堡时期的主要著作，出版于1817年夏季。这部作品第一次体现了黑格尔哲学的整个体系。本书分为三部分，依次是逻辑学，自然哲学和精神哲学，展示了精神从纯粹思维发展到绝对精神的整个过程。

《科学发现的逻辑》主要讨论知识理论的两个基本问题：划界和归纳问题。作者论证科学与非科学的划界标准不是可证实性而是可证伪性，科学的方法不是归纳法而是演绎检验法。书中提出的有关科学的性质和方法以及科学知识增长的独创性论点，对科学哲学、认识论、逻辑学、方法论以及科学史、自然科学、医学、设计理论、社会科学均有影响。一些著名科学家都认为他的方法符合科学研究的实际。

弗雷格是现代逻辑的创始人，也是分析哲学的奠基人，他的思想对罗素和维特根斯坦有直接的影响。本书收录了他关于哲学和逻辑学的文章共14篇。

悖论是逻辑学中最光彩夺目的部分，也是最能激发逻辑学家、数学家、哲学家以及普通大众兴趣的话题，它指的是与公认的信念相左的“道理”，或是让人陷入两难、无所适从的命题。它虽然看似荒谬，违反常理，但却似乎论证缜密、无从反驳。
悖论起源很早，如古希腊的“说谎者悖论”、中国的“白马非马”之说。历史上，众多的哲学家、数学家、逻辑学家对悖论进行了奇妙而艰苦的探索，带给他们成功的快乐和失败的苦痛，并且不断推进了人类智慧的进展，引发哲学和数学的革命。悖论之所以存在的深层原因，还在于人类思维深处的矛盾和裂隙，在对悖论漫长的探索过程中，我们不断攀升人类智慧的高度，同时也意识到其局限和不足。
本书是国内迄今最全面系统地介绍悖论问题的著作，作者将从古至今五花八门的悖论分成十二类，详细介绍每一类悖论的历史原型、各种变体、逻辑学家的解决方案、与日常生活的关系,等等。作为国内著名的逻辑学家，作者展示了多年来在这一领域探索的成果，对于国内外相关领域的逻辑学的研究都将有很大的推动。本书第一版出版后获得了北京市第十四届哲学社会科学优秀成果奖二等奖。
本书第二版重新撰写了第十二章，修订了其他章节中的一些问题。本书的普及版《思维魔方：让哲学家和数学家纠结的悖论》也由北京大学出版社同时出版。

本书为关于因明研究的重要成果。本书运用梵汉对勘的方法，研究解决因明义理的问题；运用比较逻辑的方法来说明佛教逻辑的特质，首次指出佛教的推理规则，是从保证推理的前提为真的角度来建立的，有别于西方逻辑从形式有效的角度来建立推理规则。
此外，本书还将因明研究的基本方法概括为六种：逻辑刻画的方法、义理对勘的方法、文本译研的方法、比较逻辑的方法、哲学诠释的方法和历史研究的方法。

《中国古代推类逻辑研究》共分为六章，主要内容包括：绪论；中国古代推类逻辑的奠基；推类逻辑的形成：知“类”阶段（先秦时期）；推类逻辑的发展：求“故”阶段（秦汉、魏晋南北朝时期）等。《中国古代推类逻辑研究》结合中国古代的社会历史背景，探究了逻辑范涛的过程，对推类的萌芽，产生，发展直至停滞不前的各个阶段进行了详实的历史考察研究。

本书是系统阐述因明学史及其基本范畴的专著，比较既有的同类研究成果，在材料上引入了敦煌古文献、在体系结构上更趋完美、在语言表述上更平实易懂，是为少有的力作佳作，可作为相关专业的教科书。
本书第一编为"起源、变迁与东渐"，阐述了从印度古因明、新因明到中国玄奘、窥基、慧沼以及藏传因明的宗门派别、传承教习；第二编"因明学"则系统分析阐述了学术理论和历代讨论辨析的重点范畴。

本书为“中国现象学文库·现象学原典译丛”的一种，是著名哲学家和现象学的奠基人胡塞尔发表的第二部著作。全书分两卷，第一卷“纯粹逻辑学导论”，主要意图有三个：其一，将一门纯粹逻辑学的观念分离于对逻辑学的这样一些理解：理解为工艺论；其二，拒绝对那些从意识本性中被构想出来的逻辑规律做心理学的论证，主张从逻辑基本概念的意义出发进行一种认识论的论证；其三，对纯粹逻辑学及其基本概念和任务领域做一个临时的勾画。第二卷“现象学与认识论研究”，对表达与含义、种类的观念统一与现代抽象理论、整体与部分的学说进行了论述。本书对于哲学研究者具有重要的指导意义。

美国语言学家乔姆斯基 (Chomsky)著，1957年荷兰海牙摩顿出版公司出版。全书共10章。在此之前，乔姆斯基于1955年写了《语言理论的逻辑结构》，由于种种原因，该书直到1975年才正式出版，《句法结构》可以说是该书的纲要。
《句法结构》是对美国传统的描写语言学的一场革命，其革命性首先表现在乔姆斯基站在理性主义的立场上反对描写语言学的经验主义。
他把语言学看成跟自然科学中的其他科学一样，可以从假设出发，进行推演并形式化。换句话说，非经验主义是可能的。《句法结构》有一半篇幅用于英语语法的形式化。非经验主义和形式化是转换生成语法的首要标志。
把句法关系作为语言结构的中心并以此说明语句的生成是这场革命的又一表现。为了描写和解释语言现象，乔姆斯基在《句法结构》中论证了语法的生成能力，认为应该把语法看成是能生成无限句子的有限规则系统。
它以"核心句"为基础，通过转换规则描写和分析不同句式之间的内在联系。该书分析了以"马尔可夫过程"为基础的通讯理论，认为它只能生成有限状态的语法，而这种"有限状态的语法"不能生成象英语这种语言里含有不连续结构的所有合乎语法的句子。基于此，乔姆斯基提出了转换语法模式，认为它才能生成所有合乎语法的句子而不会生成不合乎语法的句子。转换语法模式由短语结构规则、转换规则、语素音位规则三套规则构成。
短语结构规则有三种：合并、递归、推导式，其基本形式是x→y 。→读作"改写"，这个公式就是将x改写成y。短语结构规则生成的是"核心语符列"，不经过转换直接由这种语符列得出的基本句型叫"核心句"。
转换规则包括：移位、删略、添加。最后运用语素音位规则得出实际说出的句子。这三套规则中，最引人注目的是转换规则，因为短语结构规则和语素音位规则实际上继承了描写语言学的"直接成分分析"和语素音位的分析，转换是一种创新，它使语法具有更强的解释力。
《句法结构》把语义排除在语法之外，这一时期的理论框架不包括语义部分。乔姆斯基认为，语法理论不应该建立在语义的基础上，而应该用某种严格的、客观的方法去代替对于模糊的语义的依赖。不过这一立论在后来的发展中做了重大的修正。
《《句法结构》是转换生成语法第一阶段--古典理论的代表作，它的出版被人们认为是"乔姆斯基革命"开始的标志，也标志着转换生成语法的诞生。

本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。.
本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题(比如有限模型)，还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。.

本书主要整理了金岳霖先生对《穆勒名学》的解读除13讲外，还包括了金岳霖评介严复未翻译“假设”篇7讲，这对研究金先生的学术思想有很大的参考价值。
这本书是古典传统逻辑的终结，也是在现代逻辑出现之前一本影响大的著作，它先后出版八次之多。波兰华沙大学原国际符号学会主席佩尔斯（Jerzy Pelc）教授曾说，其实全世界当时都在读这一本书。