|From:||William Frank <williamf.frank@xxxxxxxxx>|
|Date:||Sun, 11 Aug 2013 08:54:44 -0400|
The problem I am raising is that, in a deductive system, there is no ONE set of primitives that is the 'right' one. There will be MANY, just as in the examples I gave. For example, even with a dozen Boolean connectors, I can reduce them to primitives in about a half dozen ways.
PatrickThe problem I am attempting to raise is not about whether it is reasonable to look for a set of primitives from which to derive through definition all the other concepts in a corpus of concepts. In fact, I happen to agree with you that this is an essential part of ontology in computer science.
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Taxonomies, cuts, and the decimal system, Bruce Schuman|
|Next by Date:||Re: [ontolog-forum] Taxonomies, cuts, and the decimal system, Simon Spero|
|Previous by Thread:||Re: [ontolog-forum] Practical Semantic Primitives, Patrick Cassidy|
|Next by Thread:||Re: [ontolog-forum] Practical Semantic Primitives, Patrick Cassidy|
|Indexes:||[Date] [Thread] [Top] [All Lists]|