home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / logic / 1297 < prev    next >
Encoding:
Internet Message Format  |  1992-08-20  |  2.3 KB
  1. Path: sparky!uunet!ogicse!das-news.harvard.edu!husc-news.harvard.edu!husc9.harvard.edu!zeleny
  2. From: zeleny@husc9.harvard.edu (Michael Zeleny)
  3. Newsgroups: sci.logic
  4. Subject: Re: The poor parachutist...
  5. Message-ID: <1992Aug20.215259.14963@husc3.harvard.edu>
  6. Date: 21 Aug 92 01:52:58 GMT
  7. Article-I.D.: husc3.1992Aug20.215259.14963
  8. References: <1992Aug18.131259.14667@wisipc.weizmann.ac.il> <1185@kepler1.rentec.com>
  9. Organization: The Phallogocentric Cabal
  10. Lines: 41
  11. Nntp-Posting-Host: husc9.harvard.edu
  12.  
  13. In article <1185@kepler1.rentec.com> 
  14. andrew@rentec.com (Andrew Mullhaupt) writes:
  15.  
  16. >In article <1992Aug18.131259.14667@wisipc.weizmann.ac.il>
  17. > jhsegal@wiscon.weizmann.ac.il (Livy) writes:
  18.  
  19. L
  20. >>Remember:The man he is asking could be a liar or a honest man.HE (the
  21. >>parchutist) doesn't know it.
  22.  
  23. AM:
  24. >Usually, you encourage the parachutist to ask "What name would a liar give to
  25. >the other city?". However, I am not convinced that this "works". It makes some
  26. >assumptions about lying which are not clear. For example, it assumes (which is
  27. >reasonable) that the honest people have noticed the "liars" and have come to
  28. >some understanding of what is involved. However, what lying means to the liars
  29. >is difficult to say, especially since they can't agree on it. Since the truthful
  30. >citizens know this as well, they give you an answer which a liar would give you,
  31. >but this is no use unless the liar's answer is well defined.
  32. >
  33. >Right?
  34.  
  35. I think that your worries could be summarized in an observation that the
  36. above approach will not work in any first-order extensional (i.e. purely
  37. truth-functional) language, regardless of any additional assumptions about
  38. the knowledge of the liars and the truth-tellers concerning each other's
  39. behavior.  At least so it would seem at first blush, unless we can
  40. eliminate the strong conditional by replacing it with some sort of
  41. dispositional idiom.  Would anyone care to try?
  42.  
  43. >Later,
  44. >Andrew Mullhaupt
  45.  
  46. cordially,
  47. mikhail zeleny@husc.harvard.edu
  48. "Un de mes plus grands plaisirs est de jurer Dieu quand je bande."
  49.  
  50. P.S. The Phallogocentric Cabal has concluded its activities for this
  51. summer.  The next meeting will occur during the week of September 18th,
  52. with Tal Kubo speaking on infinite combinatorics.  T-shirts, syllabi, and
  53. other paraphernalia may be requested by responding to this message.
  54.