Dear Patrick, (01)
> > > In
> > > logic a term is just some string used as an identifier for some
> thing. It
> > > does not do its job if it identifies more than one thing.
>
> I understand the theory but who determines the one thing that is
> identified by a "term" used as you define it? (02)
MW: The author of the ontology. To misquote Alice "When I use a term it
means exactly what I intended it to mean, nothing more, nothing less." (03)
MW: To be fair I should be a little more precise. I have in model theoretic
terms been talking about the intended interpretation. A logical theory may
have any number of possible interpretations. However, in each
interpretation, each logical term represents just one thing. (04)
MW: Now the question of linguistic terms representing more than one logical
term (and vice versa) is something one can build a logical theory about. The
linguistic terms are signs that may have different interpretations in
different contexts, and it is perfectly possible to develop a theory of how
this happens (and example can be found in ISO 15926), but to do this you
need to distinguish between logical terms and linguistic terms, not confuse
them. (05)
Regards (06)
Matthew West
Information Junction
Tel: +44 560 302 3685
Mobile: +44 750 3385279
matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
http://www.informationjunction.co.uk/
http://www.matthew-west.org.uk/ (07)
This email originates from Information Junction Ltd. Registered in England
and Wales No. 6632177.
Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
Hertfordshire, SG6 3JE. (08)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (09)
|