[Top] [All Lists]

Re: [ontolog-forum] CL, CG, IKL and the relationship between symbols in

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Chris Menzel <cmenzel@xxxxxxxx>
Date: Mon, 24 Dec 2007 21:25:18 -0500 (EST)
Message-id: <alpine.OSX.1.00.0712242116230.2818@xxxxxxxxxxxxxxx>
On Mon, 24 Dec 2007, Bill Andersen wrote:
> On Dec 24, 2007, at 16:18 , Pat Hayes wrote:
>>> The topic I am particularly interested in discussing here now, is
>>> this claim and a similar statement in the CL requirements section
>>> 5.1.4.b., "Any piece of Common Logic text should have the same
>>> meaning, and support the same entailments everywhere on the network.
>>> Every name should have the same logical meaning at every node of the
>>> network."
>> Right. Note, *logical* meaning. One might reasonably say that the
>> meaning of "Patrick J Hayes" is me, in this particular world, but
>> that is not its logical meaning. Its logical meaning is a mapping
>> from interpretations (aka possible worlds) to an individual in that
>> interpretation's universe.
> Pat, just to clarify.  Those universes *may* include you, right?    (01)

Of course.  (Pat would agree.)    (02)

That said, I in fact think that the logical meaning of "Patrick J.
Hayes", in my ideolect at least, *is* Pat Hayes.  But I know what Pat
means; for him, the notion of the logical meaning of a name simply
includes all the logically consistent ways of interpreting the name the
name.  I just don't think that's the best way to understand "logical
meaning" for names, so my disagreement with Pat here is just a quibble
rather than a substantive disagreement.    (03)

-chris    (04)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (05)

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