> In the mKR language (http://mkrmke.org),
> I explicitly define context to be a list of propositions.
> The basic proposition of mKR is
>
> at space=s, time=t, view=v { sentence };
>
> v is the name of the list of propositions which are the
> context of the sentence. s and t are subcontexts. (01)
Except these are just words. Your language has no semantics and none
of its primitives are properly axiomatized. What is the underlying
logic? Is it semantically complete? Where is your theory of time?
If you are wondering what an answer to this question should look like,
have a look at Pat Hayes's Catalog of Temporal Theories: (02)
http://www.ihmc.us/users/phayes/TimeCatalog.pdf (03)
_________________________________________________________________
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 (04)
|