Article View: sci.logic
Article #290Re: Impredicativity - was: Russell's Paradox
From: Vaughan R. Pratt
Date: Thu, 05 Nov 1992 17:00
Date: Thu, 05 Nov 1992 17:00
13 lines
1245 bytes
1245 bytes
In article <TORKEL.92Nov5100828@isis.sics.se> torkel@sics.se (Torkel Franzen) writes: >What I am interested in is whether or not you can explain what >you are talking about, as has been done with the "standard" theory of >non-well-founded sets (in that case by giving a model of the theory in ordinary >mathematics). My interpretation of the intertranslatability of ZF with FA or AFA is that any argument such as mine in favor of one or the other can only find support outside ZF, e.g. in psychology or esthetics. I find an AFA world very appealing, but clearly it's not for everyone. I claim no more. -- Vaughan Pratt There's no truth in logic, son.
Technical Details
Message-ID:
<1992Nov5.170056.21983@CSD-NewsHost.Stanford.EDU>Path:
arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!prattReferences:
<1992Nov4.134534.17092@husc3.harvard.edu> <1992Nov5.004725.8252@CSD-NewsHost.Stanford.EDU> <TORKEL.92Nov5100828@isis.sics.se>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!Sunburn.Stanford.EDU!pratt From: pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) Subject: Re: Impredicativity - was: Russell's Paradox Message-ID: <1992Nov5.170056.21983@CSD-NewsHost.Stanford.EDU> Sender: news@CSD-NewsHost.Stanford.EDU Organization: Computer Science Department, Stanford University. References: <1992Nov4.134534.17092@husc3.harvard.edu> <1992Nov5.004725.8252@CSD-NewsHost.Stanford.EDU> <TORKEL.92Nov5100828@isis.sics.se> Date: Thu, 5 Nov 1992 17:00:56 GMT Lines: 13