home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / sci / logic / 2464 < prev    next >
Encoding:
Text File  |  1992-12-17  |  2.5 KB  |  52 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!agate!stanford.edu!rock!concert!sas!mozart.unx.sas.com!sasghm
  3. From: sasghm@theseus.unx.sas.com (Gary Merrill)
  4. Subject: Re: Liar paradox
  5. Originator: sasghm@theseus.unx.sas.com
  6. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  7. Message-ID: <BzEp97.8pn@unx.sas.com>
  8. Date: Thu, 17 Dec 1992 13:53:31 GMT
  9. References: <1476@eouk13.eoe.co.uk> <GUTTMAN.92Dec16164336@circe.mitre.org>
  10. Nntp-Posting-Host: theseus.unx.sas.com
  11. Organization: SAS Institute Inc.
  12. Lines: 38
  13.  
  14.  
  15. In article <GUTTMAN.92Dec16164336@circe.mitre.org>, guttman@circe.mitre.org (Joshua D. Guttman) writes:
  16. |> In article <1476@eouk13.eoe.co.uk> pwestlak@eoe.co.uk (Peter Westlake) writes:
  17. |> 
  18. |>    Please forgive me if this is a naive question (or even completely stupid :-)
  19. |> 
  20. |>    The way I have heard the original Cretan liar paradox expressed is that
  21. |>    Epiminedes, a Cretan, said "All Cretans are liars". The reasoning goes that
  22. |>    as Epiminedes is known to be from Crete, he therefore claims to be a liar, 
  23. |>    and therefore claims not to be, which is a paradox.  But it seems to me
  24. |>    (in my ignorance) that this statement permits a consistent interpretation,
  25. |>    namely that SOME Cretans are liars, and that Epiminedes is one of them.
  26. |>    By supposing the existence of other Cretans, we avoid a paradox.
  27. |> 
  28. |>    So a) I have the original statement wrong
  29. |>    or b) it never was a paradox really
  30. |>    or c) I have missed something obvious and everything I say is false.
  31. |>    Break it to me gently, especially if I have misspelled "Epi.*".
  32. |> 
  33. |> 
  34. |> I think you misspelled Epimenides, but you're right about it's not being
  35. |> paradoxical, as stated.  I think that his statement was enough to make people
  36. |> realize, though, that something very similar was going to be really paradoxical
  37. |> ("This very sentence is false").
  38. |> 
  39. |> Kripke, who's always entertaining, says that the statement is quoted by St.
  40. |> Paul in one of the Epistles, who writes that Epimenides, even one of their own,
  41. |> states that all Cretans are liars.  St Paul adds, "This testimony is true."
  42. |> Paul seems to have missed the logical subtlety here.
  43. |> 
  44. |>     Joshua Guttman 
  45.  
  46. Or we have missed the subtlety of St. Paul ... possibly his sense of
  47. humor?
  48. -- 
  49. Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  50. SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  51. sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  52.