You're doing a good job of pinning down the meaning of my vague statements.
So let me try again.
The program/language/knowledgebase (mKE/mKR/mKB)) will never violate
the Objectivist Axioms because the entire program structure/knowledgebase
structure/run time system is built upon the foundation of the Objectivist Axioms.
The user of this program/language/knowledgebase can add propositions
to the knowledgebase which can be false. There are some built-in
consistency checks to prevent this. You can write your own mKR scripts
to provide additional checks.
And, perhaps unwisely, I have given the user the power to delete the
Objectivist Axioms, and replace them with his own propositions.
In that case, the mKR language remains the same, but the integration
with the Objectivist Axioms is lost. Dick McCullough
Context Knowledge Systems
mKE and the mKR language
Date: Thu, 3 Apr 2014 09:05:50 -0400
To: rhm@xxxxxxxxxxxxx; ontolog-forum@xxxxxxxxxxxxxxxx
Subject: Re: [ontolog-forum] mKR proof of correctness
So to re-iterate (as I understand it):
Richard has a syntax that he claims to provide enough information to allow a program to have enough
information that it can state propositions. Pat and John have asked Richard to show that after collecting
these propositions together, that there is a step-by-step method to relate those propositions to other
propositions (which are not stated by Richard).
There is a constraint on the step-by-step method such that from the original propositions, you cannot
relate them to new propositions that would violate the operations of some standard form of logic.
There is also a requirement that every proposition that the standard forms of logic expect to be related
to an initial set of propositions will actually be related together by Richard's method.
I have tried to not use any words like "inference" or "interpretation of model" or "semantics" or "syntax"
here. Have I left anything out that would be necessary for Richard ?
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
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