ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] the meaning of myView

To: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Cc: Ontolog Forum <ontolog-forum@xxxxxxxxxxxxxxxx>, KR-language <KR-language@xxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Fri, 3 Apr 2009 15:18:50 -0500
Message-id: <D78DB538-4721-4472-80A6-9C8B5887671E@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)

<Prev in Thread] Current Thread [Next in Thread>