本辑五篇论文从不同方面涉及逻辑与形而上学。编辑之初衷，并非务多求全，成一系统之论述；而是采撷英华，以期引起研究之注意。沙龙·沙拉是当今最有影响力的逻辑学家，菲尔茨奖得主。言其《逻辑之梦》为当今逻辑学界之梦想亦不为过。《数字需要新公理吗？》一文，是目前最活跃的几位逻辑学家、哲学家和数学家的讨论记录。其所讨论的主要实乃当今数学哲学研究的核心内容之一，也是探索逻辑与形而上学之关系的一个很好的试金石。 《逻辑与形而上学：思想史研究（第5辑）》是思想史研究丛书之第五辑，该书采撷英华，从不同的方面对逻辑与形而上学这个观点作了深入的探讨与讨论，具体内容包括《逻辑之梦》《数学需要新公理吗？》《语境中的斯金纳》《深入逻辑与“是”的关系问题》等。该书可供从事相关工作的人员作为参考用书使用。

偏好是哲学、计算机科学、决策论和博弈论等学科的核心概念，偏好及其逻辑性质在行为哲学和理性选择理论中尤其占有十分重要的地位。 本书利用逻辑形式化的观点和方法，借助一阶逻辑和模态逻辑的语言，采用近年发展起来的动态认知逻辑的方法，为偏好和偏好的变化建立了逻辑模型，并对其进行了深入的研究。本书还重点探讨了偏好与知识、信念之间的相互关系。 本书可作为哲学、计算机和经济学专业的教材，适合相关专业的老师和研究生参阅。

柯匹和科恩的《逻辑学导论》，是导论性逻辑教科书中最完满的一部：既有演绎逻辑亦有归纳逻辑，既有古典逻辑亦有现代逻辑。本书是当今逻辑教科书的标准范本，是清晰性与准确性的典范，它能够使学生理解、把握并应用古典三段论逻辑和更为强有力的现代符号逻辑技术。 书中所选用的有关政治、哲学、科学及多领域当代论争的鲜活的论证实例，展示了许多严肃的学者和思想家在解决实际问题的过程中对逻辑原理的应用，使逻辑学习既内容充盈又富有生活气息。书中也选用了许多谬误性论证作为例示与辨谬训练资料，以使学生明了对逻辑法则的忽视或误用如何使论证走人误区。书中也有少量论辩推理的例子，这些例子是为说明逻辑原理而特别编制的，但使本书卓尔不凡的，还是那些精心选自许多不同领域文献的丰富多彩的新颖实例。

本书原名为《逻辑学体系》，是一部逻辑学经典著作，反映了19世纪后半期资产阶级经验主义思想，是英国经验主义归纳逻辑的总结。原书分：名与辞、演绎推理、归纳推理、归纳方法、诡辩、伦理科学逻辑六部分。最终提出五种归纳方法：契合法、差异法、契差兼用法、剩余法、共变法。此著出版以后，穆勒提出的这些方法便成为研究思辨的重要方法，也成为哲学认识的工具之一。

我们这本《中国逻辑史》专著坚持以形式逻辑思想在中国的发生、发展的历史为主要对象和范围，坚持以科学的现代数理逻辑和正确的传统逻辑为主要的研究方法。鉴于目前在中国逻辑史研究领域存在着对象、性质、方法等问题上的许多混淆和误解。我们这本《中国逻辑史》专著决定用比以往任何中国逻辑史著作更多的篇幅，努力站在现代逻辑科学的高度，详细论述中国逻辑史的对象、范围和方法，并次讨论了中国逻辑史与哲学史、辩证逻辑史、语言学史、符号学史、语义学史、名辩学史等相关学科史的关系。所以，我们这本书的“绪论”实际上具有为“中国逻辑史”这门学科重新正名的意义和作用。以澄清对“中国逻辑史”这门学科的种种混淆或误解。这是我们这本《中国逻辑学》专著的重要特点之一。

本辑五篇论文从不同方面涉及逻辑与形而上学。编辑之初衷，并非务多求全，成一系统之论述；而是采撷英华，以期引起研究之注意。沙龙·沙拉是当今最有影响力的逻辑学家，菲尔茨奖得主。言其《逻辑之梦》为当今逻辑学界之梦想亦不为过。《数字需要新公理吗？》一文，是目前最活跃的几位逻辑学家、哲学家和数学家的讨论记录。其所讨论的主要实乃当今数学哲学研究的核心内容之一，也是探索逻辑与形而上学之关系的一个很好的试金石。 《逻辑与形而上学：思想史研究（第5辑）》是思想史研究丛书之第五辑，该书采撷英华，从不同的方面对逻辑与形而上学这个观点作了深入的探讨与讨论，具体内容包括《逻辑之梦》《数学需要新公理吗？》《语境中的斯金纳》《深入逻辑与“是”的关系问题》等。该书可供从事相关工作的人员作为参考用书使用。

