For other uses of Carroll's impeccable logic in semantic web issues, see
my recent keynote to the TMRA2007 conference:
www.pensive.eu/uid/0178 (01)
Regards, (02)
Peter (03)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Pat Hayes
Sent: dimanche 6 janvier 2008 21:14
To: John Black
Cc: [ontolog-forum]
Subject: Re: [ontolog-forum] CL, CG, IKL and the relationship between
symbols in the logical "universe of discourse" and individuals in the
"real world" (04)
Apropos of my last reply, this may be relevant: (05)
. . .
'You are sad,' the Knight said in an anxious tone: 'let me sing you a
song to comfort you.' (06)
'Is it very long?' Alice asked, for she had heard a good deal of
poetry that day. (07)
'It's long,' said the Knight, 'but very, VERY beautiful. Everybody
that hears me sing it--either it brings the TEARS into their eyes, or
else--' (08)
'Or else what?' said Alice, for the Knight had made a sudden pause. (09)
'Or else it doesn't, you know. The name of the song is called
"HADDOCKS' EYES."' (010)
'Oh, that's the name of the song, is it?' Alice said, trying to feel
interested. (011)
'No, you don't understand,' the Knight said, looking a little vexed.
'That's what the name is CALLED. The name really IS "THE AGED AGED
MAN."' (012)
'Then I ought to have said "That's what the SONG is called"?' Alice
corrected herself. (013)
'No, you oughtn't: that's quite another thing! The SONG is called
"WAYS AND MEANS": but that's only what it's CALLED, you know!' (014)
'Well, what IS the song, then?' said Alice, who was by this time
completely bewildered. (015)
'I was coming to that,' the Knight said. 'The song really IS
"A-SITTING ON A GATE": and the tune's my own invention.'
. . . (016)
Pat
--
---------------------------------------------------------------------
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 (017)
_________________________________________________________________
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 (018)
_________________________________________________________________
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 (019)
|