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)
|