ONT Re: Apposite Purposes Of Logical Languages Objectified (APOLLO)
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Back to the grinstone,
The cos of the day,
The res to seize,
If ever we may.
As I mentioned, I picked this object, the lattice of functions
whose abstract types are sufficiently typified by f : B^2 -> B,
precisely because it is so familiar that few will object to my
calling it an "object", since the lion's share of our lot will
have turned it over in their minds so many times, inspected it
from so many angles, and expressed it in so many variations on
its theme that it will appear almost beyond cavil or any shade
of a doubt that we grasp it as it is, in itself, and not as it
may aberrantly be chromatised by a biased lens thus interposed.
This condition of approximate objectivity is due to the action
of a brand of reflection that I think we would be well advised
to examine further, to see if we can illuminate and illustrate
more and more aspects of its formal operation, to the point of
rendering our conception of a method for achieving objectivity,
at least, in this kind, itself more objective than ever before.
So that is what we must turn to next,
and no matter how trivial the matter
before our eyes, this greater pragma
will hopefully not be too far behind.
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