From newshub.ccs.yorku.ca!torn!cs.utexas.edu!uunet!mcsun!uknet!news.cs.bham.ac.uk!ard Tue Nov 24 10:52:47 EST 1992
Article 7711 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai.philosophy:7711 sci.logic:2450
Path: newshub.ccs.yorku.ca!torn!cs.utexas.edu!uunet!mcsun!uknet!news.cs.bham.ac.uk!ard
>From: ard@cs.bham.ac.uk (Antoni Diller)
Newsgroups: comp.ai.philosophy,sci.logic
Subject: Re: Self-Reference and Paradox (was Re: Human intelligence...)
Message-ID: <By81F9.2nq@cs.bham.ac.uk>
Date: 24 Nov 92 12:59:32 GMT
References: <1992Nov14.151559.13227@oracorp.com> <BxtBwx.LvH@unx.sas.com>
Sender: news@cs.bham.ac.uk
Organization: School of Computer Science, University of Birmingham, UK
Lines: 30
Nntp-Posting-Host: fattie

In article <BxtBwx.LvH@unx.sas.com> sasghm@theseus.unx.sas.com (Gary Merrill) writes:
>
>In article <1992Nov14.151559.13227@oracorp.com>, daryl@oracorp.com (Daryl McCullough) writes:
>
>|> In my opinion, the problem with such sentences are not with their
>|> self-referential character, but with their use of an unrestricted
>|> notion of truth (or falsity).
>
>Of course this was Tarski's idea as well.
>
>|> 
>|>     This sentence is false.
>|> 
>|> refers to an unrestricted notion of falsity, and is therefore
>|> meaningless. We can replace "false" by a restricted notion of falsity
>
>This sort of thing has been tried before.  One problem is that the displayed
>sentence is *not* meaningless in any normal sense of this term.  We
>know perfectly well what it means -- and that's the problem.
>-- 
>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

The problem is not restricted to SELF-refernce, consider:

    (1)  Sentence (2) is false.
    (2)  Sentence (1) is true.

Antoni Diller


