AI RESEARCH
Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
arXiv CS.AI
•
ArXi:2604.15727v1 Announce Type: new Large language models exhibit systematic limitations in structured logical reasoning: they conflate hypothesis generation with verification, cannot distinguish conjecture from validated knowledge, and allow weak reasoning steps to propagate unchecked through inference chains. We present a symbolic reasoning scaffold that operationalizes Peirce's tripartite inference -- abduction, deduction, and induction -- as an explicit protocol for LLM-assisted reasoning.