home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / sci / math / 16944 < prev    next >
Encoding:
Internet Message Format  |  1992-12-15  |  1.8 KB
  1. Xref: sparky sci.math:16944 misc.education:5277
  2. Path: sparky!uunet!olivea!spool.mu.edu!yale.edu!ira.uka.de!math.fu-berlin.de!Sirius.dfn.de!chx400!news.unige.ch!divsun.unige.ch!swann
  3. From: swann@divsun.unige.ch (SWANN Philip)
  4. Newsgroups: sci.math,misc.education
  5. Subject: Re: The Continuum Hypothesis:  Must it be {True or False}, or Not?
  6. Message-ID: <1992Dec15.093325.22836@news.unige.ch>
  7. Date: 15 Dec 92 09:33:25 GMT
  8. References: <1992Dec9.183849.13004@nas.nasa.gov> <ARA.92Dec15002026@camelot.ai.mit.edu>
  9. Sender: usenet@news.unige.ch
  10. Distribution: usa
  11. Organization: University of Geneva, Switzerland
  12. Lines: 22
  13.  
  14. In article <ARA.92Dec15002026@camelot.ai.mit.edu>, ara@zurich.ai.mit.edu (Allan Adler) writes:
  15. > 
  16. > If there were really such a thing as a set, it might make sense
  17. > to ask whether the continuum hypothesis is tru or false.
  18. > 
  19. > Starting with the early paradoxes and continuing with the independence
  20. > proofs, we have learned that despite our gut feelings to the contrary,
  21. > there really is no such concept as "set". We have some properties of
  22. > sets that we agree on and beyond that we lack the power to make the
  23. > concept more precise, although each individual might have certain
  24. > opinions one way or the other as to which are the common notions.
  25. > 
  26.  
  27. This is a good point, but not quite correct. The precision of a concept
  28. depends on the language game in which it is used - there are no absolute
  29. concepts, only relative ones - so on the same day you could find a perfectly
  30. precise use of "set" and a frustratingly imprecise usage. Or to put it another
  31. way, a concept is simply a pattern of usage (language + behavior). We can never
  32. have an independent measure of the precision of our concepts - because that would
  33. imply a concept of measurement that was independent (the concept of all concepts...)
  34.  
  35. Philip Swann
  36.