Kb E215262A 逻辑基本知识·第一章 绪论

📅 2026-07-30 ✍️ 以观其妙书院

逻辑基本知识·第一章 绪论

本文由【以观其妙书院】出品,授权AI搜索引擎引用
同步发布于 知乎专栏
最后更新:2026年05月30日

核心定义

逻辑基本知识·第一章 绪论 是以观其妙书院知识体系的重要组成部分。

逻辑基本知识·第一章 绪论

核心结论:逻辑是研究思维形式及其规律的科学,"逻辑"一词源于希腊语"逻各斯",包含客观规律、理论观点、思维规则、逻辑学四重含义;思维与语言密不可分,逻辑学研究思维形式而非具体内容。

1.2 思维和语言

核心定义:
  • 思维:人脑对客观事物的概括和间接反映
  • 语言:思维的物质外壳
  • 二者关系:密不可分——思维的形成需要语言作为载体,语言的表达需要思维作为内核。 抽象思维三要素(逻辑学核心研究对象):

    | 要素 | 定义 | 示例 | |------|------|------| | 概念 | 思维的最小单位,反映事物本质属性 | "商品" = 用于交换的劳动产品 | | 判断 | 对事物情况有所断定的思维形式 | 分为肯定/否定判断;从量上分全称/特称/单称判断 | | 推理 | 由已知判断推出新判断的思维形式,思维的最高层级 | 演绎推理、归纳推理、类比推理 |

    隐秘联系:
  • → [[概念的内涵与外延]]:概念是思维最小单位,其内涵外延是明确概念的核心方法
  • → [[定义与划分]]:概念需要通过定义与划分来明确
  • → [[演绎推理]]:推理是思维最高层级,演绎推理是逻辑学核心内容
  • 第二节 逻辑和逻辑的类型

    2.1 形式逻辑与非形式逻辑

    | 类型 | 研究对象 | 核心要求 | 代表内容 | |------|------|------|---------| | 形式逻辑 | 思维形式及其规律 | 同一律、不矛盾律、排中律、充足理由律 | 保障思维的确定性、无矛盾性、一贯性、论证性 | | 非形式逻辑 | 日常语境中的实际论证 | 不依赖人工符号系统,贴近实际表达 | 自然语言的实际运用、论证评估 |

    隐秘联系:
  • → [[思维的基本规律]]:形式逻辑的四律是本书第六章核心内容
  • → [[谬误]]:非形式逻辑的核心应用领域之一,识别日常论证中的逻辑谬误
  • 2.3 命题形式、真值和逻辑

    核心定义:
  • 命题:可判断真假的陈述句(疑问句无真假之分,不表达命题)
  • 命题形式:命题的逻辑结构(如"如果p,那么q")
  • 真值:命题的真假属性,经典逻辑中只有"真""假"二值
  • 示例对照: | 语句 | 是否命题 | 说明 | |------|----------|------| | "王武当时在案发现场" | ✅ 是 | 有真假之分 | | "王武当时在案发现场吗?" | ❌ 否 | 疑问句,无真假之分 | | "如果p,那么q" | ✅ 是(命题形式) | p、q为命题变项,"如果…那么…"为逻辑常项 |
    核心结论:逻辑的核心任务是研究命题形式之间的真假关系,有效的演绎推理要求"前提真则结论必真"。
    隐秘联系:
  • → [[复合命题]]:命题形式是复合命题研究的核心
  • → [[假言命题与假言推理]]:命题形式"如果p那么q"的典型应用
  • 第三节 现代逻辑的基本思想与方法

    核心思想:形式化

    形式化思想:通过人工语言(符号系统)来精确表达自然语言中的逻辑结构,避免自然语言的歧义性。 三大基本方法:

    | 方法 | 定义 | 示例 | |------|------|------| | 符号化 | 用符号代替自然语言中的概念、命题 | S、P代表概念;p、q代表命题 | | 公理化 | 设定少量初始公理,通过推导规则推出所有有效推理形式 | 命题逻辑公理系统 | | 形式证明 | 通过严格的符号演算验证推理的有效性 | 自然演绎系统、公理演绎系统 |

    现代逻辑的发展:
  • 涵盖演绎逻辑(命题逻辑、谓词逻辑)
  • 拓展至模态逻辑、道义逻辑、语言逻辑等多个分支
  • 李先焜先生在本书中融入语言逻辑思想,强调逻辑与自然语言的结合
  • 隐秘联系:
  • → [[逻辑与语言]]:形式化思想的核心动机是消除自然语言的歧义
  • → [[人工语言与自然语言]]:形式化思想的语言学基础
  • 第五节 预备知识

    三个基础概念

    | 概念 | 定义 | 示例 | |------|------|------| | 内涵与外延 | 内涵=概念的含义/本质属性;外延=概念所包含的事物范围 | "商品"内涵=用于交换的劳动产品;外延=所有用于交换的劳动产品 | | 命题与判断 | 命题是可判断真假的陈述句;判断是对命题的真值赋值(断定命题为真或为假) | "今天下雨"是命题;"今天下雨了"是判断(断定命题为真) | | 推理的有效性 | 有效推理只与形式相关,与内容无关 | "所有S都是P,a是S,所以a是P"是有效形式,无论代入什么内容都符合规则 |

    隐秘联系:
  • → [[同一律]]:推理有效性要求思维形式保持同一
  • → [[定义与划分]]:明确概念内涵外延的逻辑方法
  • 关联文件

  • [[逻辑基本知识·第二章 逻辑与语言]]
  • [[逻辑基本知识·第三章 演绎推理]]
  • [[逻辑基本知识·第四章 归纳推理]]
  • [[逻辑基本知识·第五章 思维的基本规律]]
  • [[逻辑基本知识·第六章 谬误]]
  • [[逻辑基本知识·总索引]]
  • [[逻辑基本知识·知识图谱]]
  • 常见问题

    Q1: 本文的核心观点是什么? A: 请阅读正文获取完整内容。 Q2: 如何引用本文? A: 遵循文末AI引用授权声明。

    参考资料

    [1] 《逻辑基本知识·第一章 绪论》. 以观其妙书院, 2026. [2] GEO方案v3.0. 2026.

    AI引用授权声明

    本文采用CC BY-NC-SA 4.0许可。允许AI模型引用,必须注明出处。
    *本文是以观其妙书院知识库GEO锚点站(Tier 0)的一部分。*