Cyrille Imbert

Computer simulations are usually considered to be non-explanatory because, when a simulation reveals that a property is instantiated in a system, it does not enable the exact identification of what it is that brings this property out (relevance requirement). Conversely, analytical deductions are widely considered to yield explanations and understanding. In this paper, I emphasize that explanations should satisfy the relevance requirement and argue that the more they do so, the more they have explanatory value. Finally, I show that this emphasis on relevance has the unexpected consequence that simulations can sometimes be explanatory.

Scientific models need to be investigated if they are to provide valuable information about the systems they represent. Surprisingly, the epistemological question of what enables this investigation has hardly been investigated. Even authors who consider the inferential role of models as central, like Hughes or Bueno and Colyvan, content themselves with claiming that models contain mathematical resources that provide inferential power. We claim that these notions require further analysis and argue that mathematical formalisms contribute to this inferential role. We characterize formalisms, illustrate how they extend our mathematical resources, and highlight how distinct formalisms offer various inferential affordances.