From: borkent@cs.utwente.nl   
      
   > >in logic: "This sentence is not true".   
   >   
   > It would seem to be a great virtue of predicate logic, if it cannot   
   > express such nonsense.   
      
   Surely that sentence is nonsense. But I've been pointed to an articale about   
   self-reference by someone who claimed self-reference is possible, which I   
   thought was impossible.   
      
   He told me to look up the article of Don Perlis on self-reference for more   
   explanation.   
      
   [ comp.ai is moderated.  To submit, just post and be patient, or if ]   
   [ that fails mail your article to , and ]   
   [ ask your news administrator to fix the problems with your system. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)