Article View: sci.logic
Article #347Re: Russell's Paradox
From: Frank Adams
Date: Wed, 11 Nov 1992 17:58
Date: Wed, 11 Nov 1992 17:58
12 lines
1143 bytes
1143 bytes
In article <1992Nov10.001234.18488@guinness.idbsu.edu> holmes@garnet.idbsu.edu (Randall Holmes) writes: >In article <1992Nov09.172532.43648@Cookie.secapl.com> frank@Cookie.secapl.com (Frank Adams) writes: >>All right; but what would you put in it's place? I'm not willing to call >>something "set theory" unless it has *some* recognizable form of the axiom >>of comprehension. Can you formalize your ideas? > >ii. NFU: Yes, Randall, I know that's what *you* would put in its place. If you can show that NF[U]'s comprehension rule is free from the kind of objection David is making, I will grant that you have given a good reason for taking NFU seriously. It isn't enough to show that a few examples work, however.
Technical Details
Message-ID:
<1992Nov11.175842.123427@Cookie.secapl.com>Path:
arc1-ca.pugleaf.net!sparky!uunet!secapl!Cookie!frankReferences:
<25916@optima.cs.arizona.edu> <1992Nov09.172532.43648@Cookie.secapl.com> <1992Nov10.001234.18488@guinness.idbsu.edu>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!secapl!Cookie!frank From: frank@Cookie.secapl.com (Frank Adams) Subject: Re: Russell's Paradox Message-ID: <1992Nov11.175842.123427@Cookie.secapl.com> Date: Wed, 11 Nov 1992 17:58:42 GMT References: <25916@optima.cs.arizona.edu> <1992Nov09.172532.43648@Cookie.secapl.com> <1992Nov10.001234.18488@guinness.idbsu.edu> Organization: Security APL, Inc. Lines: 12