← 治水学主页 ｜ 思想显影总览 ｜ 决策显影库 ｜ 核心术语表 ｜ 关于
逻辑学，亚里士多德开创，研究“有效推理”的学问。他的逻辑著作被后世编为“工具篇”（Organon），两千余年被称作“一切学问的工具”。它显影出来的，不是某一套治国方案，而是一套保障“思维本身不垮”的工具系统。
逻辑学把存续单位画在“思维的形式”上，不是世界、不是国家，而是“思维如何有效推演”。
它不处理“世界是什么”，只处理“命题与命题之间的推演关系”。逻辑先于任何具体学科——一切学问动工之前，先要有这把工具。
边界一画清，逻辑学就只管一件事：推理成不成立，与推理的内容是什么无关。
逻辑学认的最大威胁，不是“结论错”，而是“思维失效”——具体表现为三种：
• 概念滑动：同一个词，前后含义飘移，推理看似连贯，实则偷换；
• 自相矛盾：一个命题既真又假，思维在原地自我崩塌；
• 无效推演：前提与结论之间没有必然联系，推了等于没推。
即使结论碰巧对了，只要犯了这三样，推理仍不成立。这三种威胁，是逻辑学整套系统要盯住的东西。
• 突破性动能——承载物是“新的推理形式”与“符号化”：从亚里士多德三段论，到弗雷格的谓词逻辑、布尔代数。这股劲一次次把“能推理的范围”往外推。
• 稳定性动能——承载物是“规则的稳定性”与“形式的可重复性”：规则不随内容变，推理才可靠。
• 方向性动能——承载物是“真与有效性”：逻辑学追求的不是“说服”，而是“保真”——前提真，则结论必真。
配置：稳定性是基座（规则先立），方向性是标尺（朝向真），突破性是扩展（不断形式化）。
• 源头改造：定义。“把模糊概念变清晰”是逻辑学的起点——先划清一个概念的内涵外延，才谈得上推理。
• 底线守护（硬字段）：守住思维形式的确定性——概念不许滑动、真假不许两可。三条铁律，三条“不许破”——
• 同一律守概念：一个概念在同一推理中必须保持同一，不许滑动（防②的概念滑动）；
• 矛盾律守真假：一个命题不能既真又假，不许自毁（防②的自相矛盾）；
• 排中律守二值：一个命题要么真要么假，不许含混悬空，推理才有确定起点（防②的无效推演）。
• 共识凝聚：公理 / 共许前提。推理需要大家共同接受的前提（公理、公设），没有共同的起点，推理无从展开。
思维存续的第一要务，是形式有效——只要推理的形式对，前提为真则结论必真，与内容是什么无关。
| 编号 | X-0002 |
|---|---|
| 篇名 | 逻辑学——实践学显影 |
| 归目 | 思维工具 |
| 边界（追问1） | 思维的形式（只管推理是否成立，与推理内容无关） |
| 洪水（追问2） | 思维失效（概念滑动、自相矛盾、无效推演） |
| 三种动能（追问3） | 突破[新推理形式、符号化]·稳定[规则的稳定性、形式的可重复性]·方向[真与有效性] |
| 三类规则操作（追问4） | 源改[定义]·底线[守住思维形式的确定性：同一律守概念/矛盾律守真假/排中律守二值]·共识[公理、共许前提] |
| 关键判断结构（追问5） | 形式有效——形式对、前提真则结论必真，与内容无关｜形式存续系统 |
| 命名 | 形式存续系统 |
| 备注 | 第二篇；归目＝思维工具；名取边界词「形式」（第①级） |
同一律（一个概念在同一推理中必须保持同一）、矛盾律（一个命题不能既真又假）、排中律（一个命题要么真要么假）。三条合起来守住「思维不自我崩塌」。
亚里士多德。他的逻辑著作被后世编为《工具论》（Organon），三段论的格与式见《前分析篇》。
亚里士多德的逻辑著作被后世编纂为《工具论》（Organon），「工具」一名系后人所加——意思是一切学问动工之前，先要有这把工具，所以逻辑先于任何具体学科。
形式逻辑只管推理形式是否有效（前提真则结论必真），不问内容；辩证逻辑把矛盾当作运动的内在动力，不视为必须排除的失效。本文显影取形式逻辑主流，不做谱系。
不算。结论碰巧正确但推理无效，仍然失败。逻辑学管的是「形式有效」——只要推理形式对，前提为真则结论必真，与内容是什么无关。
把逻辑符号化、形式化：布尔代数把逻辑运算代数化，弗雷格的谓词逻辑引入量词与谓词分析，使「能推理的范围」从三段论扩张到关系与量化命题。