SDE Universes·新思想前沿›心智·语言·哲学
新思想前沿 · 心智·语言·哲学

逻辑哲学

近二十年与经典层 · 两幕 20 个新思想 ＋ 20 个经典思想 · 约 36,802 字 · 王德生 亲撰 · 2026 年 8 月

逻辑哲学的近二十年转向与 1950—2006 年经典思想在同一页对读：现代层说明新证据怎样改写问题，经典层倒查旧前提由谁、用什么材料建立。四十条均保留来源、量纲、失效与异名接口；经典二十条逐一回指上文，不把年代久远误当成仍然有效。

【第一幕】上一个十年 · 主证据 2006–2016

这一幕记录本领域把基本对象、证据单位和方法边界第一次写成可比较结构的八次转向。

甲、逻辑多元论被正式提出Logical Pluralism

提出MICHAEL P. LYNCH，2008年，〈Alethic Pluralism, Logical Consequence and the Universality of Reason〉，《Midwest Studies In Philosophy 32(1):122-140》，DOI 10.1111/j.1475-4975.2008.00169.x　争议Pilar Terrés-Villalonga，2025年，〈Reflections on language and charity: a response to Stei’s “Logical Pluralism and Logical Consequence”〉，《Asian Journal of Philosophy 4(1)》，DOI 10.1007/s44204-025-00249-z　最新Sabina Dominguez-Parrado，2026年，〈On the Semantic Argument for Logical Pluralism〉，《Erkenntnis》，DOI 10.1007/s10670-026-01095-y　奠基Gottlob Frege，1879年，《Begriffsschrift》（专著）；以形式语言与推理规则奠定现代逻辑　关键逻辑多元论被正式提出在独立证据中的稳定结论数／全部进入同一口径的可核验案例

2006 年前后出版的一部著作系统主张：「有效」这个概念存在多个同样正当的精确化，因而不止一种正确的逻辑。此前的默认是逻辑只有一种，其余都是它的变体或错误。

它把「哪种逻辑是对的」这个问题从真假之争，变成了「按什么标准选」的问题。这十年用溯因法在多种逻辑之间做选择，正是这条问题重述之后才可能。

把提出文献与最新文献并排后可以看见。截至2026年，逻辑多元论被正式提出以〈On the Semantic Argument for Logical Pluralism〉作更新笔；对照基数取全部进入同一口径的可核验案例。

真正需要登记的空栏不是一般性的未知。边界证据记为：逻辑多元论被正式提出／数学哲学（第094号）。

这一条的可核验性来自来源之间仍可相互否定。边界证据记为：逻辑多元论被正式提出（2008→2026）。本条只接受这个比率：“逻辑多元论被正式提出在独立证据中的稳定结论数／全部进入同一口径的可核验案例”。跨面板接口显示，两边虽处理同一动作。全部进入同一口径的可核验案例列为基数；漏项另收逻辑多元论被正式提出的退出、删版及反向记录。

本条的跨域去向由失效条件而不是热门词决定：逻辑多元论被正式提出。邻接码094／数学哲学；边界证据记为“它把「哪种逻辑是对的」这个问题从真假之争，变成了「按什么标准选」的问题。这条证据链最值得保留的不是结论口号。逻辑多元论被正式提出的证据时距为2008→2026；提出、争议、更新各守一格。

位置S——它把“逻辑多元论被正式提出作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“逻辑多元论被正式提出作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔01 谁进入分母〕2008—2026年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲逻辑多元论被正式提出在独立证据中的稳定结论数／全部进入同一口径的可核验案例　失效当逻辑多元论被正式提出被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：它把「哪种逻辑是对的」这个问题从真假之争，变成了「按什么标准选」的问题。这十年用溯因法在多种逻辑之间做选择，正是这条问题重述之后才。　空栏未进入全部进入同一口径的可核验案例的失败案例、退出对象、被删版本与无法归类的反向记录　异名数学哲学称为“形式证明完成：开普勒猜想把正确性与可读性彻底分账”；另见第094号《数学哲学》“形式证明完成：开普勒猜想把正确性与可读性彻底分账”

乙、非经典逻辑的技术成熟Mature Non-Classical Logics

提出Pavel Materna，2013年，〈Is Transparent Intensional Logic a non-classical logic?〉，《Logic and Logical Philosophy 23(1):47-55》，DOI 10.12775/llp.2013.032　争议Aladdin M. Yaqub，2010年，〈An Introduction to Non-Classical Logic〉，《Teaching Philosophy 33(4):432-436》，DOI 10.5840/teachphil201033453　最新Michael Aristidou，2025年，〈Non-Classical Elements in Epicurean Logic〉，《Athens Journal of Philosophy 4(3):163-176》，DOI 10.30958/ajphil.4-3-3　奠基C. I. Lewis，1918年，《A Survey of Symbolic Logic》（专著）；以模态与非经典系统破除唯一逻辑图景　关键非经典逻辑的技术成熟在独立证据中的稳定结论数／全部可获得而非只被发表的同题来源

同期，次协调逻辑、相干逻辑、直觉主义与模糊逻辑各自完成技术精修，并在悖论处理、数据库与法律推理中找到应用。

它们不再是哲学玩具，而是有具体用途的工具——这一点极大加强了多元论的可信度：如果多种逻辑都能干活，坚持只有一种就需要额外理由。

原始出处与更新出处之间保留了一个必要差额。截至2025年，非经典逻辑的技术成熟以〈Non-Classical Elements in Epicurean Logic〉作更新笔；对照基数取全部可获得而非只被发表的同题来源。

对撞并不要求两边互相赞成，而要求共享可否定前提。成立范围由下句限定：非经典逻辑的技术成熟／数理逻辑与集合论（第008号）。

源行给出的三笔材料把争论切成三个可检查节点。成立范围由下句限定：非经典逻辑的技术成熟（2013→2025）。这里的账本用下式封口：“非经典逻辑的技术成熟在独立证据中的稳定结论数／全部可获得而非只被发表的同题来源”。邻块能够补充机制，却不能替代这里的责任对象。全部可获得而非只被发表的同题来源列为基数；漏项另收非经典逻辑的技术成熟的退出、删版及反向记录。

跨面板接口显示，两边虽处理同一动作：非经典逻辑的技术成熟。邻接码008／数理逻辑与集合论；成立范围由下句限定“它们不再是哲学玩具，而是有具体用途的工具——这一点极大加强了多元论的可信度：如果多种逻辑都能干活，坚持只有。若只看摘要会漏掉的一点是。非经典逻辑的技术成熟的证据时距为2013→2025；提出、争议、更新各守一格。

位置D——它把“非经典逻辑的技术成熟作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“非经典逻辑的技术成熟作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔01 谁进入分母〕2013—2025年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲非经典逻辑的技术成熟在独立证据中的稳定结论数／全部可获得而非只被发表的同题来源　失效当非经典逻辑的技术成熟被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：它们不再是哲学玩具，而是有具体用途的工具——这一点极大加强了多元论的可信度：如果多种逻辑都能干活，坚持只有一种就需要额外理由。　空栏未进入全部可获得而非只被发表的同题来源的失败案例、退出对象、被删版本与无法归类的反向记录　异名数理逻辑与集合论称为“集合论的内模型纲领成形”；另见第008号《数理逻辑与集合论》“集合论的内模型纲领成形”

丙、说谎者悖论的方案与代价Solutions to the Liar Paradox

提出Catarina Dutilh Novaes，2010年，〈LESSONS ON TRUTH FROM MEDIAEVAL SOLUTIONS TO THE LIAR PARADOX〉，《The Philosophical Quarterly 61(242):58-78》，DOI 10.1111/j.1467-9213.2010.669.x　争议Jared Warren，2023年，〈The Liar Paradox and “Meaningless” Revenge〉，《Journal of Philosophical Logic 53(1):49-78》，DOI 10.1007/s10992-023-09719-2　最新Mohammad Saleh Zarepour，2023年，〈Dashtakī's Solution to the Liar Paradox: A Synthesis of the Earlier Solutions Proposed by Ṭūsī and Samarqandī〉，《History and Philosophy of Logic 45(3):219-245》，DOI 10.1080/01445340.2023.2210918　奠基Alfred Tarski，1944年，《The Semantic Conception of Truth》（论文）；为语义悖论方案设定真理条件　关键说谎者悖论的方案与代价在独立证据中的稳定结论数／全部满足对象与时间窗条件的独立研究

同一时期，真理论的各种方案（层级、间隙、赋值缺失、次协调）被逐一精修，而共识是：每一种方案都要付出代价，区别只在把代价放在哪里。

这条「代价核算」的思路正是这十年那节的做法——不问哪个方案是对的，而问它们各自牺牲了什么。

沿着原题而不是作者姓名回查，证据分界变得清楚。截至2023年，说谎者悖论的方案与代价以〈Dashtakī's Solution to the Liar Paradox: A Synthesis of the Earlier Solutions Proposed by Ṭūsī and Samarqandī〉作更新笔；对照基数取全部满足对象与时间窗条件的独立研究。

邻块能够补充机制，却不能替代这里的责任对象。只在这个条件域内落笔：说谎者悖论的方案与代价／科学哲学（第089号）。

这条证据链最值得保留的不是结论口号。只在这个条件域内落笔：说谎者悖论的方案与代价（2010→2023）。比较时把读数限定为：“说谎者悖论的方案与代价在独立证据中的稳定结论数／全部满足对象与时间窗条件的独立研究”。对撞并不要求两边互相赞成，而要求共享可否定前提。全部满足对象与时间窗条件的独立研究列为基数；漏项另收说谎者悖论的方案与代价的退出、删版及反向记录。

这条与邻块的分工可以用一个反号读数划开：说谎者悖论的方案与代价。邻接码089／科学哲学；只在这个条件域内落笔“这条「代价核算」的思路正是这十年那节的做法——不问哪个方案是对的，而问它们各自牺牲了什么”。检索所得的独立来源把支持与占位分开。说谎者悖论的方案与代价的证据时距为2010→2023；提出、争议、更新各守一格。

位置E——它把“说谎者悖论的方案与代价作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“说谎者悖论的方案与代价作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔01 谁进入分母〕2010—2023年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲说谎者悖论的方案与代价在独立证据中的稳定结论数／全部满足对象与时间窗条件的独立研究　失效当说谎者悖论的方案与代价被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：这条「代价核算」的思路正是这十年那节的做法——不问哪个方案是对的，而问它们各自牺牲了什么。　空栏未进入全部满足对象与时间窗条件的独立研究的失败案例、退出对象、被删版本与无法归类的反向记录　异名科学哲学称为“AI科学发现的认识不透明：发现者可能说不出发现路径”；另见第089号《科学哲学》“AI科学发现的认识不透明：发现者可能说不出发现路径”

丁、逻辑常项与逻辑性的刻画Logical Constants and Invariance

提出Denis Bonnay，2014年，〈Logical Constants, or How to use Invariance in Order to Complete the Explication of Logical Consequence〉，《Philosophy Compass 9(1):54-65》，DOI 10.1111/phc3.12095　争议Zack Garrett，2023年，〈Logical Constants and the Sorites Paradox〉，《Logic and Logical Philosophy 32(3):363-381》，DOI 10.12775/llp.2023.007　最新Jaroslav Peregrin，2025年，〈Compositionality and Inferential Roles of Logical Constants〉，《Topoi 45(2):599-605》，DOI 10.1007/s11245-025-10171-x　奠基Alfred Tarski，1936年，《On the Concept of Logical Consequence》（论文）；以模型不变性连接逻辑常项与后承　关键逻辑常项与逻辑性的刻画在独立证据中的稳定结论数／全部被比较的理论版本及其失败版本

同期继续推进的一个技术问题是：什么使一个词成为「逻辑词」——不变性、主题中立性还是别的判据。争论没有收敛。

它的意义在于：如果连「什么是逻辑的」都无法唯一刻画，那么「逻辑只有一种」就更难维持。

检索所得的独立来源把支持与占位分开。截至2025年，逻辑常项与逻辑性的刻画以〈Compositionality and Inferential Roles of Logical Constants〉作更新笔；对照基数取全部被比较的理论版本及其失败版本。

跨面板接口显示，两边虽处理同一动作。适用面以原页判断收束：逻辑常项与逻辑性的刻画／可计算性与递归论（第304号）。三笔互异来源共同留下了一条可复算路线。适用面以原页判断收束：Alfred Tarski，1936年，《On the Concept of Logical Consequence》（论文）；以模型不变性连接逻辑常项与后承；由逻辑常项与逻辑性的刻画承担同指证明。

把提出文献与最新文献并排后可以看见。适用面以原页判断收束：逻辑常项与逻辑性的刻画（2014→2025）。可复算的最小指标是：“逻辑常项与逻辑性的刻画在独立证据中的稳定结论数／全部被比较的理论版本及其失败版本”。真正需要登记的空栏不是一般性的未知。全部被比较的理论版本及其失败版本列为基数；漏项另收逻辑常项与逻辑性的刻画的退出、删版及反向记录。

本条向外对撞时必须保留自己的观察窗：逻辑常项与逻辑性的刻画。邻接码304／可计算性与递归论；适用面以原页判断收束“它的意义在于：如果连「什么是逻辑的」都无法唯一刻画，那么「逻辑只有一种」就更难维持”。把提出文献与最新文献并排后可以看见。逻辑常项与逻辑性的刻画的证据时距为2014→2025；提出、争议、更新各守一格。

位置S——它把“逻辑常项与逻辑性的刻画作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“逻辑常项与逻辑性的刻画作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔02 单一读数代表复杂对象〕2014—2025年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲逻辑常项与逻辑性的刻画在独立证据中的稳定结论数／全部被比较的理论版本及其失败版本　失效当逻辑常项与逻辑性的刻画被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：它的意义在于：如果连「什么是逻辑的」都无法唯一刻画，那么「逻辑只有一种」就更难维持。　空栏未进入全部被比较的理论版本及其失败版本的失败案例、退出对象、被删版本与无法归类的反向记录　异名可计算性与递归论称为“差分随机性刻画随机但不完备”；另见第304号《可计算性与递归论》“差分随机性刻画随机但不完备”

戊、证明论语义与推理规则Proof-Theoretic Semantics

提出Nissim Francez，2014年，〈Views of proof-theoretic semantics: reified proof-theoretic meanings〉，《Journal of Logic and Computation 26(2):479-494》，DOI 10.1093/logcom/exu035　争议Nils Kürbis，2013年，〈Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality〉，《Journal of Philosophical Logic 44(6):713-727》，DOI 10.1007/s10992-013-9310-6　最新Alexander V Gheorghiu，2025年，〈Proof-theoretic semantics for first-order logic〉，《Logic Journal of the IGPL 33(5)》，DOI 10.1093/jigpal/jzaf062　奠基Gerhard Gentzen，1935年，《Investigations into Logical Deduction》（论文）；以引入消去规则奠定证明论语义　关键证明论语义与推理规则在独立证据中的稳定结论数／全部进入复算流程的材料、代码与记录

同一时期，从推理规则而非真值条件出发定义意义的路线取得进展，逻辑常项的含义由其引入与消去规则给出。

这条线与计算机科学的类型系统天然相通，是这十年逻辑成为可执行基础设施的理论一侧。

本条的更新并非简单增加一篇文献。截至2025年，证明论语义与推理规则以〈Proof-theoretic semantics for first-order logic〉作更新笔；对照基数取全部进入复算流程的材料、代码与记录。

这项判断只有在空栏对象被重新计入时才完整。反号以前的有效区间是：证明论语义与推理规则／数学哲学（第094号）。证据之所以可比较，是因为它们共享对象却不共享结论。反号以前的有效区间是：Gerhard Gentzen，1935年，《Investigations into Logical Deduction》（论文）；以引入消去规则奠定证明论语义；由证明论语义与推理规则承担同指证明。

资料反查显示，真正发生变化的是比较单位。反号以前的有效区间是：证明论语义与推理规则（2014→2025）。若要跨样本对照，只能计算：“证明论语义与推理规则在独立证据中的稳定结论数／全部进入复算流程的材料、代码与记录”。两套语汇相遇后，需要新增而非合并的字段是。全部进入复算流程的材料、代码与记录列为基数；漏项另收证明论语义与推理规则的退出、删版及反向记录。

这一接口的价值正在于相似名词背后的反向判据：证明论语义与推理规则。邻接码094／数学哲学；反号以前的有效区间是“这条线与计算机科学的类型系统天然相通，是这十年逻辑成为可执行基础设施的理论一侧”。把版本、反证与新证据放在同一时间轴上。证明论语义与推理规则的证据时距为2014→2025；提出、争议、更新各守一格。

位置D——它把“证明论语义与推理规则作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“证明论语义与推理规则作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔02 单一读数代表复杂对象〕2014—2025年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲证明论语义与推理规则在独立证据中的稳定结论数／全部进入复算流程的材料、代码与记录　失效当证明论语义与推理规则被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：这条线与计算机科学的类型系统天然相通，是这十年逻辑成为可执行基础设施的理论一侧。　空栏未进入全部进入复算流程的材料、代码与记录的失败案例、退出对象、被删版本与无法归类的反向记录　异名数学哲学称为“图示推理：图不只是说明文字，也能承担证明步骤”；另见第094号《数学哲学》“图示推理：图不只是说明文字，也能承担证明步骤”

