用途:s4h-logic-fixer 面向“破损的推理”,包括有缺陷的论证、自相矛盾的规格、不健全的计划或无效推断。它不只是批评,而是先诊断具体问题,再给出修正版本,使前提真正支持结论、隐含假设被显式化、谬误被移除。
主要能力与流程:第一步先诊断再修复,识别失败类型(无效推断、无支撑前提、逻辑谬误、内部矛盾、承担过多作用的隐藏假设、过度声称的结论),定位推理在哪一步断裂,并区分意图与执行;随后用 AskUserQuestion 确认对论证、目标结论和表面失败类型的理解。第二步按失败模式分类修复:无支撑前提补充证据或加限定;过度结论收窄到前提实际支持的范围;缺失步骤显式化;循环论证提供独立支持;假两难重构选项空间;无效推断补桥接前提;歧义消解术语;隐藏假设显式化为前提并评估是否成立。第三步产出修正版本:每条前提显式陈述、每一步推断有效、结论不超出前提支持、谬误被移除、隐藏假设被标注。第四步说明每处改动的内容、原因,以及改动是加强还是收窄原主张。若原结论在任何合理修复下都无法成立,应直接说明,而非制造一个技术上无谬误却不支持原意的版本。
使用方式:技能内使用 AskUserQuestion 工具进行确认。先给出 1–2 句解读,询问按“完整分析 / 仅关键发现 / 先看修正版 / 重新界定”哪种方式推进;输出格式包含原始推理、诊断(问题、位置、类型)、修正版本、改动对照(原版、修正、原因)与强度评估。完成后可选用 /s4h-logic-check 验证、/s4h-decision-premortem-analysis 压力测试、/s4h-communication-clarity-audit 检查表达清晰度,或结束。
适用场景与限制:适用于论证审查、规格矛盾排查、计划与推断修正。定位是保证推理可靠,而非挽救预定结论。具体收费、平台与效果资料暂未提供。