FOM: Iterative conception of set: comment on Silver

[Moshe' Machover]

Silver mentions attempts by Boolos and Shoenfield (to which must be added
Kreisel and others--all foreshadowed by Zermelo's 1930 paper) to justify
the axioms of ZF by the iterative conception of sets.

This justifiaction is not very convincing for the replacement axiom. At
least, I for one have never been convinced by it. If I am not mistaken,
Boolos also admits as much in a paper published 1989(?).

  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  %%  Moshe' Machover                 | E-MAIL: moshe.machover at kcl.ac.uk %%
  %%  Department of Philosophy        | FAX (office)*: +44 171 873 2270  %%
  %%  King's College, London          | PHONE (home)*: +44 181 969 5356  %%
  %%  Strand                          |                                  %%
  %%  London WC2R 2LS                 |  * If calling from UK, replace   %%
  %%  England                         |    +44 by 0                      %%
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%