己、人是否按逻辑推理Human Reasoning and Logic

提出Mike Oaksford, Nick Chater，2014年，〈Probabilistic single function dual process theory and logic programming as approaches to non-monotonicity in human vs. artificial reasoning〉，《Thinking & Reasoning 20(2):269-295》，DOI 10.1080/13546783.2013.877401　争议Paddy Dolan, John Connoly，2018年，〈Beyond Logic and Norms: A Figurational Critique of Institutional Theory in Organisation Studies〉，《Cambio. Rivista sulle Trasformazioni Sociali 7(14):139-149》，DOI 10.13128/cambio-22915　最新Conor McHugh，2025年，〈Logic and Norms of Reasoning〉，《Erkenntnis 91(4):1535-1552》，DOI 10.1007/s10670-025-00965-1　奠基Jean Piaget，1928年，《Judgment and Reasoning in the Child》（专著）；把实际推理的发展与逻辑规范分开测量　关键人是否按逻辑推理在独立证据中的稳定结论数／全部具备独立来源链的同向报告

同期，认知科学关于人类推理偏离经典逻辑的大量实验被哲学化处理：逻辑究竟是描述人怎么想，还是规定人该怎么想。

这条区分被讲清之后，逻辑的规范地位反而更需要独立辩护——它不能靠「人本来就这么想」来支撑。

最新工作只在改变失效边界时才算更新。截至2025年，人是否按逻辑推理以〈Logic and Norms of Reasoning〉作更新笔；对照基数取全部具备独立来源链的同向报告。

本条向外对撞时必须保留自己的观察窗。跨域后仍须保留的界线是：人是否按逻辑推理／数理逻辑与集合论（第008号）。这一条的可核验性来自来源之间仍可相互否定。跨域后仍须保留的界线是：Jean Piaget，1928年，《Judgment and Reasoning in the Child》（专著）；把实际推理的发展与逻辑规范分开测量；由人是否按逻辑推理承担同指证明。

沿着原题而不是作者姓名回查，证据分界变得清楚。跨域后仍须保留的界线是：人是否按逻辑推理（2014→2025）。本项不数论文而数：“人是否按逻辑推理在独立证据中的稳定结论数／全部具备独立来源链的同向报告”。相邻页面记录的是另一种账本，本条不能被它吞并。全部具备独立来源链的同向报告列为基数；漏项另收人是否按逻辑推理的退出、删版及反向记录。

把本条放进另一套制度后，名义成功可能立即反号：人是否按逻辑推理。邻接码008／数理逻辑与集合论；跨域后仍须保留的界线是“这条区分被讲清之后，逻辑的规范地位反而更需要独立辩护——它不能靠「人本来就这么想」来支撑”。主证据建立对象，争议笔负责暴露代价。人是否按逻辑推理的证据时距为2014→2025；提出、争议、更新各守一格。

位置E——它把“人是否按逻辑推理作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“人是否按逻辑推理作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔02 单一读数代表复杂对象〕2014—2025年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲人是否按逻辑推理在独立证据中的稳定结论数／全部具备独立来源链的同向报告　失效当人是否按逻辑推理被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：这条区分被讲清之后，逻辑的规范地位反而更需要独立辩护——它不能靠「人本来就这么想」来支撑。　空栏未进入全部具备独立来源链的同向报告的失败案例、退出对象、被删版本与无法归类的反向记录　异名数理逻辑与集合论称为“两个大定理被完整形式化”；另见第008号《数理逻辑与集合论》“两个大定理被完整形式化”

庚、逻辑后承：从保真定义到模型类别的选择Logical Consequence after Tarski

提出MARIO GÓMEZ-TORRENTE，2009年，〈REREADING TARSKI ON LOGICAL CONSEQUENCE〉，《The Review of Symbolic Logic 2(2):249-297》，DOI 10.1017/s1755020309090200　争议Pilar Terrés-Villalonga，2025年，〈Reflections on language and charity: a response to Stei’s “Logical Pluralism and Logical Consequence”〉，《Asian Journal of Philosophy 4(1)》，DOI 10.1007/s44204-025-00249-z　最新Lassi Saario-Ramsay，2024年，〈From Natural to Artificial: The Transformation of the Concept of Logical Consequence in Bolzano, Carnap, and Tarski〉，《Philosophies 9(6):178》，DOI 10.3390/philosophies9060178　奠基Rudolf Carnap，1937年，《The Logical Syntax of Language》（专著）；把逻辑选择与语言框架相连　关键逻辑后承在独立证据中的稳定结论数／全部接受相同边界检验的对象

现代后承理论不再把保真性视为唯一现成答案，而追问模型、词汇替换和可能解释的范围由谁决定。

Tarski 方案给出清晰语义条件，却可能把材料相关性和推理资源排除。

三笔互异来源共同留下了一条可复算路线。不得删去的限制句是：逻辑后承；2009／2024／12。相关逻辑、直觉主义和子结构逻辑分别修改可接受模型或结构规则。接口处最容易发生的错配是把条件当成结果。第089号的“模型的认识论”只是接口异名，本条仍对逻辑后承单独负责。

比较读数不是哪套逻辑定理更多，而是它保住哪些推理、拒绝哪些反例，并为每项拒绝支付什么表达代价。本条的更新并非简单增加一篇文献。不得删去的限制句是：Rudolf Carnap，1937年，《The Logical Syntax of Language》（专著）；把逻辑选择与语言框架相连；由逻辑后承承担同指证明。

三笔互异来源共同留下了一条可复算路线。不得删去的限制句是：逻辑后承（2009→2024）。判断强弱时采用：“逻辑后承在独立证据中的稳定结论数／全部接受相同边界检验的对象”。若把本条直接搬到邻域，首先破坏的是。全部接受相同边界检验的对象列为基数；漏项另收逻辑后承的退出、删版及反向记录。

相邻页面记录的是另一种账本，本条不能被它吞并：逻辑后承。邻接码089／科学哲学；不得删去的限制句是“现代后承理论不再把保真性视为唯一现成答案，而追问模型、词汇替换和可能解释的范围由谁决定”。资料反查显示，真正发生变化的是比较单位。逻辑后承的证据时距为2009→2024；提出、争议、更新各守一格。

位置S——它把“逻辑后承作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“逻辑后承作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔04 测量不改变被测对象〕2009—2024年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲逻辑后承在独立证据中的稳定结论数／全部接受相同边界检验的对象　失效当逻辑后承被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：现代后承理论不再把保真性视为唯一现成答案，而追问模型、词汇替换和可能解释的范围由谁决定。　空栏未进入全部接受相同边界检验的对象的失败案例、退出对象、被删版本与无法归类的反向记录　异名科学哲学称为“模型的认识论”；另见第089号《科学哲学》“模型的认识论”

辛、矛盾容忍：局部冲突不再自动推出一切Paraconsistent Logic and Inconsistency

提出Y. Ma, G. Qi, P. Hitzler，2011年，〈Computing inconsistency measure based on paraconsistent semantics〉，《Journal of Logic and Computation 21(6):1257-1281》，DOI 10.1093/logcom/exq053　争议Peter Verdée，2020年，〈Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic〉，《Synthese 198(S22):5415-5449》，DOI 10.1007/s11229-020-02638-8　最新Philipp Mayr，2026年，〈A Simple Paraconsistent Logic without Addition〉，《Journal of Philosophical Logic 55(1):167-198》，DOI 10.1007/s10992-025-09827-1　奠基Nuel Belnap，1977年，《A Useful Four-Valued Logic》（论文）；为冲突信息的非爆炸推理给出结构　关键矛盾容忍在独立证据中的稳定结论数／全部预先登记的判断而非事后保留项

经典爆炸律使一组前提只要含矛盾便能推出任意命题，实际数据库、法律和科学理论却常在冲突未清前继续推理。

次协调逻辑限制爆炸，把矛盾位置、传播范围与可行动结论分开。

证据之所以可比较，是因为它们共享对象却不共享结论。观察窗外沿写成：矛盾容忍；2011／2026／17。它不主张矛盾都为真，而是拒绝由冲突直接摧毁区分力。把本条放进另一套制度后，名义成功可能立即反号。第304号的“表示空间有点度谱”只是接口异名，本条仍对矛盾容忍单独负责。

若系统把每个矛盾都隔离，容错越强，也可能越难发现真正需要修复的全局不一致。原始出处与更新出处之间保留了一个必要差额。观察窗外沿写成：Nuel Belnap，1977年，《A Useful Four-Valued Logic》（论文）；为冲突信息的非爆炸推理给出结构；由矛盾容忍承担同指证明。

本条的更新并非简单增加一篇文献。观察窗外沿写成：矛盾容忍（2011→2026）。对照组共享的量纲写作：“矛盾容忍在独立证据中的稳定结论数／全部预先登记的判断而非事后保留项”。这一接口的价值正在于相似名词背后的反向判据。全部预先登记的判断而非事后保留项列为基数；漏项另收矛盾容忍的退出、删版及反向记录。

与邻块对照后，本领域的独特责任落在：矛盾容忍。邻接码304／可计算性与递归论；观察窗外沿写成“经典爆炸律使一组前提只要含矛盾便能推出任意命题，实际数据库、法律和科学理论却常在冲突未清前继续推理”。这组文献的认识收益来自相互不一致。矛盾容忍的证据时距为2011→2026；提出、争议、更新各守一格。

位置D——它把“矛盾容忍作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“矛盾容忍作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔04 测量不改变被测对象〕2011—2026年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲矛盾容忍在独立证据中的稳定结论数／全部预先登记的判断而非事后保留项　失效当矛盾容忍被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：经典爆炸律使一组前提只要含矛盾便能推出任意命题，实际数据库、法律和科学理论却常在冲突未清前继续推理。　空栏未进入全部预先登记的判断而非事后保留项的失败案例、退出对象、被删版本与无法归类的反向记录　异名可计算性与递归论称为“表示空间有点度谱”；另见第304号《可计算性与递归论》“表示空间有点度谱”
【第二幕】这一个十年 · 主证据 2016–2026

这一幕追踪平台化、开放化与人工智能条件下，旧命题如何被独立争议和新近证据重新限定。

一、多元论的十年Logical Pluralism after Its First Decade

提出Diego Tajer, Camillo Fiore，2022年，〈Logical Pluralism and Interpretations of Logical Systems〉，《Logic and Logical Philosophy 31(2):209-234》，DOI 10.12775/llp.2022.007　争议Manuel Bremer，2013年，〈Restall and Beall on Logical Pluralism: A Critique〉，《Erkenntnis 79(S2):293-299》，DOI 10.1007/s10670-013-9478-8　最新Pilar Terrés-Villalonga，2025年，〈Reflections on language and charity: a response to Stei’s “Logical Pluralism and Logical Consequence”〉，《Asian Journal of Philosophy 4(1)》，DOI 10.1007/s44204-025-00249-z　奠基未检得1980年前与“多元论的十年”同指的稳定命名；其独立对象依赖数字数据才可观察　关键多元论的十年在独立证据中的稳定结论数／全部包含反例搜索的同题工作

比尔与雷斯托尔 2006 年提出的逻辑多元论主张：不止一套逻辑是正确的，因为「有效」这个概念本身可以按不同方式落实。这十年的争论重心已经从「是不是多元」移到「多元论究竟说了什么」。

最锋利的追问来自规范性：如果两套逻辑都对，而它们在某个推理上给出相反的判断，那么此刻我该照哪一套推？多元论若答不上这一句，它就只是在描述若干形式系统的并存，而没有说出任何关于。

这一条的可核验性来自来源之间仍可相互否定。本条停止外推之处是：多元论的十年；2022／2025／2。推动多元论的其实是实践：直觉主义逻辑在需要从证明中读出构造的地方好用。

多元论的具体主张是：可以有不止一套逻辑同时正确，因为对有效性的刻画依赖于用什么样的情形做检验——允许不完全或不一致的情形，得到的有效推理集合就不同。

从主证据到新近检验，判断标准已经换过一次。本条停止外推之处是：多元论的十年（2022→2025）。传播量退出后留下的读数是：“多元论的十年在独立证据中的稳定结论数／全部包含反例搜索的同题工作”。

真正需要登记的空栏不是一般性的未知：多元论的十年。邻接码094／数学哲学；本条停止外推之处是“多元论的具体主张是：可以有不止一套逻辑同时正确，因为对有效性的刻画依赖于用什么样的情形做检验——允许不完全或不一致的情。最新工作只在改变失效边界时才算更新。多元论的十年的证据时距为2022→2025；提出、争议、更新各守一格。

位置E——它把“多元论的十年作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“多元论的十年作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔04 测量不改变被测对象〕2022—2025年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲多元论的十年在独立证据中的稳定结论数／全部包含反例搜索的同题工作　失效当多元论的十年被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：多元论的具体主张是：可以有不止一套逻辑同时正确，因为对有效性的刻画依赖于用什么样的情形做检验——允许不完全或不一致的情形，得到。　空栏未进入全部包含反例搜索的同题工作的失败案例、退出对象、被删版本与无法归类的反向记录　异名数学哲学称为“结构主义的复活”；另见第094号《数学哲学》“结构主义的复活”

二、反例外主义：用溯因法挑逻辑Logical Anti-Exceptionalism

提出John Wigglesworth，2017年，〈Logical anti-exceptionalism and theoretical equivalence〉，《Analysis 77(4):759-767》，DOI 10.1093/analys/anx072　争议Matthew Carlson，2022年，〈Anti-exceptionalism and the justification of basic logical principles〉，《Synthese 200(3)》，DOI 10.1007/s11229-022-03715-w　最新Thomas Uebel，2025年，〈Logical empiricist anti-exceptionalism in its Austro-German context〉，《Studies in History and Philosophy of Science 110:46-54》，DOI 10.1016/j.shpsa.2025.03.003　奠基未检得1980年前与“反例外主义”同指的稳定命名；其问题形态由联网平台首次稳定生成　关键反例外主义在独立证据中的稳定结论数／全部可追溯到原始出处的有效主张

2010 年代中后期成形的反例外主义提出一个正面纲领：逻辑理论的选择走的是溯因推理，和自然科学一样——比较各自的解释力、简单性、与其余理论的兼容程度、对反常案例（悖论、条件句、模糊性）的处理代价。

需要分清的是方法之争与结论之争。威廉姆森接受这套溯因方法，却正是用它来论证经典逻辑依然最优：放弃排中律或爆炸律所付出的系统性代价，比它换来的好处大。

本条的更新并非简单增加一篇文献。邻域不能代写的边界为：反例外主义；2017／2025／9。这一步的哲学分量在于取消了一个长期存在的双重标准：过去可以用「这违反逻辑」来终结讨论，如今这句话变成了一个需要辩护的理论主张。

反例外主义把逻辑拉下神坛：逻辑理论的选择不靠先天直观，而与科学理论一样靠溯因——看它对推理实践的拟合度、简单性、与其他理论的融贯度。

若只看摘要会漏掉的一点是。邻域不能代写的边界为：反例外主义（2017→2025）。重做者应直接报告：“反例外主义在独立证据中的稳定结论数／全部可追溯到原始出处的有效主张”。

相邻领域提供了同题异名，却没有相同分母：反例外主义。邻接码008／数理逻辑与集合论；邻域不能代写的边界为“反例外主义把逻辑拉下神坛：逻辑理论的选择不靠先天直观，而与科学理论一样靠溯因——看它对推理实践的拟合度、简单性。沿着原题而不是作者姓名回查，证据分界变得清楚。反例外主义的证据时距为2017→2025；提出、争议、更新各守一格。

位置S——它把“反例外主义作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“反例外主义作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔13 时间尺度可自由压缩〕2017—2025年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲反例外主义在独立证据中的稳定结论数／全部可追溯到原始出处的有效主张　失效当反例外主义被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：反例外主义把逻辑拉下神坛：逻辑理论的选择不靠先天直观，而与科学理论一样靠溯因——看它对推理实践的拟合度、简单性、与其他理论的融贯。　空栏未进入全部可追溯到原始出处的有效主张的失败案例、退出对象、被删版本与无法归类的反向记录　异名数理逻辑与集合论称为“一个五十年老问题的意外解决”；另见第008号《数理逻辑与集合论》“一个五十年老问题的意外解决”

三、悖论方案的代价核算Cost Accounting for Paradox Solutions

提出Jared Warren，2023年，〈The Liar Paradox and “Meaningless” Revenge〉，《Journal of Philosophical Logic 53(1):49-78》，DOI 10.1007/s10992-023-09719-2　争议Karina Schumann, Michael Ross，2010年，〈The Benefits, Costs, and Paradox of Revenge〉，《Social and Personality Psychology Compass 4(12):1193-1205》，DOI 10.1111/j.1751-9004.2010.00322.x　最新Lucy Androsiuk, Shay Tal，2026年，〈Rethinking the plasmid paradox: when plasmid costs do not affect fitness〉，《Frontiers in Microbiology 17》，DOI 10.3389/fmicb.2026.1836467　奠基未检得1980年前与“悖论方案的代价核算”同指的稳定命名；其判据需要近年的形式工具才能执行　关键悖论方案的代价核算在独立证据中的稳定结论数／全部被纳入且未因缺失退出的观察单位

