home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / ai / philosop / 6809 < prev    next >
Encoding:
Text File  |  1992-11-16  |  1.7 KB  |  43 lines
  1. Newsgroups: comp.ai.philosophy
  2. Path: sparky!uunet!europa.asd.contel.com!emory!swrinde!zaphod.mps.ohio-state.edu!uwm.edu!rpi!scott.skidmore.edu!psinntp!psinntp!scylla!daryl
  3. From: daryl@oracorp.com (Daryl McCullough)
  4. Subject: Re: The Paradox of the Unexpected Hanging
  5. Message-ID: <1992Nov16.124635.11533@oracorp.com>
  6. Organization: ORA Corporation
  7. Date: Mon, 16 Nov 1992 12:46:35 GMT
  8. Lines: 33
  9.  
  10. In article <B147TB4w165w@CODEWKS.nacjack.gen.nz>,
  11. system@CODEWKS.nacjack.gen.nz (Wayne McDougall) writes:
  12.  
  13. >>>> The statement "You will be executed today, but you will not be able to
  14. >>>> figure out that you will be executed today" is *not*
  15. >>>> self-contradictory...
  16.  
  17. >Ok, so the judge's statement is NOT self-contradictory if you assume 
  18. >the truth-value of the statement is unknown.
  19.  
  20. It isn't self-contradictory, in any case. It may be false, however.
  21.  
  22. >So we're saying it is either meaningless, or we don't know if it is true.
  23. >We are also saying that we, as the prisoner, cannot believe ALL of the
  24. >statement to be true. So the prisoner can conclude that either all or
  25. >part of the statement is false.
  26.  
  27. No! Just because I cannot consistently *believe* that something is
  28. true, does not mean that I must believe that it is false. For example,
  29. PA cannot consistently prove the statement "PA is consistent" (coded
  30. as an arithmetic statement), but that doesn't mean that the statement
  31. is false, or that PA can prove that it is false.
  32.  
  33. The prisoner can neither consistently believe the judge, nor
  34. consistently believe the judge is lying. That's why it is important to
  35. partition sentences into those that you believe true, those you believe
  36. false, and those whose truth values you can't determine (and may *never*
  37. be able to determine).
  38.  
  39. Daryl McCullough
  40. ORA Corp.
  41. Ithaca, NY
  42.  
  43.