Dick McCullough:
> It is important to note that I can change mySpace,myTime,myView
> to suit myPurpose. (01)
Chris Menzel:
> And that's basically theProblem. One of the major points of ontology
> building is to *fix* meaning; your approach, as far as I can see,
> simply lets it float free; terms can mean whatever you want them to
> mean. But terms lacking axioms expressed in languages lacking any
> rigorous semantics have, essentially, no meaning whatever and hence no
> meaning that can be shared on open networks and reasoned upon by human
> or computer agents. (02)
Not true. Each myView has precisely defined terms.
But I can change myView whenever appropriate.
Thus myKnowledge will have the form (03)
at view = v1 { sentence11; sentence12; ...};
at view = v2 { sentence21; sentence22; ... };
... (04)
myProposition always specifies myView.
Each v1, v2, ... names a list of propositions which define
the terms of the sentences. (05)
Dick McCullough
Ayn Rand do speak od mKR done;
mKE do enhance od Real Intelligence done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/ (06)
_________________________________________________________________
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 (07)
|