说谎者悖论是这套方法最好的试验场。这十年几个主要方案都成熟到了可以互相比价的程度：接受某些矛盾为真的双面真理论；放弃排中律的次完全方案；限制某些结构规则（收缩、传递）的方案。

结果是一条反复出现的结论：没有免费的解法。每一种处理都必须在某处放弃一条我们本以为不可放弃的规则——不是排中，就是爆炸，或者是「A 蕴涵 A」这类看起来天经地义的东西，再不然就是牺牲理论表达自身语义的。

原始出处与更新出处之间保留了一个必要差额。接口表只承认这条界线：悖论方案的代价核算；2023／2026／3。这本身就是反例外主义最好的证据：既然选择只能靠权衡损失，逻辑的地位就与其他理论无异。

悖论方案的代价核算，是这十年方法论上最实的进步：处理说谎者悖论的每一种方案——放弃排中、引入真值间隙、分层、限制真谓词——都要付出可以列举的代价，比如失去某些直观的推理规则或无法表达。

把版本、反证与新证据放在同一时间轴上。接口表只承认这条界线：悖论方案的代价核算（2023→2026）。版本变化由这个比例刻画：“悖论方案的代价核算在独立证据中的稳定结论数／全部被纳入且未因缺失退出的观察单位”。

邻块能够补充机制，却不能替代这里的责任对象：悖论方案的代价核算。邻接码089／科学哲学；接口表只承认这条界线“悖论方案的代价核算，是这十年方法论上最实的进步：处理说谎者悖论的每一种方案——放弃排中、引入真值间隙、分层、限。

位置D——它把“悖论方案的代价核算作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“悖论方案的代价核算作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔13 时间尺度可自由压缩〕2023—2026年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲悖论方案的代价核算在独立证据中的稳定结论数／全部被纳入且未因缺失退出的观察单位　失效当悖论方案的代价核算被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：悖论方案的代价核算，是这十年方法论上最实的进步：处理说谎者悖论的每一种方案——放弃排中、引入真值间隙、分层、限制真谓词——都要付出可以。　空栏未进入全部被纳入且未因缺失退出的观察单位的失败案例、退出对象、被删版本与无法归类的反向记录　异名科学哲学称为“价值中立理想的终结”；另见第089号《科学哲学》“价值中立理想的终结”

四、逻辑成为可执行的东西Logic as Executable Infrastructure

提出Stefano Guerrini, Andrea Masini，2021年，〈Proof Nets for Classical Logic〉，《Notre Dame Journal of Formal Logic 62(2)》，DOI 10.1215/00294527-2021-0016　争议S. Adian, L. Beklemishev, A. Visser，2011年，〈Proof and Computation〉，《Journal of Logic and Computation 21(4):541-542》，DOI 10.1093/logcom/exp042　最新Dale Miller，2026年，〈Book Announcement: Proof Theory and Logic Programming: Computation as Proof Search〉，《ACM SIGLOG News 13(1):3-4》，DOI 10.1145/3795861.3795864　奠基未检得1980年前与“逻辑成为可执行的东西”同指的稳定命名；其证据单位随开放基础设施才出现　关键逻辑成为可执行的东西在独立证据中的稳定结论数／全部可由第三方重做的证据链节点

与此同时，逻辑在实践中的身份变了。证明助手与类型论把逻辑从课堂话题变成日常工具：数学被逐条形式化，操作系统内核与编译器被形式验证，规范被写成可机器检查的对象。

这给哲学带来两个具体后果。其一，构造性与经典性的差别不再是立场之争而是工程选择——在需要从证明中抽取程序的地方，直觉主义逻辑因为好用而被采用，这正是溯因式理由。

源行给出的三笔材料把争论切成三个可检查节点。异名对齐后仍剩下：逻辑成为可执行的东西；2021／2026／0。逻辑成为可执行的东西，指的是证明助手与类型论的成熟：推理规则被写进机器可检查的系统，构造性证明与程序在类型论。

相邻领域提供了同题异名，却没有相同分母。异名对齐后仍剩下：逻辑成为可执行的东西／可计算性与递归论（第304号）。

这组文献的认识收益来自相互不一致。异名对齐后仍剩下：逻辑成为可执行的东西（2021→2026）。真正进入比较表的是：“逻辑成为可执行的东西在独立证据中的稳定结论数／全部可由第三方重做的证据链节点”。

跨域引用若只剩名词相似就没有供料价值：逻辑成为可执行的东西。邻接码304／可计算性与递归论；异名对齐后仍剩下“逻辑成为可执行的东西，指的是证明助手与类型论的成熟：推理规则被写进机器可检查的系统，构造性证明与程序。把三篇材料压成一句共识会损失最重要的信息。逻辑成为可执行的东西的证据时距为2021→2026；提出、争议、更新各守一格。

位置E——它把“逻辑成为可执行的东西作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“逻辑成为可执行的东西作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔13 时间尺度可自由压缩〕2021—2026年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲逻辑成为可执行的东西在独立证据中的稳定结论数／全部可由第三方重做的证据链节点　失效当逻辑成为可执行的东西被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：逻辑成为可执行的东西，指的是证明助手与类型论的成熟：推理规则被写进机器可检查的系统，构造性证明与程序在类型论中被等同起来。　空栏未进入全部可由第三方重做的证据链节点的失败案例、退出对象、被删版本与无法归类的反向记录　异名可计算性与递归论称为“成本函数把低度性变成可支付预算”；另见第304号《可计算性与递归论》“成本函数把低度性变成可支付预算”

五、机器在推理，逻辑在哪里Machine Reasoning and Logic

提出Müge Oluçoğlu, Okan Bursa，2026年，〈DL-ReasonSuite: A Benchmark for Evaluating Description Logic Reasoning in Large Language Models〉，《Applied Sciences 16(4):1821》，DOI 10.3390/app16041821　争议Sebastián Tapia-Mandiola, Roberto Araya，2024年，〈From Play to Understanding: Large Language Models in Logic and Spatial Reasoning Coloring Activities for Children〉，《AI 5(4):1870-1892》，DOI 10.3390/ai5040093　最新Leonard Wexler, Trevor Ellington，2026年，〈Advancing Mathematical Reasoning Excellence via Self Play Reinforcement Learning Frameworks for Recursive Logic Improvement in Large Language Models〉，《International Journal of Artificial Intelligence Research 1(2)》，DOI 10.66280/ijair.v1i2.155　奠基未检得1980年前与“机器在推理，逻辑在哪里”同指的稳定命名；其责任链在算法介入后才成为新结构　关键机器在推理，逻辑在哪里在独立证据中的稳定结论数／全部在替代模型下接受比较的结果

最后一个新问题来自旁边的领域：如果一个内部没有任何显式逻辑规则的统计系统，能在大量自然语言推理上做对，那么逻辑理论刻画的到底是什么？

这三个答案在过去可以含混地共存，如今被迫分开。它把逻辑哲学、语言哲学与认知科学重新缝到了一起：逻辑若是规范，就得说明凭什么规范一个不按它运行的东西。

从主证据到新近检验，判断标准已经换过一次。共同名词未消除的限制是：机器在推理，逻辑在哪里；2026／2026／1。一个折中的读法正在成形：形式逻辑刻画的既不是人脑的过程，也不是柏拉图式的真理，而是我们为了让推理可被公开检。

机器在推理、逻辑在哪里，是一个正在浮现的问题：自动推理系统与语言模型都在大规模地做推理，但它们所遵循的并不是任何一套被明确写下的逻辑。

最强读数不是引用量而是边界能否被重复触发。共同名词未消除的限制是：机器在推理，逻辑在哪里（2026→2026）。本条的经验重量落在：“机器在推理，逻辑在哪里在独立证据中的稳定结论数／全部在替代模型下接受比较的结果”。

这项判断只有在空栏对象被重新计入时才完整：机器在推理，逻辑在哪里。邻接码094／数学哲学；共同名词未消除的限制是“机器在推理、逻辑在哪里，是一个正在浮现的问题：自动推理系统与语言模型都在大规模地做推理，但它们所遵循。三笔互异来源共同留下了一条可复算路线。机器在推理，逻辑在哪里的证据时距为2026→2026；提出、争议、更新各守一格。

位置S——它把“机器在推理，逻辑在哪里作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“机器在推理，逻辑在哪里作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔17 局部最优可加总为整体最优〕2026—2026年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲机器在推理，逻辑在哪里在独立证据中的稳定结论数／全部在替代模型下接受比较的结果　失效当机器在推理，逻辑在哪里被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：机器在推理、逻辑在哪里，是一个正在浮现的问题：自动推理系统与语言模型都在大规模地做推理，但它们所遵循的并不是任何一套被明确写。　空栏未进入全部在替代模型下接受比较的结果的失败案例、退出对象、被删版本与无法归类的反向记录　异名数学哲学称为“图示推理：图不只是说明文字，也能承担证明步骤”；另见第094号《数学哲学》“图示推理：图不只是说明文字，也能承担证明步骤”

六、溯因选逻辑：公理也要靠解释力竞争Abductive Choice of Logic

提出Graham Priest，2019年，〈Logical Theory Choice〉，《The Australasian Journal of Logic 16(7):283-297》，DOI 10.26686/ajl.v16i7.5917　争议Georg Brun，2018年，〈Logical expressivism, logical theory and the critique of inferences〉，《Synthese 196(11):4493-4509》，DOI 10.1007/s11229-017-1662-y　最新M.J. Oripova，2026年，〈Methodology for Developing Students’ Analytical and Logical Thinking Skills Through an Integrative Approach〉，《International Journal of Pedagogics 06(05):141-143》，DOI 10.37547/ijp/volume06issue05-30　奠基未检得1980年前与“溯因选逻辑”同指的稳定命名；其失败样本依赖版本记录才能保留　关键溯因选逻辑在独立证据中的稳定结论数／全部跨版本仍保留同一含义的记录

反例外主义把逻辑选择与科学理论选择并列：比较候选系统的简洁、解释范围、与数学实践的协调及对异常的处理，而非宣布逻辑先验免检。

溯因方法能解释为何反例会推动修正规则，也暴露标准循环——评价解释力时已经在使用某套推理。

本条没有把新近发表自动当作更真。被排除者据此重新入账：溯因选逻辑；2019／2026／6。研究应公开评价维度与权重。

若换一套元逻辑就使排名完全反转，证据越多，选择反而越依赖未说明的背景逻辑。检索所得的独立来源把支持与占位分开。被排除者据此重新入账：未检得1980年前与“溯因选逻辑”同指的稳定命名；其失败样本依赖版本记录才能保留；由溯因选逻辑承担同指证明。

证据之所以可比较，是因为它们共享对象却不共享结论。被排除者据此重新入账：溯因选逻辑（2019→2026）。边界改变须反映到：“溯因选逻辑在独立证据中的稳定结论数／全部跨版本仍保留同一含义的记录”。与邻块的分界不靠学科名称而靠谁被排除。全部跨版本仍保留同一含义的记录列为基数；漏项另收溯因选逻辑的退出、删版及反向记录。

这里的最后一步是把未进入分母者重新命名：溯因选逻辑。邻接码008／数理逻辑与集合论；被排除者据此重新入账“反例外主义把逻辑选择与科学理论选择并列：比较候选系统的简洁、解释范围、与数学实践的协调及对异常的处理，而非。证据之所以可比较，是因为它们共享对象却不共享结论。溯因选逻辑的证据时距为2019→2026；提出、争议、更新各守一格。

位置D——它把“溯因选逻辑作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“溯因选逻辑作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔17 局部最优可加总为整体最优〕2019—2026年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲溯因选逻辑在独立证据中的稳定结论数／全部跨版本仍保留同一含义的记录　失效当溯因选逻辑被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：反例外主义把逻辑选择与科学理论选择并列：比较候选系统的简洁、解释范围、与数学实践的协调及对异常的处理，而非宣布逻辑先验免检。　空栏未进入全部跨版本仍保留同一含义的记录的失败案例、退出对象、被删版本与无法归类的反向记录　异名数理逻辑与集合论称为“形式化跨出数学”；另见第008号《数理逻辑与集合论》“形式化跨出数学”

七、逻辑预测主义：好逻辑应当预告尚未整理的判断Predictivism about Logic

提出Ben Martin, Ole Hjortland，2020年，〈Logical Predictivism〉，《Journal of Philosophical Logic 50(2):285-318》，DOI 10.1007/s10992-020-09566-5　争议David Harker，2011年，〈ERIC CHRISTIAN BARNES<i>The Paradox of Predictivism</i>〉，《The British Journal for the Philosophy of Science 62(1):219-223》，DOI 10.1093/bjps/axq027　最新未检得2020年后独立更新　奠基未检得1980年前与“逻辑预测主义”同指的稳定命名；其跨机构比较以机器可读接口为前提　关键逻辑预测主义在独立证据中的稳定结论数／全部公开成功与失败的尝试

逻辑理论常在已知悖论与直觉上反复调参，预测主义要求它在新案例、复杂嵌套或独立语料上给出事前判断。

这样可区分解释与拟合，并把哲学直觉转成可记录的预测。

这条证据链最值得保留的不是结论口号。移入另一制度前先检查：逻辑预测主义；2020／2024／39。困难是逻辑的目标并非描述多数人判断；人类反应也受语言和工作记忆影响。

若只以答题一致率为准，样本越大，规范逻辑反而越可能被常见偏误替代。把提出文献与最新文献并排后可以看见。移入另一制度前先检查：未检得1980年前与“逻辑预测主义”同指的稳定命名；其跨机构比较以机器可读接口为前提；由逻辑预测主义承担同指证明。

原始出处与更新出处之间保留了一个必要差额。移入另一制度前先检查：逻辑预测主义（2020→2024）。反例也进入计算后的式子是：“逻辑预测主义在独立证据中的稳定结论数／全部公开成功与失败的尝试”。与邻块对照后，本领域的独特责任落在。全部公开成功与失败的尝试列为基数；漏项另收逻辑预测主义的退出、删版及反向记录。

这一命题的边界不能交给相邻学科代写：逻辑预测主义。邻接码089／科学哲学；移入另一制度前先检查“逻辑理论常在已知悖论与直觉上反复调参，预测主义要求它在新案例、复杂嵌套或独立语料上给出事前判断”。这一条的可核验性来自来源之间仍可相互否定。逻辑预测主义的证据时距为2020→2024；提出、争议、更新各守一格。

位置E——它把“逻辑预测主义作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“逻辑预测主义作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔17 局部最优可加总为整体最优〕2020—2024年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲逻辑预测主义在独立证据中的稳定结论数／全部公开成功与失败的尝试　失效当逻辑预测主义被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：逻辑理论常在已知悖论与直觉上反复调参，预测主义要求它在新案例、复杂嵌套或独立语料上给出事前判断。　空栏未进入全部公开成功与失败的尝试的失败案例、退出对象、被删版本与无法归类的反向记录　异名科学哲学称为“预测与理解分账：算得准不等于知道为什么”；另见第089号《科学哲学》“预测与理解分账：算得准不等于知道为什么”

八、实验逻辑哲学：推理直觉开始接受跨群体测量Experimental Philosophy of Logic

提出Yuri Sato，2021年，〈Advances in Experimental Philosophy of Logic and Mathematics〉，《History and Philosophy of Logic 43(3):305-307》，DOI 10.1080/01445340.2021.1949116　争议未检得同题独立反证　最新未检得2020年后独立更新　奠基未检得1980年前与“实验逻辑哲学”同指的稳定命名；其反例只有在大规模复算中才可见　关键实验逻辑哲学在独立证据中的稳定结论数／全部达到最低可读与可复算条件的作品

问卷和行为实验显示，人们对有效性、否定和条件句的判断受语言、教育与情境影响。

实验不能投票决定正确逻辑，却能识别哪些所谓普遍直觉只是小型专家群体的产物。

若只看摘要会漏掉的一点是。空栏重计时遵守：实验逻辑哲学；2021／2024／0。合格设计要把理解错误、语用推断和真正的规则偏好分开，并比较专家与非专家。

若题目形式暗示预期答案，控制越严格，测到的反而越可能是考试训练而非推理规范。把版本、反证与新证据放在同一时间轴上。空栏重计时遵守：未检得1980年前与“实验逻辑哲学”同指的稳定命名；其反例只有在大规模复算中才可见；由实验逻辑哲学承担同指证明。

本条没有把新近发表自动当作更真。空栏重计时遵守：实验逻辑哲学（2021→2024）。作品是否可读取决于：“实验逻辑哲学在独立证据中的稳定结论数／全部达到最低可读与可复算条件的作品”。接口处最容易发生的错配是把条件当成结果。全部达到最低可读与可复算条件的作品列为基数；漏项另收实验逻辑哲学的退出、删版及反向记录。

若把本条直接搬到邻域，首先破坏的是：实验逻辑哲学。邻接码304／可计算性与递归论；空栏重计时遵守“问卷和行为实验显示，人们对有效性、否定和条件句的判断受语言、教育与情境影响。本条的更新并非简单增加一篇文献。实验逻辑哲学的证据时距为2021→2024；提出、争议、更新各守一格。

