home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 1917 < prev    next >
Encoding:
Internet Message Format  |  1992-11-04  |  1.6 KB

  1. Path: sparky!uunet!pipex!unipalm!uknet!news.cs.bham.ac.uk!ard
  2. From: ard@cs.bham.ac.uk (Antoni Diller)
  3. Newsgroups: sci.logic
  4. Subject: Re: Are all crows black?
  5. Message-ID: <Bx93Cw.3Iz@cs.bham.ac.uk>
  6. Date: 5 Nov 92 16:05:19 GMT
  7. References: <1992Oct30.172420.1@eagle.wesleyan.edu> <1992Nov4.184630.3575@hubcap.clemson.edu>
  8. Sender: news@cs.bham.ac.uk
  9. Organization: School of Computer Science, University of Birmingham, UK
  10. Lines: 22
  11. Nntp-Posting-Host: fattie
  12.  
  13. In article <1992Nov4.184630.3575@hubcap.clemson.edu> steve@hubcap.clemson.edu ("Steve" Stevenson) writes:
  14. >skumar@eagle.wesleyan.edu writes:
  15. >
  16. >>Please correct me if I am wrong but I think that if I found a creature which
  17. >>was like a crow in all respects but it was white in color, I would call it an
  18. >>albino crow or something. I would not call it just "a crow". Does this not mean
  19. >>that we accept "all crows are black" by definition so we need not prove it?
  20. >
  21. >Isn't this the "grue" problem? The "grue" problem came about (if I remember
  22. >correctly) because all emeralds were green and believed by reputable scientists
  23. >that they could only be green. Then they found blue ones...
  24. >
  25. >-- 
  26. >===============================================================================
  27. >Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
  28. >Department of Computer Science,            (803)656-5880.mabell
  29. >Clemson University, Clemson, SC 29634-1906
  30.  
  31. `Grue' was an invented word by Nelson Goodman; something is grue if it is
  32. green before 1 January 2000 and blue thereafter; therefore every confirmation
  33. of the sentence `all Xs are green' is also a confirmation of the
  34. sentence `all Xs are grue' (before 2000).
  35.