logical-deduction-robustness · proposedDeducing validly from logical structure
Proposed. Several papers in the review queue converged on this framing, so the pipeline added it. Nobody has decided it is the right way to carve up the subject — it may be two topics, or a duplicate of another, or not a topic at all. Saying so is useful.
Covers strict rule-based deduction, stability under label-preserving rephrasings, and retracting conclusions when evidence changes; excludes arithmetic and factual QA.
Tags: general
Proposed from the ingestion pipeline rather than chosen by hand. 3 papers in the review queue independently pointed at this same competence, arriving under 3 different names (deductive-consistency, logical-reasoning-robustness, belief-revision), which is the signal that it is a real recurring topic and not one author's framing. Three papers on validity and robustness of deduction, which arithmetic and fact- verification do not cover.
What counts as this capability
Scope boundary used when deciding whether a paper is really about this capability, rather than merely mentioning it.
Covers strict rule-based deduction, stability under label-preserving rephrasings, and retracting conclusions when evidence changes; excludes arithmetic and factual QA.
Claims
No claims filed yet.
Techniques
None yet.
Capabilities are a way of carving up the subject, and carvings are arguable. Say so if this one is wrong — especially a proposed one, which a pipeline added because several papers used the same framing, not because anyone decided it was right.