位置S——它把“实验逻辑哲学作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“实验逻辑哲学作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔21 制度采纳不改变指标含义〕2021—2024年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲实验逻辑哲学在独立证据中的稳定结论数／全部达到最低可读与可复算条件的作品　失效当实验逻辑哲学被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：问卷和行为实验显示，人们对有效性、否定和条件句的判断受语言、教育与情境影响。实验不能投票决定正确逻辑，却能识别哪些所谓普遍直觉。　空栏未进入全部达到最低可读与可复算条件的作品的失败案例、退出对象、被删版本与无法归类的反向记录　异名可计算性与递归论称为“组合问题之间的统一归约必须保持实例”；另见第304号《可计算性与递归论》“组合问题之间的统一归约必须保持实例”

九、元推理层：规则之间的推理也可能改换逻辑Metainferential Logics

提出Miguel Álvarez Lisboa，2025年，〈Intuitionistic Logic from a Metainferential Perspective〉，《Logic and Logical Philosophy:1-33》，DOI 10.12775/llp.2025.006　争议Rea Golan，2022年，〈On the Metainferential Solution to the Semantic Paradoxes〉，《Journal of Philosophical Logic 52(3):797-820》，DOI 10.1007/s10992-022-09688-y　最新Chris Scambler，2023年，〈THREE PAPERS ON RECENT WORK ON META-VALIDITY - David Ripley, <i>One step is enough</i>. Journal of Philosophical Logic, vol. 51 (2022), pp. 1233–1259. - Isabella McAllister, <i>Classical logic is not uniquely characterizable</i>. Journal of Philosophical Logic, vol. 51 (2022), pp. 1345–1365. - Rea Golan, <i>There is no tenable notion of global metainferential validity</i>. Analysis, vol. 81 (2021), no. 3, pp. 411–420.〉，《The Bulletin of Symbolic Logic 29(3):453-456》，DOI 10.1017/bsl.2023.17　奠基未检得1980年前与“元推理层”同指的稳定命名；其量纲随新型计量制度才成立　关键元推理层在独立证据中的稳定结论数／全部独立机构、社群或实验装置

某些系统在对象层接受经典推理，却在关于推理的推理层拒绝同样结构；元推理逻辑据此区分命题后承与规则后承。

它为混合悖论和多层规范提供新工具，也挑战逻辑只有一层的默认。

检索所得的独立来源把支持与占位分开。可否定前提由此确定：元推理层；2025／2023／0。复杂度代价很高：层级增加后，可判定性和直观解释迅速下降。

若每次反例都升一层处理，理论越安全，统一反驳它的可能性反而越低。主证据建立对象，争议笔负责暴露代价。可否定前提由此确定：未检得1980年前与“元推理层”同指的稳定命名；其量纲随新型计量制度才成立；由元推理层承担同指证明。

检索所得的独立来源把支持与占位分开。可否定前提由此确定：元推理层（2025→2023）。机构差异最后折算为：“元推理层在独立证据中的稳定结论数／全部独立机构、社群或实验装置”。把本条放进另一套制度后，名义成功可能立即反号。全部独立机构、社群或实验装置列为基数；漏项另收元推理层的退出、删版及反向记录。

接口处最容易发生的错配是把条件当成结果：元推理层。邻接码094／数学哲学；可否定前提由此确定“某些系统在对象层接受经典推理，却在关于推理的推理层拒绝同样结构；元推理逻辑据此区分命题后承与规则后承”。原始出处与更新出处之间保留了一个必要差额。元推理层的证据时距为2025→2023；提出、争议、更新各守一格。

位置D——它把“元推理层作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“元推理层作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔21 制度采纳不改变指标含义〕2025—2023年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲元推理层在独立证据中的稳定结论数／全部独立机构、社群或实验装置　失效当元推理层被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：某些系统在对象层接受经典推理，却在关于推理的推理层拒绝同样结构；元推理逻辑据此区分命题后承与规则后承。　空栏未进入全部独立机构、社群或实验装置的失败案例、退出对象、被删版本与无法归类的反向记录　异名数学哲学称为“图示推理：图不只是说明文字，也能承担证明步骤”；另见第094号《数学哲学》“图示推理：图不只是说明文字，也能承担证明步骤”

十、逻辑虚无主义与普遍主义：是否存在真正无例外的后承Logical Nihilism and Universalism

提出Bogdan Dicher，2020年，〈Requiem for logical nihilism, or: Logical nihilism annihilated〉，《Synthese 198(8):7073-7096》，DOI 10.1007/s11229-019-02510-4　争议Andreas Fjellstad，2020年，〈Logical Nihilism and the Logic of ‘prem’〉，《Logic and Logical Philosophy 30(2):311-325》，DOI 10.12775/llp.2020.023　最新Y. Sandy Berkovski，2025年，〈Logical Fatalism and Causal Nihilism〉，《Philosophia 53(3):1075-1091》，DOI 10.1007/s11406-025-00882-1　奠基未检得1980年前与“逻辑虚无主义与普遍主义”同指的稳定命名；其空栏对象由近年的数据治理重新显影　关键逻辑虚无主义与普遍主义在独立证据中的稳定结论数／全部处于同一制度规则下的案例

逻辑虚无主义认为没有任何实质推理在所有解释下都有效，普遍主义则让几乎所有推理在某种宽泛标准下成立；两端都用极端量化揭示后承定义的隐藏参数。

争论迫使多元论说明哪些解释算合法、哪些词保持不变。

把提出文献与最新文献并排后可以看见。两套账本在这里分叉：逻辑虚无主义与普遍主义；2020／2025／10。若允许的解释域无限扩张，保真推理越少；若限制过强，结论又由先验筛选保证。

有效理论必须公开解释域变化时后承集的敏感度。资料反查显示，真正发生变化的是比较单位。两套账本在这里分叉：未检得1980年前与“逻辑虚无主义与普遍主义”同指的稳定命名；其空栏对象由近年的数据治理重新显影；由逻辑虚无主义与普遍主义承担同指证明。

主证据建立对象，争议笔负责暴露代价。两套账本在这里分叉：逻辑虚无主义与普遍主义（2020→2025）。制度效应以此量纲识别：“逻辑虚无主义与普遍主义在独立证据中的稳定结论数／全部处于同一制度规则下的案例”。这一命题的边界不能交给相邻学科代写。全部处于同一制度规则下的案例列为基数；漏项另收逻辑虚无主义与普遍主义的退出、删版及反向记录。

两套语汇相遇后，需要新增而非合并的字段是：逻辑虚无主义与普遍主义。邻接码008／数理逻辑与集合论；两套账本在这里分叉“逻辑虚无主义认为没有任何实质推理在所有解释下都有效，普遍主义则让几乎所有推理在某种宽泛标准。源行给出的三笔材料把争论切成三个可检查节点。逻辑虚无主义与普遍主义的证据时距为2020→2025；提出、争议、更新各守一格。

位置E——它把“逻辑虚无主义与普遍主义作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“逻辑虚无主义与普遍主义作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔21 制度采纳不改变指标含义〕2020—2025年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲逻辑虚无主义与普遍主义在独立证据中的稳定结论数／全部处于同一制度规则下的案例　失效当逻辑虚无主义与普遍主义被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：逻辑虚无主义认为没有任何实质推理在所有解释下都有效，普遍主义则让几乎所有推理在某种宽泛标准下成立。　空栏未进入全部处于同一制度规则下的案例的失败案例、退出对象、被删版本与无法归类的反向记录　异名数理逻辑与集合论称为“形式化跨出数学”；另见第008号《数理逻辑与集合论》“形式化跨出数学”

十一、自然语言形式化：翻译不是无损管道Formalization of Natural-Language Reasoning

提出Chafika Djaoui, Allaoua Chaoui，2024年，〈FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE〉，《Computer Science 25(3)》，DOI 10.7494/csci.2024.25.3.5964　争议Jaka Satria Warman, Hamzah Hamzah，2019年，〈AN ANALYSIS OF LOGICAL FALLACY ON JOKO WIDODO’S ARGUMENTS DURING 2019 INDONESIA PRESIDENTIAL DEBATE〉，《English Language and Literature 8(3)》，DOI 10.24036/ell.v8i3.105507　最新Gil Sagi，2020年，〈Logic in Natural Language: Commitments and Constraints〉，《Disputatio 12(58):277-308》，DOI 10.2478/disp-2020-0014　奠基未检得1980年前与“自然语言形式化”同指的稳定命名；其观察窗须借助实时平台才能维持　关键自然语言形式化在独立证据中的稳定结论数／全部有明确责任人与修订记录的来源

把法律、数学或日常论证翻成公式时，量词范围、时态、指称和语用前提都可能被重写。

新工作把形式化视为可争论的模型选择，而非推理前的机械清洗。

把版本、反证与新证据放在同一时间轴上。未入分母者沿此回归：自然语言形式化；2024／2020／1。应保存原句、形式化版本、丢失假设和替代翻译，并比较结论是否稳定。

若只公布最终公式，形式系统越精确，最初语义选择反而越难被审查。这组文献的认识收益来自相互不一致。未入分母者沿此回归：未检得1980年前与“自然语言形式化”同指的稳定命名；其观察窗须借助实时平台才能维持；由自然语言形式化承担同指证明。

最新工作只在改变失效边界时才算更新。未入分母者沿此回归：自然语言形式化（2024→2020）。责任链是否完整看：“自然语言形式化在独立证据中的稳定结论数／全部有明确责任人与修订记录的来源”。本条向外对撞时必须保留自己的观察窗。全部有明确责任人与修订记录的来源列为基数；漏项另收自然语言形式化的退出、删版及反向记录。

与邻块的分界不靠学科名称而靠谁被排除：自然语言形式化。邻接码089／科学哲学；未入分母者沿此回归“把法律、数学或日常论证翻成公式时，量词范围、时态、指称和语用前提都可能被重写。从主证据到新近检验，判断标准已经换过一次。自然语言形式化的证据时距为2024→2020；提出、争议、更新各守一格。

位置S——它把“自然语言形式化作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“自然语言形式化作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔23 中位个案代表分布〕2024—2020年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲自然语言形式化在独立证据中的稳定结论数／全部有明确责任人与修订记录的来源　失效当自然语言形式化被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：把法律、数学或日常论证翻成公式时，量词范围、时态、指称和语用前提都可能被重写。新工作把形式化视为可争论的模型选择，而非推理前的机。　空栏未进入全部有明确责任人与修订记录的来源的失败案例、退出对象、被删版本与无法归类的反向记录　异名科学哲学称为“气候模型集合：共识来自分歧的组织方式”；另见第089号《科学哲学》“气候模型集合：共识来自分歧的组织方式”

十二、证明助手与语言模型：产生推理和认证推理被彻底分开Proof Assistants and Language-Model Reasoning

提出Yuanrui Zhang, Frédéric Mallet, Zhiming Liu，2022年，〈A dynamic logic for verification of synchronous models based on theorem proving〉，《Frontiers of Computer Science 16(4)》，DOI 10.1007/s11704-022-1374-4　争议Adnan Rashid, Muhammad Umair, Osman Hasan，2020年，〈Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving〉，《IEEE Access 8:27291-27307》，DOI 10.1109/access.2020.2971661　最新Stefan Hetzl, Jannik Vierling，2023年，〈Induction and Skolemization in saturation theorem proving〉，《Annals of Pure and Applied Logic 174(1):103167》，DOI 10.1016/j.apal.2022.103167　奠基未检得1980年前与“证明助手与语言模型”同指的稳定命名；其边界以新近人机协作条件为前提　关键证明助手与语言模型在独立证据中的稳定结论数／全部被目标人群实际接触而非名义提供的对象

语言模型能快速提出证明草图，证明助手则只接受通过内核检查的形式项；两者结合把生成与认证拆成不同责任。

通过内核不保证形式化忠实于原命题，也不保证证明可理解。

主证据建立对象，争议笔负责暴露代价。失效条件最终指向：证明助手与语言模型；2022／2023／4。验收应同时检查编译成功率、规格错误率与人类复核时间。

若基准题来自训练库，自动通过率越高，真正新推理能力反而越难判断。最新工作只在改变失效边界时才算更新。失效条件最终指向：未检得1980年前与“证明助手与语言模型”同指的稳定命名；其边界以新近人机协作条件为前提；由证明助手与语言模型承担同指证明。

把三篇材料压成一句共识会损失最重要的信息。失效条件最终指向：证明助手与语言模型（2022→2023）。名义供给之外需要核算：“证明助手与语言模型在独立证据中的稳定结论数／全部被目标人群实际接触而非名义提供的对象”。这项判断只有在空栏对象被重新计入时才完整。全部被目标人群实际接触而非名义提供的对象列为基数；漏项另收证明助手与语言模型的退出、删版及反向记录。

对撞并不要求两边互相赞成，而要求共享可否定前提：证明助手与语言模型。邻接码304／可计算性与递归论；失效条件最终指向“语言模型能快速提出证明草图，证明助手则只接受通过内核检查的形式项。本条没有把新近发表自动当作更真。证明助手与语言模型的证据时距为2022→2023；提出、争议、更新各守一格。

位置D——它把“证明助手与语言模型作为可独立追踪、反驳并更新的命题结构成立所需的对象条件”当成单独够用的那一样　单因决定方向的只有“证明助手与语言模型作为可独立追踪、反驳并更新的命题结构”所指机制是否出现，不以总样本或声望代替　预设〔30 未被计价的东西不影响结算〕2022—2023年，比较提出、独立争议与最近更新三个节点内的对象与失败记录已使用同一分母　量纲证明助手与语言模型在独立证据中的稳定结论数／全部被目标人群实际接触而非名义提供的对象　失效当证明助手与语言模型被平台指标或制度考核代替时，名义达标越高，被排除的失败记录反而越多　自曝原材料自己限定：语言模型能快速提出证明草图，证明助手则只接受通过内核检查的形式项；两者结合把生成与认证拆成不同责任。　空栏未进入全部被目标人群实际接触而非名义提供的对象的失败案例、退出对象、被删版本与无法归类的反向记录　异名可计算性与递归论称为“表示空间有点度谱”；另见第304号《可计算性与递归论》“表示空间有点度谱”

◎ 二十年连起来看

第一条贯穿线索，是研究单位从宏大对象下沉到可以逐项对账的事件。“逻辑多元论被正式提出”保留了早期问题意识，“多元论的十年”则把它改写成可比较的证据任务；在逻辑选择从先验豁免转向公开比较代价时，只有把保真、表达力、可判定性与推理实践的分账分开，结论才不会因口径切换而假装反转。

第二条线索，是平均关系逐步让位于边界、分群与过程。从“人是否按逻辑推理”到“溯因选逻辑：公理也要靠解释力竞争”，本块不断追问同一结果由什么资料看见、在哪个窗口成立、对谁不成立。形式模型、证明系统、推理实验与可执行验证不再只是佐证，而成为限制理论能够说多远的组成部分。

第三条线索，是测量装置开始回写研究对象。“逻辑虚无主义与普遍主义：是否存在真正无例外的后承”与“证明助手与语言模型：产生推理和认证推理被彻底分开”显示，当分类、平台、制度或模型进入现场，主体会调整行为，原先稳定的分母也会移动。近二十年的真正进步，是把这种回写从误差项提升为需要解释的现象。

◎ 三个常见误解

误解一是把“非经典逻辑的技术成熟”理解成对“逻辑多元论被正式提出”的简单否定。它之所以看起来合理，是两条都处理后承、规则、悖论、多元逻辑与元推理；但前者改变的是识别窗口或分母，后者处理的是较长时间结构。正确表述应当保留二者的时间尺度，不能用一次截面结果取消长期转向。

误解二是认为“反例外主义：用溯因法挑逻辑”只要数据更多就会自动更可靠。这个判断容易成立，是因为样本量确会压低随机误差；问题在于选择、缺失和分类漂移不会随样本量消失。正确做法是把覆盖范围、事件定义与不同逻辑对同一推理语料的预测差同时公开。

误解三是把“自然语言形式化：翻译不是无损管道”视为纯技术更新。工具改进确实提高速度或分辨率，所以这种读法很诱人；然而工具也改变谁能被看见、谁能退出以及什么算一次事件。它首先是后承、规则、悖论、多元逻辑与元推理的对象重画，其次才是效率提升。

◎ 与相邻领域的接口

与第 008 号《数理逻辑与集合论》的分工判据是：本块追踪后承、规则、悖论、多元逻辑与元推理如何形成并被记录，对方主要提供形式系统和独立性结果。两边可以共享样本和读数，但只有当观察窗、分母和反事实一致时才能互证；若对象定义已被制度或工具改写，就必须分别结算。

与第 094 号《数学哲学》的分工判据是：本块追踪后承、规则、悖论、多元逻辑与元推理如何形成并被记录，对方主要考察证明实践与可理解性。两边可以共享样本和读数，但只有当观察窗、分母和反事实一致时才能互证；若对象定义已被制度或工具改写，就必须分别结算。

