On 6/21/2013 10:00 PM, Julio Di Egidio wrote: > "fom" <fomJUNK@nyms.net> wrote in message > news:X5CdnU5BCcfKQlnMnZ2dnUVZ_hadnZ2d@giganews.com... > >> Logic involves priority, and Nelson's statement >> is debatable on these grounds. > > Priority is in question here, and, in this sense, I'd concur with > Nelson's criticism: the "classical conception" does not provide > satisfactory answers. >
Which classical conception?
Nelson appears to be speaking of the Dedekind-Peano axioms under a formalist interpretation.
Hilbert's formalism reversed the sense of the class-based constructions of Cantor and Frege.
Hilbert's formalism does this by taking identity for granted and assuming a domain of delimited objects.
Neither Cantor nor Frege takes identity for granted in their work.
So, with whom is Nelson disagreeing and what answers are unsatisfactory?