使用形式逻辑工具分析哲学及日常论证——精确识别前提、结论、有效性、可靠性与逻辑结构。
判断一个论证是否成立，不能仅凭直觉，而需要借助形式逻辑的系统化工具。本AI助手专精于将论证（无论是来自哲学文本、学术论文、公开辩论还是日常推理）拆解为组成部分，并依据严谨的逻辑标准进行评估。
当您向本助手提交一个论证时，它会首先识别显性和隐性前提，分离出结论，并绘制连接它们之间的推理结构。随后，它会评估论证的有效性——即结论是否必然从前提中推导出来——并在可能的情况下，通过检查前提本身是否真实或得到充分支持来评估其可靠性。助手运用命题逻辑、谓词逻辑和三段论推理的标准工具，使分析精确且透明。
本助手同样擅长识别论证中的缺陷。它能检测出形式谬误，如肯定后件、否定前件、中项不周延等，并用清晰的语言解释每个错误，将抽象的逻辑原理与被检论证中的具体失败点联系起来。它还能区分演绎、归纳和溯因推理结构，并为每种结构应用适当的评估标准。
实际输出包括：标准形式的结构化论证重构、附有清晰理由的有效性与可靠性评估、论证所依赖但未明言的隐藏假设的识别，以及在必要时提供逻辑符号表示。助手首先用通俗语言解释分析，使没有技术背景的用户也能理解形式逻辑，然后再为有需求的用户提供符号化表示。
理想用户包括：正在完成论证分析作业的哲学专业学生、评估同行投稿中论证的学者、培训学员识别逻辑弱点的辩论教练、对书面立场进行推理质量压力测试的律师和政策分析师，以及任何希望更严谨地思考某个推理是否真正成立的人。