与第 087 号《理论语言学》的分工判据是：本块追踪后承、规则、悖论、多元逻辑与元推理如何形成并被记录，对方主要检验自然语言推理的翻译损失。两边可以共享样本和读数，但只有当观察窗、分母和反事实一致时才能互证；若对象定义已被制度或工具改写，就必须分别结算。

◎ 争议现场

“逻辑常项与逻辑性的刻画”与“悖论方案的代价核算”之间的争议尚未收敛：一边把核心变化定位在可见结果，另一边强调中介过程或资料边界。要收敛，需依照形式模型、证明系统、推理实验与可执行验证预先固定同一分母，分别估计总体和分群方向，并把不同逻辑对同一推理语料的预测差列为共同终点；若两种解释对不同逻辑对同一推理语料的预测差给出不同符号，才算真正可裁决。

“矛盾容忍：局部冲突不再自动推出一切”与“逻辑预测主义：好逻辑应当预告尚未整理的判断”之间的争议尚未收敛：一边把核心变化定位在可见结果，另一边强调中介过程或资料边界。要收敛，需依照形式模型、证明系统、推理实验与可执行验证预先固定同一分母，分别估计总体和分群方向，并把悖论方案新增限制与保住推理的比例列为共同终点；若两种解释对悖论方案新增限制与保住推理的比例给出不同符号，才算真正可裁决。

“逻辑成为可执行的东西”与“自然语言形式化：翻译不是无损管道”之间的争议尚未收敛：一边把核心变化定位在可见结果，另一边强调中介过程或资料边界。要收敛，需依照形式模型、证明系统、推理实验与可执行验证预先固定同一分母，分别估计总体和分群方向，并把证明助手对生成推理的认证通过率列为共同终点；若两种解释对证明助手对生成推理的认证通过率给出不同符号，才算真正可裁决。

◎ 往下五年看什么

第 1 个可观测读数是不同逻辑对同一推理语料的预测差。2026—2031 年应以形式模型、证明系统、推理实验与可执行验证保存逐年版本、纳入与排除规则以及分群结果，而不是只留最终汇总值。若不同逻辑对同一推理语料的预测差在独立资料中稳定，相关转向才算从有说服力的解释变成可重复知识；若方向随保真、表达力、可判定性与推理实践的分账的口径改变，就应明确降级。

第 2 个可观测读数是悖论方案新增限制与保住推理的比例。2026—2031 年应以形式模型、证明系统、推理实验与可执行验证保存逐年版本、纳入与排除规则以及分群结果，而不是只留最终汇总值。若悖论方案新增限制与保住推理的比例在独立资料中稳定，相关转向才算从有说服力的解释变成可重复知识；若方向随保真、表达力、可判定性与推理实践的分账的口径改变，就应明确降级。

第 3 个可观测读数是证明助手对生成推理的认证通过率。2026—2031 年应以形式模型、证明系统、推理实验与可执行验证保存逐年版本、纳入与排除规则以及分群结果，而不是只留最终汇总值。若证明助手对生成推理的认证通过率在独立资料中稳定，相关转向才算从有说服力的解释变成可重复知识；若方向随保真、表达力、可判定性与推理实践的分账的口径改变，就应明确降级。

◎ 可与哪些领域对撞

本块第 3 条“说谎者悖论的方案与代价”可与第 008 号《数理逻辑与集合论》对撞。两边共享“记录到的总体读数足以代表后承、规则、悖论、多元逻辑与元推理”这一预设；本块强调分母、边界与回写会改变方向，对方则从提供形式系统和独立性结果出发寻找相对稳定的机制。若两边都成立，逻辑选择从先验豁免转向公开比较代价就必须多出资料生产制度这一层，决定何时可以换算、何时只能并列。

本块第 12 条“逻辑成为可执行的东西”可与第 094 号《数学哲学》对撞。两边共享“记录到的总体读数足以代表后承、规则、悖论、多元逻辑与元推理”这一预设；本块强调分母、边界与回写会改变方向，对方则从考察证明实践与可理解性出发寻找相对稳定的机制。若两边都成立，逻辑选择从先验豁免转向公开比较代价就必须多出资料生产制度这一层，决定何时可以换算、何时只能并列。

本块第 19 条“自然语言形式化：翻译不是无损管道”可与第 087 号《理论语言学》对撞。两边共享“记录到的总体读数足以代表后承、规则、悖论、多元逻辑与元推理”这一预设；本块强调分母、边界与回写会改变方向，对方则从检验自然语言推理的翻译损失出发寻找相对稳定的机制。若两边都成立，逻辑选择从先验豁免转向公开比较代价就必须多出资料生产制度这一层，决定何时可以换算、何时只能并列。

◎ 十条可做的研究命题

  1. 命题 1：“逻辑多元论被正式提出”只有在与“非经典逻辑的技术成熟”分账后才保持原方向。做法是预注册跨地区重复比较，以逻辑多元论被正式提出在独立证据中的稳定结论数／全部进入同一口径的可核验案例为主结果，并显式记录它们不再是哲学玩具，而是有具体用途的工具——这一点极大加强了多元论的可信度：如果多种逻辑都能干活，坚持只有一种就需要额外理由。；若换分母或跨边界后仍无可重复的方向差，该命题即被证伪。
  2. 命题 2：“说谎者悖论的方案与代价”只有在与“逻辑常项与逻辑性的刻画”分账后才保持原方向。做法是用版本化资料重跑同一估计，以说谎者悖论的方案与代价在独立证据中的稳定结论数／全部满足对象与时间窗条件的独立研究为主结果，并显式记录它的意义在于：如果连「什么是逻辑的」都无法唯一刻画，那么「逻辑只有一种」就更难维持。；若换分母或跨边界后仍无可重复的方向差，该命题即被证伪。
  3. 命题 3：“证明论语义与推理规则”只有在与“人是否按逻辑推理”分账后才保持原方向。做法是把总体结果拆成至少四个分群，以证明论语义与推理规则在独立证据中的稳定结论数／全部进入复算流程的材料、代码与记录为主结果，并显式记录这条区分被讲清之后，逻辑的规范地位反而更需要独立辩护——它不能靠「人本来就这么想」来支撑。；若换分母或跨边界后仍无可重复的方向差，该命题即被证伪。
  4. 命题 4：“逻辑后承：从保真定义到模型类别的选择”只有在与“矛盾容忍：局部冲突不再自动推出一切”分账后才保持原方向。做法是设置制度改变前后的中断时间序列，以逻辑后承在独立证据中的稳定结论数／全部接受相同边界检验的对象为主结果，并显式记录经典爆炸律使一组前提只要含矛盾便能推出任意命题，实际数据库、法律和科学理论却常在冲突未清前继续推理。；若换分母或跨边界后仍无可重复的方向差，该命题即被证伪。
  5. 命题 5：“多元论的十年”只有在与“反例外主义：用溯因法挑逻辑”分账后才保持原方向。做法是把被排除对象重新纳入分母，以多元论的十年在独立证据中的稳定结论数／全部包含反例搜索的同题工作为主结果，并显式记录反例外主义把逻辑拉下神坛：逻辑理论的选择不靠先天直观，而与科学理论一样靠溯因——看它对推理实践的拟合度、简单性、与其他理论的融贯。；若换分母或跨边界后仍无可重复的方向差，该命题即被证伪。
  6. 命题 6：“悖论方案的代价核算”只有在与“逻辑成为可执行的东西”分账后才保持原方向。做法是让两套独立编码规则盲法复核，以悖论方案的代价核算在独立证据中的稳定结论数／全部被纳入且未因缺失退出的观察单位为主结果，并显式记录逻辑成为可执行的东西，指的是证明助手与类型论的成熟：推理规则被写进机器可检查的系统，构造性证明与程序在类型论中被等同起来。；若换分母或跨边界后仍无可重复的方向差，该命题即被证伪。
  7. 命题 7：“机器在推理，逻辑在哪里”只有在与“溯因选逻辑：公理也要靠解释力竞争”分账后才保持原方向。做法是对同一对象并列短窗与长窗，以机器在推理，逻辑在哪里在独立证据中的稳定结论数／全部在替代模型下接受比较的结果为主结果，并显式记录反例外主义把逻辑选择与科学理论选择并列：比较候选系统的简洁、解释范围、与数学实践的协调及对异常的处理，而非宣布逻辑先验免检。；若换分母或跨边界后仍无可重复的方向差，该命题即被证伪。
  8. 命题 8：“逻辑预测主义：好逻辑应当预告尚未整理的判断”只有在与“实验逻辑哲学：推理直觉开始接受跨群体测量”分账后才保持原方向。做法是连接过程记录与最终结果，以逻辑预测主义在独立证据中的稳定结论数／全部公开成功与失败的尝试为主结果，并显式记录问卷和行为实验显示，人们对有效性、否定和条件句的判断受语言、教育与情境影响。实验不能投票决定正确逻辑，却能识别哪些所谓普遍直觉。；若换分母或跨边界后仍无可重复的方向差，该命题即被证伪。
  9. 命题 9：“元推理层：规则之间的推理也可能改换逻辑”只有在与“逻辑虚无主义与普遍主义：是否存在真正无例外的后承”分账后才保持原方向。做法是保留阴性和退出事件，以元推理层在独立证据中的稳定结论数／全部独立机构、社群或实验装置为主结果，并显式记录逻辑虚无主义认为没有任何实质推理在所有解释下都有效，普遍主义则让几乎所有推理在某种宽泛标准下成立。；若换分母或跨边界后仍无可重复的方向差，该命题即被证伪。
  10. 命题 10：“自然语言形式化：翻译不是无损管道”只有在与“证明助手与语言模型：产生推理和认证推理被彻底分开”分账后才保持原方向。做法是以跨领域同量纲读数做外部压力测试，以自然语言形式化在独立证据中的稳定结论数／全部有明确责任人与修订记录的来源为主结果，并显式记录语言模型能快速提出证明草图，证明助手则只接受通过内核检查的形式项；两者结合把生成与认证拆成不同责任。；若换分母或跨边界后仍无可重复的方向差，该命题即被证伪。

◎ 条目—位置—理由

条目位置理由
甲 · 逻辑多元论被正式提出D把程序、依赖或推理路径作为主张焦点
乙 · 非经典逻辑的技术成熟S把可见对象或判据状态作为主张焦点
丙 · 说谎者悖论的方案与代价D把程序、依赖或推理路径作为主张焦点
丁 · 逻辑常项与逻辑性的刻画D把程序、依赖或推理路径作为主张焦点
戊 · 证明论语义与推理规则E把制度、媒介或条件场作为主张焦点
己 · 人是否按逻辑推理E把制度、媒介或条件场作为主张焦点
庚 · 逻辑后承D把程序、依赖或推理路径作为主张焦点
辛 · 矛盾容忍S把可见对象或判据状态作为主张焦点
一 · 多元论的十年D把程序、依赖或推理路径作为主张焦点
二 · 反例外主义S把可见对象或判据状态作为主张焦点
三 · 悖论方案的代价核算E把制度、媒介或条件场作为主张焦点
四 · 逻辑成为可执行的东西D把程序、依赖或推理路径作为主张焦点
五 · 机器在推理，逻辑在哪里S把可见对象或判据状态作为主张焦点
六 · 溯因选逻辑S把可见对象或判据状态作为主张焦点
七 · 逻辑预测主义S把可见对象或判据状态作为主张焦点
八 · 实验逻辑哲学D把程序、依赖或推理路径作为主张焦点
九 · 元推理层E把制度、媒介或条件场作为主张焦点
十 · 逻辑虚无主义与普遍主义E把制度、媒介或条件场作为主张焦点
十一 · 自然语言形式化D把程序、依赖或推理路径作为主张焦点
十二 · 证明助手与语言模型E把制度、媒介或条件场作为主张焦点

◎ 主证据年份核对

幕条目主证据年份判
第一幕甲 · 逻辑多元论被正式提出2008通过
第一幕乙 · 非经典逻辑的技术成熟2013通过
第一幕丙 · 说谎者悖论的方案与代价2010通过
第一幕丁 · 逻辑常项与逻辑性的刻画2014通过
第一幕戊 · 证明论语义与推理规则2014通过
第一幕己 · 人是否按逻辑推理2014通过
第一幕庚 · 逻辑后承2009通过
第一幕辛 · 矛盾容忍2011通过
第二幕一 · 多元论的十年2022通过
第二幕二 · 反例外主义2017通过
第二幕三 · 悖论方案的代价核算2023通过
第二幕四 · 逻辑成为可执行的东西2021通过
第二幕五 · 机器在推理，逻辑在哪里2026通过
第二幕六 · 溯因选逻辑2019通过
第二幕七 · 逻辑预测主义2020通过
第二幕八 · 实验逻辑哲学2021通过
第二幕九 · 元推理层2025通过
第二幕十 · 逻辑虚无主义与普遍主义2020通过
第二幕十一 · 自然语言形式化2024通过
第二幕十二 · 证明助手与语言模型2022通过

◎ 奠基笔核对

条目奠基类型与同指理由
甲Gottlob Frege，1879年，《Begriffsschrift》（专著）以形式语言与推理规则奠定现代逻辑
乙C. I. Lewis，1918年，《A Survey of Symbolic Logic》（专著）以模态与非经典系统破除唯一逻辑图景
丙Alfred Tarski，1944年，《The Semantic Conception of Truth》（论文）为语义悖论方案设定真理条件
丁Alfred Tarski，1936年，《On the Concept of Logical Consequence》（论文）以模型不变性连接逻辑常项与后承
戊Gerhard Gentzen，1935年，《Investigations into Logical Deduction》（论文）以引入消去规则奠定证明论语义
己Jean Piaget，1928年，《Judgment and Reasoning in the Child》（专著）把实际推理的发展与逻辑规范分开测量
庚Rudolf Carnap，1937年，《The Logical Syntax of Language》（专著）把逻辑选择与语言框架相连
辛Nuel Belnap，1977年，《A Useful Four-Valued Logic》（论文）为冲突信息的非爆炸推理给出结构
一未检得1980年前与“多元论的十年”同指的稳定命名其独立对象依赖数字数据才可观察
二未检得1980年前与“反例外主义”同指的稳定命名其问题形态由联网平台首次稳定生成
三未检得1980年前与“悖论方案的代价核算”同指的稳定命名其判据需要近年的形式工具才能执行
四未检得1980年前与“逻辑成为可执行的东西”同指的稳定命名其证据单位随开放基础设施才出现
五未检得1980年前与“机器在推理，逻辑在哪里”同指的稳定命名其责任链在算法介入后才成为新结构
六未检得1980年前与“溯因选逻辑”同指的稳定命名其失败样本依赖版本记录才能保留
七未检得1980年前与“逻辑预测主义”同指的稳定命名其跨机构比较以机器可读接口为前提
八未检得1980年前与“实验逻辑哲学”同指的稳定命名其反例只有在大规模复算中才可见
九未检得1980年前与“元推理层”同指的稳定命名其量纲随新型计量制度才成立
十未检得1980年前与“逻辑虚无主义与普遍主义”同指的稳定命名其空栏对象由近年的数据治理重新显影
十一未检得1980年前与“自然语言形式化”同指的稳定命名其观察窗须借助实时平台才能维持
十二未检得1980年前与“证明助手与语言模型”同指的稳定命名其边界以新近人机协作条件为前提

