 This assumes that the person who undergoes this process can not only state rules but also apply them, so it assumes that such a person can reason as well as imitate behavior. In this way, it resembles, somewhat, Church’s earlier philosophy of logic in which he distinguished between intuitive logic and formal logic and maintained that intuitive logic cannot be learned and is a precondition of reasoning in formal logic. (Church’s early philosophy of logic is described in  supplement B.)  One reason for the absence of the locution “intuitive logic” from Church’s mature philosophy might be that he wanted to avoid the impression that there is some essential difference between what should take place in an informal meta-language and what should take place in a formalized object language. In fact, he was adamant that basic deductive reasoning should not have to take place in an informal meta-language. Rather, once the object language has been set up it