逻辑学是研究思维形式、思维规律和思维方法的科学。它不追问“世界是什么”，而是追问“如何正确地思考世界”。从亚里士多德的三段论到哥德尔的不完备定理，从日常论证的规范到计算机科学的基石，逻辑学为一切理性思考提供了形式化的工具与评价标准。本全景图将逻辑学科拆解为核心分支，帮助你建立从古典推理到现代符号逻辑、从工具应用到哲学反思的完整认知框架。
逻辑学从古典到现代，从直观到形式，构成了一条清晰的发展脉络：
核心任务：系统与符号化
拓展学习：数理逻辑（命题逻辑、谓词逻辑）· 集合论基础 · 模态逻辑初步 · 辩证逻辑导论
掌握符号化的逻辑演算方法，理解逻辑系统的语法与语义，为哲学、数学、计算机科学打下基础。
核心任务：元理论与哲学反思
深入领域：逻辑哲学 · 证明论 · 模型论 · 递归论 · 非经典逻辑（直觉主义逻辑、多值逻辑、相干逻辑）
进入逻辑学前沿研究，或从事哲学、数学基础、理论计算机科学、人工智能等领域的深度工作。
✨ 逻辑是思想的语法。善智导航为你标注好路径，助你掌握正确思考的艺术。
逻辑学学科通用AI提示词包：点击获取（可让AI当你的逻辑导师、分析论证结构、识别逻辑谬误、推演形式系统）