◎ 资料核验

  1. MICHAEL P. LYNCH. Alethic Pluralism, Logical Consequence and the Universality of Reason. Midwest Studies In Philosophy 32(1):122-140. 2008. doi:10.1111/j.1475-4975.2008.00169.x.
  2. Pilar Terrés-Villalonga. Reflections on language and charity: a response to Stei’s “Logical Pluralism and Logical Consequence”. Asian Journal of Philosophy 4(1). 2025. doi:10.1007/s44204-025-00249-z.
  3. Sabina Dominguez-Parrado. On the Semantic Argument for Logical Pluralism. Erkenntnis. 2026. doi:10.1007/s10670-026-01095-y.
  4. Pavel Materna. Is Transparent Intensional Logic a non-classical logic?. Logic and Logical Philosophy 23(1):47-55. 2013. doi:10.12775/llp.2013.032.
  5. Aladdin M. Yaqub. An Introduction to Non-Classical Logic. Teaching Philosophy 33(4):432-436. 2010. doi:10.5840/teachphil201033453.
  6. Michael Aristidou. Non-Classical Elements in Epicurean Logic. Athens Journal of Philosophy 4(3):163-176. 2025. doi:10.30958/ajphil.4-3-3.
  7. Catarina Dutilh Novaes. LESSONS ON TRUTH FROM MEDIAEVAL SOLUTIONS TO THE LIAR PARADOX. The Philosophical Quarterly 61(242):58-78. 2010. doi:10.1111/j.1467-9213.2010.669.x.
  8. Jared Warren. The Liar Paradox and “Meaningless” Revenge. Journal of Philosophical Logic 53(1):49-78. 2023. doi:10.1007/s10992-023-09719-2.
  9. Mohammad Saleh Zarepour. Dashtakī's Solution to the Liar Paradox: A Synthesis of the Earlier Solutions Proposed by Ṭūsī and Samarqandī. History and Philosophy of Logic 45(3):219-245. 2023. doi:10.1080/01445340.2023.2210918.
  10. Denis Bonnay. Logical Constants, or How to use Invariance in Order to Complete the Explication of Logical Consequence. Philosophy Compass 9(1):54-65. 2014. doi:10.1111/phc3.12095.
  11. Zack Garrett. Logical Constants and the Sorites Paradox. Logic and Logical Philosophy 32(3):363-381. 2023. doi:10.12775/llp.2023.007.
  12. Jaroslav Peregrin. Compositionality and Inferential Roles of Logical Constants. Topoi 45(2):599-605. 2025. doi:10.1007/s11245-025-10171-x.
  13. Nissim Francez. Views of proof-theoretic semantics: reified proof-theoretic meanings. Journal of Logic and Computation 26(2):479-494. 2014. doi:10.1093/logcom/exu035.
  14. Nils Kürbis. Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality. Journal of Philosophical Logic 44(6):713-727. 2013. doi:10.1007/s10992-013-9310-6.
  15. Alexander V Gheorghiu. Proof-theoretic semantics for first-order logic. Logic Journal of the IGPL 33(5). 2025. doi:10.1093/jigpal/jzaf062.
  16. Mike Oaksford, Nick Chater. Probabilistic single function dual process theory and logic programming as approaches to non-monotonicity in human vs. artificial reasoning. Thinking &amp; Reasoning 20(2):269-295. 2014. doi:10.1080/13546783.2013.877401.
  17. Paddy Dolan, John Connoly. Beyond Logic and Norms: A Figurational Critique of Institutional Theory in Organisation Studies. Cambio. Rivista sulle Trasformazioni Sociali 7(14):139-149. 2018. doi:10.13128/cambio-22915.
  18. Conor McHugh. Logic and Norms of Reasoning. Erkenntnis 91(4):1535-1552. 2025. doi:10.1007/s10670-025-00965-1.
  19. MARIO GÓMEZ-TORRENTE. REREADING TARSKI ON LOGICAL CONSEQUENCE. The Review of Symbolic Logic 2(2):249-297. 2009. doi:10.1017/s1755020309090200.
  20. Lassi Saario-Ramsay. From Natural to Artificial: The Transformation of the Concept of Logical Consequence in Bolzano, Carnap, and Tarski. Philosophies 9(6):178. 2024. doi:10.3390/philosophies9060178.
  21. Y. Ma, G. Qi, P. Hitzler. Computing inconsistency measure based on paraconsistent semantics. Journal of Logic and Computation 21(6):1257-1281. 2011. doi:10.1093/logcom/exq053.
  22. Peter Verdée. Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic. Synthese 198(S22):5415-5449. 2020. doi:10.1007/s11229-020-02638-8.
  23. Philipp Mayr. A Simple Paraconsistent Logic without Addition. Journal of Philosophical Logic 55(1):167-198. 2026. doi:10.1007/s10992-025-09827-1.
  24. Diego Tajer, Camillo Fiore. Logical Pluralism and Interpretations of Logical Systems. Logic and Logical Philosophy 31(2):209-234. 2022. doi:10.12775/llp.2022.007.
  25. Manuel Bremer. Restall and Beall on Logical Pluralism: A Critique. Erkenntnis 79(S2):293-299. 2013. doi:10.1007/s10670-013-9478-8.
  26. John Wigglesworth. Logical anti-exceptionalism and theoretical equivalence. Analysis 77(4):759-767. 2017. doi:10.1093/analys/anx072.
  27. Matthew Carlson. Anti-exceptionalism and the justification of basic logical principles. Synthese 200(3). 2022. doi:10.1007/s11229-022-03715-w.
  28. Thomas Uebel. Logical empiricist anti-exceptionalism in its Austro-German context. Studies in History and Philosophy of Science 110:46-54. 2025. doi:10.1016/j.shpsa.2025.03.003.
  29. Karina Schumann, Michael Ross. The Benefits, Costs, and Paradox of Revenge. Social and Personality Psychology Compass 4(12):1193-1205. 2010. doi:10.1111/j.1751-9004.2010.00322.x.
  30. Lucy Androsiuk, Shay Tal. Rethinking the plasmid paradox: when plasmid costs do not affect fitness. Frontiers in Microbiology 17. 2026. doi:10.3389/fmicb.2026.1836467.
  31. Stefano Guerrini, Andrea Masini. Proof Nets for Classical Logic. Notre Dame Journal of Formal Logic 62(2). 2021. doi:10.1215/00294527-2021-0016.
  32. S. Adian, L. Beklemishev, A. Visser. Proof and Computation. Journal of Logic and Computation 21(4):541-542. 2011. doi:10.1093/logcom/exp042.
  33. Dale Miller. Book Announcement: Proof Theory and Logic Programming: Computation as Proof Search. ACM SIGLOG News 13(1):3-4. 2026. doi:10.1145/3795861.3795864.
  34. Müge Oluçoğlu, Okan Bursa. DL-ReasonSuite: A Benchmark for Evaluating Description Logic Reasoning in Large Language Models. Applied Sciences 16(4):1821. 2026. doi:10.3390/app16041821.
  35. Sebastián Tapia-Mandiola, Roberto Araya. From Play to Understanding: Large Language Models in Logic and Spatial Reasoning Coloring Activities for Children. AI 5(4):1870-1892. 2024. doi:10.3390/ai5040093.
  36. Leonard Wexler, Trevor Ellington. Advancing Mathematical Reasoning Excellence via Self Play Reinforcement Learning Frameworks for Recursive Logic Improvement in Large Language Models. International Journal of Artificial Intelligence Research 1(2). 2026. doi:10.66280/ijair.v1i2.155.
  37. Graham Priest. Logical Theory Choice. The Australasian Journal of Logic 16(7):283-297. 2019. doi:10.26686/ajl.v16i7.5917.
  38. Georg Brun. Logical expressivism, logical theory and the critique of inferences. Synthese 196(11):4493-4509. 2018. doi:10.1007/s11229-017-1662-y.
  39. M.J. Oripova. Methodology for Developing Students’ Analytical and Logical Thinking Skills Through an Integrative Approach. International Journal of Pedagogics 06(05):141-143. 2026. doi:10.37547/ijp/volume06issue05-30.
  40. Ben Martin, Ole Hjortland. Logical Predictivism. Journal of Philosophical Logic 50(2):285-318. 2020. doi:10.1007/s10992-020-09566-5.
  41. David Harker. ERIC CHRISTIAN BARNES<i>The Paradox of Predictivism</i>. The British Journal for the Philosophy of Science 62(1):219-223. 2011. doi:10.1093/bjps/axq027.
  42. Yuri Sato. Advances in Experimental Philosophy of Logic and Mathematics. History and Philosophy of Logic 43(3):305-307. 2021. doi:10.1080/01445340.2021.1949116.
  43. Miguel Álvarez Lisboa. Intuitionistic Logic from a Metainferential Perspective. Logic and Logical Philosophy:1-33. 2025. doi:10.12775/llp.2025.006.
  44. Rea Golan. On the Metainferential Solution to the Semantic Paradoxes. Journal of Philosophical Logic 52(3):797-820. 2022. doi:10.1007/s10992-022-09688-y.
  45. Chris Scambler. THREE PAPERS ON RECENT WORK ON META-VALIDITY - David Ripley, <i>One step is enough</i>. Journal of Philosophical Logic, vol. 51 (2022), pp. 1233–1259. - Isabella McAllister, <i>Classical logic is not uniquely characterizable</i>. Journal of Philosophical Logic, vol. 51 (2022), pp. 1345–1365. - Rea Golan, <i>There is no tenable notion of global metainferential validity</i>. Analysis, vol. 81 (2021), no. 3, pp. 411–420.. The Bulletin of Symbolic Logic 29(3):453-456. 2023. doi:10.1017/bsl.2023.17.
  46. Bogdan Dicher. Requiem for logical nihilism, or: Logical nihilism annihilated. Synthese 198(8):7073-7096. 2020. doi:10.1007/s11229-019-02510-4.
  47. Andreas Fjellstad. Logical Nihilism and the Logic of ‘prem’. Logic and Logical Philosophy 30(2):311-325. 2020. doi:10.12775/llp.2020.023.
  48. Y. Sandy Berkovski. Logical Fatalism and Causal Nihilism. Philosophia 53(3):1075-1091. 2025. doi:10.1007/s11406-025-00882-1.
  49. Chafika Djaoui, Allaoua Chaoui. FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE. Computer Science 25(3). 2024. doi:10.7494/csci.2024.25.3.5964.
  50. Jaka Satria Warman, Hamzah Hamzah. AN ANALYSIS OF LOGICAL FALLACY ON JOKO WIDODO’S ARGUMENTS DURING 2019 INDONESIA PRESIDENTIAL DEBATE. English Language and Literature 8(3). 2019. doi:10.24036/ell.v8i3.105507.
  51. Gil Sagi. Logic in Natural Language: Commitments and Constraints. Disputatio 12(58):277-308. 2020. doi:10.2478/disp-2020-0014.
  52. Yuanrui Zhang, Frédéric Mallet, Zhiming Liu. A dynamic logic for verification of synchronous models based on theorem proving. Frontiers of Computer Science 16(4). 2022. doi:10.1007/s11704-022-1374-4.
  53. Adnan Rashid, Muhammad Umair, Osman Hasan. Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving. IEEE Access 8:27291-27307. 2020. doi:10.1109/access.2020.2971661.
  54. Stefan Hetzl, Jannik Vierling. Induction and Skolemization in saturation theorem proving. Annals of Pure and Applied Logic 174(1):103167. 2023. doi:10.1016/j.apal.2022.103167.
【学科经典思想汇集部分】1950–2006 · 二十条经典思想

以下二十条倒着追问逻辑哲学的现代判断：旧前提由谁提出、凭什么材料成立、后来在哪个分母上被修正。每条都回指上文一条现代思想，并把失效条件与异名接口一并保留。

经一、递归、元数学与可计算性Classic 01 · Philosophy of Logic

提出Stephen C. Kleene，1952 年，Kleene SC. Introduction to Metamathematics. North-Holland (1952)。　流变Pilar Terrés-Villalonga，2025年，〈Reflections on language and charity: a response to Stei’s “Logical Pluralism and Logical Consequence”〉，《Asian Journal of Philosophy 4(1)》，DOI 10.1007/s44204-025-00249-z随后重检这条命题的对象、识别和外推边界。　今用本块甲“逻辑多元论被正式提出”继续使用、修正或反对它建立的判断接口。　关键递归、元数学与可计算性把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

1952年的《递归、元数学与可计算性》不是名人标签。Stephen C. Kleene沿机制史把逻辑哲学中混写的对象、证据和价值判断分开，规定什么材料算支持、哪种记录足以迫使命题后退。《递归、元数学与可计算性》的阴性对象与退出记录由此能在同一账本重算。

Pilar Terrés-Villalonga，2025年，〈Reflections on language and…后来反向校验《递归、元数学与可计算性》，保留可迁移结构，也撤回只在旧制度和旧测量中成立的扩展。与本块甲对读。现代关键读数是“逻辑多元论被正式提出在独立证据中的稳定结论数／全部进入同一口径的可核验案例”。它说明《递归、元数学与可计算性》的哪项设置被继承，又在哪个分母上被改写。经典地位不能替代《递归、元数学与可计算性》的新证据。核验《递归、元数学与可计算性》时须同时保存它没有解释的对象，不能只汇集成功分支。

位置D——它把“《递归、元数学与可计算性》的机制史入口”视为单独足够　预设〔01 谁进入分母〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块甲的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“递归、元数学与可计算性”，机制史称“可撤回的旧接口”；另见本块甲

经二、语义、模态与语言框架Classic 02 · Philosophy of Logic

提出Rudolf Carnap，1956 年，Carnap R. Meaning and Necessity, 2nd ed. University of Chicago Press (1956)。　流变Aladdin M. Yaqub，2010年，〈An Introduction to Non-Classical Logic〉，《Teaching Philosophy 33(4):432-436》，DOI 10.5840/teachphil201033453随后重检这条命题的对象、识别和外推边界。　今用本块乙“非经典逻辑的技术成熟”继续使用、修正或反对它建立的判断接口。　关键语义、模态与语言框架把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

《语义、模态与语言框架》出现前，逻辑哲学常把同名现象当作同一对象。Rudolf Carnap于1956年沿机制史先限定观察者能看到什么，再说明遗漏什么会让解释失真。《语义、模态与语言框架》改变的是判决程序，不是增加一条永远正确的结论。

Aladdin M. Yaqub，2010年，〈An Introduction to Non-Classical L…把《语义、模态与语言框架》送进不同样本与制度，保留可证伪骨架，撤掉不再成立的普遍化。本块乙仍借用这套接口；其中关键读数是“非经典逻辑的技术成熟在独立证据中的稳定结论数／全部可获得而非只被发表的同题来源…”。《语义、模态与语言框架》若改用另一分母，结论就可能反号。《语义、模态与语言框架》因此成为现代条目的历史压力测试。核验《语义、模态与语言框架》时须同时保存它没有解释的对象，不能只汇集成功分支。

位置E——它把“《语义、模态与语言框架》的机制史入口”视为单独足够　预设〔02 单一读数代表复杂对象〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块乙的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“语义、模态与语言框架”，机制史称“可撤回的旧接口”；另见本块乙

经三、真理与逻辑后承论文集Classic 03 · Philosophy of Logic

提出Alfred Tarski，1956 年，Tarski A. Logic, Semantics, Metamathematics. Clarendon Press (1956)。　流变Jared Warren，2023年，〈The Liar Paradox and “Meaningless” Revenge〉，《Journal of Philosophical Logic 53(1):49-78》，DOI 10.1007/s10992-023-09719-2随后重检这条命题的对象、识别和外推边界。　今用本块丙“说谎者悖论的方案与代价”继续使用、修正或反对它建立的判断接口。　关键真理与逻辑后承论文集把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

《真理与逻辑后承论文集》在1956年造成的转向首先是一项机制史选择。Alfred Tarski在《真理与逻辑后承论文集》中把对象、操作和失败读数排成可质疑次序，没有把逻辑哲学的复杂性缩成权威判断。《真理与逻辑后承论文集》原文本之外仍有空栏，教科书式扩写不能自动填平。

后续争论Jared Warren，2023年，〈The Liar Paradox and “Meaningless” Rev…缩窄或改写了《真理与逻辑后承论文集》。它连接本块丙时，现代证据“说谎者悖论的方案与代价在独立证据中的稳定结论数／全部满足对象与时间窗条件的独立研究…”承担复核责任。若重编对象、延长时间窗或补回排除者后排序翻转，就应承认现代层反驳了《真理与逻辑后承论文集》的外推，而不是替经典找托词。核验《真理与逻辑后承论文集》时须同时保存它没有解释的对象，不能只汇集成功分支。

位置S——它把“《真理与逻辑后承论文集》的机制史入口”视为单独足够　预设〔03 有限近似控制无限对象〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块丙的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“真理与逻辑后承论文集”，机制史称“可撤回的旧接口”；另见本块丙

经四、时态逻辑Classic 04 · Philosophy of Logic

提出Arthur N. Prior，1957 年，Prior AN. Time and Modality. Clarendon Press (1957)。　流变Zack Garrett，2023年，〈Logical Constants and the Sorites Paradox〉，《Logic and Logical Philosophy 32(3):363-381》，DOI 10.12775/llp.2023.007随后重检这条命题的对象、识别和外推边界。　今用本块丁“逻辑常项与逻辑性的刻画”继续使用、修正或反对它建立的判断接口。　关键时态逻辑把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

Arthur N. Prior在1957年的《时态逻辑》为逻辑哲学留下机制史装置：公开对象怎样进入分母，并把例外放在模型内。《时态逻辑》以前的争论容易把测量便利当成本体事实；《时态逻辑》使两者能够分账。《时态逻辑》成为经典，靠的是接受反例修订。

用Zack Garrett，2023年，〈Logical Constants and the Sorites Para…回看《时态逻辑》，可辨哪些结果来自原命题，哪些只是后来制度借名包装。本块丁保存这条差异；关键判断是“逻辑常项与逻辑性的刻画在独立证据中的稳定结论数／全部被比较的理论版本及其失败版本…”。它把《时态逻辑》的失败对象送回比较。《时态逻辑》的旧前提由本块检验证据成本。核验《时态逻辑》时须同时保存它没有解释的对象，不能只汇集成功分支。迁移《时态逻辑》须注明采用哪一版定义，同名术语不等于同一证据单位。重算《时态逻辑》应先冻结分母和停止规则，再比较旧读数与新读数。

位置D——它把“《时态逻辑》的机制史入口”视为单独足够　预设〔04 测量不改变被测对象〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块丁的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“时态逻辑”，机制史称“可撤回的旧接口”；另见本块丁

经五、偏差逻辑与多元系统Classic 05 · Philosophy of Logic

提出Susan Haack，1974 年，Haack S. Deviant Logic. Cambridge University Press (1974)。　流变Nils Kürbis，2013年，〈Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality〉，《Journal of Philosophical Logic 44(6):713-727》，DOI 10.1007/s10992-013-9310-6随后重检这条命题的对象、识别和外推边界。　今用本块戊“证明论语义与推理规则”继续使用、修正或反对它建立的判断接口。　关键偏差逻辑与多元系统把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

