 Field (2001: 56–67), Fodor (1994: 105–109), and Stich (1983: 149–151) pursue functional individuation. They specify functional roles using a Turing-style computationalism formalism, so that “functional role” becomes something like “computational role”, i.e., role within mental computation.