《心智、语言和机器:维特根斯坦哲学和人工智能科学的对话》向读者介绍人工智能科学的基本发展历史和基本技术；介绍“人工智能哲学”这门哲学分支的大致发展情况；维氏哲学将对知识表征、自然语言理解、机器人、非单调推理等人工智能的子课题做出贡献。而《心智、语言和机器:维特根斯坦哲学和人工智能科学的对话》就将负责在维氏和这些课题之间搭建桥梁。

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

Buddhist logic reveals itself as the culminating point of a long course of Indian philosophic history. Its birth, its growth and its decline run parallel with the birth, the growth and the decline of Indian civilisation. The time has come to reconsider the subject of Buddhist logic in its historical connections. This is done in these two volumes.

《佛教逻辑》是由三部著作所组成的丛书的最后一部。这套丛书的目的在于说明亚洲史上堪称最为强有力的思想运动。这种思想运动产生于公元前六世纪时的印度斯坦流域，逐渐地扩张到几乎整个亚洲大陆，以至日本和印度群岛。因此，这几部著作讨论的是中亚和东亚的主要思想的历史。《佛教逻辑》是关于佛教逻辑的一部权威性著作。作者通过对梵、藏原典的研究，并借助西方政治理论，对代表印度逻辑最高成就的晚期十乘佛教的逻辑理论作了系统的阐释和评价。

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

本书是美国著名的数学分析教材，涵盖了初等微积分以及实变函数论和复变函数论等内容，涉及现代分析的最新进展。书中包含大量覆盖各个方面、各级难度的习题，通过习题的训练，可以培养学生的运算技能和对数学问题的思维能力。
本书条理清晰，内容精练，言简意赅，可作为高等院校数学与应用数学、信息与计算科学等专业学生的教材，同时也可作为数学工作者和科技人员的参考书。

His ideas have had a profound influence on twentieth-century work on logic and the foundations of mathematics.

本丛书编辑体例如下：
一、采用简体横排，以广传流
二、以原始或原校较精之版本为底本，并参考其他版本点校
三、依熊先生原文之句读，重施标点。通假字保留；异体字酌改为通行字；凡显系手民误植者，径改不出校记。

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

《数学工作者必知的范畴学(第2版)》内容简介：This second edition of "Categories Work" adds two new chapters on topics of active interest. One is on symmetric monoidal categories and braided monoidal categories and the coherence theorems for them——items of interest in their own right and also in view of their use in string theory in quantum field theory. The second new chapter describes 2-categories and the higher-dimensional categories that have recently come into prominence. In addition, the bibliography has been expanded to cover some of the many other recent advances concerning categories.

《逻辑哲学论研究》利用了基本上是所有的第一手资料以及大量的二手材料，深入地、系统地研究了《逻辑哲学论》的主要观点，特别是研究了其中最为困难的几大问题，获得了领先的研究成果，是《逻辑哲学论》的研究者和学习者不得不读的优秀作品。

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

