弗雷格（Gottlob Friedrich Ludwig Frege，1848－1925）在《算术基础》中阐述了三条基本原理，这三条原理一方面说明他为什么要构造他的人工语言系统，另一方面说明算术何以能够建立在逻辑的基础之上，这是从哲学的高度出发论证他的逻辑和数学思想的基础。 弗雷格于1897年发表《概念文字：一种模仿算术语言构造的纯思维的形式语言》（Begriffsschrift，eine der arithmetischen nachgebildete Formelsprache des reinen Denkens）。这本薄薄的书可谓现代逻辑的开山之作。它奠定了数理逻辑中的命题逻辑和一阶谓词逻辑的基础。然而，对于这本逻辑史上划时代的专著，在当时却少有人问津。弗雷格反思其原因，认为除人们对那陌生的符号系统望而生畏外，还不理解他为什么要构造这一系统的理由。他在1884年发表了专著《算术基础》（Grundlagen der Arithmetik）。在这本书中，他没有使用数理逻辑的符号，而是哲学理论上论证他所构造的人工语言系统的基本原理，指出严格区分心理的东西和逻辑的东西、主观的东西和客观的东西的必要性；强调决不要忘记概念和客体之间的区别；对当时所流行的逻辑学和数学中的心理主义展开批判。他认为逻辑是数学的基础，数的概念可以被定义为逻辑的类的概念，而类则被看成概念的外延。可以说，《算术基础》一书是弗雷格在哲学的方面为他的数学基础研究中的逻辑主义的方案奠定基础。

《逻辑学讲义》是一部由学生听讲笔记整理而成的康德著作，不过它在出版前曾经康德亲自审定过，因而比起其他版本来更具有权威性。在该书中，康德在传统的逻辑判断分类外，又创设了模态，开创了研究概念的内容实质的新局面，从形式逻辑发展到先验逻辑。康德对范畴表的旧类范畴，都用正、反、合方式来阐明，从而对辩证法的发展作出了贡献。

数理哲学导论，ISBN：9787100027625，作者：（英）罗素（Bertrand Russell）著；晏成书译

王浩20年倾力之作，书中包括哥德尔一些未发表的哲学观点，接续上一本《哥德尔》的论题并将其扩展到更加广泛的领域：柏拉图主义、逻辑的本质、心灵、上帝的存在性、实证主义、现象学等等。哥德尔定理于20世纪的意义相当于爱因斯坦的相对论，海森伯格的测不准原理，凯恩斯的经济学，依据作者和哥德尔多年的私人交往与探讨写就的此书，扩展了过去人们认为的哥德尔在逻辑和哲学方面的贡献。

这份讲义是当代逻辑入门课程的教材，内容大约是一阶逻辑的前部，可作为教科书或参考书，用于哲学、数学、计算机科学和语言学等院系的当代逻辑课程。希望了解一点当代逻辑的各科学生，也可以把它当作课外读物。 无论在国内还是国外，可用于一阶逻辑课的教材不少，导论性的教材更多；但两类教材的脱节是个老问题。国外一些教材在导论性内容后增加些一阶逻辑的内容（如完全性定理），其中有的已被国内学者介绍或模仿。但这类教材通常仍只能用于导论课。编写《符号逻辑讲义》的目的之一，就是想把脱节的教材连起来。说到西方人写的当代逻辑入门教材，不能不提一种现象：越来越多的这类教材是由逻辑界之外的人撰写的。有一次，美国哲学界的几位同事谈起部分学生逻辑水平很低，其中一人开玩笑说，那是你们逻辑学家的过错——谁让你们不写几本好的初级教科书呢？西方人写的逻辑教科书，有的很好，有的也很糟。所以，选用这类教材时要慎重，决不是西方人写的就一定好。 作为学科和知识体系，当代逻辑并没有理科当代逻辑、上科当代逻辑和文科当代逻辑之分。任何人着想掌握当代逻辑的基础知识，应该学习的决不会比其他学科的人更少。编写《符号逻辑讲义》时，在基本内容的选择上对各学科读者一视同仁，但为了使没经过理论数学的严格训练的人也能学好，在写法上力求从接近直观的东西入手，循序渐进。

《数理逻辑(第2版)》主要内容：What is a mathematical proof？ How can proofs be justified？ Are there limitations to provability？ To what extent can machines carry out mathematical proofs？Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is' Godel's completeness theorem， which shows that the consequence relation coincides with formal provability： By means of a calculus consisting of simple formal inference rules， one can obtain all consequences of a given axiom system (and in particular， imitate all mathematical proofs)

