形式逻辑复习资料

1任 课 教 师 ： 王 黔 玲考 试 形 式 ： 闭 卷 考 试考 试 范 围 ： 课 中 穿 插 ， 不 勾 重 点成 绩 构 成 ： 平 时 40%（ 缺 一 次 扣 20%） 、 期 末 60%考 试 题 型 ： 单 项 60%-80%问 答 20%-40%说 明 ： 这 些 只 是 上 课 的 笔 记 ， 老 师 说 的 只 考 他 讲 的 ， 但 是 有 些 概 念 没有 画 图 需 自 己 在 书 本 中 对 照 。最 后 ： 祝 考 试 成 功 ！第 一 讲 ： 绪 论 P1-41.逻 辑 ： 可 观 规 律 ， 所 站 的 立 场 。1. 形 式 逻 辑 ： 研 究 思 维 形 式 和 思 维 规 律 的 科 学 。2. 思 维 形 式 ： 表 达 内 容 不 同 ， 使 用 结 构 相 同 。例 ， 锦 城 学 院 的 学 生 是 热 爱 生 活 的 社 会 学 ；恒 星 时 自 己 会 发 光 的 天 体 天 文 学 ；生 物 是 有 新 城 代 谢 的 生 物 学3. 思 维 形 式 的 规 律 性 ： 思 维 形 式 结 构 任 意 带 入 下 都 表 达 真 实 的 思 想内 容 ， 这 类 思 维 形 式 结 构 称 为 逻 辑 规 律 。4. 形 式 逻 辑 的 性 质 ： 基 础 性 、 工 具 性 （ 把 逻 辑 视 为 思 维 、 认 识 、 辩论 的 工 具 ） 、 全 人 类 性 。 对 于 任 何 人 来 说 都 是 一 样 的 ， 不 受 国 家 、社 会 的 影 响 。5. 形 式 逻 辑 的 作 用 ： 形 成 概 念 ， 做 出 判 断 ， 实 现 推 理 ， 论 证 ， 交 流 ，2表 达 思 想 。6. 逻 辑 思 维 和 形 象 思 维 的 关 系 .联 系 ： 逻 辑 思 维 和 形 象 思 维 同 时 存 在 于 人 的 思 维 中 。区 别 ： 不 同 研 究 领 域 侧 重 不 同 思 维 。 例 ， 男 逻 辑 ， 科 学 逻 辑 ， 女 形 象 ， 艺 术 形 象第 二 讲 ： 概 念 P51.概 念 的 形 成 ： 唯 物 主 义 认 识 论 的 观 点 唯 心 主 义 认 识 论 的 观 点 形 而 上 学 认 识 论 的 观 点2.什 么 是 概 念 ： 反 映 对 象 本 质 属 性 的 思 维 形 式 。 P53.属 性 ： 事 物 性 质 与 关 系 都 叫 做 事 物 的 属 性 。4.属 性 的 分 类 ： 本 质 属 性 非 本 质 属 性 P65.概 念 同 语 词 的 关 系 P81 概 念 同 语 词 是 互 相 联 系 的 ， 语 词 是 概 念 的 语 言 形 式 ， 感 念 是 语 词的 物 质 内 容 ；2 感 念 同 语 词 是 相 互 区 别 的 ， 感 念 是 人 类 认 识 的 共 同 结 果 ， 语 词 却具 有 民 族 和 地 方 的 特 点 ；3 同 一 语 词 可 以 表 达 不 同 的 概 念 ， 同 一 概 念 可 以 用 不 同 的 语 词 表 达 ；6.概 念 的 内 涵 与 外 延 ： P111 内 涵 式 概 念 的 反 映 的 事 物 的 本 质 属 性 ；2 外 延 是 概 念 所 反 映 的 对 象 的 范 围 ；3 内 涵 和 外 延 的 关 系 式 反 比 关 系 ；4 运 用 概 念 必 须 明 确 内 涵 与 外 延 ；37. 概 念 的 分 类 ： P141 根 据 外 延 的 不 同 分 为 ： 单 独 概 念 与 普 通 概 念单 独 概 念 ： 它 的 外 延 是 独 一 无 二 的 ， 反 映 一 个 事 物 的 概 念 ；普 通 概 念 ： 反 映 一 类 事 物 的 概 念 ；2 根 据 内 涵 的 不 同 分 为 ： 集 合 概 念 与 非 集 合 概 念 ； 实 体 概 念 与 属 性概 念 、 关 系 概 念 ； 肯 定 概 念 与 否 定 概 念 ；集 合 概 念 ： 反 映 由 个 别 事 物 所 化 成 的 集 合 体 的 概 念 ；集 合 体 ： 一 类 事 物 构 成 一 个 不 可 分 割 的 属 性 ；非 集 合 概 念 ： 反 映 非 个 别 事 物 的 集 合 体 的 概 念 ；肯 定 概 念 ： 反 映 具 有 某 种 属 性 的 事 物 的 概 念 ；否 定 概 念 ： 反 映 不 具 有 某 种 属 性 的 事 物 的 概 念 ；实 体 概 念 ： 反 映 事 物 各 种 具 体 事 物 的 概 念 ； （ 用 名 词 表 示 ）属 性 概 念 ： 反 映 事 物 或 现 象 具 有 的 属 性 的 概 念 ； （ 用 形 容 词 来 表 示 ）关 系 概 念 ： 反 映 具 体 事 物 之 间 的 各 种 关 系 的 概 念 ；8. 概 念 之 间 的 关 系 ： P18 形 式 逻 辑 研 究 比 较 概 念 的 外 延 之 间 的 关 系 ： 具 有 同 一 关 系 的 不 同 的 概 念 叫 同 一 概 念 ； 具 有 属 种 关 系 的 两 个 概 念 叫 做 属 种 概 念 ； 具 有 交 叉 关 系 的 概 念 叫 做 交 叉 概 念 ；3 具 有 相 容 并 列 关 系 的 概 念 叫 相 容 并 列 概 念 。4 具 有 矛 盾 关 系 的 概 念 叫 做 矛 盾 概 念 。5 具 有 反 对 关 系 的 概 念 叫 反 对 概 念 ；46 具 有 不 相 容 并 列 关 系 的 概 念 叫 不 相 容 并 列 概 念 ； 概 念 的 相 容 关 系 ： 概 念 的 外 延 完 全 或 者 部 分 重 合 ；概 念 外 延 的 向 荣 关 系 包 括 ： 全 同 关 系 （ 同 一 关 系 ） 、 属 种 关 系 、 交 叉关 系 、 相 容 并 列 关 系全 同 关 系 ： 外 延 完 全 相 同 的 几 个 概 念 之 间 的 关 系 式 同 一 关 系 ， 具 有 同一 关 系 的 不 同 的 概 念 叫 同 一 概 念 ； p18见 图 1属 种 关 系 ： 一 个 概 念 的 部 分 外 延 与 另 一 个 概 念 的 全 部 外 延 相 同 ， 这 两个 概 念 之 间 的 关 系 就 是 属 种 关 系 ， 具 有 属 种 关 系 的 两 个 概 念 叫 做 属 种概 念 ； P20见 图 2-3交 叉 关 系 ： 外 延 部 分 相 同 的 两 个 概 念 之 间 的 关 系 ， 叫 做 交 叉关 系 。 具 有 交 叉 关 系 的 概 念 叫 做 交 叉 概 念 ； P21图 4相 容 并 列 关 系 ： 同 一 属 概 念 下 的 三 个 以 下 的 种 概 念 ， 他 们 的 外 延 部 分相 同 ， 这 些 概 念 之 间 的关 系 就 叫 做 相 容 并 列 关 系 。 具 有 相 容 并 列 关 系 的 概 念 叫相 容 并 列 概 念 。 P22图 5 概 念 外 延 的 不 相 容 关 系 ：概 念 ： 不 相 容 关 系 式 外 延 完 全 不 同 的 概 念 见 的 关 系 ；包 括 ： 对 立 关 系 、 矛 盾 关 系 、 不 相 容 并 列 关 系矛 盾 关 系 ： 两 个 概 念 的 外 延 完 全 不 同 ， 他 们 的 外 延 和 等 于 他 们 的 属概 念 的 全 部 外 延 ， 这 两 个 概 念 之 间 的 关 系 式 矛 盾 关 系 。 具有 矛 盾 关 系 的 概 念 叫 做 矛 盾 概 念 。 P22图 6反 对 关 系 ： 两 个 概 念 的 外 延 完 全 不 同 ， 他 们 的 外 延 的 和 小 于 他 们 的 属5概 念 的 外 延 ， 这 两 个 概 念 间 的 关 系 式 反 对 关 系 ， 具 有 反 对关 系 的 概 念 叫 反 对 概 念 ； P22图 7不 相 容 并 列 关 系 ： 同 一 个 属 概 念 的 三 个 以 上 的 种 概 念 ， 他 们 的 外 延 完全 不 同 ， 这 些 概 念 间 的 关 系 式 不 相 容 并 列 关 系 。 具有 不 相 容 并 列 关 系 的 概 念 叫 不 相 容 并 列 概 念 ； P23图 89. 定 义 :P24 概 念 的 定 义 ：定 义 的 概 念 ： 揭 示 概 念 内 涵 的 逻 辑 方 法 ；定 义 的 结 构 ： 被 定 义 项 +定 义 项 +定 义 联 项 组 成定 义 的 方 法 ： 被 定 义 概 念 =种 差 +邻 近 的 属 概 念例 如 ： 光 学 是 研 究 光 的 传 播 及 光 与 其 他 物 质 作用 的 种 差 学 科 被 定 义 项 定 义 联 项属定 义 的 规 则 ： 定 义 不 能 循 环 ； 定 义 必 须 肯 定 ； 定 义 必 须 明 确 ； 定 义 必须 相 称 ； （ 老 师 讲 的 ）书 本 上 ： 定 义 项 不 得 直 接 或 者 间 接 地 包 含 被 定 义 项 ； 定 义 项 的 外 延 必 须 和 被 定 义 项 的 外 延 相 等 ； 定 义 联 项 、 定 义 项 （ 除 非 必 要 ） 不 得 是 否 定 的 ；6 定 义 项 用 语 必 须 是 清 楚 明 确 的 ；10.概 念 的 划 分 ： P28什 么 是 划 分 ： 明 确 概 念 外 延 的 逻 辑 方 法 ；划 分 的 结 构 ： 划 分 由 母 项 、 子 项 和 根 据 （ 标 准 ） 构 成 ；划 分 的 方 法 ： 一 般 划 分 、 联 系 划 分 ；划 分 的 规 则 ： 子 项 不 相 容 、 子 项 必 须 穷 尽 母 项 、 每 次 划 分 必 须 按 照 同一 标 准 进 行 （ 老 师 讲 的 ）书 本 上 ： 划 分 子 项 之 和 与 母 项 必 须 是 全 同 关 系 。 每 次 划 分 必 须 坚 持 同 一 个 标 准 。 划 分 不 能 越 级 。课 程 中 出 现 的 汉 语 言 ：楚 共 王 出 游 ， 之 乌 嗥 之 弓 ， 左 右 求 之 。 王 曰 ： “ 止 ！ 楚 人 失 弓 ， 楚 人得 之 ， 又 何 求 之 ？ ” 孔 子 闻 之 ， 曰 “ 惜 乎 不 大 也 。 亦 日 人 失 弓 之 得 之而 已 ， 何 必 楚 也 ？ ” 孔 子 家 语 翻 译 ：楚 恭 王 出 去 打 猎 ， 把 乌 嗥 弓 给 丢 了 ， 王 手 下 的 人 到 处 去 找 ， 王 说 ： “ 不用 找 了 ， 在 我 楚 国 的 土 地 丢 的 ， 除 非 楚 国 人 捡 到 它 ， 还 有 谁 捡 到 呢 ？ ”孔 子 听 说 了 这 件 事 ， 并 说 ： “ 可 惜 你 说 的 范 围 不 够 大 ， 你 应 该 说 是 人捡 到 而 不 是 楚 国 人 捡 到 ”第 三 讲 ： 判 断第 一 节 :判 断 概 述 判 断 概 述71 判 断 的 定 义 ： 判 断 是 对 思 维 对 象 有 所 断 定 的 思 维 形 式 。2.判 断 的 两 个 逻 辑 特 色 ： 任 何 判 断 必 须 有 一 个 断 定 判 断 一 定 情 况下 都 有 真 假 判 断 和 语 句 ：1 判 断 和 语 句 是 密 切 相 关 的 ；判 断 是 语 句 的 思 想 内 容 ， 语 句 是 判 断 的 语 言 形 式2 判 断 和 语 句 是 相 互 区 别 的 ；a. 不 是 所 有 的 语 句 都 表 达 判 断 ；b. 同 一 判 断 可 以 用 不 同 的 语 句 表 达 ；c. 同 一 语 句 也 可 以 表 达 不 同 的 判 断 ；d. 一 般 来 说 所 有 的 陈 述 句 都 是 判 断 ；例 如 ： 小 行 星 （ 同 一 判 断 用 不 同 的 语 句 表 达 ）小 行 星 是 在 2.17-3.64天 文 单 位 之 间 围 绕 太 阳 公 转 的 固 态 小 天 体 ；没 有 一 个 小 行 星 是 在 2.17-3.64天 文 单 位 之 间 围 绕 太 阳 公 转 的 固 态 小天 体 ；天 文 单 位 ： 月 球 和 地 球 间 的 距 离 叫 做 天 文 单 位 ；天 文 单 位 是 太 阳 系 里 的 地 球 与 太 阳 之 间 的 距 离 149597870公 里 （ 约 一 亿 五 千 万 公 里 或 9300万 英 里 ） 。地 球 到 月 球 的 平 均 距 离 约 为 384000 公 里第 二 节 ： 性 质 概 述1、 性 质 判 断 的 定 义 ： 也 称 直 言 判 断 ， 是 判 定 对 象 具 有 或 不 具 有 某种 性 质 的 判 断 ； P4282、 性 质 判 断 的 组 成 ： 主 项 （ S） 、 谓 项 （ P） 、 联 项 （ 是 或 否 ） 、 量项 （ 全 称 、 特 称 、 单 称 ）例 如 ： 所 有 锦 城 学 院 的 同 学 是 热 爱 生 活 的 。 P42 全 称 主 项 （ S） 联 项 谓 项3、 性 质 判 断 的 种 类 ： 用 性 质 量 作 为 判 断 的 依 据 ， 分 为 单 称 判 断 、特 称 判 断 、 全 称 判 断 P43 单 称 判 断 ： 主 项 是 反 映 某 一 个 别 对 象 ， 具 有 或 不 具 有 某 一 种 性 质 的判 断 。1 单 称 肯 定 判 断 ： 断 定 某 一 个 对 象 具 有 某 种 性 质 的 判 断 。 结 构 ： 这个 S是 P。例 ： 小 行 星 是 太 阳 系 的 行 星 ； 培 根 是 一 个 伟 大 的 哲 学 家 ； 梵 高 是 一 个伟 大 的 艺 术 映 像 派 画 家2 单 称 否 定 判 断 ： 断 定 某 一 个 对 象 不 具 有 某 种 性 质 的 判 断 。 结 构 ：这 个 S不 是 P。例 ： 冥 王 星 不 是 太 阳 系 的 行 星 。3 特 称 肯 定 判 断 ： 断 定 某 一 类 对 象 具 有 某 种 性 质 的 判 断 。 结 构 ： 有的 S是 P。例 ： 有 些 同 学 喜 欢 打 篮 球 ； 宋 词 有 些 事 婉 约 派 的 ， 有 些 事 豪 放 派 的 。4 特 称 否 定 判 断 ： 断 定 某 一 类 对 象 不 具 有 某 种 性 质 的 判 断 。 结 构 ：有 的 S不 是 P。例 ： 有 些 同 学 不 喜 欢 打 篮 球 。95 全 称 肯 定 判 断 ： 断 定 某 一 类 对 象 全 体 具 有 某 种 性 质 的 判 断 。 结 构 ：所 有 的 S是 P。6 全 称 否 定 判 断 ： 断 定 某 一 类 对 象 全 体 不 具 有 某 种 性 质 的 判 断 。 结构 ： 所 有 的 S不 是 P。以 上 的 性 质 可 以 被 简 化 为 ： P44判 断 的 全 名 判 断 的 简 称 判 断 的 结 构 式 判 断 的 结 构 式 的 简 写全 称 肯 定 判 断 A 所 有 S是 P SAP全 称 否 定 判 断 E 所 有 S不 是 P SEP特 称 肯 定 判 断 I 有 些 S是 P SIP特 称 否 定 判 断 O 有 些 S不 是 P SOP4.性 质 的 周 延 性 ： 周 延 性 的 定 义 ： 是 指 性 质 判 断 中 主 、 谓 项 之 间 的 外 延 被 断 定 的 数 量情 况 。 在 A、 E、 I、 O四 种 判 断 的 周 延 情 况 ：1 全 称 判 断 主 项 周 延 特 称 判 断 主 项 不 周 延 肯 定 判 断 谓 项 不周 延 否 定 判 断 谓 项 周 延至 此 ， A、 E、 I、 O四 种 判 断 的 主 谓 项 的 周 延