ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Requirements of computer language semantics

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Thu, 19 Mar 2009 15:33:04 -0700
Message-id: <8D5AA01E9EE74BFFAC1401491E469E55@rhm8200>

----- Original Message ----- 
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Sent: Thursday, March 19, 2009 2:53 PM    (01)


> That is what you have been doing with mKR.  But most of us
> in this forum have been complaining that your notions of
> 'space', 'time', and 'view' (and many other topics) have
> been far too vague.
> 
> What do you mean by space?  A particular point specified in
> a given coordinate system?  Some extended region of space?
> How is it specified?
> 
> What do you mean by time?  A point in time?  An extended
> interval?  How is it specified?  How do you relate time
> and space in a 3D or 4D specification?
> 
> What do you mean by view?  A literal visual view, as
> determined by a camera at a specific location with a
> specific direction, focus, and resolution?  A more
> metaphorical notion?  How do you define and specify it?    (02)

I have addressed these questions in my recent emails.
space, time, view are quantized
view is a list of propositions    (03)

The reason I cannot be more specific is that the details
depend upon the purpose of the person who is creating
the propositions.
Astrophysicists measure space in light-years.
Chip designers measure space in nanometers.
Nuclear physicists measure space in plank units.
Historians measure time in decades and centuries.
Young children measure time in seconds.
Grammarians measure time in "past", "present", "future".    (04)

There is one other aspect of space. time, view that is important.
space and time have a linear order, but view has only a partial order.    (05)

More specific theories of space, time, view are appropriate 
in some cases, but these are restrictions which do not apply 
in general, to all cases.    (06)

Dick    (07)

_________________________________________________________________
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    (08)

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