This paper asks how, in science in general and in economics in particular, theoretical models aid the understanding of real-world phenomena. Using specific models in economics and biology as test cases, it considers three alternative answers: that models are tools for isolating the ‘capacities’ of causal factors in the real world; that modelling is ‘conceptual exploration’ which ultimately contributes to the development of genuinely explanatory theories; and that models are credible counterfactual worlds from which inductive inferences can be made. The (...) paper argues that the ‘credible worlds’ account captures significant aspects of scientific practice, even if many modellers see their work as conceptual exploration. (shrink)

This article shows how the MISS account of models—as isolations and surrogate systems—accommodates and elaborates Sugden’s account of models as credible worlds and Hausman’s account of models as explorations. Theoretical models typically isolate by means of idealization, and they are representatives of some target system, which prompts issues of resemblance between the two to arise. Models as representations are constrained both ontologically (by their targets) and pragmatically (by the purposes and audiences of the modeller), and these relations are coordinated by (...) a model commentary. Surrogate models are often about single mechanisms. They are distinguishable from substitute models, which are examined without any concern about their connections with the target. Models as credible worlds are surrogate models that are believed to provide access to their targets on account of their credibility (of which a few senses are distinguished). (shrink)

Robert Sugden argues that robustness analysis cannot play an epistemic role in grounding model-world relationships because the procedure is only a matter of comparing models with each other. We posit that this argument is based on a view of models as being surrogate systems in too literal a sense. In contrast, the epistemic importance of robustness analysis is easy to explicate if modelling is viewed as extended cognition, as inference from assumptions to conclusions. Robustness analysis is about assessing the reliability (...) of our extended inferences, and when our confidence in these inferences changes, so does our confidence in the results. Furthermore, we argue that Sugden’s inductive account relies tacitly on robustness considerations. (shrink)

The 'Evolution of Cooperation' addresses a simple yet age-old question; If living things evolve through competition, how can cooperation ever emerge? Despite the abundant evidence of cooperation all around us, there existed no purely naturalistic answer to this question until 1979, when Robert Axelrod famously ran a computer tournament featuring a standard game-theory exercise called The Prisoner's Dilemma. To everyone's surprise, the program that won the tournament, named Tit for Tat, was not only the simplest but the most "cooperative" entrant. (...) This unexpected victory proved that cooperation - one might even say altruism - is mathematically possible and therefore needs no hidden hand or divine agent to create and sustain it. A great roadblock to the understanding of all sorts of behavior was at last removed. The updated edition includes an extensive new chapter on cooperation in cancer cells and among terrorist organizations. (shrink)

This paper discusses critically what simulation models of the evolution of cooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” (1984) and the modeling tradition it has inspired. Hardly any of the many simulation models in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But this research design was fundamentally flawed. At (...) best such simulations can claim to prove logical possibilities, i.e. they prove that certain phenomena are possible as the consequence of the modeling assumptions built into the simulation, but not that they are possible or can be expected to occur in reality. I suggest several requirements under which proofs of logical possibilities can nevertheless be considered useful. Sadly, most Axelrod-style simulations do not meet these requirements. It would be better not to use this kind of simulations at all. (shrink)