Computer simulations are involved in numerous branches of modern science, and science would not be the same without them. Yet the question of how they can explain real-world processes remains an issue of considerable debate. In this context, a range of authors have highlighted the inferences back to the world that computer simulations allow us to draw. I will first characterize the precise relation between computer and target of a simulation that allows us to draw such inferences. I then argue (...) that in a range of scientifically interesting cases they are particular abductions and defend this claim by appeal to two case studies. (shrink)

In this paper, I will argue that with the emergence of digital virtual worlds (in video games, animation movies, etc.) by the animation industry, we need to rethink the role and authority of mathematics, also from an ontological point of view. First I will demonstrate that the application of mathematics to the creation and description of the digital, virtual worlds behaves in many respects analogously to the application of mathematics to the description of real-world phenomena from the viewpoint of the (...) history of science. However, from other aspects, the application of mathematics significantly differs in this virtual world from the application to real-world fields. The main thesis of my paper is that the role of mathematics in the digital animation industry can be ontologically different from its usual role. In the application of mathematics to digital virtual worlds, mathematical concepts are no longer just modelling tools, forming a subordinated, computational basis, but they can direct and organise, and even create non-mathematical theory, something that we can call, for example, digital physics and biology. I will study this new, creative role of mathematics through some concrete phenomena, specifically through gravity. Our conclusion is that the animation industry opens an entirely new chapter in the relationship between (digital) sciences and mathematics. (shrink)

The question of where, between theory and experiment, computer simulations (CSs) locate on the methodological map is one of the central questions in the epistemology of simulation (cf. Saam Journal for General Philosophy of Science, 48, 293–309, 2017). The two extremes on the map have them either be a kind of experiment in their own right (e.g. Barberousse et al. Synthese, 169, 557–574, 2009; Morgan 2002, 2003, Journal of Economic Methodology, 12(2), 317–329, 2005; Morrison Philosophical Studies, 143, 33–57, 2009; Morrison (...) 2015; Massimi and Bhimji Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 51, 71–81, 2015; Parker Synthese, 169, 483–496, 2009) or just an argument executed with the aid of a computer (e.g. Beisbart European Journal for Philosophy of Science, 2, 395–434, 2012; Beisbart and Norton International Studies in the Philosophy of Science, 26, 403–422, 2012). There exist multiple versions of the first kind of position, whereas the latter is rather unified. I will argue that, while many claims about the ‘experimental’ status of CSs seem unjustified, there is a variant of the first position that seems preferable. In particular I will argue that while CSs respect the logic of (deductively valid) arguments, they neither agree with their pragmatics nor their epistemology. I will then lay out in what sense CSs can fruitfully be seen as experiments, and what features set them apart from traditional experiments nonetheless. I conclude that they should be seen as surrogate experiments, i.e. experiments executed consciously on the wrong kind of system, but with an exploitable connection to the system of interest. Finally, I contrast my view with that of Beisbart (European Journal for Philosophy of Science, 8, 171–204, 2018), according to which CSs are surrogates for experiments, arguing that this introduces an arbitrary split between CSs and other kinds of simulations. (shrink)

Even though the philosophy of simulation is intended as a comprehensive reflection about the practice of computer simulation in contemporary science, its output has been disproportionately shaped by research on equation-based simulation in the physical and climate sciences. Hence, the particularities of alternative practices of computer simulation in other scientific domains are not sufficiently accounted for in the current philosophy of simulation literature. This article centres on agent-based social simulation, a relatively established type of simulation in the social sciences, to (...) exemplify this claim. The analysis advanced has a twofold goal. First, it shows that the philosophy of agent-based social simulation, mostly developed by practitioners themselves, is, on one hand, heavily influenced by the methodological features of agent-based modelling and by the loose and fragmented character of social theory and, on the other hand, distinctively shaped by contrasting views of what it implies to do social research with virtual or artificial societies. Second, it suggests ways in which cross-fertilisation could enrich the philosophical understanding of computer simulation both in agent-based social simulation and in the philosophy of simulation. (shrink)