To: | "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | Alex Shkotin <alex.shkotin@xxxxxxxxx> |
Date: | Sun, 19 Sep 2010 10:06:36 +0400 |
Message-id: | <AANLkTikpR6SWA7m4D51xA9O8Ki94j-atjwu_T0hncunc@xxxxxxxxxxxxxx> |
Hi Rich, It seems that in FOL we do not have a definition at all: suppose we have binary predicate R (primary or defined) and we introduce new predicate R_ and two axioms with it: "R(x,y) hence R_(x,y)" and"R_(x,z) and R(z,y) hence R_(x,y)" We can't say that we have definition for R_ as we need to add "the smallest..." as for transitive closure (http://en.wikipedia.org/wiki/Transitive_closure). What do you think? Alex 2010/9/18 Rich Cooper <rich@xxxxxxxxxxxxxxxxxxxxxx>
_________________________________________________________________ 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) |
<Prev in Thread] | Current Thread | [Next in Thread> |
---|---|---|
|
Previous by Date: | Re: [ontolog-forum] language vs logic - ambiguity and startingwithdefinitions, doug foxvog |
---|---|
Next by Date: | Re: [ontolog-forum] PROF Swartz ON DEFINITIONS, doug foxvog |
Previous by Thread: | Re: [ontolog-forum] PROF Swartz ON DEFINITIONS, Rich Cooper |
Next by Thread: | Re: [ontolog-forum] PROF Swartz ON DEFINITIONS, doug foxvog |
Indexes: | [Date] [Thread] [Top] [All Lists] |