1974年的《偏差逻辑与多元系统》不是名人标签。Susan Haack沿机制史把逻辑哲学中混写的对象、证据和价值判断分开，规定什么材料算支持、哪种记录足以迫使命题后退。《偏差逻辑与多元系统》的阴性对象与退出记录由此能在同一账本重算。

Nils Kürbis，2013年，〈Proof-Theoretic Semantics, a Problem wi…后来反向校验《偏差逻辑与多元系统》，保留可迁移结构，也撤回只在旧制度和旧测量中成立的扩展。与本块戊对读。现代关键读数是“证明论语义与推理规则在独立证据中的稳定结论数／全部进入复算流程的材料、代码与记录…”。它说明《偏差逻辑与多元系统》的哪项设置被继承，又在哪个分母上被改写。经典地位不能替代《偏差逻辑与多元系统》的新证据。核验《偏差逻辑与多元系统》时须同时保存它没有解释的对象，不能只汇集成功分支。

位置E——它把“《偏差逻辑与多元系统》的机制史入口”视为单独足够　预设〔05 平均值代表个体〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块戊的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“偏差逻辑与多元系统”，机制史称“可撤回的旧接口”；另见本块戊

经六、证明论证成与逻辑常项Classic 06 · Philosophy of Logic

提出Michael Dummett，1975 年，Dummett M. The Justification of Deduction. British Academy (1975)。　流变Paddy Dolan, John Connoly，2018年，〈Beyond Logic and Norms: A Figurational Critique of Institutional Theory in Organisation Studies〉，《Cambio. Rivista sulle Trasformazioni Sociali 7(14):139-149》，DOI 10.13128/cambio-22915随后重检这条命题的对象、识别和外推边界。　今用本块己“人是否按逻辑推理”继续使用、修正或反对它建立的判断接口。　关键证明论证成与逻辑常项把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

《证明论证成与逻辑常项》出现前，逻辑哲学常把同名现象当作同一对象。Michael Dummett于1975年沿测量史先限定观察者能看到什么，再说明遗漏什么会让解释失真。《证明论证成与逻辑常项》改变的是判决程序，不是增加一条永远正确的结论。

Paddy Dolan, John Connoly，2018年，〈Beyond Logic and Norms: A…把《证明论证成与逻辑常项》送进不同样本与制度，保留可证伪骨架，撤掉不再成立的普遍化。本块己仍借用这套接口；其中关键读数是“人是否按逻辑推理在独立证据中的稳定结论数／全部具备独立来源链的同向报告”。《证明论证成与逻辑常项》若改用另一分母，结论就可能反号。《证明论证成与逻辑常项》因此成为现代条目的历史压力测试。核验《证明论证成与逻辑常项》时须同时保存它没有解释的对象，不能只汇集成功分支。

位置S——它把“《证明论证成与逻辑常项》的测量史入口”视为单独足够　预设〔06 聚合次序不影响结论〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块己的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“证明论证成与逻辑常项”，测量史称“可撤回的旧接口”；另见本块己

经七、真理理论的固定点Classic 07 · Philosophy of Logic

提出Saul A. Kripke，1975 年，Kripke SA. Outline of a Theory of Truth. Journal of Philosophy 72 (1975)。　流变Pilar Terrés-Villalonga，2025年，〈Reflections on language and charity: a response to Stei’s “Logical Pluralism and Logical Consequence”〉，《Asian Journal of Philosophy 4(1)》，DOI 10.1007/s44204-025-00249-z随后重检这条命题的对象、识别和外推边界。　今用本块庚“逻辑后承：从保真定义到模型类别的选择”继续使用、修正或反对它建立的判断接口。　关键真理理论的固定点把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

《真理理论的固定点》在1975年造成的转向首先是一项测量史选择。Saul A. Kripke在《真理理论的固定点》中把对象、操作和失败读数排成可质疑次序，没有把逻辑哲学的复杂性缩成权威判断。《真理理论的固定点》原文本之外仍有空栏，教科书式扩写不能自动填平。

后续争论Pilar Terrés-Villalonga，2025年，〈Reflections on language and…缩窄或改写了《真理理论的固定点》。它连接本块庚时，现代证据“逻辑后承在独立证据中的稳定结论数／全部接受相同边界检验的对象”承担复核责任。若重编对象、延长时间窗或补回排除者后排序翻转，就应承认现代层反驳了《真理理论的固定点》的外推，而不是替经典找托词。核验《真理理论的固定点》时须同时保存它没有解释的对象，不能只汇集成功分支。迁移《真理理论的固定点》须注明采用哪一版定义，同名术语不等于同一证据单位。

位置D——它把“《真理理论的固定点》的测量史入口”视为单独足够　预设〔07 效果可由参与者自己评定〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块庚的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“真理理论的固定点”，测量史称“可撤回的旧接口”；另见本块庚

经八、四值逻辑与信息冲突Classic 08 · Philosophy of Logic

提出Nuel D. Belnap，1977 年，Belnap ND. A Useful Four-Valued Logic. Reidel (1977)。　流变Peter Verdée，2020年，〈Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic〉，《Synthese 198(S22):5415-5449》，DOI 10.1007/s11229-020-02638-8随后重检这条命题的对象、识别和外推边界。　今用本块辛“矛盾容忍：局部冲突不再自动推出一切”继续使用、修正或反对它建立的判断接口。　关键四值逻辑与信息冲突把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

Nuel D. Belnap在1977年的《四值逻辑与信息冲突》为逻辑哲学留下测量史装置：公开对象怎样进入分母，并把例外放在模型内。《四值逻辑与信息冲突》以前的争论容易把测量便利当成本体事实；《四值逻辑与信息冲突》使两者能够分账。《四值逻辑与信息冲突》成为经典，靠的是接受反例修订。

用Peter Verdée，2020年，〈Obtaining infinitely many degrees of i…回看《四值逻辑与信息冲突》，可辨哪些结果来自原命题，哪些只是后来制度借名包装。本块辛保存这条差异；关键判断是“矛盾容忍在独立证据中的稳定结论数／全部预先登记的判断而非事后保留项”。它把《四值逻辑与信息冲突》的失败对象送回比较。《四值逻辑与信息冲突》的旧前提由本块检验证据成本。核验《四值逻辑与信息冲突》时须同时保存它没有解释的对象，不能只汇集成功分支。

位置E——它把“《四值逻辑与信息冲突》的测量史入口”视为单独足够　预设〔08 缺失即不存在〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块辛的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“四值逻辑与信息冲突”，测量史称“可撤回的旧接口”；另见本块辛

经九、矛盾逻辑与非爆炸推理Classic 09 · Philosophy of Logic

提出Graham Priest，1979 年，Priest G. The Logic of Paradox. Journal of Philosophical Logic 8 (1979)。　流变Manuel Bremer，2013年，〈Restall and Beall on Logical Pluralism: A Critique〉，《Erkenntnis 79(S2):293-299》，DOI 10.1007/s10670-013-9478-8随后重检这条命题的对象、识别和外推边界。　今用本块一“多元论的十年”继续使用、修正或反对它建立的判断接口。　关键矛盾逻辑与非爆炸推理把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

1979年的《矛盾逻辑与非爆炸推理》不是名人标签。Graham Priest沿测量史把逻辑哲学中混写的对象、证据和价值判断分开，规定什么材料算支持、哪种记录足以迫使命题后退。《矛盾逻辑与非爆炸推理》的阴性对象与退出记录由此能在同一账本重算。

Manuel Bremer，2013年，〈Restall and Beall on Logical Pluralis…后来反向校验《矛盾逻辑与非爆炸推理》，保留可迁移结构，也撤回只在旧制度和旧测量中成立的扩展。与本块一对读。现代关键读数是“多元论的十年在独立证据中的稳定结论数／全部包含反例搜索的同题工作”。它说明《矛盾逻辑与非爆炸推理》的哪项设置被继承，又在哪个分母上被改写。经典地位不能替代《矛盾逻辑与非爆炸推理》的新证据。核验《矛盾逻辑与非爆炸推理》时须同时保存它没有解释的对象，不能只汇集成功分支。

位置S——它把“《矛盾逻辑与非爆炸推理》的测量史入口”视为单独足够　预设〔09 边界一次划定后保持稳定〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块一的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“矛盾逻辑与非爆炸推理”，测量史称“可撤回的旧接口”；另见本块一

经十、逻辑多元论的正式方案Classic 10 · Philosophy of Logic

提出Jc Beall、Greg Restall，2006 年，Beall JC, Restall G. Logical Pluralism. Oxford University Press (2006)。　流变Matthew Carlson，2022年，〈Anti-exceptionalism and the justification of basic logical principles〉，《Synthese 200(3)》，DOI 10.1007/s11229-022-03715-w随后重检这条命题的对象、识别和外推边界。　今用本块二“反例外主义：用溯因法挑逻辑”继续使用、修正或反对它建立的判断接口。　关键逻辑多元论的正式方案把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

《逻辑多元论的正式方案》出现前，逻辑哲学常把同名现象当作同一对象。Jc Beall、Greg Restall于2006年沿测量史先限定观察者能看到什么，再说明遗漏什么会让解释失真。《逻辑多元论的正式方案》改变的是判决程序，不是增加一条永远正确的结论。

Matthew Carlson，2022年，〈Anti-exceptionalism and the justifi…把《逻辑多元论的正式方案》送进不同样本与制度，保留可证伪骨架，撤掉不再成立的普遍化。本块二仍借用这套接口；其中关键读数是“反例外主义在独立证据中的稳定结论数／全部可追溯到原始出处的有效主张”。《逻辑多元论的正式方案》若改用另一分母，结论就可能反号。《逻辑多元论的正式方案》因此成为现代条目的历史压力测试。核验《逻辑多元论的正式方案》时须同时保存它没有解释的对象，不能只汇集成功分支。

位置D——它把“《逻辑多元论的正式方案》的测量史入口”视为单独足够　预设〔10 更多数据必然减少偏倚〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块二的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“逻辑多元论的正式方案”，测量史称“可撤回的旧接口”；另见本块二

经十一、经验主义的两个教条Classic 11 · Philosophy of Logic

提出W. V. O. Quine，1951 年，Quine WVO. Two Dogmas of Empiricism. Philosophical Review 60 (1951)。　流变Karina Schumann, Michael Ross，2010年，〈The Benefits, Costs, and Paradox of Revenge〉，《Social and Personality Psychology Compass 4(12):1193-1205》，DOI 10.1111/j.1751-9004.2010.00322.x随后重检这条命题的对象、识别和外推边界。　今用本块三“悖论方案的代价核算”继续使用、修正或反对它建立的判断接口。　关键经验主义的两个教条把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

《经验主义的两个教条》在1951年造成的转向首先是一项制度史选择。W. V. O. Quine在《经验主义的两个教条》中把对象、操作和失败读数排成可质疑次序，没有把逻辑哲学的复杂性缩成权威判断。《经验主义的两个教条》原文本之外仍有空栏，教科书式扩写不能自动填平。

后续争论Karina Schumann, Michael Ross，2010年，〈The Benefits, Costs, …缩窄或改写了《经验主义的两个教条》。它连接本块三时，现代证据“悖论方案的代价核算在独立证据中的稳定结论数／全部被纳入且未因缺失退出的观察单位…”承担复核责任。若重编对象、延长时间窗或补回排除者后排序翻转，就应承认现代层反驳了《经验主义的两个教条》的外推，而不是替经典找托词。核验《经验主义的两个教条》时须同时保存它没有解释的对象，不能只汇集成功分支。

位置E——它把“《经验主义的两个教条》的制度史入口”视为单独足够　预设〔11 可复现＝可重做〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块三的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“经验主义的两个教条”，制度史称“可撤回的旧接口”；另见本块三

经十二、意义来自规则中的使用Classic 12 · Philosophy of Logic

提出Ludwig Wittgenstein，1953 年，Wittgenstein L. Philosophical Investigations. Blackwell (1953)。　流变S. Adian, L. Beklemishev, A. Visser，2011年，〈Proof and Computation〉，《Journal of Logic and Computation 21(4):541-542》，DOI 10.1093/logcom/exp042随后重检这条命题的对象、识别和外推边界。　今用本块四“逻辑成为可执行的东西”继续使用、修正或反对它建立的判断接口。　关键意义来自规则中的使用把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

Ludwig Wittgenstein在1953年的《意义来自规则中的使用》为逻辑哲学留下制度史装置：公开对象怎样进入分母，并把例外放在模型内。《意义来自规则中的使用》以前的争论容易把测量便利当成本体事实；《意义来自规则中的使用》使两者能够分账。《意义来自规则中的使用》成为经典，靠的是接受反例修订。

用S. Adian, L. Beklemishev, A. Visser，2011年，〈Proof and Compu…回看《意义来自规则中的使用》，可辨哪些结果来自原命题，哪些只是后来制度借名包装。本块四保存这条差异；关键判断是“逻辑成为可执行的东西在独立证据中的稳定结论数／全部可由第三方重做的证据链节点…”。它把《意义来自规则中的使用》的失败对象送回比较。《意义来自规则中的使用》的旧前提由本块检验证据成本。核验《意义来自规则中的使用》时须同时保存它没有解释的对象，不能只汇集成功分支。

位置S——它把“《意义来自规则中的使用》的制度史入口”视为单独足够　预设〔12 成本可外置而不改变结论〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块四的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“意义来自规则中的使用”，制度史称“可撤回的旧接口”；另见本块四

经十三、给予神话与理由空间Classic 13 · Philosophy of Logic

提出Wilfrid Sellars，1956 年，Sellars W. Empiricism and the Philosophy of Mind. University of Minnesota Press (1956)。　流变Sebastián Tapia-Mandiola, Roberto Araya，2024年，〈From Play to Understanding: Large Language Models in Logic and Spatial Reasoning Coloring Activities for Children〉，《AI 5(4):1870-1892》，DOI 10.3390/ai5040093随后重检这条命题的对象、识别和外推边界。　今用本块五“机器在推理，逻辑在哪里”继续使用、修正或反对它建立的判断接口。　关键给予神话与理由空间把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

1956年的《给予神话与理由空间》不是名人标签。Wilfrid Sellars沿制度史把逻辑哲学中混写的对象、证据和价值判断分开，规定什么材料算支持、哪种记录足以迫使命题后退。《给予神话与理由空间》的阴性对象与退出记录由此能在同一账本重算。

Sebastián Tapia-Mandiola, Roberto Araya，2024年，〈From Play t…后来反向校验《给予神话与理由空间》，保留可迁移结构，也撤回只在旧制度和旧测量中成立的扩展。与本块五对读。现代关键读数是“机器在推理，逻辑在哪里在独立证据中的稳定结论数／全部在替代模型下接受比较的结果…”。它说明《给予神话与理由空间》的哪项设置被继承，又在哪个分母上被改写。经典地位不能替代《给予神话与理由空间》的新证据。核验《给予神话与理由空间》时须同时保存它没有解释的对象，不能只汇集成功分支。

位置D——它把“《给予神话与理由空间》的制度史入口”视为单独足够　预设〔13 时间尺度可自由压缩〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块五的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“给予神话与理由空间”，制度史称“可撤回的旧接口”；另见本块五

经十四、范式与科学革命Classic 14 · Philosophy of Logic

提出Thomas S. Kuhn，1962 年，Kuhn TS. The Structure of Scientific Revolutions. University of Chicago Press (1962)。　流变Georg Brun，2018年，〈Logical expressivism, logical theory and the critique of inferences〉，《Synthese 196(11):4493-4509》，DOI 10.1007/s11229-017-1662-y随后重检这条命题的对象、识别和外推边界。　今用本块六“溯因选逻辑：公理也要靠解释力竞争”继续使用、修正或反对它建立的判断接口。　关键范式与科学革命把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

《范式与科学革命》出现前，逻辑哲学常把同名现象当作同一对象。Thomas S. Kuhn于1962年沿制度史先限定观察者能看到什么，再说明遗漏什么会让解释失真。《范式与科学革命》改变的是判决程序，不是增加一条永远正确的结论。

Georg Brun，2018年，〈Logical expressivism, logical theory and…把《范式与科学革命》送进不同样本与制度，保留可证伪骨架，撤掉不再成立的普遍化。本块六仍借用这套接口；其中关键读数是“溯因选逻辑在独立证据中的稳定结论数／全部跨版本仍保留同一含义的记录”。《范式与科学革命》若改用另一分母，结论就可能反号。《范式与科学革命》因此成为现代条目的历史压力测试。核验《范式与科学革命》时须同时保存它没有解释的对象，不能只汇集成功分支。迁移《范式与科学革命》须注明采用哪一版定义，同名术语不等于同一证据单位。

位置E——它把“《范式与科学革命》的制度史入口”视为单独足够　预设〔14 因与果的方向是给定的〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块六的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“范式与科学革命”，制度史称“可撤回的旧接口”；另见本块六

经十五、正义论与反思平衡Classic 15 · Philosophy of Logic

