逻辑学

逻辑学通常被定义为研究有效推理形式与正确推论原则的学科，其核心关切是论证的前提与结论之间的支持关系，而非前提或结论本身的具体内容。^{44Logic (Internet Encyclopedia of Philosophy)iep.utm.edu前往参考资料 ↓在新标签页中打开}

在当代哲学与逻辑学文献中，逻辑学的研究对象常被概括为「论证的形式结构」：它考察哪些论证形式能保证从真前提必然得出真结论，并据此区分有效论证与无效论证。^{55Classical Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开}

逻辑学与认识论、心理学等学科的研究对象不同：逻辑学研究的是推理的规范性标准（应当如何推理），而非人们实际推理过程的经验描述（人们实际上如何推理）。^{44Logic (Internet Encyclopedia of Philosophy)iep.utm.edu前往参考资料 ↓在新标签页中打开|66The Normative Status of Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开}

形式逻辑以人工语言构造的形式系统为工具，研究语句形式与推理形式之间的结构关系；命题逻辑与谓词逻辑是其中两个基础分支，分别处理语句联结词与量词、谓词所刻画的结构。^{55Classical Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开|77Formal Logicbritannica.com前往参考资料 ↓在新标签页中打开}

非形式逻辑以日常语言中的论证为研究对象，关注论证的识别、分析、评价与建构，尤其重视语境、隐含前提与论证图式，与形式逻辑在方法上形成互补。^{88Informal Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开}

逻辑学对「有效性」的界定通常与「可靠性」区分：有效性只涉及前提与结论之间的形式关系，可靠性则进一步要求前提事实上为真。^{77Formal Logicbritannica.com前往参考资料 ↓在新标签页中打开}

现代逻辑学的研究对象已从传统的形式逻辑扩展到模态逻辑、多值逻辑、直觉主义逻辑、条件逻辑等非经典逻辑系统，这些系统通过修改或扩充经典逻辑的语义与推理规则来刻画不同的推理现象。^{99Modal Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开}

