/detect-contradiction

name: detect-contradiction
description: "Detect an explicit contradiction in logical derivations, claims, or evidence relations; classify whether it is formal, empirical, scope-dependent, or unresolved."

detect-contradiction

Purpose

Detect and classify explicit contradictions in derivations, claims, or evidence relations.

Input contract

required: [claims_or_derivation, evidence_relations, scope_context]
optional: [logic_rules, causal_graph, contradiction_taxonomy]
constraints: [distinguish formal, empirical, scope-dependent, and unresolved contradiction; preserve both sides]

Procedure

1. Normalize claims, predicates, scope, and evidence polarity. 2. Compare opposing claims or support/contradict relations under shared scope. 3. Classify the conflict and record the exact conflicting statements. 4. Create a contradiction record and identify the evidence needed for adjudication.

If the contradiction concerns treatment, component, or effect attribution, consider `analyze-intervention` as the next tactic. If the contradiction rests on a shared but untested premise, consider `challenge-assumption` as the next tactic.

Output contract

produces: [contradiction_register, conflicting_relations, classification, adjudication_questions]
delta_fields: [findings, evidence_updates, uncertainties, open_questions]

Quality gates

• Support and contradict evidence are both recorded; contradiction cannot be hidden by selecting one polarity.
• Scope mismatch is labeled scope-dependent rather than formal contradiction.
• Each contradiction includes both endpoints and a reproducible comparison basis.

Parameterization

The caller must provide claim schema, evidence polarity vocabulary, scope rules, logic/causal relation types, and the adjudication status vocabulary.

Failure and counterexamples

Reject conflicts caused only by incomparable metrics, different scopes, or duplicate text; retain them as unresolved comparability issues.

Provenance map

• resolved: stress-test/contradiction-detection
• resolved: knowledge-structuring/contradiction-flagging
• concept: stress-test/detect-contradiction
• intermediate: Pass3/detect-contradiction
• intermediate: Pass3/flag-contradictory-evidence

Preserved source criteria ledger

| source | physical line | kind | source criterion | |---|---:|---|---| | knowledge-structuring/contradiction-flagging | 18 | gate | Record simultaneous support and contradict evidence and do not ignore either. |