提出John Rawls，1971 年，Rawls J. A Theory of Justice. Harvard University Press (1971)。　流变David Harker，2011年，〈ERIC CHRISTIAN BARNES<i>The Paradox of Predictivism</i>〉，《The British Journal for the Philosophy of Science 62(1):219-223》，DOI 10.1093/bjps/axq027随后重检这条命题的对象、识别和外推边界。　今用本块七“逻辑预测主义：好逻辑应当预告尚未整理的判断”继续使用、修正或反对它建立的判断接口。　关键正义论与反思平衡把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

《正义论与反思平衡》在1971年造成的转向首先是一项制度史选择。John Rawls在《正义论与反思平衡》中把对象、操作和失败读数排成可质疑次序，没有把逻辑哲学的复杂性缩成权威判断。《正义论与反思平衡》原文本之外仍有空栏，教科书式扩写不能自动填平。

后续争论David Harker，2011年，〈ERIC CHRISTIAN BARNESThe Paradox of Pr…缩窄或改写了《正义论与反思平衡》。它连接本块七时，现代证据“逻辑预测主义在独立证据中的稳定结论数／全部公开成功与失败的尝试”承担复核责任。若重编对象、延长时间窗或补回排除者后排序翻转，就应承认现代层反驳了《正义论与反思平衡》的外推，而不是替经典找托词。核验《正义论与反思平衡》时须同时保存它没有解释的对象，不能只汇集成功分支。迁移《正义论与反思平衡》须注明采用哪一版定义，同名术语不等于同一证据单位。

位置S——它把“《正义论与反思平衡》的制度史入口”视为单独足够　预设〔15 同名即同物〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块七的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“正义论与反思平衡”，制度史称“可撤回的旧接口”；另见本块七

经十六、心灵、语言与实在论Classic 16 · Philosophy of Logic

提出Hilary Putnam，1975 年，Putnam H. Mind, Language and Reality. Cambridge University Press (1975)。　流变未检得同题独立反证随后重检这条命题的对象、识别和外推边界。　今用本块八“实验逻辑哲学：推理直觉开始接受跨群体测量”继续使用、修正或反对它建立的判断接口。　关键心灵、语言与实在论把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

Hilary Putnam在1975年的《心灵、语言与实在论》为逻辑哲学留下人物史装置：公开对象怎样进入分母，并把例外放在模型内。《心灵、语言与实在论》以前的争论容易把测量便利当成本体事实；《心灵、语言与实在论》使两者能够分账。《心灵、语言与实在论》成为经典，靠的是接受反例修订。

用未检得同题独立反证回看《心灵、语言与实在论》，可辨哪些结果来自原命题，哪些只是后来制度借名包装。本块八保存这条差异；关键判断是“实验逻辑哲学在独立证据中的稳定结论数／全部达到最低可读与可复算条件的作品”。它把《心灵、语言与实在论》的失败对象送回比较。《心灵、语言与实在论》的旧前提由本块检验证据成本。核验《心灵、语言与实在论》时须同时保存它没有解释的对象，不能只汇集成功分支。

位置D——它把“《心灵、语言与实在论》的人物史入口”视为单独足够　预设〔16 稀有与常见服从同一机制〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块八的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“心灵、语言与实在论”，人物史称“可撤回的旧接口”；另见本块八

经十七、哲学与自然之镜Classic 17 · Philosophy of Logic

提出Richard Rorty，1979 年，Rorty R. Philosophy and the Mirror of Nature. Princeton University Press (1979)。　流变Rea Golan，2022年，〈On the Metainferential Solution to the Semantic Paradoxes〉，《Journal of Philosophical Logic 52(3):797-820》，DOI 10.1007/s10992-022-09688-y随后重检这条命题的对象、识别和外推边界。　今用本块九“元推理层：规则之间的推理也可能改换逻辑”继续使用、修正或反对它建立的判断接口。　关键哲学与自然之镜把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

1979年的《哲学与自然之镜》不是名人标签。Richard Rorty沿人物史把逻辑哲学中混写的对象、证据和价值判断分开，规定什么材料算支持、哪种记录足以迫使命题后退。《哲学与自然之镜》的阴性对象与退出记录由此能在同一账本重算。

Rea Golan，2022年，〈On the Metainferential Solution to the Se…后来反向校验《哲学与自然之镜》，保留可迁移结构，也撤回只在旧制度和旧测量中成立的扩展。与本块九对读。现代关键读数是“元推理层在独立证据中的稳定结论数／全部独立机构、社群或实验装置”。它说明《哲学与自然之镜》的哪项设置被继承，又在哪个分母上被改写。经典地位不能替代《哲学与自然之镜》的新证据。核验《哲学与自然之镜》时须同时保存它没有解释的对象，不能只汇集成功分支。迁移《哲学与自然之镜》须注明采用哪一版定义，同名术语不等于同一证据单位。

位置E——它把“《哲学与自然之镜》的人物史入口”视为单独足够　预设〔17 局部最优可加总为整体最优〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块九的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“哲学与自然之镜”，人物史称“可撤回的旧接口”；另见本块九

经十八、命名、必然性与本质Classic 18 · Philosophy of Logic

提出Saul A. Kripke，1980 年，Kripke SA. Naming and Necessity. Harvard University Press (1980)。　流变Andreas Fjellstad，2020年，〈Logical Nihilism and the Logic of ‘prem’〉，《Logic and Logical Philosophy 30(2):311-325》，DOI 10.12775/llp.2020.023随后重检这条命题的对象、识别和外推边界。　今用本块十“逻辑虚无主义与普遍主义：是否存在真正无例外的后承”继续使用、修正或反对它建立的判断接口。　关键命名、必然性与本质把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

《命名、必然性与本质》出现前，逻辑哲学常把同名现象当作同一对象。Saul A. Kripke于1980年沿人物史先限定观察者能看到什么，再说明遗漏什么会让解释失真。《命名、必然性与本质》改变的是判决程序，不是增加一条永远正确的结论。

Andreas Fjellstad，2020年，〈Logical Nihilism and the Logic of…把《命名、必然性与本质》送进不同样本与制度，保留可证伪骨架，撤掉不再成立的普遍化。本块十仍借用这套接口；其中关键读数是“逻辑虚无主义与普遍主义在独立证据中的稳定结论数／全部处于同一制度规则下的案例…”。《命名、必然性与本质》若改用另一分母，结论就可能反号。《命名、必然性与本质》因此成为现代条目的历史压力测试。核验《命名、必然性与本质》时须同时保存它没有解释的对象，不能只汇集成功分支。

位置S——它把“《命名、必然性与本质》的人物史入口”视为单独足够　预设〔18 干预不回写到被干预者〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块十的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“命名、必然性与本质”，人物史称“可撤回的旧接口”；另见本块十

经十九、德性、传统与实践Classic 19 · Philosophy of Logic

提出Alasdair MacIntyre，1981 年，MacIntyre A. After Virtue. University of Notre Dame Press (1981)。　流变Jaka Satria Warman, Hamzah Hamzah，2019年，〈AN ANALYSIS OF LOGICAL FALLACY ON JOKO WIDODO’S ARGUMENTS DURING 2019 INDONESIA PRESIDENTIAL DEBATE〉，《English Language and Literature 8(3)》，DOI 10.24036/ell.v8i3.105507随后重检这条命题的对象、识别和外推边界。　今用本块十一“自然语言形式化：翻译不是无损管道”继续使用、修正或反对它建立的判断接口。　关键德性、传统与实践把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

《德性、传统与实践》在1981年造成的转向首先是一项人物史选择。Alasdair MacIntyre在《德性、传统与实践》中把对象、操作和失败读数排成可质疑次序，没有把逻辑哲学的复杂性缩成权威判断。《德性、传统与实践》原文本之外仍有空栏，教科书式扩写不能自动填平。

后续争论Jaka Satria Warman, Hamzah Hamzah，2019年，〈AN ANALYSIS OF LO…缩窄或改写了《德性、传统与实践》。它连接本块十一时，现代证据“自然语言形式化在独立证据中的稳定结论数／全部有明确责任人与修订记录的来源”承担复核责任。若重编对象、延长时间窗或补回排除者后排序翻转，就应承认现代层反驳了《德性、传统与实践》的外推，而不是替经典找托词。核验《德性、传统与实践》时须同时保存它没有解释的对象，不能只汇集成功分支。迁移《德性、传统与实践》须注明采用哪一版定义，同名术语不等于同一证据单位。

位置D——它把“《德性、传统与实践》的人物史入口”视为单独足够　预设〔19 类别互斥且穷尽〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块十一的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“德性、传统与实践”，人物史称“可撤回的旧接口”；另见本块十一

经二十、真理与解释的整体约束Classic 20 · Philosophy of Logic

提出Donald Davidson，1984 年，Davidson D. Inquiries into Truth and Interpretation. Oxford University Press (1984)。　流变Adnan Rashid, Muhammad Umair, Osman Hasan，2020年，〈Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving〉，《IEEE Access 8:27291-27307》，DOI 10.1109/access.2020.2971661随后重检这条命题的对象、识别和外推边界。　今用本块十二“证明助手与语言模型：产生推理和认证推理被彻底分开”继续使用、修正或反对它建立的判断接口。　关键真理与解释的整体约束把逻辑哲学的一项旧判断压成可撤回命题；比较必须固定对象、分母和时间窗，补回反例后若方向改变，经典只保留原适用域。

Donald Davidson在1984年的《真理与解释的整体约束》为逻辑哲学留下人物史装置：公开对象怎样进入分母，并把例外放在模型内。《真理与解释的整体约束》以前的争论容易把测量便利当成本体事实；《真理与解释的整体约束》使两者能够分账。《真理与解释的整体约束》成为经典，靠的是接受反例修订。

用Adnan Rashid, Muhammad Umair, Osman Hasan，2020年，〈Toward th…回看《真理与解释的整体约束》，可辨哪些结果来自原命题，哪些只是后来制度借名包装。本块十二保存这条差异；关键判断是“证明助手与语言模型在独立证据中的稳定结论数／全部被目标人群实际接触而非名义提供的对象…”。它把《真理与解释的整体约束》的失败对象送回比较。《真理与解释的整体约束》的旧前提由本块检验证据成本。

位置E——它把“《真理与解释的整体约束》的人物史入口”视为单独足够　预设〔20 窗口内稳定＝长期稳定〕默认本条比较的对象边界在迁移前后保持可换算　量纲支持本条方向的独立复核数∶全部纳入的正例、反例与退出记录数　失效当补回排除者或改用本块十二的分母后，支持率越高而真实覆盖反而越低，本条外推失效　异名本领域称“真理与解释的整体约束”，人物史称“可撤回的旧接口”；另见本块十二

◎ 这一层怎么用

先从“今用”回到上文对应现代条，再比较对象、分母和停止规则。只共享名词而不能换算量纲的关系登记为异名；能够共用失败对象的关系才进入碰撞。

经典身份不提供豁免。提出年份只决定它属于哪一层，后续反例负责划出今天仍可使用的边界；同一经典在新制度里失效，应明确写成撤回而不是补托词。

◎ 经典层资料核验

  1. Kleene SC. Introduction to Metamathematics. North-Holland (1952)（专著）。
  2. Carnap R. Meaning and Necessity, 2nd ed. University of Chicago Press (1956)（专著）。
  3. Tarski A. Logic, Semantics, Metamathematics. Clarendon Press (1956)（专著）。
  4. Prior AN. Time and Modality. Clarendon Press (1957)（专著）。
  5. Haack S. Deviant Logic. Cambridge University Press (1974)（专著）。
  6. Dummett M. The Justification of Deduction. British Academy (1975)（专著）。
  7. Kripke SA. Outline of a Theory of Truth. Journal of Philosophy 72 (1975)。
  8. Belnap ND. A Useful Four-Valued Logic. Reidel (1977)（专著）。
  9. Priest G. The Logic of Paradox. Journal of Philosophical Logic 8 (1979)。
  10. Beall JC, Restall G. Logical Pluralism. Oxford University Press (2006)（专著）。
  11. Quine WVO. Two Dogmas of Empiricism. Philosophical Review 60 (1951)。
  12. Wittgenstein L. Philosophical Investigations. Blackwell (1953)（专著）。
  13. Sellars W. Empiricism and the Philosophy of Mind. University of Minnesota Press (1956)（专著）。
  14. Kuhn TS. The Structure of Scientific Revolutions. University of Chicago Press (1962)（专著）。
  15. Rawls J. A Theory of Justice. Harvard University Press (1971)（专著）。
  16. Putnam H. Mind, Language and Reality. Cambridge University Press (1975)（专著）。
  17. Rorty R. Philosophy and the Mirror of Nature. Princeton University Press (1979)（专著）。
  18. Kripke SA. Naming and Necessity. Harvard University Press (1980)（专著）。
  19. MacIntyre A. After Virtue. University of Notre Dame Press (1981)（专著）。
  20. Davidson D. Inquiries into Truth and Interpretation. Oxford University Press (1984)（专著）。
  21. Pilar Terrés-Villalonga，2025年，〈Reflections on language and charity: a response to Stei’s “Logical Pluralism and Logical Consequence”〉，《Asian Journal of Philosophy 4(1)》，DOI 10.1007/s44204-025-00249-z。
  22. Aladdin M. Yaqub，2010年，〈An Introduction to Non-Classical Logic〉，《Teaching Philosophy 33(4):432-436》，DOI 10.5840/teachphil201033453。
  23. Jared Warren，2023年，〈The Liar Paradox and “Meaningless” Revenge〉，《Journal of Philosophical Logic 53(1):49-78》，DOI 10.1007/s10992-023-09719-2。
  24. Zack Garrett，2023年，〈Logical Constants and the Sorites Paradox〉，《Logic and Logical Philosophy 32(3):363-381》，DOI 10.12775/llp.2023.007。
  25. Nils Kürbis，2013年，〈Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality〉，《Journal of Philosophical Logic 44(6):713-727》，DOI 10.1007/s10992-013-9310-6。
  26. Paddy Dolan, John Connoly，2018年，〈Beyond Logic and Norms: A Figurational Critique of Institutional Theory in Organisation Studies〉，《Cambio. Rivista sulle Trasformazioni Sociali 7(14):139-149》，DOI 10.13128/cambio-22915。
  27. Peter Verdée，2020年，〈Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic〉，《Synthese 198(S22):5415-5449》，DOI 10.1007/s11229-020-02638-8。
  28. Manuel Bremer，2013年，〈Restall and Beall on Logical Pluralism: A Critique〉，《Erkenntnis 79(S2):293-299》，DOI 10.1007/s10670-013-9478-8。
  29. Matthew Carlson，2022年，〈Anti-exceptionalism and the justification of basic logical principles〉，《Synthese 200(3)》，DOI 10.1007/s11229-022-03715-w。
  30. Karina Schumann, Michael Ross，2010年，〈The Benefits, Costs, and Paradox of Revenge〉，《Social and Personality Psychology Compass 4(12):1193-1205》，DOI 10.1111/j.1751-9004.2010.00322.x。
  31. S. Adian, L. Beklemishev, A. Visser，2011年，〈Proof and Computation〉，《Journal of Logic and Computation 21(4):541-542》，DOI 10.1093/logcom/exp042。
  32. Sebastián Tapia-Mandiola, Roberto Araya，2024年，〈From Play to Understanding: Large Language Models in Logic and Spatial Reasoning Coloring Activities for Children〉，《AI 5(4):1870-1892》，DOI 10.3390/ai5040093。
  33. Georg Brun，2018年，〈Logical expressivism, logical theory and the critique of inferences〉，《Synthese 196(11):4493-4509》，DOI 10.1007/s11229-017-1662-y。
  34. David Harker，2011年，〈ERIC CHRISTIAN BARNES<i>The Paradox of Predictivism</i>〉，《The British Journal for the Philosophy of Science 62(1):219-223》，DOI 10.1093/bjps/axq027。
  35. Rea Golan，2022年，〈On the Metainferential Solution to the Semantic Paradoxes〉，《Journal of Philosophical Logic 52(3):797-820》，DOI 10.1007/s10992-022-09688-y。
  36. Andreas Fjellstad，2020年，〈Logical Nihilism and the Logic of ‘prem’〉，《Logic and Logical Philosophy 30(2):311-325》，DOI 10.12775/llp.2020.023。
  37. Jaka Satria Warman, Hamzah Hamzah，2019年，〈AN ANALYSIS OF LOGICAL FALLACY ON JOKO WIDODO’S ARGUMENTS DURING 2019 INDONESIA PRESIDENTIAL DEBATE〉，《English Language and Literature 8(3)》，DOI 10.24036/ell.v8i3.105507。
  38. Adnan Rashid, Muhammad Umair, Osman Hasan，2020年，〈Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving〉，《IEEE Access 8:27291-27307》，DOI 10.1109/access.2020.2971661。

核验说明：提出栏优先使用原始论文、专著或正式文集；流变栏只承担后续修订。2006 年后的材料不改变经典条的入选年份。

新思想前沿 · 第 93 号《逻辑哲学》· 20 条现代思想 ＋ 20 条 1950–2006 经典思想 · 双层资料核验 · 王德生 亲撰 · ← 回到 626 个领域总览