o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o (01)
KBL = Kathryn Blackmond Laskey
SB = Sean Barker (02)
KBL: The idea of a single syntax with two different
incompatible semantics scares me. (03)
SB: We suffer from identical syntax and allegedly identical semantics
all the time in data exchange (ISO 10303), so I don't see why logic
should be any difference. It's only when we ground the semantics of
the data in the behaviour of the application/organization that we
have any hope of success, and then only after a long and painful
process of testing. Even in the relatively well specified area
of geometry, it has taken many years of effort and continuous
testing to get a reasonably reliable exchange (though not 100%),
and there is still a considerable amount to do. (04)
I don't think that it's any different in logic. Indeed, I think
that there are fundamental limitations on the capacity of syntax
to pin down semantics. If the unavoidable freedom and thus the
uncertainty of interpretation scares us, then we need to face
it squarely and see if there is any way we can get used to it. (05)
Jon Awbrey (06)
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
¢iare: http://www.centiare.com/Directory:Jon_Awbrey
getwiki: http://www.getwiki.net/-UserTalk:Jon_Awbrey
zhongwen wp: http://zh.wikipedia.org/wiki/User:Jon_Awbrey
http://www.altheim.com/ceryle/wiki/Wiki.jsp?page=JonAwbrey
wp review: http://wikipediareview.com/index.php?showuser=398
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o (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)
|