|To:||rhm@xxxxxxxxxxxxx, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>|
|From:||David Whitten <whitten@xxxxxxxxxx>|
|Date:||Thu, 3 Apr 2014 09:05:50 -0400|
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 ?
On Thu, Apr 3, 2014 at 7:04 AM, Richard H. McCullough <rhmccullough@xxxxxxxxx> wrote:
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] mKR proof of correctness, Richard H. McCullough|
|Next by Date:||Re: [ontolog-forum] mKR proof of correctness, Richard H. McCullough|
|Previous by Thread:||Re: [ontolog-forum] mKR proof of correctness, Richard H. McCullough|
|Next by Thread:||Re: [ontolog-forum] mKR proof of correctness, Richard H. McCullough|
|Indexes:||[Date] [Thread] [Top] [All Lists]|