FOM: Logic

Thomas Forster T.Forster at
Sat Nov 25 06:29:51 EST 2000

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
    ``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

More information about the FOM mailing list