[Top] [All Lists]

Re: [ontolog-forum] axiomatic concepts

To: rhm@xxxxxxxxxxxxx
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Wed, 2 Apr 2014 22:03:45 -0500
Message-id: <F58A5765-A78D-4210-B80D-EE6F5F65C742@xxxxxxx>

On Apr 2, 2014, at 3:17 PM, Richard H. McCullough <rhm@xxxxxxxxxxxxx> wrote:    (01)

> John
> I've been thinking a lot about  the personal problem that affects
> you and me.  It began when I first entered Ontolog Forum
> and did not satisfy your desire for proof of the semantic
> correctness of the mKR language.  Both of us contributed
> to the problem.
> 1) Your only comment about semantics was -- do your homework
> 2) I did not accept responsibility for proving correctness.
> I did read a paper that Pat Hayes wrote about the semantics of RDF.
> I frankly did not consider it very important because
>        All of Pat's semantic propositions (and more)
>        are automatically enforced by the run-time system 
>        of mKR.  To be more specific: they are enforced by
>        the mKE program; they are axioms.    (02)

So you are claiming that the (model theoretic) semantics of IKL is all included 
in axioms of mKE? That is quite a strong claim.     (03)

Let us get down to details. In order for this claim to even make sense, mKE 
must describe the IKL interpretation structures, which are (rather baroque) 
extensions of the Common Logic interpretation structures. Just to get started, 
mKE must be able to describe the CL distinction between the universe of 
discourse and the universe of reference.  Where is this distinction made in 
mKE? (We can move onto how mKE describes propositions later, once we have this 
more basic matter sorted out.)    (04)

Pat    (05)

IHMC                                     (850)434 8903 home
40 South Alcaniz St.            (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile (preferred)
phayes@xxxxxxx       http://www.ihmc.us/users/phayes    (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    (07)

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