第一章 绪论001第一节 什么是逻辑？003一、 “逻辑”一词： 奇妙的历史渊源004二、 “逻辑学”： 研究思维形式与规律004三、 传统逻辑： 两千多年的悠久历史007四、 现代逻辑： 逻辑科学的现代发展009第二节 当代人才必备的核心能力素质013一、 逻辑学： 正确思维的科学工具013二、 逻辑教育： 在我国的曲折发展历程016第二章 命题逻辑021
第一章 绪论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
企业宣传片
企业邮箱
设为首页