home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / ai / philosop / 6844 < prev    next >
Encoding:
Internet Message Format  |  1992-11-19  |  1.9 KB
  1. Xref: sparky comp.ai.philosophy:6844 sci.logic:2103
  2. Path: sparky!uunet!dtix!darwin.sura.net!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. Newsgroups: comp.ai.philosophy,sci.logic
  5. Subject: Re: Self-Reference and Paradox (was Re: Human intelligence...)
  6. Message-ID: <Bxyv26.Ao3@unx.sas.com>
  7. Date: 19 Nov 92 14:03:41 GMT
  8. References: <1992Nov14.151559.13227@oracorp.com> <1992Nov19.093736.28605@aar.alcatel-alsthom.fr>
  9. Sender: news@unx.sas.com (Noter of Newsworthy Events)
  10. Organization: SAS Institute Inc.
  11. Lines: 21
  12. Originator: sasghm@theseus.unx.sas.com
  13. Nntp-Posting-Host: theseus.unx.sas.com
  14.  
  15.  
  16. In article <1992Nov19.093736.28605@aar.alcatel-alsthom.fr>, vidalnaq@alcatel-alsthom.fr (G. Vidal-Naquet) writes:
  17.  
  18. |> In my opinion the problem with this type of ssentences is the level  they
  19. |>  deal.  In my course on logic, I learned that formula expresses a property
  20. |>  of a given structure, or of a class of structures, and that the truth value
  21. |> of a formula can be determined from the structure.  Now the important point
  22. |> is that there is a distinction betweeen the formula and the structures that
  23. |> they reference. Such paradox as the liar come from mixing the structure
  24. |> obtained by formulas and the truth values, with the semantic function that
  25. |>  gives the value of a given formaulas with respect to a structure. That is 
  26. |> essentially mixing a set with functions.
  27.  
  28. I thought that at one time I was a genuine expert on this stuff.  But
  29. I don't have a clue as to what is meant in the above paragraph.  The
  30. various parts of it seem either unintelligible or obviously false.
  31. Can anyone reformulate it?
  32. -- 
  33. Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
  34. SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
  35. sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm
  36.