SRF Research Programme

Papers

I
Preprint 2026

Problem Identity as a Presupposition of Reproducibility Evaluation:
A Formal Account of the DTC Conditions via Structural Isomorphism

Philosophy of Science Reproducibility Formal Framework 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 is defined as M = (S, τ, Γ), and problem identity is formalised as structural isomorphism yielding three preservation conditions: D, T, and C.

Read Paper Download PDF
II
Forthcoming

Problem Transformation: Structural Conditions for Problem Change and Weak Similarity

Forthcoming

Table of Contents

  1. —In preparation

Abstract

Forthcoming. This paper will extend SRF to cases where the viewpoint is not fixed, introducing weak structural similarity and analysing the conditions under which a transformation preserves problem identity.

III
Forthcoming

Problem Distance: A Metric for Structural Divergence Between Problem Spaces

Forthcoming

Table of Contents

  1. —In preparation

Abstract

Forthcoming. This paper will develop a metric on problem spaces, formalising structural divergence and connecting to degree-theoretic extensions of SRF (SRF-g).

↑