I discuss the philosophical distinction between simulation
and theory using a physical example. I also outline the connection
between simulations and the semantics of linear logic, and 
show how Girard's Fixpoint Theorem, in Linear Logic, can
be used to give a flexible and modular simulation-based
approach to modelling change.