FOM: iterative conception of set

Randall Holmes 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.

					--Randall Holmes




More information about the FOM mailing list