arity with Russell's problem:

BR: How shall we describe the logical form of a belief? 

HP: Just as there is no logical form that describes folding (or function),
    there is no logical form that describes belief (or meanings).

You bought that?  BR is only saying &quot;no logical form that I am willing to consider&quot;.
He is deliberately or inveterately avoiding the use of 3-adic relations in an effort
to decompose everything in sight into 2-adic relations.  If he had been just a little
better-read tha