
and making some 'auto da fe' to one or the other article
of faith.  All the real languages that anybody really
uses in reality have names for things that can be
instances or properties in relation to suitable
other things, not to mention, but they do,
names for these relations themselves.
This is so whether we are talking
logic, math, or normal people.

I think that I will begin from what is closest to me, a problem that
I worked on all through the 1980's, one of the hot topics in AI and
cognitive science 