[EB]>Rather than discussing the philosophical and theoretical significance of
>undefined terms, I would suggest that the proponents of Category Theory
>for knowledge engineering identify the aspect(s) of category theory for
>which they see a specific use in knowledge engineering. Otherwise the
>discussion is pointless.
>Now, to that end, Len Yabloko wrote:
>> There is no reliable way in classical Logic to establish and confirm
>> the identity of any object outside of specific context.
>There is no universal reference scheme for 'thing' in terms of
>properties. The presumption of classical logic is that terms that
>denote 'things' in the UoD do just that. The presumption that distinct
denote different 'things' is an axiom, which a given theory may or
>may not include.
think the usefulness of any theory depends on what it preserves.
Obviously axioms of any theory are preserved by that theory. Someone
correctly pointed that CT theory itself can be stated in classical
Logic. But you would have to create axioms for any property that you
want to preserve, and such axioms may not be shared by different
theories. The difference in using CT is that certain axioms, such as
identity and associativity are universal.
>> CT, on the other hand, includes identity in the very definition of object.
>Citation please. This sentence means nothing to me.
>But identity is an interesting problem in logical theories, and it is
>possible that this bit of the discussion is actually going somewhere.
The direction I would like it to go is actually back to the question of theory grounding,
which I see as the law
of identity preservation. I believe that in this sense CT provides a natural framework for grounding.
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01)