home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / sci / logic / 2465 < prev    next >
Encoding:
Text File  |  1992-12-17  |  2.4 KB  |  51 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!pmafire!mica.inel.gov!guinness!opal.idbsu.edu!holmes
  3. From: holmes@opal.idbsu.edu (Randall Holmes)
  4. Subject: Re: Liar paradox
  5. Message-ID: <1992Dec17.154637.10401@guinness.idbsu.edu>
  6. Sender: usenet@guinness.idbsu.edu (Usenet News mail)
  7. Nntp-Posting-Host: opal
  8. Organization: Boise State University
  9. References: <1476@eouk13.eoe.co.uk> <GUTTMAN.92Dec16164336@circe.mitre.org> <BzEM6u.2C1@watdragon.uwaterloo.ca>
  10. Date: Thu, 17 Dec 1992 15:46:37 GMT
  11. Lines: 38
  12.  
  13. In article <BzEM6u.2C1@watdragon.uwaterloo.ca> pasward@maytag.uwaterloo.ca (Paul A.S. Ward) writes:
  14. >In article <GUTTMAN.92Dec16164336@circe.mitre.org> guttman@circe.mitre.org (Joshua D. Guttman) writes:
  15. >
  16. >>Kripke, who's always entertaining, says that the statement is quoted by St.
  17. >>Paul in one of the Epistles, who writes that Epimenides, even one of their own,
  18. >>states that all Cretans are liars.  St Paul adds, "This testimony is true."
  19. >>Paul seems to have missed the logical subtlety here.
  20. >
  21. >Not necessarily.  Since Paul is not Cretan, he can agree with the statement
  22. >"All Cretans are liars" without causing a paradox.  The essence is the 
  23. >difference between the paradoxical "I always lie" and the non-paradoxical
  24. >"You always lie" statements.
  25. >
  26. >Just sign me "One Paul defending another"
  27. >
  28. >Paul.
  29.  
  30. Epimenedes the Cretan himself can assert that all Cretans are liars
  31. without danger of paradox, under most circumstances.  The precise
  32. conditions under which this is possible depend on the definition of
  33. "liar".  If a liar is a person who _always_ lies, then Epimenedes can
  34. assert "All Cretans are liars" and be (in this instance) lying, as
  35. long as some Cretan somewhere at some time made a true statement.
  36. Paradox only ensues if every other proposition ever made by a Cretan
  37. was just plain false.  If "liar" means a person who sometimes or even
  38. usually lies but may occasionally tell the truth, then there is no
  39. danger of paradox at all; Epimenedes may either be lying (there are
  40. Cretans who always or habitually tell the truth) or he may be telling
  41. the truth, in a momentary lapse into veracity.
  42.  
  43. But it is disturbing that the meaningful character of the assertion
  44. depends on the extraneous fact of some other Cretan telling the truth
  45. some time or other, in the first, interesting case.
  46. -- 
  47. The opinions expressed        |     --Sincerely,
  48. above are not the "official"    |     M. Randall Holmes
  49. opinions of any person        |     Math. Dept., Boise State Univ.
  50. or institution.            |     holmes@opal.idbsu.edu
  51.