逻辑史
| 逻辑史 | |
|---|---|
| 特定歷史 | |
| 话题方面 | 邏輯學  |
| 系列条目 |
| 哲学 |
|---|
 |
 哲学主题 |
逻辑史，又称理则史，指逻辑学的发展史。逻辑学的萌芽出现在古埃及和巴比伦，但现代逻辑的直接源头是古希腊时期亚里士多德所建立的形式逻辑体系。与此同时，印度和中国也独立地发展了各具特色的逻辑传统。[1]
在西方，逻辑学经历了古希腊的创立、中世纪的发展、近代的转型和现代的数理革命。20世纪初，数理逻辑（符号逻辑）彻底改变了逻辑学的面貌，产生了模型论、证明论、递归论和公理化集合论等分支，并使逻辑学与数学基础、计算机科学和语言学紧密交织。[1]
西方传统逻辑
[编辑]古希腊
[编辑]逻辑学作为一门独立学科始于亚里士多德（前384–前322）。他在《前分析篇》中系统阐述了三段论理论——这是历史上第一个形式化的推理系统。亚里士多德将直言命题分为全称肯定（A）、全称否定（E）、特称肯定（I）和特称否定（O）四种类型，并在此基础上建立了三段论的格与式，识别出有效的推理形式。[1]
斯多葛学派（特别是克吕西波，约前279–前206）发展了一种以条件语句为核心的命题逻辑，与亚里士多德的词项逻辑形成互补。斯多葛学派对蕴涵、合取和析取等联结词的研究，为后世的命题演算奠定了基础。[2]
中世纪
[编辑]波埃修斯（约475–526）将亚里士多德的逻辑著作翻译为拉丁文，使古希腊逻辑学得以在欧洲传承。12世纪的彼得·阿伯拉尔对模态逻辑中「de dicto」与「de re」的区分作出了重要贡献。13至14世纪，托马斯·阿奎那、邓斯·司各脱和奥卡姆的威廉等经院哲学家发展了词项属性（supposition）理论和推论（consequence）学说。让·布里丹（约1300–1361）在《推论论》中系统探讨了条件推论与直言推论，其成果代表了中世纪逻辑的最高水平。[3]
近代传统逻辑
[编辑]17世纪，安托万·阿尔诺和皮埃尔·尼科尔出版了《波尔-罗亚尔逻辑》（1662），该书以笛卡尔理性主义精神系统化整理了亚里士多德逻辑，成为此后两百年间最广泛使用的逻辑教科书。伊曼努尔·康德在其《纯粹理性批判》（1781）中声称「逻辑学自亚里士多德以来已是一完成科学」，这一观点在整个19世纪初仍具有广泛影响。[1]
非西方逻辑传统
[编辑]印度逻辑
[编辑]印度逻辑传统源远流长，可追溯至正理派（Nyāya）的经典《正理经》（约前2世纪）。正理派提出了五支推论式（宗、因、喻、合、结），开创了印度逻辑的系统研究。5世纪佛教逻辑学家陈那（Dignāga）创立了「因明」体系，提出了因三相（遍是宗法性、同品定有性、异品遍无性）和因轮（hetu-cakra）方法，将印度逻辑推向新的高度。11世纪甘吉沙（Gaṅgeśa）创立的新正理派（Navya-Nyāya）进一步精细化了对定义和推理的分析。[4]
伊斯兰逻辑
[编辑]伊斯兰黄金时代的哲学家对亚里士多德逻辑进行了深入的注释和发展。伊本·西那（阿维森纳，980–1037）对模态逻辑和假言三段论作出了原创性贡献，并对亚里士多德的《前分析篇》进行了批判性评论。伊本·鲁世德（阿威罗伊，1126–1198）的评注为中世纪欧洲重新认识亚里士多德逻辑提供了桥梁。苏赫拉瓦迪（1154–1191）在其照明主义哲学中发展了一套独特的逻辑理论，将逻辑研究置于知识论的框架中。[5]
中国逻辑
[编辑]中国古代逻辑学的代表是墨家逻辑。墨子（约前468–前376）及其后学在《墨经》中系统讨论了名（概念）、辞（命题）和说（推理）等逻辑问题，提出了「以名举实、以辞抒意、以说出故」的逻辑原则。后期墨家区分了达名、类名和私名，并归纳了多种推理方式，包括辟（比喻）、侔（类推）、援（援引）和推（推论）。荀子（约前313–前238）的正名学说也涉及逻辑分类和概念界定。然而，汉代「罢黜百家、独尊儒术」以后，中国逻辑学的发展基本停滞，直到近代西方逻辑传入后才重新引起重视。[6]
现代逻辑的兴起
[编辑]17世纪的戈特弗里德·莱布尼茨（1646–1716）提出了建立普遍语言（characteristica universalis）和推理演算（calculus ratiocinator）的构想，被誉为数理逻辑的先驱。[1]
19世纪中叶，乔治·布尔（1815–1864）在《思维规律的研究》（1854）中建立了逻辑代数（布尔代数），将逻辑推理转化为代数方程运算，开创了代数逻辑传统。布尔的体系是亚里士多德之后逻辑学的第一次重大突破。[7]
1879年，戈特洛布·弗雷格（1848–1925）发表了《概念文字》，引入了命题演算和谓词演算，率先建立了包含量词和变元的完整形式系统，标志着现代数理逻辑的诞生。弗雷格的工作从根本上超越了亚里士多德的词项逻辑。[1]
20世纪初，伯特兰·罗素和阿尔弗雷德·诺思·怀特海在《数学原理》（1910–1913）中试图将全部数学还原为逻辑，建立了类型论以避免罗素悖论。大卫·希尔伯特（1862–1943）提出了元数学（metamathematics）纲领和形式主义数学哲学，系统阐述了判定问题（Entscheidungsproblem）。库尔特·哥德尔（1906–1978）在1931年发表了不完备定理，证明了任何足够强大的形式系统都无法同时满足一致性和完备性，对希尔伯特纲领造成了根本性的冲击。阿尔弗雷德·塔斯基（1901–1983）建立了模型论的语义基础并给出了真理的语义定义。[1]
当代逻辑
[编辑]第二次世界大战后，数理逻辑的各个分支迅速发展。模型论研究形式语言与数学结构之间的关系；证明论研究形式证明的结构和一致性证明；递归论研究可计算性的理论限度；公理化集合论为数学提供了严格的基础框架。此外，还产生了多种非经典逻辑，包括模态逻辑、直觉主义逻辑、模糊逻辑、相干逻辑和悖论逻辑（paraconsistent logic）等，大大扩展了逻辑学的研究范围和应用领域。[1]
参见
[编辑]参考文献
[编辑]- ^ 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 Smith, Robin. History of Logic. The Stanford Encyclopedia of Philosophy. [2026-06-03] （英语）.
- ^ Kneale, William; Kneale, Martha. The Development of Logic. Oxford University Press. 1962 （英语）.
- ^ Lagerlund, Henrik. Medieval Theories of the Syllogism. The Stanford Encyclopedia of Philosophy. [2014-02-17] （英语）.
- ^ Indian Logic. The Stanford Encyclopedia of Philosophy. [2026-06-03] （英语）.
- ^ Street, Tony. Arabic and Islamic Philosophy of Logic. Stanford Encyclopedia of Philosophy. 2004 （英语）.
- ^ Graham, A. C. Later Mohist Logic, Ethics and Science. Chinese University Press. 1978. ISBN 978-962-201-142-7 （英语）.
- ^ Corcoran, John. Aristotle's Prior Analytics and Boole's Laws of Thought. History and Philosophy of Logic. 2003, 24: 261–288 （英语）.
