Re: SUO: Re: Powers That B
Jon Awbrey wrote:
> Robert E. Kent wrote:
> >
> > Hi Jon,
> >
> > I am developing a representation called the
> > Information Flow Framework (IFF) for ontologies
> > and their models using the new-KIF. More specifically,
> > my chief goal is to formalize the *truth classification*
> > and the *truth concept lattice*.
>
> Robert,
>
> ...as for KIF -- well, up to about a month ago I would have considered
> it merely an inconvenient language, one that failed to provide many of
> the conveniences that one would like to have in any reasonable
> calculus, but my experiences with the triadicity business have led me
> toward the conclusion that KIF, in its present modes of application,
> at any rate, constitutes a style of pidgin that is positively
> debilitating to good logical health.
I hereby declare KIF a resounding success.
Cheers!
-chris
--
Christopher Menzel # web: philebus.tamu.edu/~cmenzel
Philosophy, Texas A&M University # net: chris.menzel@tamu.edu
College Station, TX 77843-4237 # vox: (979) 845-8764