 In this section we describe how Church’s wove certain philosophical doctrines about logic into the fabric of formal, mathematical logic as he presented it in (Church 1956a, 1959, 1962b, 1956–72). Church’s early philosophy of logic is described in  supplement B.