【内容提要】
大量行为学研究揭示，人类的思维过程存在系统的局限性。人们往往无法做到完全意义上的理性，相反，各种认知缺陷、启发式以及惯性思维决定了我们大多数判断和决策。
雷德•海斯蒂和罗宾•道斯尽可能用生活化的语言与现实中的事例，向大家介绍判断和决策领域中的基础理论和最新研究成果。全书内容可分成六部分：第1-2章介绍了判断和决策领域的学科历史，第3-7章总结了关于判断的心理学研究，第8章论述理性与不确定性间的关系，第9-10章论述偏好与选择问题，第11-12章分别介绍了理性决策理论及描述性决策理论，第13-14章展望了未来的研究方向。附录简单介绍概率论的相关知识。
作者语言精练、论述严谨，大量采择最新的研究成果和研究发现，做出恰如其分的评价和分析。这一点充分显示了作者在“判断决策”这一领域中的积淀，也体现了作者对这一研究领域的总体把握。本书适合心理学和行为科学领域的专家学者参考，也可供那些对“决策判断问题”有兴趣的广大读者阅读。
【编辑推荐】
生活中充满了不确定性，我们也无时无刻不在面对形形色色的选择和判断。掌握理性决策的原理，无疑可以帮助我们提升选择的质量，从而改善我们的生活。
两位作者凭借其在哈佛大学、西北大学、芝加哥大学、卡内基梅隆大学等名校从事30年教学经验，选择了行为经济学方面和认知心理学方面的最新研究成果，结合自己在司法、医疗、商务等领域的实际经验，采用大量来自现实生活中的实际例子来说明人类在判断与决策方面所具备的规律、特点及缺陷，并在理论高度上论述了这些表现的根源。
在这本获奖著作的最新版本中，雷德•海斯蒂和罗宾•道斯用一种非学术性的语言和大量逸闻趣事讲述故事，将理性决策的基本理论与实际的决策行为进行对比，全面介绍了决策和判断领域的理论和最新研究发现。
新版本的特色：
——每章首尾的介绍和总结以及各章节内容之间的相互引证更利于学习和阅读；
——来自金融、医疗、司法和工程领域的大量例子使得本书更加鲜活；
——重视和突出决策判断的描述性心理学模型，补充了以往仅强调规范性和理性的“期望效用理论”的不足；
——在三种主要研究取向之间取得更好的平衡：对思维过程和启发式的认知心理学分析、对判断和决策过程的描述性代数模型以及有关决策的理性模型。
【媒体评论】
人类生活在一个充满着不确定的世界里。即使第六次科技革命正向我们走来，我们仍然不知道孕育我们生命的地球会在何时、何地发生地震，我们依然无法预测金融危机或H7N9 禽流感的降临与范围。人类要生存下去，必须适应这个充满未知和不确定性的世界。汶川大地震后《自然》杂志刊登社论——《为未知做好准备》（Bracing　for the unknown），即曾呼吁“科学界要充分应对未来不确定性的挑战”。
“人类在不确定条件下如何做出判断和决策”是一个富有前景和重要意义的科学难题。如本书所述，寻求理性之路漫长而且艰难。如今人类已经历了几十万年的进化历程，人类之所以能成功地完成觅食、保障安全、选择配偶、保护后代等“生存任务”，以至主宰地球，正是因为我们通过自然选择的进程，拥有了一项独特技能——做出好的、可持续的、适应性决策。
——中科院心理学研究所研究员、博士生导师　李纾
《不确定世界的理性选择》一书的写作基本上是按照决策领域现有成果进行梳理的，其内在逻辑比较容易把握。最值得称道的地方，还是两位作者对目前决策领域的学术成果的个人理解，并且极其用心地将这种理解表达出来。读者可以通过阅读此著作充分领略作者对决策理论的透彻解析，因此，该书非常适合决策领域的青年学者研读。同时，作者在如何将学术成果应用于人们的日常决策方面颇费了一番苦思及苦功，书中笔墨处处展现出作者独具匠心的思考，所积累的案例也看得出多是集几十年之功的。所以，这本书同样也适合那些在现实中困惑于自己的决策问题的普罗大众。决策是一个非常独特的交叉性研究领域，一些经典的决策研究问题产生于人类的某些既定“缺陷”，对于这些人为偏差的透彻探讨，才有可能教会人们如何更好地进行理性选择。也许，有时候我们需要避免偏差，而有时候我们必须利用偏差。心理学理论和成果对决策领域的独特贡献，也许还未被充分地意识到。从这两位作者的笔下，我们可以很好地领会心理学在决策领域的不可替代性。我相信，只有心理学家对决策研究的积极参与，才有可能将我们对决策问题、以及对人们的决策能力的实际改进深入到一个新的高度。
北京大学心理学系教授、博士生导师　谢晓非
《不确定世界的理性选择》是近年来社会心理学领域一部重量级著作，第一版即获得美国心理学会威廉•詹姆士奖。它论述的主题与诺贝尔奖得主卡尼曼的《思考：快与慢》大致相同，但更系统，娓娓道来，也更易于理解，因为它是两位作者近30年来先后在哈佛大学、西北大学等多所名校教学和科研活动的结晶。要想将论述这一前沿主题的著作翻译好的确不易，幸运的是，本书翻译工作由北大心理系和中科院心理所长期从事该专题领域研究的两位教授担纲完成。我愿向对判断与决策心理学以及行为经济学感兴趣的读者热情推荐这本好书。
清华大学心理学系主任、美国加州大学伯克利分校心理学系终生教授　彭凯平

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

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

作者立足于一个全新的视角，对黑格尔辩证法进行了历史渊源的追溯和逻辑结构的分析，指出它由两个不可分割的本质要素构成，即作为内在动力的自否定的努斯精神和作为反思形式的逻各斯精神。通过与中国哲学的比较，《思辨的张力——黑格尔辩证法新探》深入分析了黑格尔哲学中这两大精神的运作方式及相互关系，阐明了由此形成的黑格尔哲学本体论、认识论和逻辑学三者统一的体系特征，展示了黑格尔哲学与马克思哲学的内在联系和差异，是对黑格尔辩证法的一个具有开拓性的研究成果。

所谓分类，是指人们把事物，事件以及有关世界的事实划分成类和种，使之各有归属，并确定它们的包含关系或排斥关系的过程。那么，究竟是什么使人们采取分类的方式来安排他们的观念，人们又是在哪儿发现分类这种独特配置的蓝图的？为了回答这一问题，涂尔干和莫斯考察了人类所形成的最粗陋的分类。在澳洲，在中国，图腾呈现了最原始的分类模式，而分类的几种原初形式又揭示了人类现今分类观念的集体之起源，社会之起源。