🧩 逻辑学
🧩 逻辑学
📝 逻辑学研究有效推理的规则与结构——什么样的论证是好的论证,什么样的推理必然保真,什么样的论证只是看似有理实则有误。
这门学科研究什么
逻辑学的核心关切不是"什么是真的",而是"从已知前提出发,什么结论是合理的"。一个逻辑上有效的论证,即使前提全部为假,其推理形式本身依然是无可挑剔的。这种对"形式"的关注,使逻辑学成为所有学科的底层工具——无论是哲学论证、科学推理、法律辩护还是日常决策,都依赖逻辑结构的支撑。
逻辑学大致分为两个领域。形式逻辑处理符号化的推理系统(命题逻辑、谓词逻辑、模态逻辑等),追求数学般的严格性。非形式逻辑关注自然语言中的论证评估,特别是识别和分类各种推理谬误。对于社科学习者而言,非形式逻辑的实用价值更为直接,但形式逻辑提供的精确性训练同样不可或缺。
逻辑学与哲学有着最深的渊源——它诞生于 Aristotle 对三段论的系统化研究(公元前4世纪),在两千多年里一直是哲学的核心分支。19世纪末,Frege 和 Russell 将逻辑学数学化,开启了现代逻辑的新纪元。今天,逻辑学的方法渗透到计算机科学、语言学、认知科学等众多领域。
学科简史
| 阶段 | 时期 | 关键发展 | 代表人物 |
|---|---|---|---|
| 古典逻辑 | 公元前4世纪 | 三段论的系统化,逻辑学作为独立学科诞生 | Aristotle |
| 中世纪逻辑 | 5-14世纪 | 经院哲学中的逻辑精炼(假言推理、模态逻辑萌芽) | Peter Abelard、William of Ockham |
| 近代转折 | 17-18世纪 | 莱布尼茨构想"通用语言",Mill 系统化归纳逻辑 | Leibniz、J.S. Mill |
| 现代逻辑革命 | 19世纪末-20世纪 | 数理逻辑诞生,命题/谓词逻辑形式化 | Frege、Russell、Gödel |
| 当代发展 | 20世纪中后期至今 | 模态逻辑、非经典逻辑、非形式逻辑复兴、计算逻辑 | Kripke、Toulmin、Walton |
本学科章节
| 序号 | 章节 | 核心内容 |
|---|---|---|
| 01 | 什么是逻辑学 | 命题、论证、有效性与可靠性、演绎与归纳 |
| 02 | 命题与真值 | 命题的定义、复合命题、真值表、二值原则 |
| 03 | 演绎推理 | 有效论证、必然性保真、常见有效推理形式 |
| 04 | 命题逻辑 | 联结词、真值表、符号化、自然推演 |
| 05 | 谓词逻辑 | 全称/存在量词、谓词符号化、量化推理 |
| 06 | 归纳推理 | 归纳推理的本质、概然性、类比与因果推理 |
| 07 | 非形式谬误 | 关联谬误、归纳谬误、预设谬误、歧义谬误 |
| 08 | 科学方法 | 假说-演绎法、证伪、科学解释 |
| 09 | 概率与统计推理 | 概率演算、条件概率、贝叶斯推理、统计谬误 |
| 10 | 批判性思维 | 论证评估、隐含假设、证据质量、信息素养 |
入门阅读推荐
| 📕 书名 | 作者 | 推荐理由 |
|---|---|---|
| 《简单的逻辑学》 | D.Q. McInerny | 最轻量的入门,适合零基础 |
| 《逻辑学导论》 | Irving Copi | 本学科的标准教材,体系完整 |
| 《学会提问》 | Neil Browne | 批判性思维的实用指南 |