home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / ai / philosop / 6816 < prev    next >
Encoding:
Text File  |  1992-11-17  |  2.5 KB  |  52 lines
  1. Newsgroups: comp.ai.philosophy
  2. Path: sparky!uunet!charon.amdahl.com!pacbell.com!ames!saimiri.primate.wisc.edu!zaphod.mps.ohio-state.edu!caen!uvaarpa!concert!sas!mozart.unx.sas.com!sasghm
  3. From: sasghm@theseus.unx.sas.com (Gary Merrill)
  4. Subject: Re: Self-Reference and Paradox (was Re: Human intelligence...)
  5. Originator: sasghm@theseus.unx.sas.com
  6. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  7. Message-ID: <Bxtqon.I97@unx.sas.com>
  8. Date: Mon, 16 Nov 1992 19:41:11 GMT
  9. References:  <26551@optima.cs.arizona.edu>
  10. Nntp-Posting-Host: theseus.unx.sas.com
  11. Organization: SAS Institute Inc.
  12. Lines: 38
  13.  
  14.  
  15. In article <26551@optima.cs.arizona.edu>, gudeman@cs.arizona.edu (David Gudeman) writes:
  16. |> In article  <BxtBwx.LvH@unx.sas.com> Gary Merrill writes:
  17. |> ]In article <1992Nov14.151559.13227@oracorp.com>, daryl@oracorp.com (Daryl McCullough) writes:
  18. |> ]|> 
  19. |> ]|>     This sentence is false.
  20. |> ]|> 
  21. |> ]|> refers to an unrestricted notion of falsity, and is therefore
  22. |> ]|> meaningless. We can replace "false" by a restricted notion of falsity
  23. |> ]
  24. |> ]This sort of thing has been tried before.  One problem is that the displayed
  25. |> ]sentence is *not* meaningless in any normal sense of this term.  We
  26. |> ]know perfectly well what it means -- and that's the problem.
  27. |> 
  28. |> The term "meaningless" is ambiguous here.  There are many examples of
  29. |> problematic meanings in language.  For example, what does the word
  30. |> "unicorn" denote?  What does "nothing" denote?  Clearly, both words
  31. |> have a meaning in some sense, but neither has a "normal" denotation.
  32. |> If you take the view that sentences denote their truth values, then
  33. |> the liar's paradox can be taken as another example of the same thing.
  34.  
  35. The liar's paradox is quite independent of the position that sentences
  36. denote their truth values.  Moreover, "meaningless" appears to be unambiguous
  37. in the above context.  My point was that the meaning of the sentence
  38. is sufficiently clear for us to use it in common inferences.
  39.  
  40. The analogies to "unicorn" and "nothing" are weak and unconvincing.
  41. Surely it is not suggested that "This sentence" fails to denote as
  42. "unicorn" does or as "nothing" does.
  43.  
  44. Certainly if we wish to take the position that a sentence is a *name*
  45. that *denotes* something, then we may court various problems.  Thus
  46. it is wise not to take that position.  Unfortunately, the liar remains
  47. with us.
  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.