home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / ai / philosop / 6810 < prev    next >
Encoding:
Internet Message Format  |  1992-11-16  |  1.4 KB
  1. Xref: sparky comp.ai.philosophy:6810 sci.logic:2057
  2. Newsgroups: comp.ai.philosophy,sci.logic
  3. Path: sparky!uunet!gatech!concert!sas!mozart.unx.sas.com!sasghm
  4. From: sasghm@theseus.unx.sas.com (Gary Merrill)
  5. Subject: Re: Self-Reference and Paradox (was Re: Human intelligence...)
  6. Originator: sasghm@theseus.unx.sas.com
  7. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  8. Message-ID: <BxtBwx.LvH@unx.sas.com>
  9. Date: Mon, 16 Nov 1992 14:22:09 GMT
  10. References:  <1992Nov14.151559.13227@oracorp.com>
  11. Nntp-Posting-Host: theseus.unx.sas.com
  12. Organization: SAS Institute Inc.
  13. Lines: 22
  14.  
  15.  
  16. In article <1992Nov14.151559.13227@oracorp.com>, daryl@oracorp.com (Daryl McCullough) writes:
  17.  
  18. |> In my opinion, the problem with such sentences are not with their
  19. |> self-referential character, but with their use of an unrestricted
  20. |> notion of truth (or falsity).
  21.  
  22. Of course this was Tarski's idea as well.
  23.  
  24. |> 
  25. |>     This sentence is false.
  26. |> 
  27. |> refers to an unrestricted notion of falsity, and is therefore
  28. |> meaningless. We can replace "false" by a restricted notion of falsity
  29.  
  30. This sort of thing has been tried before.  One problem is that the displayed
  31. sentence is *not* meaningless in any normal sense of this term.  We
  32. know perfectly well what it means -- and that's the problem.
  33. -- 
  34. Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  35. SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  36. sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  37.