>See below.
>
>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)
Right. (02)
>Just wanted to make sure nobody went away thinking that somehow CL
>universes are necessarily some kind of thing divorced from the
>everyday world. (03)
Oh, absolutely. Very good point. (04)
Pat (05)
>
> .bill
>
>
>Bill Andersen (andersen@xxxxxxxxxxxxxxxxx)
>Ontology Works, Inc. (www.ontologyworks.com)
>3600 O'Donnell Street, Suite 600
>Baltimore, MD 21224
>Office: 410-675-1201
>Cell: 443-858-6444
>
>
>
>
>_________________________________________________________________
>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
> (06)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (07)
_________________________________________________________________
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 (08)
|