[Top] [All Lists]

Re: [ontolog-forum] the meaning of myView

To: "Pat Hayes" <phayes@xxxxxxx>
Cc: Ontolog Forum <ontolog-forum@xxxxxxxxxxxxxxxx>, KR-language <KR-language@xxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Fri, 3 Apr 2009 14:44:25 -0700
Message-id: <B3570F96486F4C68B29BA984D867AD99@rhm8200>
1. Yes, myView is a list in the programming-language sense.
2. The list shown below contains mostly genus-differentia definitions
which specify the species-genus relations which are shown in
    begin hierarchy tabula rasa; ...; end hierarchy tabula rasa;
as well as the intensive properties of the concepts.
It also contains propositions which specify important relations
between the concepts.  For example
    proposition := man do identify od existent with purpose done;
may be translated into English as
    A proposition is the result of a man identifying existents
    for some purpose.
More specifically, to identify means to measure the characteristics
of the existents.
Dick McCullough
----- Original Message -----
From: Pat Hayes
Sent: Friday, April 03, 2009 1:18 PM
Subject: Re: the meaning of myView

On Apr 2, 2009, at 4:16 PM, Richard H. McCullough wrote:

As a prelude to translating mKR to IKL,
this email describes the meaning of myView in mKR.
myView names a list of propositions.

Do you mean, a particular single list of propositions, or do you mean 'list' as in the programming-language sense, as a datastructure which can change with time? If the latter (as I suspect), you will need to make the dynamic or state-dependent nature of this list explicit in IKL.

The starting list comes from my epistemology,
as defined in the tabula rasa hierarchy.
The meaning of
    at view = tabula rasa;
is shown below [without the details of formats].

None of the following makes the slightest sense to me, I'm afraid. 


proposition := man do identify od existent with purpose done;
existent has characteristic;
man is entity with consciousness;
identify iss action;
purpose iss attribute;
entity is existent with space, time;
group is existent with not space, not time;
characteristic iss existent;
proposition iss existent;
proposition haspart context, sentence;
context haspart space, time, view;
attribute is characteristic with not space, not time, single-existent, not separable;
part is characteristic with not space, not time, single-existent, separable;
action is characteristic with space, time, single-existent;
interaction is characteristic with space, time, multiple-existent;
relation is characteristic with not space, not time, multiple-existent;
Dick McCullough

IHMC                                     (850)434 8903 or (650)494 3973   
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

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>