 In Church’s philosophy of logic, the phenomenon of deductive reasoning is assumed to be “already known, from experience with particular instances of it” and the stated goal of logic is to provide a theory of such reasoning