Generation of hypotheses and problematic portions of phenomena

In this paper, we present our inferential and dynamic conception of surrogate reasoning in scientific modeling. To this end, we redefine the notion of hypothesis generation and delve deeper into distinctions that we consider fundamental, such as that of the problematic portion of phenomena. We conclude by pointing to a precedent for our approach in Constructive Type Theory.