From newshub.ccs.yorku.ca!torn!cs.utexas.edu!usc!rpi!uwm.edu!csd4.csd.uwm.edu!markh Wed Sep 16 21:22:21 EDT 1992
Article 6828 of comp.ai.philosophy:
Newsgroups: comp.ai.philosophy
Path: newshub.ccs.yorku.ca!torn!cs.utexas.edu!usc!rpi!uwm.edu!csd4.csd.uwm.edu!markh
>From: markh@csd4.csd.uwm.edu (Mark)
Subject: Re: Marvin Minsky's Conscious Machines
Message-ID: <1992Sep9.025119.15500@uwm.edu>
Sender: news@uwm.edu (USENET News System)
Organization: Computing Services Division, University of Wisconsin - Milwaukee
References: <iordonez.714442640@academ01> <86891@netnews.upenn.edu> <iordonez.715293767@academ01>
Date: Wed, 9 Sep 1992 02:51:19 GMT
Lines: 11

In article <iordonez.715293767@academ01> iordonez@academ01.mty.itesm.mx (Ivan Ordonez-Reinoso) writes:
>>>P: This sentence is not true.
>
>I don't know if this is supposed to prove that sentence P is formalizable,
>but anyway please note that in my original post I claimed that P is not
>formalizable because it contains a "not TRUE" part, and not because it
>is self referent. The concept "truth" is not formalizable.

This sentence implies that the concept of "truth" is irrelevent and immaterial
regarding the issue of logical paradox and that only the existence of
self-reference and implication matter.


