Ed,
[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.
I agree.
>
>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
>terms
denote different 'things' is an axiom, which a given theory may or
>may not include.
I
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.
http://en.wikipedia.org/wiki/Category_theory#Categories.2C_objects_and_morphisms
>
>But identity is an interesting problem in logical theories, and it is
>possible that this bit of the discussion is actually going somewhere.
>
>-Ed
The direction I would like it to go is actually back to the question of theory grounding,
http://ontolog.cim3.net/forum/cgi-bin/mesg.cgi?a=ontolog-forum&i=W6387019921190511211563886%40webmail31
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/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
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)
|