Logic Diagram

This diagram sets out the logical structure of the argument in Paper I. It traces the path from the hidden presupposition in reproducibility discourse, through the formal definition of problem spaces and DTC conditions, to the Distinction Proposition: that failure of reproducibility and failure of problem identity are formally distinguishable.

Hover over any node for details. The full argument is developed in Paper I →

Hover over nodes to display details. Scroll within the diagram to view the full structure.

The diagram is organised into four logical layers. The first layer (§1–§2) establishes that reproducibility discourse presupposes problem identity and that natural-language descriptions cannot guarantee it. The second layer (§3–§4) introduces the formal definition of problem spaces M = (S, τ, Γ) and structural isomorphism as the criterion for problem identity. The third layer (§5) shows that the DTC conditions, together with Condition E, are sufficient for reconstructability — and individually necessary. The fourth layer (§6–§8) applies this framework to four case studies and derives the Distinction Proposition.