There has been much philosophical and empirical work on the ST in the last decade or so, and as a result it is a flourishing theory. My discussion in this chapter attempts to clarify some aspects of the ST, specifically, the concept of simulation, high-level simulation, and low-level simulation. I argue that we have good reasons to adopt a more precise conception simulation for high-level and low-level simulation. These stricter criteria rule out some illegitimate examples of simulation, and they also capture what is truly distinctive about legitimate cases of simulation.
Read full paper here.