|From:||Alex Shkotin <alex.shkotin@xxxxxxxxx>|
|Date:||Wed, 22 Sep 2010 18:56:27 +0400|
definition is very important for understanding and education of a mind.
Eliminate from theory all "*closed form* definition" and I do not get any idea about practically any theorem.
From other side just compare
plusTwo(x) = x+2
plusTwo(x) = (x+2)+(x-x)
the second is not a definition (I hope).
If we have a concept in mind or a term in language it is very important question - what is its definition?
Or even, do it have definition at all?
Or, what kind of theory do we need to have definition for example for biological species?
And it is true that these definitions may be embedded in CL for derivation and other needs.
But not before we get them;-)
2010/9/21 John F. Sowa <sowa@xxxxxxxxxxx>
_________________________________________________________________ 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] Alonzo Church : The Ontological Status Of Women and Abstract Entities, Jon Awbrey|
|Next by Date:||Re: [ontolog-forum] PROF Swartz ON DEFINITIONS, John F. Sowa|
|Previous by Thread:||Re: [ontolog-forum] PROF Swartz ON DEFINITIONS, John F. Sowa|
|Next by Thread:||Re: [ontolog-forum] PROF Swartz ON DEFINITIONS, John F. Sowa|
|Indexes:||[Date] [Thread] [Top] [All Lists]|