ontolog-forum
[Top] [All Lists]

[ontolog-forum] axiomatic concepts

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: William Thomas <wthomas@xxxxxxxxxxxxxxxx>, KR-language <kr-language@xxxxxxxxxxxxxxx>, "Richard S. Latimer" <rslatimer@xxxxxxx>, David Kelley <dkelley@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhmccullough@xxxxxxxxx>
Date: Wed, 2 Apr 2014 03:51:05 -0700
Message-id: <COL129-W54A3243592EE016878F84ACB6D0@xxxxxxx>
John

You pointed out recently that there have been many (failed) attempts
to define concepts such as Consciousness and Free Will.

There is a simple reason for all these failures. These concepts are
hard to define. They are hard to define because they are such high-level
abstractions. You have to discard all the details (measurements)
that distinguish one case from another. If you are successful, the
result will be something very simple and elegant -- stripped of all
irrelevant details. If you are not successful, the result will be just
another failed "definition" to throw in the bit bucket.

Free Will is another example where I think that the Objectivists
have the right answer. But they just don't have the simple, elegant
_expression_ of the right answer. I claim that I do -- stated in either
English or mKR.

Free Will :: I choose my actions.
Free Will :: I do choose od my action done;

This reasoning applies equally well to upper ontologies.
They consist of high-level abstractions which are hard to define.
That's why I say that axiomatic concepts are appropriate for
upper ontologies.


Dick McCullough
Context Knowledge Systems
mKE and the mKR language
mKR/mKE tutorial
_________________________________________________________________
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: [ontolog-forum] CfP: WoMO 2014 - 8th Int'l Workshop on Modular Ontologies , Torsten Hahmann
Next by Date: Re: [ontolog-forum] axiomatic concepts , John F Sowa
Previous by Thread: [ontolog-forum] CfP: WoMO 2014 - 8th Int'l Workshop on Modular Ontologies , Torsten Hahmann
Next by Thread: Re: [ontolog-forum] axiomatic concepts , John F Sowa
Indexes: [Date] [Thread] [Top] [All Lists]

AltStyle によって変換されたページ (->オリジナル) /