作者松村一人是日本著名马克思主义哲学家，东京大学文学部哲学学科毕业，曾任法政大学教授，从上世纪30年代起就在日本几场哲学论战中崭露头角。他的这本《黑格尔的逻辑学》著作，是在二次大战中写成，在战后才出版的。它运用马克思主义哲学观点，对黑格尔逻辑学进行的系统分析，视野广阔，细致入微，提出的一些新问题和见解，比起当时可以见到的一些苏联学者的有关介绍性论文，有过人之处。

在日常生活中，逻辑无处不在。一个逻辑混乱的人，总让人觉得不够清醒，说话做事杂乱无章，甚至让人觉得有些“笨”。这样的人，不仅会给自己的工作生活带来麻烦，而且还会在人际交往中落入下风。解决的办法就是，多懂一些简单的逻辑学。本书作为一本简明、易懂、有趣的逻辑思维读物，带领你走进逻辑世界，教你如何改进、塑造、演练思维，越过逻辑陷阱，体会思维跳动的韵律，最终，成功让自己变成一个思维灵敏，逻辑清晰的聪明人。

《逻辑搞笑实录(上海交通大学相声协会十年原创精华)》是上海交通大学相声协会十年原创精华的实录，作者将700个案例按照搞笑机理大类，小类进行划分，再根据总结出的创作思路将每小类划分成若干小项。读者可以依次欣赏同小项类形形色色的包袱，然后总结体会出该小项的创作原理，再通过不同小项思路的差异，总结出针对某一搞笑机理的创作套路。 《逻辑搞笑实录(上海交通大学相声协会十年原创精华)》适合相声爱好者阅读。本书由李宏烨，郑钰编著。

“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家推荐，我们选了大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的能为高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书版由大学出版社于1978年出版，然后，于1988年出了

本书是W.V.O.蒯因的部哲学著作，由九篇论文结集而成，文中提出了一系列具有独创性和挑战性的观点，如关于何物存在的本体论许诺的学说，关于共相（抽象物）问题上唯名论和实在论之争的折中解决方案（概念论），关于经验论“两个教条”（分析命题和综合命题之分与还原论）的批评和整体主义的知识观。关于意义和指称的区别和对“意义”观念的否定，关于数理逻辑的新基础以及对内涵（模态）逻辑的批评等，都曾引起广泛而热烈的争论，对当代本文哲学的发展产生了重大的影响。 本书所涉方面甚广，本体论，认识论、语言哲学、逻辑学等，无不论及。其中有的文章是本文哲学界公认的名作，贯穿全书的论题主要有两个，一个是意义问题，尤其是分析陈述的概念有关的意义问题，另一个是本体论许诺的概念，尤其是与共相问题有关的本体论许诺的概述。

逻辑推理是“烟歌的行板”，你要徐步而行——逻辑推理是程序性思维，程序的展开是分步骤的，步骤的推进有时是缓慢的，它的节奏经常是“如歌的行板”。逻辑推理能力的训练你要徐步而行，它不可能一蹴而就。《未名·逻辑达人丛书·逻辑推理：如歌的行板》收集的推理题，有相当大的一部分是世世代代流传的经典逻辑题。经典逻辑题按题材的内容与解题的思路，分成若干类。 阅读并理解《未名·逻辑达人丛书·逻辑推理：如歌的行板》中的逻辑推理问题具有的难度，但也不是难到高不可攀，因为望而生畏的难题，必将挫伤人们继续前进的积极性。适当难度的逻辑问题，应该成为人们揭示真理奥秘征途中的路标，同时，又是人们在问题获解后的喜悦感中的珍贵纪念品。

柯匹和科恩的《逻辑学导论》，是导论性逻辑教科书中最完满的一部：既有演绎逻辑亦有归纳逻辑，既有古典逻辑亦有现代逻辑。本书是当今逻辑教科书的标准范本，是清晰性与准确性的典范，它能够使学生理解、把握并应用古典三段论逻辑和更为强有力的现代符号逻辑技术。书中所选用的有关政治、哲学、科学及多领域当代论争的鲜活的论证实例，展示了许多严肃的学者和思想家在解决实际问题的过程中对逻辑原理的应用，使逻辑学习既内容充盈又富有生活气息。书中也选用了许多谬误性论证作为例示与辨谬训练资料，以使学生明了对逻辑法则的忽视或误用如何使论证走人误区。书中也有少量论辩推理的例子，这些例子是为说明逻辑原理而特别编制的，但使本书卓尔不凡的，还是那些精心选自许多不同领域文献的丰富多彩的新颖实例。