From newshub.ccs.yorku.ca!torn!cs.utexas.edu!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 Tue Nov 24 10:52:37 EST 1992
Article 7694 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai.philosophy:7694 sci.logic:2377
Newsgroups: comp.ai.philosophy,sci.logic
Path: newshub.ccs.yorku.ca!torn!cs.utexas.edu!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
>From: sasghm@theseus.unx.sas.com (Gary Merrill)
Subject: Re: Self-Reference and Paradox (was Re: Human intelligence...)
Originator: sasghm@theseus.unx.sas.com
Sender: news@unx.sas.com (Noter of Newsworthy Events)
Message-ID: <Bxyv26.Ao3@unx.sas.com>
Date: Thu, 19 Nov 1992 14:03:41 GMT
References: <1992Nov14.151559.13227@oracorp.com> <1992Nov19.093736.28605@aar.alcatel-alsthom.fr>
Nntp-Posting-Host: theseus.unx.sas.com
Organization: SAS Institute Inc.
Lines: 21


In article <1992Nov19.093736.28605@aar.alcatel-alsthom.fr>, vidalnaq@alcatel-alsthom.fr (G. Vidal-Naquet) writes:

|> In my opinion the problem with this type of ssentences is the level  they
|>  deal.  In my course on logic, I learned that formula expresses a property
|>  of a given structure, or of a class of structures, and that the truth value
|> of a formula can be determined from the structure.  Now the important point
|> is that there is a distinction betweeen the formula and the structures that
|> they reference. Such paradox as the liar come from mixing the structure
|> obtained by formulas and the truth values, with the semantic function that
|>  gives the value of a given formaulas with respect to a structure. That is 
|> essentially mixing a set with functions.

I thought that at one time I was a genuine expert on this stuff.  But
I don't have a clue as to what is meant in the above paragraph.  The
various parts of it seem either unintelligible or obviously false.
Can anyone reformulate it?
-- 
Gary H. Merrill  [Principal Systems Developer, C Compiler Development]
SAS Institute Inc. / SAS Campus Dr. / Cary, NC  27513 / (919) 677-8000
sasghm@theseus.unx.sas.com ... !mcnc!sas!sasghm


