FOM: Logic

[Thomas Forster]

I've been doing a literature search on Church's translation
argument (i have a student writine me an essay on it) and
turned up this gem in the volume of the JSL containing the
langford review that Church alludes to in his 1950 Analysis
article..
    ``Logic, Padoa says, is not in a particularly fortunate
position.  On the one hand, philosophers prefer to speak of
it without using it, while on the other hand mathematicians
prefer to use it without speaking of it and even without
desiring to hear it spoken of''
      C.H. Langford JSL vol 2 (1937) p 57