For his [Gregory Bateson] own early notions of proto-learning, deutero-learning and higher order learning…he sought a still more abstract and weidely applicable formulation; he found it at the cybernetics conferences by adopting the language of Russelian ‘theory of types’ as a metaphor.
