思维，是世界上最美丽的花朵。
思维活动贯穿于我们的生活方方面面，逻辑学则是研究人类正确思维的科学，因而我们生活的方方面面都离不开逻辑。我们日常生活中的交往需要逻辑，论辩场上雄辩滔滔的辩手需要逻辑，外交场合唇枪舌剑的交锋需要逻辑，科学研究离不开严谨的逻辑思维，当代计算机科学、人工智能更需要现代逻辑提供强大的理论支撑。
逻辑思维能力，是当代人才必备的核心能力素质。
同样，高考答卷也离不开逻辑思维能力。下面有这么一道高考逻辑题： 某猜卡牌游戏设置四个盒子，每个盒子里均有一张卡，要么是红卡，要么是黑卡。每个盒子上都有一句话，其中只有一句为真。
1号盒子： 本盒子里不是黑卡。
2号盒子： 1号盒子里不是红卡。
3号盒子： 或者1号盒子里是黑卡，或者4号盒子里不是黑卡。
4号盒子： 3、4号盒子里都不是红卡。
以上盒子中，肯定有红卡的是哪两个盒子？面对这样的试题，您是头昏眼花、晕头转向，还是成竹在胸、机智应对？本书能为您提供快速灵巧的答题技巧，助您稳操胜券。
现代逻辑最大的特点是用人工符号语言来刻画人类思维的结构，就如小学数学用算式来描述四则运算一样。比如：
八减去二，除以六的一半，又乘以二，再减去九除以三的商，得到的差乘以七，结果是多少？
一般读者也许难以理清头绪，但写成算式便一目了然：
[(8-2)÷(6÷2)2-(9÷3)]7= ?
现代逻辑的命题逻辑，便类似于小学数学十以内的四则运算。
本书以形象的语言、生动的叙述，出神入化地为您展示现代逻辑的神奇魔力。当您借助现代逻辑的工具来研究思维时，思维的形式结构便清晰地地呈现在您眼前，能助您快速找到问题的答案。
尤其是本书认为逻辑系统的原创性研究，为人类文学创作、科学探索、创造发明的实践提供了全新的逻辑工具，填补了逻辑科学版图的一块空白，而使本成果能屹立于当代逻辑科学研究的前沿。
如果您是逻辑教师，本书强有力的逻辑系统与《雄辩的逻辑》《杠精的诡计》中的精彩案例能令您在课堂上语惊四座、舌灿莲花；如果您是学生，本书附有大量测试题，能为高考学生《逻辑与思维》考试提供快速的解题技巧；本书可作为MBA、MPA、GRE、公务员等各种考试的逻辑学辅导读物；现代逻辑是计算机科学与人工智能的基础理论，本书也能为将来有志于投身计算机科学与人工智能行业的人们打下坚实的逻辑学基础。
《逻辑的趣味》一书，将助您用现代逻辑的力量开启更加美好的未来。
第一章 绪论001
第一节 什么是逻辑？003
一、 逻辑一词： 奇妙的历史渊源004
二、 逻辑学： 研究思维形式与规律004
三、 传统逻辑： 两千多年的悠久历史007
四、 现代逻辑： 逻辑科学的现代发展009
第二节 当代人才必备的核心能力素质013
一、 逻辑学： 正确思维的科学工具013
二、 逻辑教育： 在我国的曲折发展历程016
?
第二章 命题逻辑021
第一节 命题的公式表达023
一、 命题： 反映事物情况的思维形式023
二、 原子命题： 最基本的命题单位026
三、 合取命题： 表示几种情况同时存在026
四、 析取命题： 在几种情况中加以选择028
五、 条件命题： 有条件地作出断定的命题032
六、 等值命题： 真假值相等的命题036
七、 负命题： 对命题作出否定的命题038
八、 公式的类型： 永真式、永假式、偶真式040
第二节 常见推理方式042
一、 条件推理： 这是伪造的自杀案042
二、合取推理： 这张牌是红桃K051
三、 析取推理： 脑袋比银子值钱053
四、 条件合取： 上帝能给你所需要的一切055
五、 二难推理： 难倒法官的诉讼056
六、 等值推理： 你是自己开枪伤的自己061
七、反证法： 羽毛与炮弹能同时落地？063
第三节 命题逻辑自然推理系统064
一、 自然推理系统： 展示逻辑的神奇魔力065
二、 推导规则： 演算的法则066
三、 辅助规则： 使推导更为方便068
四、 基本定理： 演绎系统的重言式071
五、 奇妙跨界： 逻辑与集合的跨学科学习076
六、 推理运用： 神奇的解题技巧077
第四节 思维的基本规律083
一、 同一律： 你再高有姚明高吗？084
二、 矛盾律： 谁是作案人？085
三、 排中律： 盒中猜卡逻辑谜题088
第五节蕴涵怪论与悖论092
一、 蕴涵怪论： 骆驼能穿过针的眼092
二、 悖论： 克里特岛的人都说谎！096
?
第三章传统谓词逻辑101
第一节 概念103
一、 概念： 思维的细胞103
二、 概念的种类： 找不回来的骆驼就归管家106
三、 概念间的关系： 指南针与指北针108
四、 定义： 宿疾就是老毛病109
五、 划分： 一年可分为春、夏、秋、冬四季112
六、 限制： 卜氏的裤子 116
七、 概括： 卖国贼是说诳的117
第二节 判断119
一、 判断的结构： 主项、谓项、联项、量项120
二、 判断种类： 以质与量为标准的划分121
第三节 推理123
一、 直接推理： 船，木也，入船非入木也123
二、 三段论： 天下的人都是男的129
?
*第四章 现代谓词逻辑135
第一节 谓词逻辑命题137
一、 命题的结构： 个体词、量词、谓词137
二、 命题的公式： 命题的人工符号语言142
三、 公式的解释： 赋予公式具体的内容149
四、 公式的分类： 普效式、矛盾式、可满足式151
第二节 谓词逻辑自然推理系统153
一、 推理规则： 量词的消失与再现153
二、 推理的应用： 判定公式是否为普效式155
三、 谓词逻辑定理： 推理的有效形式157
?
第五章 模态逻辑159
第一节 真值模态逻辑 162
一、 可能世界： 克里普克语义学162
二、 模态命题： 火星上可能没有生命163
三、 模态对当关系： 明天必然下雨165
四、 模态自然推理： 必然与可能的推理系统167
第二节 认为逻辑169
一、 三个世界： 卡尔·波普尔的理论170
二、 认为逻辑： 研究人类主观世界的逻辑171
三、 推理系统： 引入认为算子的系统175
四、 应用举例： 鸡喝水为什么要抬头望天？178
?
第六章 辩证逻辑185
第一节 抽象逻辑思维与具体辩证思维187
一、 抽象逻辑思维： 思维发展的初级阶段187
二、 具体辩证思维： 思维发展的高级阶段188
第二节 辩证逻辑的基本规律190
一、 具体同一律： 台风是灾难又是福音190
二、 能动转化律： 用云彩的影子做记号192
三、 周期发展律： 震荡宇宙模型193
第三节 辩证逻辑的思维形式194
一、 辩证概念： 给丈夫的寒衣寄与不寄194
二、 辩证命题： 长江水面的涨与落196
三、 辩证推论： 大圆圈与小圆圈198
?
第七章 逻辑谬误201
第一节 推理的谬误203
一、 命题逻辑推理谬误： 我儿子不是玫瑰！203
二、 谓词逻辑推理谬误： 牛何之208
第二节 论证的谬误210
一、 违反思维规律的谬误： 不肖子的狡辩210
二、 论据的谬误： 宰予昼寝213
三、 论证方式的谬误： 黑母鸡比白母鸡聪明216
?
参考答案219
?
主要参考文献227
新书资讯
