🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: sci.logic
Article #308

Re: Impredicativity - was: Russell's Paradox

#308
From: Torkel Franzen
Date: Thu, 05 Nov 1992 22:22
26 lines
2305 bytes
In article <1992Nov5.170056.21983@CSD-NewsHost.Stanford.EDU> pratt@Sunburn.
Stanford.EDU (Vaughan R. Pratt) writes:

   >I find an
   >AFA world very appealing, but clearly it's not for everyone.  I claim
   >no more.

  But how are your views incompatible with anything claimed by anybody
else (as was suggested by your earlier comments about the cumulative
hierarchy)? The cumulative hierarchy is a mathematical structure
described and envisaged by people like Zermelo. There is nothing in
what Zermelo says that rules out other mathematical structures being
described and envisaged. There is nothing in what Zermelo says that
implies that people who speak about "sets" must mean sets in the sense
of Zermelo. The idea that "set" means something definite, on which
people may have conflicting and incompatible opinions, is not on the
face of it any more justified than the idea that "number" means
something definite on which people may have conflicting and
incompatible opinions. My interest may be in the natural numbers, but
this does not mean that somebody's explanation and investigation of the
complex numbers is in any sense "wrong" from my point of view. Similarly,
I understand (in a general way) sets in the sense of "iterated set of",
but this does not mean that I reject other notions. I'm quite
prepared to consider non-well-founded explanations of "set". I simply
don't see any conflict between such explanations and the cumulative
hiearchy.
Technical Details
Message-ID: <TORKEL.92Nov5232223@lludd.sics.se>
Path: arc1-ca.pugleaf.net!sparky!uunet!pmafire!mica.inel.gov!ux1!fcom.cc.utah.edu!hellgate.utah.edu!cs.utexas.edu!zaphod.mps.ohio-state.edu!saimiri.primate.wisc.edu!ames!haven.umd.edu!darwin.sura.net!paladin.american.edu!news.univie.ac.at!hp4at!mcsun!sunic!sics.se!torkel
References: <1992Nov4.134534.17092@husc3.harvard.edu> <1992Nov5.004725.8252@CSD-NewsHost.Stanford.EDU> <TORKEL.92Nov5100828@isis.sics.se> <1992Nov5.170056.21983@CSD-NewsHost.Stanford.EDU>

Show Full Headers
Complete Article Headers
Newsgroups: sci.logic
Path: arc1-ca.pugleaf.net!sparky!uunet!pmafire!mica.inel.gov!ux1!fcom.cc.utah.edu!hellgate.utah.edu!cs.utexas.edu!zaphod.mps.ohio-state.edu!saimiri.primate.wisc.edu!ames!haven.umd.edu!darwin.sura.net!paladin.american.edu!news.univie.ac.at!hp4at!mcsun!sunic!sics.se!torkel
From: torkel@sics.se (Torkel Franzen)
Subject: Re: Impredicativity - was: Russell's Paradox
In-Reply-To: pratt@Sunburn.Stanford.EDU's message of 5 Nov 92 17:00:56 GMT
Message-ID: <TORKEL.92Nov5232223@lludd.sics.se>
Sender: news@sics.se
Organization: Swedish Institute of Computer Science, Kista
References: <1992Nov4.134534.17092@husc3.harvard.edu>
 <1992Nov5.004725.8252@CSD-NewsHost.Stanford.EDU>
 <TORKEL.92Nov5100828@isis.sics.se>
 <1992Nov5.170056.21983@CSD-NewsHost.Stanford.EDU>
Date: Thu, 5 Nov 1992 22:22:23 GMT
Lines: 26