home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 1946 < prev    next >
Encoding:
Text File  |  1992-11-08  |  1.6 KB  |  34 lines

  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!pmafire!mica.inel.gov!guinness!garnet.idbsu.edu!holmes
  3. From: holmes@garnet.idbsu.edu (Randall Holmes)
  4. Subject: Re: Impredicativity - was: Russell's Paradox
  5. Message-ID: <1992Nov6.191800.17025@guinness.idbsu.edu>
  6. Sender: usenet@guinness.idbsu.edu (Usenet News mail)
  7. Nntp-Posting-Host: garnet
  8. Organization: Boise State University
  9. References: <1992Nov4.073717.22625@CSD-NewsHost.Stanford.EDU> <1992Nov5.164251.29649@guinness.idbsu.edu> <1992Nov5.174527.22908@CSD-NewsHost.Stanford.EDU>
  10. Date: Fri, 6 Nov 1992 19:18:00 GMT
  11. Lines: 21
  12.  
  13. In article <1992Nov5.174527.22908@CSD-NewsHost.Stanford.EDU> pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
  14. >In article <1992Nov5.164251.29649@guinness.idbsu.edu> holmes@garnet.idbsu.edu (Randall Holmes) writes:
  15. >>You do not "weaken" FA to AFA; ZFC- + FA and ZFC- + AFA are both
  16. >>stronger than ZFC-, but neither is stronger than the other.
  17. >
  18. >I guess this must be another of my misconceptions.  My general
  19. >impresssion was that AFA was automatically true under FA, by virtue of
  20. >the latter saying that only "unwound" graphs were permitted, and that
  21. >every chain on the unwinding had to terminate.  So what's an example FA
  22. >situation contradicting AFA?
  23. >-- 
  24. >Vaughan Pratt                There's no truth in logic, son.
  25.  
  26. AFA asserts the existence of a set (only one) which is its own sole
  27. element; FA asserts the impossibility of such a set.
  28.  
  29. -- 
  30. The opinions expressed        |     --Sincerely,
  31. above are not the "official"    |     M. Randall Holmes
  32. opinions of any person        |     Math. Dept., Boise State Univ.
  33. or institution.            |     holmes@opal.idbsu.edu
  34.