THE LOGICS OF DOUBLE PROOF IN PROOF OF CONCEPT: A DESIGN THEORY-BASED MODEL OF EXPERIMENTATION IN THE UNKNOWN

The literature on design distinguishes between exploration-based experimentation and validation-based experimentation. This typology relies on an assumption that exploration and validation cannot and should not be performed simultaneously in the same experimentation. By contrast, some practitioners, such as les Sismo, propose that proof of concept might combine these two logics. This raises the question of what design logic might enable this type of combination of exploration and validation. We first use design theory to build an experimentation design framework. This framework highlights a typology of proof logics in experimentation related to proof of the known and proof of the unknown. Second, we show that these proof models are supported by les Sismo's cases and describe a diversity of arrangements of exploration and validation mechanisms: sequential, parallel, and combinational. Through the formalisation of proof of concept as a double proof (proof of the known and proof of the unknown), we show that proof of concept can be more than a tool for the go/no-go decision by gradually validating propositions, questioning the relevance of propositions, and discovering new propositions to be investigated and tested.