Re: SUO: Re: Monoclonal Antebodies
On Thu, Jun 12, 2003 at 05:40:10PM -0400, Jon Awbrey wrote:
> Indeed, one of the main reasons that I find so utterly useful
> every bit of category theory that I can manage to pick up is
> that it helps me to see the isomorphisms between things that
> are in actuality only superficially distinct, while FO logic,
> by comparison, is constantly bogging me down in ossified and
> reified and syntactic superficialities.
As go your insufferably precious tutorials that currently clog the
mailing list, so go your arguments. Oozing with form, lacking in
substance.
It is particularly ironic that, with your category theoretically
enhanced ability to see the isomorphisms between things that are in
actuality only superficially distinct, you still seem to be confusing
FOL with particular presentations of FOL such as KIF or Principia
Mathematica that have been devised with some practical or theoretical
end in mind. A curious blindspot. If you are bogged down in
ossified/reified/syntactic superficialities, it is because you have
confused those superficialities with the formal structures they
exemplify.
Chris Menzel