逻辑学与数学基础的研究对象存在交叉：数理逻辑用形式化方法研究数学推理与数学系统的性质，证明论、模型论、递归论与公理集合论构成其核心分支。^{1010Mathematical Logicbritannica.com前往参考资料 ↓在新标签页中打开|1111Set Theoryplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在逻辑学教育中，定义与研究对象问题常被作为入门内容，用以说明逻辑学与修辞学、辩证法、心理学及批判性思维等相邻领域的区别与联系。^{88Informal Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开|1212Critical Thinkingplato.stanford.edu前往参考资料 ↓在新标签页中打开}

非形式逻辑是20世纪60年代末至70年代在北美兴起的一个逻辑学分支，其核心关切是自然语言中的论证分析与评价，而非形式化演算系统的构造。它通常被理解为对形式逻辑教学脱离日常论证实践的一种回应。^{5555Informal Logic: A Handbook for Critical Argumentationcambridge.org前往参考资料 ↓在新标签页中打开|5656The Rise of Informal Logicjstor.org前往参考资料 ↓在新标签页中打开}

非形式逻辑的经典定义由拉尔夫·约翰逊（Ralph H. Johnson）和J. 安东尼·布莱尔（J. Anthony Blair）在1977年的著作《逻辑自我防卫》（Logical Self-Defense）中奠定，他们强调论证是“由若干命题组成的集合，其中一个命题（结论）被其他命题（前提）所支持”。^{5555Informal Logic: A Handbook for Critical Argumentationcambridge.org前往参考资料 ↓在新标签页中打开|5757Logical Self-Defensemheducation.com前往参考资料 ↓在新标签页中打开}

非形式逻辑与形式逻辑的关键区别在于：形式逻辑关注论证的逻辑形式（如有效性、可靠性），而非形式逻辑关注论证的内容、语境和说服力，包括论证图式（argument schemes）、谬误识别和修辞策略。^{5656The Rise of Informal Logicjstor.org前往参考资料 ↓在新标签页中打开|88Informal Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开}

谬误分析是非形式逻辑的核心组成部分，其目标是系统识别和分类日常论证中的错误推理模式。亚里士多德在《辩谬篇》（Sophistical Refutations）中最早系统讨论了谬误，区分了依赖于语言的谬误和依赖于语言之外的谬误。^{5858Aristotle's Sophistical Refutationsclassics.mit.edu前往参考资料 ↓在新标签页中打开|5959Fallaciesplato.stanford.edu前往参考资料 ↓在新标签页中打开}

现代谬误理论通常将谬误分为形式谬误和非形式谬误。形式谬误指论证形式本身无效（如肯定后件），非形式谬误则涉及论证内容、语境或语用层面的缺陷（如人身攻击、诉诸权威、稻草人谬误）。^{88Informal Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开|6060Critical Thinking: An Introduction to Reasoning Wellglobal.oup.com前往参考资料 ↓在新标签页中打开}

在非形式逻辑的教科书中，常见非形式谬误列表包括：人身攻击（ad hominem）、诉诸权威（ad verecundiam）、诉诸无知（ad ignorantiam）、诉诸怜悯（ad misericordiam）、稻草人（straw man）、滑坡（slippery slope）、虚假两难（false dilemma）等。这些分类在教学中被广泛采用。^{5757Logical Self-Defensemheducation.com前往参考资料 ↓在新标签页中打开|6060Critical Thinking: An Introduction to Reasoning Wellglobal.oup.com前往参考资料 ↓在新标签页中打开}

道格拉斯·沃尔顿（Douglas Walton）对谬误理论做出了重要贡献，他提出谬误应被理解为对话语境中论证图式的误用，而非简单的形式无效。他的著作《谬误：论证的语用理论》（A Pragmatic Theory of Fallacy, 1995）系统阐述了这一观点。^{6161A Pragmatic Theory of Fallacyuapress.ua.edu前往参考资料 ↓在新标签页中打开|6262Douglas Walton's Contributions to Informal Logicinformallogic.ca前往参考资料 ↓在新标签页中打开}

非形式逻辑的兴起与20世纪60-70年代北美大学逻辑教学改革密切相关，当时批评者认为形式逻辑课程（如符号逻辑）无法帮助学生分析和评价日常生活中的论证。这一运动推动了“批判性思维”课程的发展。^{5555Informal Logic: A Handbook for Critical Argumentationcambridge.org前往参考资料 ↓在新标签页中打开|5656The Rise of Informal Logicjstor.org前往参考资料 ↓在新标签页中打开}

非形式逻辑与批判性思维运动紧密相连，但二者并不等同：非形式逻辑侧重于论证的理论分析和评价标准，批判性思维则更侧重于教育实践和技能培养。^{5656The Rise of Informal Logicjstor.org前往参考资料 ↓在新标签页中打开|6363Critical Thinking and Informal Logicroutledge.com前往参考资料 ↓在新标签页中打开}

非形式逻辑的教材和课程在北美高校中广泛开设，例如加拿大温莎大学（University of Windsor）的“非形式逻辑”课程和《非形式逻辑》期刊（Informal Logic）的创办（1980年）标志着该领域的制度化。^{6565Informal Logic Journalinformallogic.ca前往参考资料 ↓在新标签页中打开}

非形式逻辑领域的主要学术期刊包括《非形式逻辑》（Informal Logic）和《论证》（Argumentation），此外还有国际论证研究学会（ISSA）等组织推动相关研究。^{6565Informal Logic Journalinformallogic.ca前往参考资料 ↓在新标签页中打开|6666International Society for the Study of Argumentation (ISSA)issa.nl前往参考资料 ↓在新标签页中打开}

在基础理论层面，逻辑学通常有狭义与广义两种理解：狭义的逻辑学仅指演绎逻辑学，而广义的逻辑观则把归纳逻辑学与辩证逻辑学也纳入其中。^{6767《计算机科学百科全书》“逻辑学”辞条logic.nju.edu.cn前往参考资料 ↓在新标签页中打开}

演绎逻辑与归纳逻辑的区分是逻辑学基础理论划分的核心：演绎逻辑研究前提与结论之间具有必然性联系的推理，归纳逻辑则研究前提对结论提供或然性支持的推理。^{6767《计算机科学百科全书》“逻辑学”辞条logic.nju.edu.cn前往参考资料 ↓在新标签页中打开}

亚里士多德被公认为逻辑学之父，其《工具论》确定了后世逻辑学研究的主要畛域，其中对三段论等演绎推理形式的系统研究构成了演绎逻辑的早期典范。^{6767《计算机科学百科全书》“逻辑学”辞条logic.nju.edu.cn前往参考资料 ↓在新标签页中打开}

国际学界公认逻辑学思想有三大源头：古希腊的推理与论证学说、古印度的正理-因明学说和中国先秦的名辩学说；但只有古希腊的推理与论证学说从论辩学与认识论中独立出来，形成了比较纯粹的逻辑理论。^{6767《计算机科学百科全书》“逻辑学”辞条logic.nju.edu.cn前往参考资料 ↓在新标签页中打开}

在当代学科体系中，逻辑学兼具工具学科、基础学科与人文学科三重性质；20世纪80年代联合国教科文组织编制的学科分类把逻辑学列为“知识总论”下的一级学科，并在“科学技术领域的国际命名法建议”中将其列为众学科之首。^{6767《计算机科学百科全书》“逻辑学”辞条logic.nju.edu.cn前往参考资料 ↓在新标签页中打开}

归纳逻辑与演绎逻辑在推理评价标准上存在基本差异：演绎推理的有效性取决于形式，前提真则结论必然真；归纳推理的强度则是程度问题，前提真只能使结论更可能为真，而不能保证结论必然为真。^{6767《计算机科学百科全书》“逻辑学”辞条logic.nju.edu.cn前往参考资料 ↓在新标签页中打开}

模态逻辑是研究模态概念（如必然性、可能性）的形式逻辑分支，其标准系统包括命题模态逻辑 K、T、S4、S5 以及谓词模态逻辑，这些系统通过克里普克语义学中的可能世界框架得到统一解释。^{6868Filosofía de la lógica - Wikipedia, la enciclopedia librees.m.wikipedia.org前往参考资料 ↓在新标签页中打开}

自由逻辑（free logic）是一类允许单称词项不指称论域中任何对象的逻辑系统，其核心动机是分析包含空指称词项的语句，例如“爸爸是秃头”在爸爸不存在时的真值问题。^{6868Filosofía de la lógica - Wikipedia, la enciclopedia librees.m.wikipedia.org前往参考资料 ↓在新标签页中打开}

在逻辑哲学中，自由逻辑被用来处理非指称表达式，即不指称论域内对象的个体词项，从而扩展了经典逻辑对存在预设的处理方式。^{6868Filosofía de la lógica - Wikipedia, la enciclopedia librees.m.wikipedia.org前往参考资料 ↓在新标签页中打开}

多值逻辑和模糊逻辑是经典二值逻辑的扩展，允许真值度超过真、假二值，用于处理不确定性或模糊性推理；这些系统在人工智能和计算机科学中有应用。^{6868Filosofía de la lógica - Wikipedia, la enciclopedia librees.m.wikipedia.org前往参考资料 ↓在新标签页中打开}

直觉主义逻辑是经典逻辑的一种扩展（或变异），它拒绝排中律，与构造性数学密切相关，并通过克里普克语义或海廷代数得到解释。^{6868Filosofía de la lógica - Wikipedia, la enciclopedia librees.m.wikipedia.org前往参考资料 ↓在新标签页中打开}

时态逻辑是模态逻辑的一种扩展，用于形式化时间相关的语句，其语义基于时间框架，由阿瑟·普莱尔（Arthur Prior）在20世纪50年代开创。^{6868Filosofía de la lógica - Wikipedia, la enciclopedia librees.m.wikipedia.org前往参考资料 ↓在新标签页中打开}

动态逻辑和认知逻辑是模态逻辑在计算机科学和哲学中的扩展应用，分别用于推理程序行为和知识、信念等认知概念。^{6868Filosofía de la lógica - Wikipedia, la enciclopedia librees.m.wikipedia.org前往参考资料 ↓在新标签页中打开}

逻辑学与数学基础的关系在19世纪末至20世纪初因弗雷格、皮亚诺与罗素的工作而发生根本转变：弗雷格在《概念文字》(1879) 中引入量词与谓词记号，使数学证明的推理步骤第一次可以被形式化地书写；罗素与怀特海在《数学原理》(Principia Mathematica, 1910–1913) 中试图从逻辑公理推出算术，把「数学可归约为逻辑」确立为逻辑主义纲领的核心目标。^{3333Principia Mathematicaplato.stanford.edu前往参考资料 ↓在新标签页中打开}

罗素悖论（1901年发现，1903年公开）直接冲击了弗雷格的逻辑主义方案：以「所有不包含自身的集合所构成的集合」构造出的矛盾表明，朴素概括原则（任一性质都决定一个集合）会导致不一致。弗雷格在《算术基本法则》第二卷附录中承认这一打击动摇了其体系的基础。^{3333Principia Mathematicaplato.stanford.edu前往参考资料 ↓在新标签页中打开}

为规避悖论，20世纪数学基础形成了三大纲领：逻辑主义（罗素、怀特海，后由卡尔纳普等人发展）、直觉主义（布劳威尔，拒绝排中律在无限域上的无限制使用，要求存在性证明必须是构造性的）、形式主义（希尔伯特，以有穷方法证明形式系统的相容性）。三者的分歧不是技术细节，而是关于数学对象之存在性与真理来源的根本立场差异。^{3333Principia Mathematicaplato.stanford.edu前往参考资料 ↓在新标签页中打开|6969Intuitionism in the Philosophy of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

哥德尔第一不完备定理（1931）证明：任何包含初等算术、公理可递归枚举且一致的形式系统，都存在在该系统中既不可证也不可反驳的算术命题；第二不完备定理进一步表明，这样的系统不能在自身内部证明自己的一致性。这终结了希尔伯特纲领「用有穷方法一次性证明全部数学相容性」的原初设想。^{3434Gödel's Incompleteness Theoremsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

哥德尔不完备定理常被误读为「数学不可靠」或「人类理性有根本局限」，但定理本身只断言形式系统内部的证明论性质，并不否定数学真理的客观性，也不排除在更强的系统（如加入一致性公理或采用更强元理论）中证明原系统未能证明的命题。学界对定理哲学意涵的解读存在分歧，但定理的技术内容本身没有争议。^{3434Gödel's Incompleteness Theoremsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

塔斯基（1933/1936）的真理不可定义定理表明：任何足够强、能表达自身语法的形式语言，都无法在该语言内部定义自身的真谓词；真理定义必须相对于一个更强的元语言给出。这一结果与哥德尔不完备定理共同构成形式语义学的基石，并直接影响了模型论的发展。^{3636Alfred Tarskiplato.stanford.edu前往参考资料 ↓在新标签页中打开}

策梅洛-弗兰克尔集合论（ZF）及其带选择公理的版本（ZFC）是当代数学的标准基础：几乎所有数学对象都可编码为集合，数学定理可在ZFC中形式化。ZFC的相容性本身不能在ZFC内部证明（由哥德尔第二定理），因此「ZFC是否一致」是一个在标准框架内不可判定的元数学问题。^{1111Set Theoryplato.stanford.edu前往参考资料 ↓在新标签页中打开}

连续统假设（CH）在ZFC中不可判定：哥德尔（1938）证明CH与ZFC相容（构造可构成集宇宙L），科恩（1963）用力迫法（forcing）证明¬CH也与ZFC相容。因此CH既不能被ZFC证明也不能被ZFC反驳，是否接受CH取决于所采用的集合论公理或基础立场。^{4242The Continuum Hypothesisplato.stanford.edu前往参考资料 ↓在新标签页中打开}

选择公理（AC）在ZFC中同样具有独立性地位：科恩的力迫法证明AC独立于ZF（即ZF既不能证明也不能反驳AC）。AC的接受与否导致不同的数学后果，例如在ZF中不可证明「任意两个基数可比」，而AC等价于良序定理与佐恩引理。^{4242The Continuum Hypothesisplato.stanford.edu前往参考资料 ↓在新标签页中打开}

直觉主义逻辑与经典逻辑的核心差异在于排中律（P∨¬P）与双重否定消去（¬¬P→P）不被普遍接受；在直觉主义框架下，存在性命题的证明必须给出构造性见证。这一立场由布劳威尔提出，后由海廷（1930）形式化为直觉主义命题演算与谓词演算，并成为构造性数学与类型论的基础。^{6969Intuitionism in the Philosophy of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

关于数学基础的选择，学界存在持续争论：一方认为ZFC加上大基数公理等更强公理是合理的，因为它们在描述集合论与模型论中产生丰富且协调的结构；另一方（如构造主义者与部分范畴论基础倡导者）认为集合论基础并非唯一或最优选择，范畴论/拓扑斯（topos）框架能更自然地表达数学结构。这一分歧属于基础立场之争，尚无定论。^{1111Set Theoryplato.stanford.edu前往参考资料 ↓在新标签页中打开|7070Category Theoryplato.stanford.edu前往参考资料 ↓在新标签页中打开}

模型论作为逻辑与数学基础的交叉领域，研究形式语言与其解释（结构）之间的关系；紧致性定理与勒文海姆-斯科伦定理是其基本结果，前者断言一阶理论若有任意有限子集有模型则整体有模型，后者断言可数一阶理论若有无限模型则有可数无限模型。这些结果深刻影响了对数学结构可表达性的理解。^{3636Alfred Tarskiplato.stanford.edu前往参考资料 ↓在新标签页中打开}

证明论（proof theory）由希尔伯特纲领发展而来，根岑（1934/1935）的切消定理（cut-elimination）表明一阶逻辑的序列演算中切规则可以被消去，从而给出直觉主义与经典逻辑的一致性证明（相对于更弱的系统）。根岑的方法成为结构证明论的核心工具。^{3434Gödel's Incompleteness Theoremsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

递归论（可计算性理论）与逻辑基础紧密交织：哥德尔（1931）在证明不完备定理时引入的原始递归函数，以及丘奇（1936）的λ演算与图灵（1936）的图灵机，共同确立了「可计算函数」的等价刻画（丘奇-图灵论题）。这一论题虽非形式定理，但已成为数学基础与理论计算机科学的共同前提。^{3434Gödel's Incompleteness Theoremsplato.stanford.edu前往参考资料 ↓在新标签页中打开|3939The Church-Turing Thesisplato.stanford.edu前往参考资料 ↓在新标签页中打开}

20世纪数理逻辑的成果为计算机科学提供了理论基础：图灵、哥德尔、丘奇、克莱尼、波斯特等人证明了哪些问题可计算、哪些不可计算，从而为这一新领域奠定了坚实的理论根基。^{7171Mathematics, Logic, and Engineering in Computingieeexplore.ieee.org前往参考资料 ↓在新标签页中打开}

数理逻辑是计算机科学许多领域的基础；计算可以被建模为逻辑系统中的演绎，逻辑编程与关系数据库正是采用这一视角。^{7272Logik-SS02 Summary: Mathematical Logic as a Foundation of Computer Sciencepeople.mpi-inf.mpg.de前往参考资料 ↓在新标签页中打开}

编程语言的操作语义常常用推理规则来定义，程序的执行则被形式化为依据这些推理规则进行的演绎。^{7272Logik-SS02 Summary: Mathematical Logic as a Foundation of Computer Sciencepeople.mpi-inf.mpg.de前往参考资料 ↓在新标签页中打开}

证明论的算法方面构成了自动定理证明器以及从抽象规约机械化地合成可执行程序的方法的基础。^{7272Logik-SS02 Summary: Mathematical Logic as a Foundation of Computer Sciencepeople.mpi-inf.mpg.de前往参考资料 ↓在新标签页中打开}

数理逻辑是对数学推理的数学建模，它为形式化地刻画特定应用领域的结构与抽象性质提供方法，知识表示理论因此牢固地建立在数理逻辑之上。^{7272Logik-SS02 Summary: Mathematical Logic as a Foundation of Computer Sciencepeople.mpi-inf.mpg.de前往参考资料 ↓在新标签页中打开}

康奈尔大学2001年春季开设的“应用逻辑”（CS 486）课程涵盖命题演算（经典与直觉主义）、分析表、完全性与可判定性、根岑系统与相继式、二阶命题逻辑与系统F、谓词演算、形式数论、集合论、类型论与高阶逻辑、程序逻辑以及哥德尔定理等主题，反映了逻辑学在计算机科学课程中的典型位置。^{7373CS 486: Applied Logiccs.cornell.edu前往参考资料 ↓在新标签页中打开}

即使程序的源代码可以被证明是正确的，还存在额外的困难：要证明编译后的机器码以及硬件平台同样满足其规约；肯·汤普森在1983年图灵奖演讲中提醒人们，缺陷并不是程序的某种特性。^{7171Mathematics, Logic, and Engineering in Computingieeexplore.ieee.org前往参考资料 ↓在新标签页中打开}

亚里士多德在《工具论》中奠定的三段论逻辑，被其本人及后世传统视为一切科学证明的工具（organon），即进行哲学与科学研究之前必须先掌握的推理方法，这确立了逻辑学在哲学中的基础性地位。^{7474Aristotle's Organon and the Traditional Logiciep.utm.edu前往参考资料 ↓在新标签页中打开|7575Aristotle, Prior Analytics (trans. A. J. Jenkinson)classics.mit.edu前往参考资料 ↓在新标签页中打开}

康德在《纯粹理性批判》中把形式逻辑视为关于知性形式规则的学问，并认为自亚里士多德以来逻辑学在本质上没有前进也没有后退，这一评价反映了逻辑学在近代哲学体系中作为已臻完善之基础学科的地位。^{7676Kant's Critique of Pure Reason, Transcendental Logicgutenberg.org前往参考资料 ↓在新标签页中打开}

弗雷格与罗素开创的现代数理逻辑，使逻辑学从哲学的一个分支发展为具有独立技术方法的学科，同时反过来为哲学分析提供了核心工具，分析哲学传统的形成与这一转变密切相关。^{2727Stanford Encyclopedia of Philosophy: Gottlob Fregeplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在当代英语世界的哲学系中，逻辑学通常是本科哲学专业的必修或核心课程，也是哲学研究生入学训练的基本组成部分，这从教育制度层面体现了逻辑学在哲学学科中的基础地位。^{7777Philosophy Major Requirements (Sample: Harvard University)philosophy.fas.harvard.edu前往参考资料 ↓在新标签页中打开}

逻辑学与哲学的关系在当代呈现双向性：一方面逻辑学为哲学论证提供形式化分析与有效性评估的工具，另一方面哲学问题（如意义、真理、模态）又不断为逻辑学提出新的研究课题，二者相互塑造。^{7878Logic and Philosophy: A Dialoguelink.springer.com前往参考资料 ↓在新标签页中打开}

关于逻辑学是否应被视为数学的分支而非哲学的分支，学界存在不同看法：逻辑主义传统主张逻辑是数学的基础，而一些哲学家则强调逻辑学的问题与方法本质上属于哲学。^{2727Stanford Encyclopedia of Philosophy: Gottlob Fregeplato.stanford.edu前往参考资料 ↓在新标签页中打开|7979The Mathematical Turn in Logiccambridge.org前往参考资料 ↓在新标签页中打开}

在哲学教育中，逻辑学常被列为哲学分析的“语法”，即训练清晰思维与论证评估的基础工具，这一功能定位在哲学导论教材与课程大纲中被广泛强调。^{7777Philosophy Major Requirements (Sample: Harvard University)philosophy.fas.harvard.edu前往参考资料 ↓在新标签页中打开|8080Logic as the Grammar of Philosophy: Teaching Logic in Philosophy Departmentspdcnet.org前往参考资料 ↓在新标签页中打开}

逻辑学在哲学中的地位也受到历史变化的塑造：19世纪末至20世纪初的逻辑革命使逻辑学与哲学一度紧密结盟，而20世纪中后期逻辑学技术化程度提高后，部分哲学系与逻辑学研究的距离有所拉大，但逻辑学仍被视为哲学训练的核心环节。^{8181The Place of Logic in Philosophy: A Historical Surveytandfonline.com前往参考资料 ↓在新标签页中打开}

逻辑学中的形式主义纲领以弗雷格、罗素和早期维特根斯坦为代表，主张逻辑是研究有效推理形式的科学，逻辑真理源于语言或符号系统的结构，与心理过程无关。^{8282Gottlob Frege, The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Numberarchive.org前往参考资料 ↓在新标签页中打开}

逻辑学中的心理主义纲领以密尔和早期胡塞尔为代表，认为逻辑规律是思维经验规律或心理活动的抽象，逻辑学应建立在心理学基础上；弗雷格在《算术基础》和《论涵义与指称》中对心理主义进行了系统批判，这一批判深刻影响了20世纪逻辑学的发展方向。^{8282Gottlob Frege, The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Numberarchive.org前往参考资料 ↓在新标签页中打开|8383Husserl, Logical Investigations, Volume 1: Prolegomena to Pure Logicarchive.org前往参考资料 ↓在新标签页中打开}

逻辑学中的逻辑多元论与一元论之争是当代逻辑哲学的核心争论之一。以比尔和雷斯托尔为代表的多元论认为，经典逻辑、直觉主义逻辑和相干逻辑等各自在其适用领域内都是正确的，不存在唯一正确的逻辑；以普里斯特和威廉姆森为代表的一元论则主张只有一种逻辑是真正正确的。^{8484J. C. Beall and Greg Restall, Logical Pluralismglobal.oup.com前往参考资料 ↓在新标签页中打开|8585Timothy Williamson, 'Logic, Metalogic and Neutrality' in Philosophical Issues, Vol. 24onlinelibrary.wiley.com前往参考资料 ↓在新标签页中打开}

逻辑学中的相干逻辑纲领由阿克曼和安德森、贝尔纳普等人发展，旨在避免经典逻辑中蕴含怪论（如假命题蕴含任意命题），要求前提与结论之间具有内容上的相干性；相干逻辑的R系统是该纲领的代表性形式系统。^{8686Alan Ross Anderson and Nuel D. Belnap, Entailment: The Logic of Relevance and Necessity, Volume Ipress.princeton.edu前往参考资料 ↓在新标签页中打开}

2025年9月9日，华进联合专利商标代理有限公司向华中师范大学捐资50万元设立“华中师范大学逻辑学教育发展基金”，用于支持该校逻辑学教育发展；捐赠仪式暨逻辑学教育发展论坛在华中师范大学文科科研综合楼举行。^{8888逻辑学教育发展基金捐赠仪式暨逻辑学教育发展论坛在华中师范大学举办peopleapp.com前往参考资料 ↓在新标签页中打开}

华中师范大学率先开设“逻辑学导论”通识必修课程，在推动逻辑学教育普及与发展方面走在全国前列；该校《逻辑学导论》课程建设聚合了文学院、法学院、公共管理学院、计算机学院、经济与工商管理学院、生命科学学院等与逻辑应用分支领域相关的课程资源，逐步形成具有师范特色的逻辑学课程群。^{8888逻辑学教育发展基金捐赠仪式暨逻辑学教育发展论坛在华中师范大学举办peopleapp.com前往参考资料 ↓在新标签页中打开}

2025年春季学期，华中师范大学逻辑学师资团队完成了1500名师范生、21个班的教学任务，并在团队建设、制度建设、平台建设、学术科研、合作交流等方面取得初步成效；团队在开展“有组织教学”的同时，深度打造“人工智能+逻辑学”的“有组织科研”交叉研究创新团队。^{8888逻辑学教育发展基金捐赠仪式暨逻辑学教育发展论坛在华中师范大学举办peopleapp.com前往参考资料 ↓在新标签页中打开}

华中师范大学校长彭双阶表示，学校将进一步加强逻辑学课程群建设、推动人工智能时代逻辑学教学资源开放共享，持续推动逻辑学教育与研究迈向更高水平，为服务教育强国建设和新时代发展作出贡献。^{8888逻辑学教育发展基金捐赠仪式暨逻辑学教育发展论坛在华中师范大学举办peopleapp.com前往参考资料 ↓在新标签页中打开}

逻辑思维被视为创新能力的重要基础，也是数字经济时代高端人才的核心素养；企业界人士在捐赠仪式上表示，希望基金设立能够为推动逻辑学教育发展、促进跨学科融合提供支持，助力高校培养创新型人才和卓越教师。^{8888逻辑学教育发展基金捐赠仪式暨逻辑学教育发展论坛在华中师范大学举办peopleapp.com前往参考资料 ↓在新标签页中打开}

彭孟尧所著《基础逻辑》第二版由台北学富文化出版社于2012年出版，是台湾地区高校逻辑学课程常用的教科书之一。^{4747検索結果 | 歡迎使用國立高雄大學教學平台elearningv4.nuk.edu.tw前往参考资料 ↓在新标签页中打开}

彭孟尧另著有《思考方法》一书，由台北新学林出版，常与《基础逻辑》并列作为逻辑与批判性思维课程的参考读物。^{4747検索結果 | 歡迎使用國立高雄大學教學平台elearningv4.nuk.edu.tw前往参考资料 ↓在新标签页中打开}

陈瑞麟所著《逻辑与思考》修订版由台北学富文化出版社于2006年出版，被列为逻辑学课程的参考书。^{4747検索結果 | 歡迎使用國立高雄大學教學平台elearningv4.nuk.edu.tw前往参考资料 ↓在新标签页中打开}

A. Hausman、H. Kahane 与 P. Tidman 合著的《Logic and Philosophy: A Modern Introduction》第12版由 Wadsworth Publishing Company 于2012年出版，是英语世界通行的逻辑学导论教材之一。^{4747検索結果 | 歡迎使用國立高雄大學教學平台elearningv4.nuk.edu.tw前往参考资料 ↓在新标签页中打开}

波普尔（Karl Popper）的《Conjectures and Refutations》由伦敦 Routledge 出版，常被列入科学哲学与归纳逻辑延伸阅读书目。^{4747検索結果 | 歡迎使用國立高雄大學教學平台elearningv4.nuk.edu.tw前往参考资料 ↓在新标签页中打开}