home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / logic / 2556 < prev    next >
Encoding:
Internet Message Format  |  1993-01-09  |  1.4 KB
  1. Path: sparky!uunet!pipex!unipalm!uknet!qmw-dcs!arodgers
  2. From: arodgers@dcs.qmw.ac.uk (Angus H Rodgers)
  3. Newsgroups: sci.logic
  4. Subject: Re: Multiple Truth Values
  5. Message-ID: <1993Jan9.191854.10303@dcs.qmw.ac.uk>
  6. Date: 9 Jan 93 19:18:54 GMT
  7. References: <1993Jan8.223915.17370@cs.sfu.ca> <1993Jan9.185347.9555@CSD-NewsHost.Stanford.EDU>
  8. Sender: usenet@dcs.qmw.ac.uk (Usenet News System)
  9. Organization: Computer Science Dept, QMW, University of London
  10. Lines: 21
  11. Nntp-Posting-Host: theoryc.dcs.qmw.ac.uk
  12.  
  13. In <1993Jan9.185347.9555@CSD-NewsHost.Stanford.EDU>
  14. pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
  15.  
  16. >Any culture with a weak work ethic is vulnerable to the
  17. >oversimplification that there are just two truth values.
  18.  
  19. That's a beautiful-looking generalisation, but I don't understand
  20. quite what it means or how you arrive at it. Can you expand on it
  21. a bit?
  22.  
  23. >The algebra of truth
  24. >values is a rich subject that is not adequately represented by the
  25. >passage from {0,1} to its power set, to say the least!
  26.  
  27. Do you have any references to more adequate studies of the algebra(s)
  28. of truth values?
  29. --
  30. Gus Rodgers,  Dept. of Computer Science, | Cinema's worst romantic dialogue? --
  31. Queen Mary & Westfield College, Mile End | "Mechagodzilla's brain is  installed
  32. Road, London, England.   +44 71 975 5241 | in my stomach!" "I don't care if you
  33. E-mail (JANET):   arodgers@dcs.qmw.ac.uk | are a cyborg  --  I still love you!"
  34.