[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>

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>