Re: [ontolog-forum] the meaning of myView

[Pat Hayes <phayes@xxxxxxx>]

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)