> What might be nice (but possibly impossible) is to agree on some
> frame of
> reference or common definitions of the terms used in this thread
> and others.
> Without such, I fear this community will be doomed to argue the
> very basic
> tenets of ontology without arriving at consensus. (01)
I whole-heartedly agree. The thing is, the frame of reference in
which those terms are defined is settled and fixed, namely,
mathematical logic. There should be no issue of their meanings in a
mature community devoted to ontological engineering. Knowledge of
basic mathematical logic -- minimally: formal languages, model
theory, proof theory -- is as fundamental to ontological engineering
as the calculus is to electrical engineering, and no one can be
considered a serious practitioner of the discipline without it. (02)
Chris Menzel (03)
_________________________________________________________________
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 (04)
|