内容简介 现今社会，逻辑思维能力越来越被人看重。不仅考MBA有逻辑题，而且公务员考试也开始加试逻辑测试题。此外，在一些跨国公司的招聘面试中，这类逻辑能力训练题目更是经常出现，它对考察一个人的思维方式及思维方式转变能力有着极其明显的作用。而据一些研究显示，这样的能力往往也与工作中的应变与创新能力密切相关。所以我们平时加强这类题目的训练，到真正用的时候，就可以得心应手，游刃有余了。

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

本书介绍了社会生活中的逻辑问题，内容包括：“真与假虚与实”、“心灵的扭曲”、“情境的干扰”、“集合与非集合”、“质疑典故”、“思维定势”等。

金岳霖（1895—1984），中国现代哲学家、逻辑学家。字龙荪，浙江诸暨人。1911年考入清华学堂。1914年考取官费留学生。1920年获美国哥伦比亚大学博士学位。1921年到英国学习。1925年回国。历任清华大学、西南联大、北京大学哲学系教授。1955年后任中国科学院哲学研究所一级研究员、副所长、哲学社会科学部学部委员，从事哲学和逻辑学的教学、研究和组织领导工作。金岳霖是把西方现代逻辑介绍到中国的主要人物，他把西方哲学与中国哲学相结合，建立了独特的哲学体系，培养了一大批有较高素养的哲学和逻辑学专门人才。著有《论道》、《逻辑》和《知识论》，只凭三本著作，林岳霖就奠定了他在中国哲学界的地位，其中《知识论》更在中国哲学史上首次构建了完整的知识论体系

《国外经典哲学教材译丛:逻辑学导论(第13版)》是导论性逻辑教科书中最完满的一部：既有演绎逻辑亦有归纳逻辑，既有古典逻辑亦有现代逻辑。《国外经典哲学教材译丛:逻辑学导论(第13版)》是当今逻辑教科书的标准范本，是清晰性与准确性的典范，它能够使学生理解、把握并应用古典三段论逻辑和更为强有力的现代符号逻辑技术。 书中所选用的有关政治、哲学、科学及多领域当代论争的鲜活的论证实例，展示了许多严肃的学者和思想家在解决实际问题的过程中对逻辑原理的应用，使逻辑学习既内容充盈又富有生活气息。

书中介绍了命题逻辑、词项逻辑、谓词逻辑、归纳逻辑、批判性思维、逻辑学的地位等逻辑学基本知识。

《简单的哲学》从论证的工具到评价的工具，教你如何运用哲学进行有效又健全的思考……它用凝炼概括的术语，辅以生动有趣的插画，结合生活中富有趣味性的辩论话题，为你一一解析论证推理的秘诀，可谓哲学入门工具书的不二选择！ 在《简单的哲学》和《好用的哲学》里，我们将高深莫测的哲学知识简单化，把触不可及的哲学工具变得好用，不管你是刚刚拜在哲学门下的菜鸟，还是哲学大师的骨灰级粉丝，都会让你爱不释手！ [编辑推荐] ● 有效提高逻辑思维能力，快速学习哲学方法的精确指南 ● 清华大学、中国人民大学、南京师范大学，3大高校哲学教授倾情推荐 ● 英国《哲学家杂志》主编、特兰西瓦尼亚大学杰出教授联袂奉献 ● 《你以为你以为的就是你以为的吗？》作者经典著作 ● 湛庐文化出品

简单的逻辑学，ISBN：9787544048101，作者：

一个人的的竞争优势取决于一个人的素质，一个人的素质主要体现在提出问题和解决问题的能力，而这种能力的得升关键在于培养一个人的逻辑思维能力。《世上最经典的365道逻辑思维名题》适读人群：处于逻辑思维提升关键期的青少年，应聘国内外知名企业的大学毕业生，准备攻读各类专业硕士的在职考生，渴望提升思维能力的国家公务员，希望使自己变得更聪明的企业员工。

