home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / logic / 2588 < prev    next >
Encoding:
Internet Message Format  |  1993-01-12  |  1.2 KB
  1. Path: sparky!uunet!caen!zaphod.mps.ohio-state.edu!cs.utexas.edu!news
  2. From: turpin@cs.utexas.edu (Russell Turpin)
  3. Newsgroups: sci.logic
  4. Subject: Re: Multiple Truth Values
  5. Date: 12 Jan 1993 15:32:09 -0600
  6. Organization: CS Dept, University of Texas at Austin
  7. Lines: 17
  8. Message-ID: <ll6e6pINNqei@tokio.cs.utexas.edu>
  9. References: <1993Jan12.083955.19685@CSD-NewsHost.Stanford.EDU>
  10. NNTP-Posting-Host: tokio.cs.utexas.edu
  11. Summary: What does this tell us?
  12.  
  13. -*----
  14. In article <1993Jan12.201545.27599@CSD-NewsHost.Stanford.EDU> pratt@Sunburn.Stanford.EDU (Vaughan R. Pratt) writes:
  15. > Australian and American courts interrogate witnesses in a language that
  16. > presumes intuitionistic logic, in that they draw a distinction between
  17. > straight answers and hedged and insist on the former. ...
  18.  
  19. One could interpret this to mean that the courts presume that
  20. anything other than Boolean logic is an attempt to deceive
  21. rather than to convey more subtle information.  I suspect that
  22. a parent whose child says "I didn't not break the vase" would
  23. view things similarly.
  24.  
  25. In short, I think it would be very easy to argue that the 
  26. courts and parents are coming down on the side of boolean 
  27. logic.
  28.  
  29. Russell
  30.