Formal Epistemology
SRF Research Programme
Reproducibility failures are often failures of problem identity.
This programme provides the formal tools to diagnose the difference.
What makes two scientific investigations address the same problem — and why does it matter for reproducibility?
Updates
-
2026-03
Preprint published on Zenodo:
Problem Identity as a Presupposition of Reproducibility Evaluation
DOI: 10.5281/zenodo.19156341 - Forthcoming Paper II in preparation
Latest
I
Preprint
2026
Problem Identity as a Presupposition of Reproducibility Evaluation
A Formal Account of the DTC Conditions via Structural Isomorphism
This paper argues that reproducibility evaluation presupposes problem identity and provides a formal framework (SRF) for diagnosing failures of this presupposition. A problem space M = (S, τ, Γ) is defined, and problem identity is formalised as structural isomorphism yielding three preservation conditions: D, T, and C.