逻辑学基础

逻辑学导论与基本概念

逻辑学是关于推理和论证的科学。它研究的是，我们如何从一些已知的命题（前提）出发，推导出新的命题（结论），并且要确保这个推导过程是正确、有效的。可以把逻辑学想象成思维的语法。语法告诉我们如何把词语组合成通顺的句子，而逻辑学则告诉我们如何把命题组合成严谨、有说服力的论证。

逻辑学不关心你的结论是对是错，它只关心你的推理过程是否有效。这是一个非常重要的区别。

例子1（有效推理）：
- 前提1：所有的人都会死。
- 前提2：苏格拉底是人。
- 结论：所以，苏格拉底会死。
- 这个推理是有效的。如果前提为真，那么结论也必然为真。
例子2（无效推理）：
- 前提1：如果下雨，地就会湿。
- 前提2：地是湿的。
- 结论：所以，下雨了。
- 这个推理是无效的。因为地湿可能有其他原因（洒水车、涨潮等）。即便前提为真，结论也可能为假。这种错误在逻辑学里有一个专门的名称，叫肯定后件谬误。

通过这两个例子可以看出，逻辑学提供了一套规则和标准，用来区分像例子1那样严谨的推理，和像例子2那样有漏洞的推理。

逻辑学是一个古老的学科，起源于亚里士多德，在两千多年的发展中，形成了多个分支：

形式逻辑：这是逻辑学最核心、最经典的部分。它关注的是推理的形式，而不是具体内容。就像数学公式一样，你把具体的概念代入有效的逻辑形式，就能保证推理的正确性。三段论就是形式逻辑的典型代表。
数理逻辑（现代形式逻辑）：这是用数学的方法来研究逻辑问题，使用人工语言（符号）代替自然语言，以达到最高的精确性。它是计算机科学和人工智能的基石。
非形式逻辑：它关注的是日常生活中使用的自然语言论证，比如新闻报道、广告、政治演讲中的论证。它主要研究如何分析、评估和构建这些论证，并识别其中的逻辑谬误。

为你整理一份逻辑学基础知识的目录大纲。这份大纲按照由浅入深、从古典到现代的逻辑编排，涵盖了入门者需要掌握的核心模块：

核心术语
- 命题：能够判断真假的陈述句（如："北京是中国的首都"）。
- 推理：由一个或多个命题推出新命题的过程。
- 论证：推理的语言表达形式，由前提和结论组成。
- 前提与结论：论证中作为依据的命题是前提，从中推导出的是结论。
真理与有效性
- 真假（Truth）：指命题的内容是否符合事实。
- 有效性（Validity）：指推理的形式是否正确（即：如果前提为真，结论是否必然为真）。
- 核心洞见：一个论证可以前提假但推理有效；也可以前提真但推理无效。

概念与词项
- 概念的内涵与外延。
- 词项的种类：单独词项与普遍词项、集合词项与非集合词项。
定义
- 定义的种类：实质定义、语词定义、语境定义。
- 定义的规则与常见错误（如：循环定义、过宽或过窄）。
直言命题
- 四种标准形式：全称肯定、全称否定、特称肯定、特称否定。
- 主项、谓项、量项、联项。
- 周延性理论。
直言三段论
- 结构：由两个包含一个共同项（中项）的前提推出一个新命题。
- 格与式。
- 判定有效性的规则（八条基本规则，如：中项至少周延一次、前提不周延的项结论不得周延等）。

什么是谬误？
- 看似正确实则错误的推理。
形式谬误
- 否定前件、肯定后件。
非形式谬误
- 歧义性谬误：偷换概念、歧义语句。
- 相干性谬误：诉诸人身、诉诸情感、诉诸权威、诉诸无知、稻草人谬误、红鲱鱼谬误。
- 不当预设谬误：复杂问语、循环论证。
- 归纳谬误：轻率概括、不当类比、以先后论因果。