The development of formal models of cognitive theory