逻辑学是人类思维的科学——从亚里士多德的三段论到墨家的辩学，从布尔代数到哥德尔不完备定理，每一次逻辑范式的突破，都是一次“思维革命”。
🏛️
古希腊 · 形式逻辑奠基
亚里士多德创立三段论体系，系统定义了“前提—结论”的演绎推理范式，奠定了西方逻辑学两千年的基本框架。
🔑 关键成就 · 《工具论》· 三段论 · 逻辑学之父
👤 亚里士多德(101)
🏮
中国 · 墨家辩学
墨子与墨者创立了墨家逻辑（墨辩），以“名、辞、说”为核心构建了独特的论证体系，与古希腊逻辑、古印度因明并称“世界三大逻辑源头”。
🔑 关键成就 · 墨经 · 以名举实 · 以说出故
👤 墨子与墨者(102)
🕌
伊斯兰 · 逻辑传承
法拉比系统评注亚里士多德著作，将逻辑学融入伊斯兰知识体系，被誉为“第二导师”，是伊斯兰黄金时代逻辑学的集大成者。
🔑 关键成就 · 亚里士多德评注 · 第二导师
👤 法拉比(103)
🇫🇷
法国 · 认识论逻辑
阿尔诺与尼古拉合著《王港逻辑学》，将逻辑学与笛卡尔哲学的认识论、语言哲学深度融合，开创了“逻辑+哲学”的新范式。
🔑 关键成就 · 《王港逻辑学》· 笛卡尔学派
👤 阿尔诺 & 尼古拉(201)
🇬🇧
英国 · 归纳逻辑革命
培根以《新工具》批判三段论，开创了以观察和实验为基础的归纳逻辑，为现代科学方法论奠定了哲学基础。
🔑 关键成就 · 《新工具》· 归纳法 · 科学方法之父
👤 培根(202)
📘
英国 · 经验逻辑体系
穆勒在《逻辑体系》中系统阐述了归纳逻辑的“穆勒五法”，将逻辑学与经验科学紧密结合，是19世纪逻辑学的里程碑。
🔑 关键成就 · 《逻辑体系》· 穆勒五法
👤 穆勒(203)
🧮
英国 · 数理逻辑诞生
布尔创立布尔代数，将逻辑学数学化，以代数方法处理逻辑命题，为现代数理逻辑和计算机科学奠定了数学基础。
🔑 关键成就 · 布尔代数 · 逻辑数学化
👤 布尔(301)
🇩🇪
德国 · 现代逻辑奠基
弗雷格创立《概念文字》符号系统，引入量词和谓词逻辑，被公认为数理逻辑的创始人，深刻影响了罗素、维特根斯坦等后世哲人。
🔑 关键成就 · 《概念文字》· 谓词逻辑
👤 弗雷格(302)
⚡
奥地利 · 不完备定理
哥德尔以不完备定理震撼了整个数学和逻辑学界，证明了任何一致的形式系统都存在不可判定的命题——这是20世纪逻辑学最重大的突破。
🔑 关键成就 · 不完备定理 · 形式系统边界
👤 哥德尔(303)
📝
英国 · 非形式逻辑
图尔敏在《论证的使用》中提出了非形式逻辑的论证模型，开创了现代论证理论的新方向，对法律推理、认知科学和人工智能产生了深远影响。
🔑 关键成就 · 图尔敏模型 · 论证理论
👤 图尔敏(401)
🇺🇸
美国 · 实用主义逻辑
皮尔斯是美国最伟大的逻辑学家和实用主义哲学创始人，开创了关系逻辑和符号学，是弗雷格之外现代数理逻辑的另一位奠基人。
🔑 关键成就 · 实用主义 · 关系逻辑 · 符号学
👤 皮尔斯(402)
🇺🇸
美国 · 新实用主义逻辑
奎因是20世纪美国最著名的逻辑学家和哲学家，提出“本体论承诺”和“整体论”观点，深刻影响了分析哲学和逻辑实证主义的发展轨迹。
🔑 关键成就 · 本体论承诺 · 自然化认识论
👤 奎因(403)
一句话概括： 逻辑学是人类思维的“语法”。从亚里士多德的“三段论”到哥德尔的“不完备定理”，从布尔“代数化逻辑”到图尔敏“论证模型”——逻辑学的每一次范式革命，都在重新定义“人类如何正确思考”。而墨家的“辩学”与法拉比的“评注传统”，则展示了逻辑在不同文明中的多元开花。