1、自考 普通逻辑学 0024 第 1 页 共 21 页 作 者一 剑钻神 一、判断（一） 1.SAP 是指所有 的S 是P ； SEP 是指所 有的S 不是P; SIP 是指有的S 是 P; SOP 是指 有的S 不是P 。 2.A 与 E 是 反对 关系 （不能同 真，可 以 同 假 ） ； I 与 O 时 下反 对关 系（不能 同假， 可 以同 真 ） ； A 与 O 和E 与I 是 矛盾关 系 （不能 同 假，已不 能同真）； A 与 I 和E 与 O 是 差等关系 逻辑方 阵 3. 性质判 断真值 表 ： 全同 真包含于 真包含 交叉 全异 A 1 1 0 0 0 E 0 0 0 0 1
2、 I 1 1 1 1 0 O 0 0 1 1 1 A 、E 、I 、O 四种判断的真 假情况列表 自考 普通逻辑学 0024 第 2 页 共 21 页 注：1 代表“真 ” ；0 代表“假”( 下同) 。 4. 普 通逻辑是 研究思维的逻辑形式及其基 本规律和简单逻辑方法 的 科学。 任何一种逻 辑 形式都是 由 逻辑常项 和 逻辑变项 两部 分组成。 普通逻辑所 研 究的思维 是指抽 象 思维中的 知性思维。 现代形式逻 辑 主要是指 数理逻辑。 知觉是 感觉 的 综合。 感性认识 的基本 特 征是 直 接感受性 。 人们平常 提到逻 辑 学时，通 常指的 是 形式逻 辑 。 在感性认 识阶
3、段 ， 人 们对客观 事物的 认 识的三种 存在形 式 人别是 感觉、 知觉、表象。 在理性认识阶段，人们对事物的认识的三种存在形式人别是 概 念、判 断、推理。 5. 概念是 反映对 象 特有属 性 或 本质 属性 的 思维形式 ， 概念 有两个逻 辑 特征，他 们是 内涵和外延 。 概念的 内涵 是指 反 映到概念 中的对 象 中的 特 有属性或本质属性 。 具有概念所反映的特有属性或本质属性的对象，称为概念的 外 延。 从逻 辑的角度讲 ，所谓 明确概念， 指的就 是要明确概 念的 内涵 和外延 。 普通逻辑 不去研 究 概念在具 体内容 上 的关系， 而是把 概念 作为思 维形式，从
4、内涵或外 延 方面来 研究概 念间的关 系。 自考 普通逻辑学 0024 第 3 页 共 21 页 根据概念 的外延 大 小，概念 分为 单独 概念 和 普通概念 。 根据概念 反映的 对 象是否为 集合体 ， 概念分为 集合概 念 和 非集 合概念 。 根据概念所反映对象是否具有某种性质，概念分为 正 概念 和 负概念 。 6. 定义的规则？ （1 ）定义 项的外 延和 被定义 项的外 延应 是相同 的（违 反这 条规则 ， 就会犯“ 定义过 宽 ”或“定 义过窄 ” 的逻辑错 误） 。 （2 ）定义 项中不 能直 接或间 接地包 括被 定义项 （违反 这条 规则， 就 会犯“同 语反复 ”
5、或 “ 循环 定义” 的 逻辑错误）。 （3 ）定义项 中不得 包括含混 的概念 和 语词，不 得用比 喻 。 7. 划分的规则？ （1 ） 划分的各 子项 外延之和 必须与 母 项的外延 相等 （违 反这条规 则， 就会犯“ 划分不 全 ”或“多 出子项 ” 的逻辑错 误） 。 （2 ）每次 划分必 须按 照同一 标准进 行（ 违反这 条规则 ，就 会犯“ 划 分标准不 同一” 的 逻辑错误 ） 。 （3 ）划分 的各子 项应 当互不 相容（ 违反 这条规 则，就 会犯 “子项 相 容”的逻 辑错误 ） 。 8. 判断的逻辑 特 征是 有所肯定或有所否 定 和 有真假 。 普通逻 辑不研 究
6、 判断的具 体内容 的 真假， 只 研究判 断在 形式上的 真假特征 和真假 关 系。 性质判 断就是 断 定对象具 有或不 具 有某种性 质的判 断。 它是由主 项、谓项 、联项 和 量项四部 分组成 。 性质判 断的四 种 基本形式SAP、SEP、SIP、SOP。 判断分 为简单 判 断和复合 判断； 简单 判断就是 自身不 含 其他判断 的判断， 复合判 断 就是自身 中包含 其 他判断的 判断。 9. 属于非传递 的关 系 有： 判 断间的不等值 关系、 概 念间的交 叉关系 同时具有反对称性 质和传递性质 的 有： 概 念间的 真包含关 系和 概念间 的真包含于关系。 同时具有 对称
7、性 和 传递性的 是： 概念间的全同 关系和判断间的等 值关系 。 非传递关 系的是 ： 判断间 的矛盾关系和判断 间的交叉关系 。 具有反对 称性质 的 是： 真 包含关系和真包含 于关系。 具有传递 性质的 关 系的有 ： 概 念间的全同关系 和判断间的矛盾关自考 普通逻辑学 0024 第 4 页 共 21 页 系。 在 性质判断中，主项和谓 项都周延的判断有 全称否 定和单 称 否 定。 10.根据逻辑 方阵的 刻划，对第2 项 具 体叙述： （1 ）矛盾关 系 其中一个 判断是 真 ，另外一 个判断 一 定是假； 其中一个 判断是 假 ，另外一 个判断 一 定是真。 （2 ）反对关 系
8、 其中一个 判断是 真 ，另外一 个判断 一 定是假； 其中一个 判断是 假 ，另外一 个判断 真假不 定 。 （3 ）下反对 关系 其中一个 判断是 真 ，另外一 个判断 真假不 定 ； 其中一个 判断是 假 ，另外一 个判断 一 定是真。 （4 ）差等关 系（其 中一个是 全称判 断 ，另一个 是特称 判 断） 全称判断 真，则 特 称判断真 ； 全 称判 断假，则特称判断 真假不定 ； 特称判断 假，则 全 称判断假 ； 特 称判 断真，则全称判断 真假不定 。 11. 性质判断 主、谓 项的周延 性 （1 ）项的周 延性 项的周延 性，指 的 是在性质 判断中 对 主项、谓 项处延 数
9、 量的断 定情况。 （2 ）A 、E 、I 、O 、a 、e 六种性 质判断 主、谓项 的周延 情 况 全称判断 主项都 是 周延，还 有否定 判 断的谓项 都是周 延 的，其 它都为不 周延。 判断的 类别 主项 谓项 A （a ） 周 延 不周延 E （e ） 周 延 周 延 I 不周延 不周延 O 不周延 周 延 二、判断（二） 自考 普通逻辑学 0024 第 5 页 共 21 页 1. 复合判 断的联 结 词的对应 表： 名称 定义 逻辑形式 联结词的 语言表 达 方式 联言判断 （p 并且q ） 就是断定 几种事物 同时存在 的判断 q p 不但而且 既又 不仅还 虽然但是 相容选言
10、 判 断 （p 或者q ） 就是断定 几个选 言 支中 至 少有一个为 真并且同 真的选 言 判断 q p 也许也许 可能可能 不相容的 选 言判断 （要么p ，要 么q ） 就是断定 几个选 言 支中有并 且只有 一 个为真的 选言判 断 q p . 要么要么 不是就是 或者或者二者必 居 其一 或或 二者不 可 兼得 假 言 判 断 充分条件 假言判断 断定事物 情况之 间 具有 充分条件 关系 的假言判 断就是 充 分 条件假言判断 q p 如果那么 如果则 有就 一旦就 假若就 必要条件 假言判断 断定事物 情况之 间 具有 必要条件 关系 的假言判 断就是 必 要 条件假言判断 q
11、p 只有才 除非不 除非才 不不 没有没有 充分必要 条件假言 判断 （P 当且 仅当q ） 断定事物 情况之 间 具有 充 分必要条件 关系的假 言判断 就 是 充分必 要 条件假 言判断 q p 如果 那么 并且只 有才 只有并且仅仅如此， 才 注 ： - 在性质判断 和关系 判断中使 用，表 示 “并非 ” 。 在复合判 断和模 态 判断中使 用，表 示 “并非 ” 。 自考 普通逻辑学 0024 第 6 页 共 21 页 在复合 判断中 使 用，读作 “合取 ” ， 表示“并 且” 。 在复合 判断中 使 用，读作 “析取 ” ， 表示“或 者” 。 . 在复合判 断中使 用 ，读作“
12、 不相容 的 析取” ，表示 “要么 ” 。 在复合 判断中 使用 时，读 作“蕴 涵” ， 表示“ 如果，则” ； 在推 理 中使用时 ，读作 “ 推出” ，表示 “所以 ” 。 在复合 判断中 使 用，读作 “逆蕴 涵” ， 表示“只 有，才 ” 。 在复合判 断中使 用 ，读作“ 等值 ” ， 表示“当 且仅当 ” 。 在模态 判断中 使 用，表示 “必然 ” 。 在模态 判断中 使 用，表示 “可能 ” 。 2. 联言判断 的公 式是 q p ；联言判 断的 负判断的公式 是 ） q p ( ； 它等值于 q p 。 相容 选言判断的 公式是 q p ； 相容选言 判断的 负判断的公
13、式是 ） q p ( ；等值于 q p 。 复合判断 是 自身含有其他 判断 的判断 ；它是由 支判 断 和 联结 词 构成的， 它 的逻 辑性质是由 联结词的逻辑 性质 决定的 ； 复合 判断 的真假是有 支判断的真 假 决定的 。 相容的选言判断就是断定几个选言支至少有一个为真的选言判 断，只有 在选言 支 都假时， 相容的 选 言判断才 是假的 。 3. 复合判 断对应 的 真值表： p q q p q p q p . q p q p q p 并且 或者 要么 蕴涵 逆蕴涵 等值 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 0 0
14、0 0 1 1 1 4. 模态方 阵之间 的 真假关系 ： （1 ）p 与 p 可以同假但不 可同真 （ 反对关系 ） ； p 与 p 可以同真但不 可同假 （ 下反对关 系） ； p 与 p 和 p 与p 既不可同 真又 不可同假 （矛盾 关 系） 。 （2 ）p 与p 是 差等关系 ： p 真，则p 真；p 假，则p 假； p 假，则p 真假不定；p 真 ，则p 真假不 定。 （3 ） p 与 p 时差等 关系： p 真，则 p 真； p 假，则 p 假； 自考 普通逻辑学 0024 第 7 页 共 21 页 p 假，则 p 真假不定； p 真，则 p 真假不 定。 （4 ） p p p
15、p p p p p 三 、 普通逻辑的 基本规律 1. 普通逻 辑基本 规 律有: 同一律 、矛盾 律、排中 律和充 足 理由律。 2. 同一律 的公式 可 以表示为A 是A ，或 p p 。 3. 违反同 一律常 见 的逻辑错 误是， 在 概念方面 ，就会 犯 “混淆概 念” 或 “偷 换概念 ” 的逻 辑错误 ： 在判 断方 面， 就 会犯 “ 转移论 题” 或 “偷 换论题 ” 。 4. 矛盾律 的主要 作 用是保持 思维具 有 无矛盾性 ， 矛盾 律要 求排除的 矛 盾， 是同 一思维 过 程中的逻 辑矛盾 ； 在论证中 ， 矛盾 律 是间接反 驳的 逻辑根据 。 5. 依据矛 盾律，
16、 可 以由真推 假；依 据 排中律， 可以由 假 推真。 6. 充足理 由律的 逻 辑要求主 要有两 条 ：第一， 理由必 须 真实；第 二， 理由和推 断之间 要 有逻辑联 系； 违 反这 两条就会 犯理由 虚 假或推不 出 的逻辑错 误。 7. 普通逻 辑的基 本 规律的对 应表： 逻辑 名称 逻辑 公式 ( 符号 表示) 读作 违反 所照 成的 逻辑 错误 作用 性质 同 一律 A 是A （ p p ） 如果p,那么q 混淆概念 偷换概念 转移论题 偷换论题 保证思维具 有具有确定 性 可以同真 可以同假 矛 盾律 A 不是非A ) ( p p 并 非（ p 并且非 p） 自相矛盾 保证
17、思维具 有具有无矛 盾性 不能同真 必有一假 由真推假 排 中律 “A 或者非A”或“ p 或者非p” p p “p 或者非p 模棱两可 在于保证思 维的明 确性 不能同假 必有一真 由假推真 充 足理 由律 p p q q ) ( P 真，因为q 真，并且由q 能推出p 理由虚假 推不出 用来保证思 维的 论 证性 四 、 演绎推理（ 一） 自考 普通逻辑学 0024 第 8 页 共 21 页 1. 根据 前提是否蕴 涵结论 ， 把推理 划 分为 必 然性推理和或然性 推理 。 2. 推理形 式有效 ， 是推理获得 真 实结论 的 必要条 件 。 3. 如 果一个演绎 推理的 形式正确， 则
18、 前提 不真实时， 结论不 一定为 真 。 4. 若一必 然性推 理 的结论为 假，则其 前提假或 形式无效 。 5. 若一推 理的前 提 与结论均 假，则 其 推理形式 可能有效 。 6. 一个演 绎推理， 如 果推理无 效， 则 推理形式错误 或 结论 可能虚假 。 7. 演绎推 理是一 种 必然性推 理，它 的 前提 蕴涵 结论。 8. 推理要 获得真 实 结论必须 满足的 两 个 条 件是 前提真实 和 推理形式 有效。 9. 一个有 效地第 一 格三段论 式， 其结 论为SAP ， 则其大 前 提应为MAP, 小前提应是SAM 。 10.一个有效 地第二 格三段论 ， 如果为SOM
19、， 则大 前提应为PAM，结 论 应为SOP 。 11. 一个有效地第二格三段论，若其大前提为 MIP ，则其小前提应 为MAS, 结论应为SIP 。 12.三段论的 格， 就 是 中项在前 提的不 同位置所 构成的 三 段论的不 同 形式。 13. 三段论的一般规则？# 三段论的 一般规 则 主要有以 下七条： （1 ） 一个正 确三 段论 ，有 且只 有三 个不 同的 项 （违反这 条规则：就 会犯 “四 项错误 ” 的逻辑错 误）。 （2 ） 中项 至少 要周 延一次 （违反这条规则： 就会犯 “中项两次 不周 延”的逻 辑错误 ） 。 （3 ） 前提中 不周 延的 项，在 结论 中也
20、不得 周延 （违反这 条规则：就 会犯 “ 大项不当周延 ” 的逻辑错误和 “ 小项不当周延” 的逻辑错 误）。 （4）两 个否定 的前 提推 不出 结论 （违反这条规 则：就会犯 “两否定 推结论” 的 逻 辑错误 ）。 （5 ） 前 提中有一个是否定 的， 则结论只能是 否定的； 结论是否 定的， 则前提中必有一个是否定的 （ 违反这条规 则：就会 犯 “ 由否 定推 肯 定”的逻 辑错误 ） 。 （6 ）两个特 称前提不能提 出结论。 （7 ）如果 两个前 提中 有一个 是特称 的， 那么， 结论也 是特 称的。即自考 普通逻辑学 0024 第 9 页 共 21 页 前提有 一特称，则结
21、论必 特称。 14. 什么是三 段论 (1) 三段 论： 是由两个 包含着 一个 共同词 项的性 质判 断推出 另一个 新 的性质判 断的演 绎 推理。 叫做性质 判断间 接 推理。 所谓 间接推 理， 指的是 由两个 或两个以 上前 提推出结 论的推 理 。三段论 只是间 接 推理的一 种。 任何一个 三段论 都 包含着三 个不同 的 词项： 大项 、 小项和中项 。 结论中的谓 项叫做大 项，用 “ P” 表示。 结论中的主 项叫做小 项，用 “ S” 表示。 前提中出现两次而结论不出现的词项叫做中项，用“ M” 表 示。 任何一个 三段论 都 包含着三 个不同 的 判断， 即 大前 提
22、、 小前提 和 结论 。 三段论 的词项有两个主要 特点 ： 第一，任 何一个 三 段论，必 须有也 只 能有三个 不同的 词 项。 第二， 任何 一个三 段论， 其中 的每一 个词项必 须并且 只 能在两个 性质 判断中各 出现一 次 。 (2)、三段论 的公理 三段论的 公理： 凡 对一类对 象的全 部 对象有所 肯定， 则 对该对象 的每 一个子类 （ 或分子 ） 对象也有 所肯定 ； 反之， 凡 对一类 对象的全 部对 象有所否 定，则 对 该类对象 的每个 子 类（或分 子）也 有 所否定。 熟悉下图 原理： 三段论的 有效式 就 是根据这 个公理 来 进行推理 的。 15.换质法的
23、 规则是 ： （1 ）结论 和前提 不同 质，即 前提是 肯定 的，则 结论是 否定 的；前 提 是否定的 ，则结 论 是肯定的 。 （2 ） 结论的 主项和 谓项与前 提保持 不 变, 结论的谓 项是前 提谓项的 矛 盾概念。 换位法的 规则是 ： 自考 普通逻辑学 0024 第 10 页 共 21 页 （1 ）结论 和前提 的质 相同， 即前提 是肯 定的， 则结论 是肯 定的； 前 提是否定 的，则 结 论是否定 的。 （2 ）结论的 主项和 谓项，分 别是前 提 的谓项和 主项。 （3 ）前提中 不周延 的概念， 到结论 中 不得周延 。 16. 换质 法是 通过改变 前提的 质（ 肯
24、定改 为否定 ，否 定改为 肯定） ， 从而得出 结论的 直 接推理方 法。 换位法 是通过 交 换前提中 主、 谓 项的 位置从而 推出结 论 的直接推 理 方法。 O 判断不能换位 ，因 为O 判断的主项 是 不周延的 。 17. 三段论各 格的性 质及规则 ：（ 识记） 名称 性质 规则 第一格 中项（用 M 表示 ） 分别是大 前提的主 项和小 前 提的谓项 小前提 须是 肯定的 大前提 须是 全称的 第二格 中项分 别是大 、小 前提的 谓 项 前提中 须有 一个是否定的 大前提 须是 全称的 第三格 中项分别 是大小 前 提的主项 小前提 须是 肯定的 结论须 是 特称的 第四格
25、中项分别是大前提的谓项 和小前提 的主项 a 两 个前 提有 一否定 ， 则大 前提全 称 b 如 大前 提肯 定，则 小 前提 全称。 c 如 小前 提肯 定，则 结 论特 称 d 任何一个前提 都不能是 特 称否定 判断（SOP ） e 结论不 能是全称肯定判 断 18. 三段论的 有效式 ： （了 解） 第一格 第二格 第三格 第四格 1 AAA AEE AAI AAI 2 EAE EAE EAO EAO 3 AII AOO AII AEE 4 EIO EIO EIO EIO 5 (AAI) (AEO) IAI IAI 自考 普通逻辑学 0024 第 11 页 共 21 页 6 (EAO
26、) (EAO) OAO (AEO) 注：上述 24 格有 效 式中，有 5 格 带括 号，称为 弱式。 所 谓弱式， 是 指本来可 以得出 全 称的结论 ，但却 只 得出了特 称的结 论 。 19. 对当关系 的直接 推理： 名称 正确推理 形式 性质 矛盾关系 的推理 （可由假 推真 可由真推 假） SAP SOP SEP SIP SIP SEP SOP SAP SAP SOP SEP SIP SIP SEP SOP SAP 不可同真 不可同假 差等关系的推理 （由全称真推特 称真） SAPSIP SEPSOP SIP SAP SOP SEP 全称真则 特称真 全称假则 特称真 假 不定 特
27、称假则 全称假 特称真则 全称真 假 不定 反对关系 的推理 SEP SEP SEP SAP 不能同真 ，可以 同 假 下反对关 系的推 理 SIP SOP SOP SIP 不能同假 ，可以 同 真 20.判断变形 的直接 推理： 名称 有效地推 理形式 换质法 SAP P SE SEP P SA SIP P SO SOP P SI 换位法 SAPPIS SEPPES SIPPIS 无O 判断换位 21.关系推理 ； 纯 关 系 推 理 对称关系 推理 aRb 所以，bRa 反对称关 系推理 aRb 所以， a R b 传递关系 推理 aRb bRc 所以，aRc 反传递关 系推理 aRb b
28、Rc 所以， c R a 自考 普通逻辑学 0024 第 12 页 共 21 页 四 、 演绎推理（ 二） 1. 演绎推 理公式 ： 表一： 推理 名称 逻辑 形式 简写 方式 联 言 推 理 分 解 式 P 并且q 所以，p p q p P 并且q 所以，p ； p q q 组 合 式 P, q, 所以，p 并且q P, q, p q 选 言 推 理 相 容 否定 肯定 式 P 或者q, 非p, 所以，q p q, p , q 不 相 容 否定 肯定 式 要么P ，要么q, 非p, 所以，q q p . , p , q 肯定 否定 式 要么P ，要么q, p, 所以， q q p . , p
29、, q 假 言 推 理 充 分 条 件 肯定 前件 式 如果P ，要么q, p, 所以，q q p p q 否定 后件 式 如果P ，要么q, 非q, 所以, 非p q p q , p 必 要 条 件 否定 前件 式 只有P ，才q, 非p, 所以，非q q p p , q 肯定 后件 式 只有P ，才q, q, 所以,p q p q, p 自考 普通逻辑学 0024 第 13 页 共 21 页 表二： 推理 名称 逻辑 形式 简写 方式 假 言 推 理 充 分 必 要 条 件 肯定 前件 式 P 当且仅当q, p, 所以，q q p p q 否定 后件 式 P 当且仅当q, 非q, 所以,
30、非p q p q p 否定 前件 式 P 当且仅当q, 非p, 所以，非q q p p q 肯定 后件 式 P 当且仅当q, q, 所以，p q p q p 二 难 推 理 简单 构成 式 如果p,那么q 如果r,那么q 或者p 或者r 所以，q q p q r p r q 简单 破坏 式 如果p,那么q 如果p,那么r 非q 或者非r 所以，非p q p q r p r p 复杂 构成 式 如果p,那么q 如果r,那么s p 或者r 所以，q 或者s q p s r p r q s 复杂 破坏 式 如果p,那么q 如果r, 那么s 非q 或者非s 所以，非p 或者非r q p s r p s
31、 p r 2. 根据模 态方阵 的 模态推理 ： 逻辑形 式 简写方 式 逻辑形 式 简写方 式 自考 普通逻辑学 0024 第 14 页 共 21 页 必然p 所以，可能p p p 必然非p 所以，可 能非p p p 必然p 所以， 不 可能非 p p p 可能非p 所以，不 必然p p p 必然非p 所以，不 可能p p p 可能p 所以， 不必 然非 p p p 3. 根据模 态判断 与 性质判断 见的关 系 进行的模 态推理 ： 逻辑形 式 简写方 式 逻辑形 式 简写方 式 必然p 所以，p p p p 所以，可能p p p 必然非p 所以，非p p p 非p 所以，可能 非p p
32、p 4. 根据包 含复合 判 断的模态 判断之 间 等值关系 进行的 模 态推理： 逻辑形 式 简写方 式 必然（p 并且q ） ， 所以，必然p 并且必 然 q 。 （p q ） p q 可能（p 或者q ） 所以，可能p 或者可 能 q 。 （p q ） p q 不可能（p 并 且非 q ） ， 所以， 必 然 （如果p，那 么 q）。 （p q ） ( q p ) 四 、 归纳推理 归纳 推理 推理形 式 完 全 归 纳 推 理 1 S 是p ， 2 S 是p ， 3 S 是p ， n S 是p ， 1 S , 2 S , 3 S , n S 是 s 类中的 全部对 象 ， 自考 普通逻
33、辑学 0024 第 15 页 共 21 页 所以，所有s 是p 。 其中s 表示 某 类对象 ， 1 S , 2 S , 3 S , n S 是s 类 中的个别 对象 ， P 表示对象的属 性 不 完 全 归 纳 推 理 简 单 枚 举 法 1 S 是p ， 2 S 是p ， 3 S 是p ， n S 是p ， 1 S , 2 S , 3 S , n S 是 s 类中的 部分对 象 ， 所以，一切s 都是p 。 科 学 归 纳 法 1 S 是p 2 S 是p 3 S 是p n S 是p 1 S , 2 S , 3 S , n S 是s 类中的 部分对象 ， 并 且与p 有因果关 系， 所以，所
34、有s 都是p 。 1. 探求因 果联系 的 逻辑方法 ： 逻辑方 法 逻辑图 式 求 同 法 场合 相关情况 被研究 现象 （1 ） A 、B 、C a （2 ） A 、D 、E a (3) A、G 、F a 所以，A 与a 之间有 因果联系 求 异 法 场合 相关情况 被研究 现象 （1 ） ABC a （2 ） -BC a 所以，A 与a 之间有 因果联系 求 同 求 异 场合 相关情况 被研究 现象 （1 ） ABC a （2 ） ADE a 正事例 组 (3) AGF a 自考 普通逻辑学 0024 第 16 页 共 21 页 并 用 法 a （1 ） -BH （2 ） -DN 负事例
35、组 (3 ) -FO 接上 所以，A 与a 之间有 因果联系 共 变 法 场合 相关情况 被研究 现象 （1 ） A 1 BC a （2 ） A 2 BC a （3 ） A 3BC a 所以，A 与a 之间有 因果联系 剩 余 法 复合情况ABCD 与被研究的复 合现象abcd 有因果联系 A 与 a 有因果联 系 B 与 b 有因果联 系 C 与 c 有因果联 系 D 与 d 有因果联 系 所以，D 有d 有因果 联系 2. 概率推 理 概 率 推 理 1 S 是p ， 2 S 不是p ， 3 S 是p ， n S 不是p ， 1 S , 2 S , 3 S , n S 是 s 类部分 ，n
36、 中有v 个是p ， 所以，全部S 中有v/n 是p 。 其中s 表示某类 对 象，P 表示对象 的属 性 3. 统 计推理中包 括 纯随 机抽样法、 机械抽 样法、分层 抽样法 和整群 抽样法。 探求因果 联系的 归 纳推理的 结论是 或然的。 完全归纳 推理是 必然性推 理。 归纳推理 是以 个别性知识 为前提而推 出 一般性知 识 的推 理； 传 统的归纳 推理分为 完全归纳 推理 和 不完全归纳 推理 两大类。 归纳推理 从思维 进 程上讲， 它是由 个 别性知识 过渡到 一般性知自考 普通逻辑学 0024 第 17 页 共 21 页 识 的 推 理 。 以前 提和 结 论 所断 定的
37、 范 围来看， 归纳推 理 的结论 超出 了 前提断定 的范围 。 完全归 纳推理是根据某类中 每一个对象 具有 某种属性，推出 该类对象 都具有某 种属性的 推理， 完 全归纳推 理是 必然性推理。 从结论的 性质来 看 ，完全归 纳推理 的 结论 是 必 然的 ，不完全归 纳推理的 结论是 或然的。 完全归纳 推理的 结 论所断定 的 范 围 等于 前提所 断定的 范 围；不 完全归纳 推理所 断 定的范围 超过 前提 所断定的 范围。 简 单枚举 法是 以 经验 的认识 为主要依据 ，根据 一类事物中 部分 对象具有 某种属性 ，并 用 没有遇到 反 例 从而推出 该类所 有对象都 具
38、有某种属 性的 归纳推理。 应用简单 枚举法 ， 要 注意避 免 轻率概 括 和 以偏概全 的逻辑错 误 。 科学归纳 法是根据 某类部分 对象与 某 种属性之 间具有 因 果联 系， 从而推出 某类对 象 都具有某 种属性 的 结论的归 纳推理 。 概率推理 和统计 推 理的结论是 或然的 。 一般而言， 科 学归 纳法与简 单枚举 法 相比， 其结论 的可 靠程度前 者要比后 者 高。 穆勒五法是 求 同 法、 求异 法、求 同求异 并用 法、剩 余法和 共变 法 。 求同法的 特点是 异中求同 。 求异法的 特点是 同中求 异 。 求同求异 并用法 的 特点是两 次求同 ， 一次求异 。
39、 剩余法的 特点是 同中求变 。 共变法的 特点是 从余因求 余果。 五、类比推理和 假说 1. 类比推 理的结论 真假不定 。 2. 仿生学 的逻辑 依 据是 类比推 理。 3. 类比推 理与科 学 归纳法的 区别在于 思维的进 程不同. 4. 运用类 比推理 应 避免逻辑 错误是 机械类 比。 5. 在 假说的验证 过程中 ，必须用到 的推理 形式是 充分 条件假 言推理 的否定后 件式。 6. 类比推 理： 逻辑名称 逻辑形式 类 A 对象具有属性a 、b 、c 、d 自考 普通逻辑学 0024 第 18 页 共 21 页 比 推 理 B 对象具有属性a 、b 、c ， 所以，B 对象具
40、 有属 性d 。 其中，A 和 B 表示 相比较的 两个（ 或 两类）对 象，a 、b 、c 表 示A 、B 间相同或相 似的属性 ，d 表示推 移属性。 7. 类比推 理是 或然性推理。 8. 类比推 理是 根据两个 （或 两类） 对 象在一些 属性上 相 同或相似 的， 从而推出 它们属 性 地相同或 相似的 推 理形式。 9. 类比推 理进程 的 方向或者是 个别到 个别 ， 或者是 一般 到一般 ，它 的结论知 识的一 般 性程度与 前提的 一 般性程度 是 相同的 ，就这个 意 义而言， 类比推 理 是由 特殊到 特殊 的推理。 10.类比推理 的两个 对象， 可以 是两个 不同的
41、个体事物 ， 也可以是 两 个不同的 事物类 ， 还可以是 一个事 物 类的个体与 另一个 事物类的 个 体 ，但不能 是一个 事物类与 这个事物 类的个体 。 11.类比推理 与简单 枚举法归 纳推理 是 前提 不蕴涵 结论的 推理， 它们 都是 或然性 推理 。 12.类比推理 前提所 提供的 相同属性 与 推移属性 之间的 联系越密 切 ，其结论 的可靠 程度就越 高。 13.运用类比 推理时 ， 最容易犯 的逻辑 错误是 机械类比 ， 它是指仅 仅 根据两个或两类事物之间 表面的某些相同情况， 而推出另外某一情 况的逻辑 错误。 14.模拟方法与 类比 推理 很相似 。 15.在运用模
42、 拟方法 时，要求 模型与 被 研究的原 型之间 具 有 相似性 。 16.假说是人 们以 已有的事实 材料 和 科学原理 为依据， 对 未知事物 或规律性 所作的假 言性解释 。 17.假说的特 点， 一 是科学性 ， 二是 推 测性， 三是 人的认 识接近客观 真理的方式 。 18.假说的形 成大致 要经历 初 始阶段 和 完成阶段 两个 阶段；在 前一 阶段里， 主要运 用 的推理是 类比推 理 ； 在 后 一 阶段里 ， 主要运用 的 推理是 演绎推理。 六 、 论证 1. 论证是 用一 个或一 个已知为 真的判断 确定另一 个判断的 真实性的 思维过 程。 2. 论题一 般有两 类
43、： 一类是 科学上已 被证明 的判断， 另 一类是 科学 上尚待证明 的判断 。 自考 普通逻辑学 0024 第 19 页 共 21 页 3. 可能作 为论据 的 判断一般 有两类 ： 一 类是已被 确认的 关 于事实的判 断，另一 类是表 达 科学原理 的判断 。 4. 论证方 式是指 论 题和论据 之间的 联 系方式，即 论证 过程 中所采用 的 推理形式 。 5. 论证和 推理有 密 切联系， 论题 相当 于推理的 结论 ， 论据 相当于 推理 的前提， 论证方 式 相当于推理 的 形式 。 6. 论证的 种类， 若 把根据论 证所用 的 论证形式 （推理 形 式） 的不 同， 可以把论
44、 证分为 演 绎论证 和 归纳论 证 ， 若根据论 证方法 的不同， 可 以 把论证分 为直 接论证 和间接 论证 。 7. 论证的 三个组 成 要素是论题 、论据 和论证方式 。 8. 运用演 绎推理 和 完全归纳 推理进 行 论证， 对 论题真 实性 的确定是 完 全有效地， 而单独 运用不完 全归纳 推 理进行论 证时， 还 不能完全 有效 地确定论 题的真 实 性， 只能给 论题的 真实性给 予某种 程 度的支持； 在 演绎论证 的归纳 推 理中演绎 论证是主要 的 。 9. 间接论 证是通 过 论证与论 题相关 的 其他论断 为假 ， 从而 确定论题 真 的的论证 方法; 间接 论证
45、可分 为反 证法 和选言证 法 。 10. 反证 法是先 论证与 原论证 相矛盾的论 断为假 ，然后根据排中律 确 定论题真 的论证 方 法； 反证 法主要 运用 的推理形 式是充分条 件 假 言推 理的否定 后件式 。 11. 反证 法的 逻辑依据 是排中 律 ； 因此， 在运用 反证 法时要 求反论 题 与原论题 之间是 矛 盾关系 或 下 反 对关系 。 12. 选言 证法 是通过先 论证与 原论 题相对 的其他 可能 性的论 断都不 能 成立，然 后 确 定论 题真的一 种论证 方 法； 选言证 法主要 运用的推 理形 式是选言 推理的 否 定肯定式 。 13. 在论证过 程中， 如果
46、论据 实际证 明 的论题不 是论证 所 设立的论 题， 就叫犯了 转 移 论题的 逻辑错 误。 14. “论 据虚 假”与“ 预期理 由” 两种错 误的区 别在 于：前 者是指 以 虚假的判 断作结 论 ，后者是 指以真 实 性尚未证 实的判 断 作为论据 。 15. 论据 的真 实性不应 当靠论 题的 真实性 来论证 ，违 反这一 规则， 所 犯的逻辑 错误叫 循 环论证。 16. 常见的 “推 不出 ” 的错误表 现为： 论据与论 题不相 干 ； 论据不足 ； 以相对为 绝对； 一 人为据； 违反推 理 规则。 17. 把一 定条 件下真实 判断当 作无 条件的 真实判 断作 为论据 来使
47、用 ， 这种逻辑 错误叫 以 相对为绝 对 。 自考 普通逻辑学 0024 第 20 页 共 21 页 18. 违反关于 论题的 规则所犯 的逻辑 错 误是论题 模糊 或 转 移论题。“ 证 明过多” 和 “证 明 过少” 都 是违反 了 论题应当 保持同 一 这条规则 所犯 的逻辑错 误。 19. 反驳 是用 一个或一 些真实 判断 确定另 一个判 断的 虚假性 或对它 的 论证不能 成立的 思 维过程。 20. 反驳 可分 为反驳论 题 、反驳 论据 和反 驳论证 形式 ，其中 主要是 反 驳论题。 21.论证方法 及具体 形式： 论 证 方 法 论证形 式 论 证 方 法 论证形 式 反
48、 证 法 （1 ） 求证：p （2 ） 设：非p （3 ） 证：如果非p ，则 q （4 ） 非q （5 ） 所以，并 非（非p ） （6 ） 所以，p 间 接 反 驳 （1 ）反驳：p （2 ）设： 非 p （p 与非 p 是矛盾关 系或反 对 关系） （3 ）论证：非p 真， （4 ）所以，p 假 选 言 证 法 （1 ）求证：p （2 ） 设：或p ，或 q ，或r （3 ）证：或p,或q ，或r, （4 ）非q (5)非r （6 ）所以，p 归 谬 法 （1 ）反驳：p （2 ）设：p 真 （3 ）证：如果p 真， 则 q （4 ）非q （5 ）所以： 并非p 真 （6 ）所以：p 假 22.论证的规 则及违 反论证规 则所犯 的 逻辑错误 可
