Chris, (01)
I just wanted to add some further second thoughts
about my latest definition: (02)
In CL, there is no distinction within any text
about the names that occur in it. There is no way
to say whether a name that appears in one or more
axioms is intended to be a definition of that name
or any other name. Names just appear in CL statements. (03)
It may happen that a given set of CL statements may
determine a type or relation for which there is
a unique model, but some axioms permit multiple
models for some of the names. (04)
Therefore, it might be better to avoid the word
"define" and just say that some names are imported,
others are exported, and others occur only within
a particular theory. The statements about which
terms are imported or exported would be metalanguage
about the theory, and they would be stated in CL
itself. (05)
John (06)
_________________________________________________________________
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 (07)
|