In which we discuss the family of views known as functionalism, according to which mental state types are functional state types, and the subtype machine functionalism, according to which mental states and properties are computational states and properties.