Re: [ontolog-forum] the meaning of myView

["Richard H. McCullough" <rhm@xxxxxxxxxxxxx>]

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
http://mkemke.org

----- Original Message -----

From: Pat Hayes

To: Richard H. McCullough

Cc: John F. Sowa ; KR-language ; Ontolog Forum

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. 

Pat

 

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
http://mkemke.org

------------------------------------------------------------

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)