逻辑作为一门科学，主要有三个分支：形式逻辑、数理逻辑和辩证逻辑。17世纪，美国哲学家培根（1561－1626）创立了归纳逻辑，写出著名的《新工具论》。形式逻辑这个名称，最早是18世纪德国哲学家康德（1724－1804）提出来的，用来称呼亚里士多德的逻辑。从此，形式逻辑就成为既包括演绎逻辑，又包括归纳逻辑在内的逻辑，也称传统的形式逻辑。 数理逻辑也称现代形式逻辑，它是在传统的形式逻辑基础上发展起来的一门逻辑科学。17世纪末，德国数学家莱布尼兹（1646－1716）最早提出用数学方法研究逻辑，成为数理逻辑的创始人。数理逻辑是用一套人工语言，即符号与公式，对逻辑思维形式进行一系列的推演。数理逻辑虽只有300年的历史，但由于它与现代科学技术尤其是电子计算机的发展密切相关，它已成为一门重要的学科，并被广泛的应用。 辩证逻辑是研究辩证思维规律的一门逻辑科学恩格斯...(展开全部)

《趣味逻辑》是为青年编写的一本形式逻辑读物。逻辑学是一门思维科学，它的研究对象是人们的思维形式及规律。在逻辑科学中，主要的有形式逻辑、辩证逻辑和数理逻辑。《趣味逻辑》讲的是形式逻辑。形式逻辑所研究的，主要是概念、判断、推理这样一些思维形式，同一律、矛盾律、排中律、充足理由律等正确思维的基本规律，以及定义、划分等简单的逻辑方法。 《趣味逻辑》从概念、命题、推理、逻辑基本规律等方面,通过通俗而有趣的故事,向读者介绍逻辑基本知识及其应用,展现逻辑的魅力,培养广大读者学习逻辑的兴趣,帮助读者打开逻辑知识的宝库,锤炼驾驭逻辑工具的能力。

《神逻辑：不讲道理的人怎么总有理》作者，苹果公司资深逻辑算法专家 全新作品！

《神逻辑：不讲道理的人怎么总有理》作者，苹果公司资深逻辑算法专家 全新作品！ 互联网之父、图灵奖得主、谷歌首席互联网科学家，欧洲核子研究中心粒子物理学家，MIT多媒体实验室教授 联袂推荐！ ———————————————————————————————————— 为什么达尔文、爱因斯坦和理查德·费曼等人被称为高效思考的典范，取得了难以比拟的成就？其实是因为他们比大部分人会思考——在思考中善于运用了常人忽略或误解的逻辑。 实际上，逻辑无时无刻不在服务于我们的生活，是我们认知世界、做出选择、看待问题的基础。然而逻辑到底是什么，却并没有太多的人有很清楚的概念。 在这本足以改变你的认识世界的方式的书中，MIT多媒体实验室老师、苹果公司资深软件专家阿里·阿莫萨维以其简练而又充满趣味的笔触，将晦涩、深奥的逻辑科学以贴近生活、通俗易懂、妙趣横生的方式展现给读者。用...(展开全部)

《神逻辑：不讲道理的人怎么总有理》作者，苹果公司资深逻辑算法专家 全新作品！

《神逻辑：不讲道理的人怎么总有理》作者，苹果公司资深逻辑算法专家 全新作品！ 互联网之父、图灵奖得主、谷歌首席互联网科学家，欧洲核子研究中心粒子物理学家，MIT多媒体实验室教授 联袂推荐！ ———————————————————————————————————— 为什么达尔文、爱因斯坦和理查德·费曼等人被称为高效思考的典范，取得了难以比拟的成就？其实是因为他们比大部分人会思考——在思考中善于运用了常人忽略或误解的逻辑。 实际上，逻辑无时无刻不在服务于我们的生活，是我们认知世界、做出选择、看待问题的基础。然而逻辑到底是什么，却并没有太多的人有很清楚的概念。 在这本足以改变你的认识世界的方式的书中，MIT多媒体实验室老师、苹果公司资深软件专家阿里·阿莫萨维以其简练而又充满趣味的笔触，将晦涩、深奥的逻辑科学以贴近生活、通俗易懂、妙趣横生的方式展现给读者。用...(展开全部)

很多人会觉得学习逻辑、锻炼逻辑思维能力这些事情枯燥无味，那么，请翻开这本书吧！ 本书以故事为引子，用一个又一个生动有趣的故事，配以生动的漫画插图，引领读者在故事中探索逻辑的奥秘，呈现何为逻辑。比如“丑小鸭为什么丑？”“从三打白骨精说‘判断’与‘命题’”等，是不是看到这些标题，就有想继续看下去的兴趣呢？将深奥复杂的概念和理论置于大家都耳熟能详、生动有趣的故事之中，这样更易理解、记忆。

很多人会觉得学习逻辑、锻炼逻辑思维能力这些事情枯燥无味，那么，请翻开这本书吧！ 本书以故事为引子，用一个又一个生动有趣的故事，配以生动的漫画插图，引领读者在故事中探索逻辑的奥秘，呈现何为逻辑。比如“丑小鸭为什么丑？”“从三打白骨精说‘判断’与‘命题’”等，是不是看到这些标题，就有想继续看下去的兴趣呢？将深奥复杂的概念和理论置于大家都耳熟能详、生动有趣的故事之中，这样更易理解、记忆。