|From:||Chris Menzel <chris.menzel@xxxxxxxxx>|
|Date:||Sun, 30 Sep 2012 19:13:41 -0500|
On Sun, Sep 30, 2012 at 7:02 PM, William Frank <williamf.frank@xxxxxxxxx> wrote:
I agree with all you say below.
My point was that, in the case of first-order vs second-order, there is nothing to buck. There are very good reasons why far greater attention is paid to first-order PA. It is of course true that there many cases in the history of science where an ossified orthodoxy was an impediment to progress.
I do think that there is a cultural move toward eliminating anything that is not simply mechanical, such as natural types, and many other similar things.
Well, I guess I just don't see that, partly because I'm not sure what a "cultural move toward eliminating anything that is not simply mechanical" means. (Not that I want to know, at the moment, anyway...)
I just don't think the effect of this, given this growing mechanistic view, is good. For example, I think that an ontology should express a **problem space**, separate from the solution space that a computer can deal with.
I'm not sure what a problem space is. I do think that the first job of an ontology is to capture relevant truths about a given domain in a sufficiently expressive language independent of computational considerations, which sort of sounds like what you have in mind.
_________________________________________________________________ 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] Universal Basic Semantic Structures, William Frank|
|Previous by Thread:||Re: [ontolog-forum] Universal Basic Semantic Structures, William Frank|
|Next by Thread:||Re: [ontolog-forum] Universal Basic Semantic Structures, John F Sowa|
|Indexes:||[Date] [Thread] [Top] [All Lists]|