Article View: sci.logic
Article #308Re: Impredicativity - was: Russell's Paradox
From: Torkel Franzen
Date: Thu, 05 Nov 1992 22:22
Date: Thu, 05 Nov 1992 22:22
26 lines
2305 bytes
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!torkelReferences:
<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