"An attempt by a philosopher/cognitive scientist and a mathematical biologist to provide a mathematical foundation for embodied cognitive science"--