FOM: iterative conception of set
holmes at catseye.idbsu.edu
Sun Mar 1 15:30:18 EST 1998
Dear Charles Silver (and fom list):
I think that _Quine_ had no underlying conception when he proposed
NF; the standard criticism is that NF is a "syntactical trick".
However, there is an underlying conception of sets which leads to
NF. I believe I described it in an earlier posting to the fom list.
It is described in my paper "The set-theoretical program of Quine
succeeded, but nobody noticed", in Modern Logic, vol. 4, no. 1.
I will write at more length if you can't find either of these.
More information about the FOM