From: borkent@cs.utwente.nl   
      
   > It would seem to be a great virtue of predicate logic, if it cannot   
   > express such nonsense.   
      
   Btw, we can put things like:   
      
   Vx.P(x) ^ ¬P(x)   
      
   too right? So maybe it's not that trivial as you might have thought, being   
   not able to self-reference in Predicate Logic? And is the Diagonalization   
   Lemma not a proof of that we actually can self-reference in PL?   
      
   Gr,   
   Michiel Borkent   
      
   [ 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)