John Sowa wrote: (01)
> If you doubt my claim, choose any statement from any document
> that specifies any implemented computer program, and I'll
> show you either that it can be translated to this subset or
> that it is a "comment" that is not necessary for a complete
> specification. (02)
I'm not sure that one can translate "draw((0.0, 0.0), (1.0, 1.0)) into
common logic in such a way that common logic draws a line. Rhetorical
point - but key. (03)
Also, thanks to Chris Menzel for his long response. While Chris did an
excellent job of explaining how I don't understand what formal logic is
about, he also did an excellent job of illustrating the gap between the
formal ontologists and those of us interested in industrial
exploitation. Crudely put, much of what I read on ontologies - any many
posts in forum are an exception - fails to address the issue of the
difference between what works in somebody's program and what works in an
industrial context. Or rather, one frequently sees the implied
assumption that if the program gives the result True, then the fact must
be true in the real world. This is not a good message to give to
industrialists. (04)
The "1+1=1" example is slightly more subtle than it looks, because it
points to the way we use additional knowledge - sometimes called tacit
knowledge - to assess things in different ways in different contexts.
John's next post (at 16:17) is relevant here. (05)
I should give a longer response, but projects.... (06)
Sean Barker
Bristol, UK (07)
This mail is publicly posted to a distribution list as part of a process
of public discussion, any automatically generated statements to the
contrary non-withstanding. It is the opinion of the author, and does not
represent an official company view. (08)
********************************************************************
This email and any attachments are confidential to the intended
recipient and may also be privileged. If you are not the intended
recipient please delete it from your system and notify the sender.
You should not copy it or use it for any purpose nor disclose or
distribute its contents to any other person.
******************************************************************** (09)
_________________________________________________________________
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 (010)
|