在我所收到的为数众多、让人着迷的那些关于我的第一本谜题书（我可能从来都记不得它的名字！）的信件当中，有一封来自一个著名数学家（他是我以前的一个同学 ）的十岁的儿子。那封信里面有一个漂亮的原创谜题，它受到了他曾经如饥似渴地阅读的那本书当中某些谜题的启发。我迅速给男孩的父亲打电话，祝贺他有一个聪明的儿子。在叫男孩来接电话之前，父亲用柔和的、寻求同谋的语气对我说：“他正在读你的书，可喜欢它了！但是当你和他通话时，不要让他知道他正在读的东西是数学！如果他哪怕有一点点意识到这实际上就是数学，那么他肯定会马上停止读那本书的！” 我提到这点，因为它说明了一个最奇怪但也是最为普通的现象：我碰见如此之多的人宣称他们憎恨数学，但是如果我把任意的逻辑或者数学问题以谜题的形式呈现出来的，那么他们却又会对这些问题产生极其强烈的兴趣。如果可以证明好的谜题书是治疗所谓“数学焦虑”的最好方法之一，那么我一点都不会对此感到惊奇。另外，所有数学论著其实都能够以谜题书的形式写出来！我有时候想知道，欧几里得要是采用这样的方式来撰写他那经典的《几何原理》会怎么样。譬如，不是把等腰三角形的底角相等表述为一个定理并且接着给出它的证明，而是这样写：“问题：假定一个三角形有两边相等，那么是否必然有其中的两个角相等？为什么是，或者为什么不是？（答案参见XX页。）”所有其他的定理也这样来处理。这样一本书也许早就成为历史上最受欢迎的一本谜题书了！ 推荐评语 “另一本汇集了由有史以来最有趣的逻辑学家和集合论专家创作的出色难题和精彩悖论的妙趣横生之书。阅读每一本斯穆里安教授的奇妙谜题之书，你最后都会去探索位于数学之下的那片奇异的地下区域，其中哥德尔式的走廊四通八达，那些关于真和可证明性的漂亮定理在四面八方与它相通相连。” ——马丁•加德纳 “充满机智，富有教益，饱含乐趣。最后一个元谜题，‘谁是那个间谍？’可以说是有史以来设计最为精巧的逻辑谜题，而这本书的最后一节对于哥德尔著名的不完全定理提供了一个浅显易懂的说明。” ——乔治•布洛斯，哲学教授，麻省理工学院 “我相信雷•斯穆里安就是我们这个时代的刘易斯•卡罗尔。他的这些逻辑谜题小书将会在我们当中的大多数人都被遗忘很久之后继续为人们所铭记。现在，他已经抓住了一些难于抓住的、适合现在这个计算时代的材料，并且在这本书中糅合了愉快的心情以及因发现而生的激动感觉。” ——彼得•邓宁，计算机科学教授，普渡大学 “在你跟随斯穆里安上升到哥德尔证明令人眩晕的高度以及进入到数学当中的证明，真和逻辑的核心本质的时候，你也许会感觉到一种喜悦的轻微颤栗。” —— 柯克斯评论 有两种有趣的语言游戏都能让人快乐：一种是迎合人们心中愚蠢念头的搞笑，比如肥皂剧、低级笑话、小品和电视语言，人们在那些没有智力水平的笑话中肯定了自己的愚蠢，从而获得认同的快乐；另一种是开启人们心中智慧的逻辑和幽默，人们通过分享逻辑和幽默的智力成就而肯定了自己的智慧，雷蒙德•斯穆里安的书就属于后者。 ——赵汀阳 （哲学家）

Increasingly college courses and programs require a critical thinking component—and include assignments meant to measure your critical thinking skills. ATTACKING FAULTY REASONING: A PRACTICAL GUIDE TO FALLACY-FREE ARGUMENTS, SIXTH EDITION, can help you brush up on these skills—and learn how to develop the logical, persuasive arguments you need now and throughout your career. This useful handbook addresses more than 60 common fallacies of logic with the help of over 200 memorable examples. It provides explanations and tips for avoiding fallacious thinking, and is an ideal resource when writing papers, essays, or arguments.

你相信吗？在逻辑的世界里，跑得再快的人也永远追不上乌龟！ 你知道吗？在数学的世界里，打电话传八卦也可写成一道算式！ 在哲学家、数学家眼里，生活中许多看似平常的现象，背后都有着奇妙的规律；小至上网买东西，大至制订国家政策，这些看似八竿子打不着的事物，其实都遵循着相同的法则。让院士刘炯朗用最深入浅出的文字，教你一次搞懂这些藏在事物背后的定理！ 这是一本逻辑学的趣味科普书。作者用逻辑学这个小工具，为我们一层层揭开了语言、人际关系、金钱游戏和数字迷宫背后隐藏的规则。让你在轻松的阅读中，学到逻辑学这门很有用的知识。